reater: 2/5 or t?
t
Let n = -12 - -15. Suppose n*d - 6 = 5*d, 5*w + 3*d - 1076 = 0. Let h = w - 3471/16. Which is smaller: 0 or h?
0
Suppose a = -2*a, 2*j = -2*a + 30. Which is smaller: -4 or j?
-4
Let n = -1481/60 - -123/5. Let s(r) = 5*r + 9. Let g be s(5). Let f = g - 33. Which is bigger: f or n?
f
Let w(a) = 4*a**2 - 2*a + 1. Let o be w(2). Let l be o/26*(-2 + 0). Let j = -79/3 + 185/7. Which is greater: j or l?
j
Let w be 14/(1*132/(-4)). Let o = -872/2211 - w. Suppose -4*y + 0*y = 0. Is y bigger than o?
False
Suppose 5*l - 3*y - 1070 + 120 = 0, y + 760 = 4*l. Let m be -1 - -1 - (-5652)/(-30). Let u = m + l. Is u at most as big as 1?
False
Let b be 26/(-2) - (0 + -1). Let l be (4 + -36)*26/b. Let f = l - 70. Which is smaller: f or 1/3?
f
Let x(l) = 2*l**3 + 79*l**2 - 38*l + 109. Let t be x(-40). Are t and 113/4 equal?
False
Let x(g) = -15*g + 72. Let i be x(5). Do i and -10/3 have the same value?
False
Let t(v) = v**3 - 3*v**2 - 2*v + 8. Let d be t(6). Let o = d + -94. Is o smaller than 56/5?
True
Suppose 11*q - 8*q = 135. Which is smaller: 46 or q?
q
Let o = 96 - 60. Suppose 4*p + 2*p + o = 0. Which is bigger: -8 or p?
p
Let g be (-4)/22 + (-52)/(-44). Let i(r) = -r. Let d be i(g). Suppose -y = -b - 1, 0 = y + 3*b - 6*b - 9. Is d at least as big as y?
True
Let u = -974 - -975.7. Is u equal to 0.5?
False
Suppose -z = 10 + 3. Let i = -14 - z. Let g = 2 + -5. Which is smaller: i or g?
g
Let d(m) = -3*m + 2. Let o be d(1). Let q be 1*-4 - (o + -2). Is q at least as big as -4/11?
False
Let l = -12 + 3. Let c = -312 + 302. Which is bigger: l or c?
l
Suppose 5*s - 2 = -12. Let i = 526 + -523. Is s bigger than i?
False
Let y be 7/35 - (64/20 - 3). Is -1/175 != y?
True
Let r be (3/9)/(385/(-198) + 2). Which is smaller: r or 79/11?
r
Let y(w) = 7*w**3 + w**2 - 2*w + 1. Let k be y(1). Let g = k - 4. Let m = 1952/3 + -647. Which is bigger: g or m?
m
Let o = 4 + -2. Suppose -o*d = 3*d. Suppose -2*t + 0*t = d. Which is greater: -1/19 or t?
t
Let n be (-7)/(63/(-6)) + 4/(-18). Which is smaller: 0.1 or n?
0.1
Suppose -50*z = -48*z. Suppose -c + 2*a + 6 - 37 = z, 0 = -5*c + 2*a - 115. Which is smaller: c or -22?
-22
Let p be (-6)/((-6)/(-18)*2). Which is smaller: -1/18 or p?
p
Let t = 343/5 - 69. Let u be (-1 - -3)*-1 - 17. Let i = u + 18. Which is bigger: i or t?
t
Let a = 6.9 - -8.1. Let z = -18 + a. Is z > 2/3?
False
Suppose z - 7*g + 4*g = 11, -2*z + 5*g = -18. Are z and 12/49 equal?
False
Suppose -3*r - 17 = 10. Suppose 0 = -26*o - 52 - 78. Is r smaller than o?
True
Suppose 15*v - 14 - 46 = 0. Is v greater than or equal to 11/4?
True
Suppose -2*m + 110 = 3*n, 5*n - 161 = -2*m - 51. Which is smaller: m or 44?
44
Suppose 5*u - 4 = -4*b - 89, 5 = -b. Which is greater: u or -3?
-3
Let w = 0.1856 - -5.8144. Let n = -2 + 1. Do w and n have the same value?
False
Let k = -4.6 - -4. Let o = -0.2 + 1. Let h = k + o. Is h at least -0.3?
True
Let o = -27 - -28. Let g be -2 - 21/(-77)*8. Which is smaller: o or g?
g
Let y = 86/225 - 4/25. Which is bigger: y or -2/27?
y
Suppose 3*g - 1114 = 1070. Let d be (118/g)/((-18)/32). Let a = d - -6/91. Which is greater: -1 or a?
a
Let n = 0.148 + -0.144. Let r = n + -2.004. Which is smaller: r or -1/72?
r
Suppose -15 = -11*i + 7. Suppose -i*l + 5*p = -7, 0 = l - 4*p + 2 - 4. Let q be 4*1/2 + 4. Is l greater than q?
False
Let q = 196 - 218. Let g = -14 + 7. Let n = g - -6.9. Which is smaller: q or n?
q
Suppose -5*c + 21 = 3*l - 7, -4*l = 4*c - 32. Let y be (3 + -2)*l/6. Which is greater: y or -3?
y
Let m = 19.013 - 19. Let b = -0.087 - m. Is b < 1?
True
Let h = -39 + -17. Let a = h - -56.1. Are 0.2 and a unequal?
True
Let n = 22 + -18. Suppose 0 = -n*k + 2*r - 36, -40 = -k + 5*k - 4*r. Does k = -9?
False
Let r be 31/11 + 4/22. Suppose -r*f = -0*f. Suppose 4*c - 9*c + 10 = f. Which is smaller: c or 1?
1
Let b be (7 + 3)/((-4)/(-22)). Let g = 95 - b. Let t be 35/4 + 10/g. Is t <= 8?
False
Suppose -3*h - 5*n = 364, -5*h - 5*n - 600 = -0*h. Let z(r) = -29*r**2 - 905*r + 1808. Let y be z(2). Is y >= h?
True
Let w = -303/1310 + -9/131. Suppose -2*k + 4*m - 10 = 0, 5*m - 3*m - 4 = 2*k. Which is smaller: k or w?
w
Let z be (0 - -60)*12/(-224). Is -3 less than or equal to z?
False
Let s be ((-13 + 1)/6)/(2/24). Let p be -9*((-224)/12)/(-7). Is s at most p?
True
Suppose -8 = -8*y + 24. Suppose -2*s + 10 = -y*s. Let i(n) = 2*n**2 + 10*n + 7. Let u be i(s). Is 7 at most as big as u?
True
Let u = 33 - 18. Let g = 201 - 216.07. Let o = u + g. Which is bigger: o or -0.1?
o
Suppose 0 = -5*a + a + 272. Let y = -51 + a. Which is bigger: y or 19?
19
Let j be (3/9)/((-2)/(-36)). Suppose -j = -4*m + 6. Suppose 0 = -g - a + m, 3*g - 8 = -2*a - 0. Is g greater than or equal to 0?
True
Suppose 3*p - 15 = 3*s, 0 = p - 0*s + 3*s + 15. Let i be (-1)/6*(-6 - -7). Which is greater: i or p?
p
Let p(v) = -v - 7. Let c be p(8). Let d be 3/c + 411/130 + -3. Which is bigger: d or 0?
0
Suppose -166*t + 161*t = 350. Which is smaller: -68 or t?
t
Let p = 97750/703 + -2608/19. Which is smaller: 1 or p?
1
Suppose 20 = 2*n + f, -n + 2*f + 2*f = -28. Let b be 4 + (6 - 3) + 4. Which is bigger: n or b?
n
Suppose -4*b + 46 = 6. Let p = 8249 - 8239. Is p less than or equal to b?
True
Let f = 16.3 - 14.3. Let i = 10 - 6. Which is smaller: i or f?
f
Let i = -1 + 5. Suppose 0 = -3*v - 0*v - j + 80, 5*v - j - 136 = 0. Let n = v + -25. Is i < n?
False
Let j = 7/22 - -9/110. Let k(p) = -10*p**2 - 63*p - 11. Let q be k(-6). Is q greater than or equal to j?
True
Suppose -3 = -2*l + i + 1, 2*i = 5*l - 12. Let y(a) = a**3 - 3*a**2 + 2*a - 7. Let p be y(l). Are 17 and p equal?
True
Suppose 5*g = 4*g + 15. Suppose 5*d = g - 5. Let v be (2 - (-42)/(-22))*d. Which is bigger: v or 1/4?
1/4
Let x = 60.71 - 60. Let k = 0.77 - x. Let g = -1 - -1. Are k and g unequal?
True
Suppose 0 = 3*z - 21 - 129. Suppose 20*l = 25*l - z. Is 9 smaller than l?
True
Let t(g) = 4*g - 17. Let j be t(5). Let i be (-3)/j - (-9)/3. Suppose l - 2*d + 2 = -d, -d = -3*l + i. Do -1 and l have the same value?
False
Let x be (0 - (-1 - -1))/2. Suppose s = 4*y - 2, -10*y = -6*y + 3*s + 6. Do y and x have different values?
False
Let h = -91 + 94.3. Which is smaller: -2/11 or h?
-2/11
Let v = -4.1279 - -0.1339. Let x = -0.006 + v. Are x and -4 unequal?
False
Let m be (-3 + (-4 - -7))*2/(-6). Let y = -6011/31 + 194. Which is greater: y or m?
y
Suppose 0 = 3*b + 2*u, -u = -0*b + b + 1. Suppose 0 = -h + b. Let f be (h/3)/((-2)/9). Which is smaller: -4 or f?
-4
Let q be (-20)/(-9) + (-4 - 4/(-2)). Are 182 and q equal?
False
Suppose -22 = 6*o + 14. Let h(b) = 12*b + 35. Let j be h(o). Which is bigger: j or -38?
j
Let t(d) = d**2 - 17*d + 53. Let o be t(11). Is o < -11?
True
Suppose 314 = 2*z - 312. Let s = z - 7824/25. Are 0.1 and s unequal?
True
Let s be (-2)/(-3) + 1/3. Let b be ((-40)/(-24))/((-350)/(-42)). Is s equal to b?
False
Let o = -65.997 - 0.003. Let s = -65 - o. Do 50 and s have the same value?
False
Let y be (4/6 - 0)/(40/(-1140)). Is y >= -21?
True
Let l = -7.39 - -7. Let j = l - 0. Is j not equal to 2/9?
True
Let k = 0.86 - 0.06. Let o = -0.2 - k. Is o at least 1/4?
False
Let f = 60 - 57. Suppose 5*s - 2 = f*s. Which is smaller: s or -0.14?
-0.14
Let f(j) = j**3 + j**2 - 2*j. Let c be f(-2). Suppose c = -3*b + 4*b - 6. Let i be 190/150 + b/(-10). Is i >= 0?
True
Let s = 20 - 20.42. Let w = s + -1.58. Is w != 5?
True
Let y be ((-21)/(-12) - 2)*(0 + 4). Let r be (-9 - y)*11/(-4). Which is bigger: 20 or r?
r
Let f = 251 - 250. Do f and -3/304 have the same value?
False
Let t be (-1)/2 - (442/4)/(-13). Let d be 22/21 - t/(-12). Which is greater: 2 or d?
2
Let t = -48 - -49. Let p = 49.23 + -49. Let x = -0.67 - p. Which is smaller: t or x?
x
Let q(h) = -4*h - 145. Let p be q(-23). Which is smaller: p or -2?
p
Suppose -2*w - 7 = u - 2*u, -74 = -5*u - 3*w. Suppose -9*v + 7*v + u = -3*x, -5*x + 3*v = 21. Is -1 at most x?
False
Let a = 146 + -83. Let t = a - 74. Is -1 > t?
True
Suppose 0 = k + 4*f + 130, 0 = -5*k - f + 27 - 639. Is k at most -370/3?
False
Let c be 207/12 - 3/(-4). Suppose 0 = -13*i + c*i. Is -4/5 less than or equal to i?
True
Suppose -3*y + 2*y + 20 = -4*t, 2*t - 4 = -3*y. Let w = -965/399 - 33/133. Are w and t equal?
False
Let s be 6 - (138/1012)/((-1)/(-204)). Which is smaller: -23 or s?
-23