 3. Do y and 5 have the same value?
True
Let q be ((-36)/(-90))/((-2)/(-13)). Let j = -3 + q. Which is greater: 1/5 or j?
1/5
Suppose 3*h - 15 = 8*h - 3*v, 0 = -4*v + 20. Suppose 2*x = -x - 3*w + 6, 5*x + 2*w - 7 = 0. Which is bigger: x or h?
x
Suppose 24 = -2*f + 26. Which is smaller: 2/191 or f?
2/191
Let z = -0.026 + 3.126. Let x = z + -3. Let l = -5 - -5. Is l smaller than x?
True
Let h be 4/(-448)*-4 + 2/(-7). Does h = -1.7?
False
Suppose -j = -6 + 2. Suppose 13 = x + f + f, 0 = j*x + 2*f - 22. Are 3 and x equal?
True
Let h be (-21)/(-6)*(-1 + 40/28). Are 2/49 and h equal?
False
Let d(j) be the second derivative of -j**4/12 - j**3/6 - 7*j**2 - 3*j. Let o be d(0). Which is smaller: -15 or o?
-15
Let y = 0 + 4. Let r be (0 - 0)*(-1)/2. Suppose y*x - 2*x + 2 = r. Which is greater: x or 1/5?
1/5
Let g = 119 - 135. Which is smaller: g or -7?
g
Let h = 5.89 + 0.11. Let j be 0 + (5 + -6)/(-1). Which is bigger: h or j?
h
Let a be -14 + (-1 - 5)/(-3). Let z be 1/4 + 27/a. Let q = -1 - z. Is 1/13 at least as big as q?
False
Let i(y) = 2*y**2 - 7*y - 4. Let p be i(4). Which is greater: -0.09 or p?
p
Let v be 6/(-17)*(-3)/9. Let s = 16 + -15. Which is greater: v or s?
s
Let z be 6 + -2 - (-19)/(-6). Is z < 1?
True
Let h = -7 + 6. Is h equal to 10/13?
False
Let v = -14 + 10. Let u = v - -3. Which is smaller: u or 0?
u
Let o = -4 - -2. Let t = 10.1 - -2.9. Let r = 12 - t. Is r less than or equal to o?
False
Let x(q) = -3*q**2 + 3*q + 2. Let p be x(3). Let r(i) = -i - 3. Let o be r(12). Is o < p?
False
Let b = 5 - 2. Suppose -2*j + b*j + 1 = 0. Is -1 <= j?
True
Suppose -4*q = -3*q + 1. Which is smaller: -1/7 or q?
q
Let s = -4 + 4.1. Let b = s - 0. Let q = -0.2 + b. Are 0.1 and q equal?
False
Let r = -17 - -122/7. Let z(b) = b + 7. Let p be z(-6). Let y be (-1 - 2/(-2))*p. Is r bigger than y?
True
Let g be (10/7)/(4/334). Let k = -119 + g. Suppose 1 = -o - 0. Is o < k?
True
Let m be ((-1)/4)/((-9)/(-108)). Let z be 7 + (-1*1 - -1). Suppose 1 + z = -2*a. Is m at least a?
True
Let w be -1*(8 + -4)/(-4). Is -2/51 at least w?
False
Let y = 4.3 + -3.3. Is 2.9 < y?
False
Let r be 57/9 - 2/(-3). Let x = -12 - -8. Let m = r + x. Is 3 greater than m?
False
Suppose -3 = i - 2. Which is smaller: 0 or i?
i
Suppose 2*c = 3*j + 28, 3*c - 28 = 2*c + 5*j. Which is smaller: -1/2 or c?
-1/2
Suppose y + 5*o - 2*o + 7 = 0, 0 = 3*y + o + 21. Is y != -6?
True
Let o be (-3)/(-12) + (-543)/44. Let t = 11 + o. Which is smaller: 0 or t?
t
Suppose -t - 4*t - 5 = 0. Let l = -72 - -71.92. Is l at most as big as t?
False
Let l = 107/10 - 31/5. Which is bigger: 6 or l?
6
Suppose -z + 0*z - 1 = 0. Let s be (-1295)/(-20) + (z - 0). Let h = -64 + s. Which is smaller: h or 1?
h
Suppose 5*t - z = 6 + 4, -z = -2*t + 7. Do -1/12 and t have different values?
True
Let i be (2/(-32))/(6/(-30)). Which is greater: i or 1?
1
Suppose -5*z - 4 - 25 = -y, 0 = -y - z - 1. Which is smaller: y or 5?
y
Let n(h) = h**2 + 10*h - 10. Let w be n(-11). Which is bigger: w or 16/11?
16/11
Let c be (-212)/(-306) - (-32)/(-144). Which is smaller: 0 or c?
0
Suppose 52 + 50 = -2*v. Let s be (-3)/4 + v/(-4). Suppose 3*f - 3 = -s. Is f smaller than -1/3?
True
Let s be 2/7 + (-18)/14. Which is greater: 5/72 or s?
5/72
Let m(x) = -4*x**3 + 2*x**2 + 2*x + 1. Let f = 6 - 7. Let q be m(f). Is 3 smaller than q?
True
Let i(v) = -v**3 + 4*v**2 - 3*v + 2. Let b be i(2). Let x = 9 - 6. Does x = b?
False
Let i be -8 + 0/(0 - -2). Let x be (9 + 0)/(-3 - -4). Let w = i + x. Is w at most 2/13?
False
Let s be 0 + -5 + 2471/497. Which is greater: s or 0?
0
Let m = 0.41 - -1.89. Let v = -0.7 - m. Let x = v + 3.1. Which is greater: -4 or x?
x
Let l(c) = 2*c + 10. Let q be l(-5). Which is smaller: -2/11 or q?
-2/11
Let t = -137462644343473/558 + 246348521322. Let g = t - -303666. Let y = 5/62 + g. Which is greater: 0 or y?
0
Suppose 96 = -7*m - 5*m. Is m at least as big as 9?
False
Let k = 24 + -89. Let u be (-4)/(-26) - (-270)/k. Which is bigger: -3 or u?
-3
Let p(o) = 5*o**2 - o + 1. Let m be p(-1). Do m and 9 have the same value?
False
Suppose 9*y + 689 = -202. Is y smaller than -99?
False
Let m be 8/2*(-5 + 3). Let j = 0 - -1. Which is bigger: j or m?
j
Let o be (-40)/24*1/(-35). Are -1 and o equal?
False
Let x = 0.065 - 6.265. Let v = x - -7. Is v > 1?
False
Suppose 2*t + 2*t = 2*k - 28, -k - 4*t = 16. Let h be k/4 - 8/9. Is -1 at most as big as h?
True
Let p be (-10)/10*(15 + -1). Is p less than or equal to -29/2?
False
Let z be 18/(-144)*(41 + 1). Which is smaller: -6 or z?
-6
Let v be (-2)/6 + (-165)/(-9). Let p be (-12)/v*6/(-10). Which is greater: -1 or p?
p
Let w = 6.8 + -6.6. Is w not equal to -2?
True
Let f = 1 + 1. Let h be (-797)/(-364) - (0 + f). Let t = h + 5/52. Which is smaller: 0 or t?
0
Let z = 1491/2 + -714. Let n = z + -31. Is n >= 0?
True
Suppose -3*q + 5*q + 22 = 0. Let x be -8 - q - 3/1. Which is smaller: -1/6 or x?
-1/6
Suppose 0 = -2*t - 2*c - 2, -2*t - 3*c = 2. Let x(s) = -3*s**2 - 3*s - 1. Let a be x(6). Let d = a - -1649/13. Which is smaller: t or d?
t
Let k = 45 - 67. Which is smaller: k or -23?
-23
Let p = -74/3 + 24. Let k(d) = -2 - 3*d + 0*d + 2*d. Let w be k(-1). Which is bigger: w or p?
p
Let c = -3544/99 - -314/9. Is -1 at least c?
False
Suppose 0 = -3*g - 2*y + 9, -3*y + 4 = -5. Which is smaller: g or -0.25?
-0.25
Let o = -3 - -3.2. Let v = 0.2 + -0.26. Which is smaller: o or v?
v
Let k be 4/16 + (-1)/4. Suppose 4*g - 1 = 7. Let f be (1/g)/((-10)/(-4)). Is f bigger than k?
True
Let p = -125 - -873/7. Is 15 < p?
False
Let w = 26 + -14. Let v be (-4)/w + (-7)/(-3). Suppose -10 = -2*k, -5*u - 2*k = v*k - 15. Which is smaller: 1/2 or u?
u
Suppose 4*c + 5 = -g, -3*g + 3*c = -0*g. Let y be 290/14 - (-14)/49. Let x be (3/4)/(y/8). Which is smaller: g or x?
g
Suppose 1 = -4*t - 11. Let c = 2 - t. Suppose o = -3*u - 4*o - 16, -c*u = -5*o. Which is smaller: -3 or u?
-3
Let u be 2 - ((-86)/(-20) + -2). Suppose -2*c + 0*c + 4*t + 26 = 0, 0 = -5*c - t + 10. Suppose 5*j + 2 = -c*i + 10, -5*j = -3*i - 2. Is i bigger than u?
True
Let d(v) = -v**2 + 9*v - 15. Let p be d(6). Which is smaller: p or -0.06?
-0.06
Let k = 13 - 14. Which is smaller: 1 or k?
k
Let n = 0 - 1. Let p be -1 + 26/(5 + -3). Let o be ((-8)/p)/(n/(-3)). Do -3/2 and o have different values?
True
Suppose 5 = -3*d + 4*o, d - 3*o + o = -3. Which is smaller: d or -4/49?
-4/49
Let k = -7.11 + 0.11. Let q = k - -6.9. Is q at least 1?
False
Let n(y) = y**2 - 8*y - 8. Let x be n(9). Let o be 4 + (0 + -3)*x. Let j = 8 - 8. Which is smaller: j or o?
j
Let s = 43 - 77. Is -34 less than s?
False
Let a = -45 - -23. Let k be a/(-18) - (-8)/(-36). Which is smaller: k or -2?
-2
Let b = -6.96 - -7. Let l = b + 0.06. Is 1/5 at most l?
False
Let m = 6 + -8. Let i be (-2)/(-5) - (-32)/20. Let s = 0 - i. Is s <= m?
True
Suppose 3*l + 39 = 27. Suppose 3*v - 5*v = 10. Which is bigger: v or l?
l
Suppose -4*c - 3*s = -2*c - 14, 0 = -4*c + 2*s - 4. Let k be 876/(-10) + 8/(-4). Let b = -90 - k. Do b and c have the same value?
False
Let o = 6.04 + 0.76. Is 0.1 smaller than o?
True
Let w = 4948369381/1557420 - 961582/303. Let h = w - -2/1285. Are 3 and h equal?
False
Let i = 3146/17 + -185. Which is smaller: -1 or i?
-1
Let l = 1 - 8. Let p(c) = -c**2 - 8*c - 2. Let i be p(l). Let a(x) = x**3 - 4*x**2 - 5*x - 1. Let o be a(i). Is -2/15 at least as big as o?
True
Let g be ((-5460)/4496)/(-5) - (-3)/(-12). Which is smaller: g or 0?
g
Let r be (-6)/14 - 7/(-49). Let i(s) = -2*s. Let m be i(-1). Suppose -3*d = -0*d - 3, -5 = -m*x - 5*d. Is x at most as big as r?
False
Let d = -43 + 60. Which is smaller: d or -1?
-1
Suppose 0 = 8*y - 4*y - 4. Let b = 153/188 + -3/47. Are y and b unequal?
True
Let m be 1/4 - 8468/272. Let k = -12196/85 - m. Let p = -113 - k. Is p not equal to 1?
True
Let s = -257/3220 + -1/140. Suppose 9 = 2*p + 2*v - 1, 22 = 2*p + 5*v. Which is smaller: s or p?
s
Suppose -3 = -k + 2*k. Suppose 0 = -0*v + v. Is v less than k?
False
Let v = -41 + 40.9. Let x = -0.3 + 0.6. Let h = 0.2 - x. Are h and v unequal?
False
Suppose -2*o = -5*d - 18, 7*d - 3*d + 4*o = -20. Is 2 not equal to d?
True
Let g be 13/2 - (-3 + 1). Which is smaller: g or 8?
8
Let r = 1.9 + -2. Let n be 2*(13/(-6) + -2). Let g = n - -8. Which is greater: g or r?
r
Let t = -0.06 + -11.94. Let z 