 = -50615/23 - -2200. Which is smaller: k or 0?
k
Let h = -10.2 + 10.69. Let o = -0.13 + h. Let v = 0.06 - o. Is -1 equal to v?
False
Let i = -0.0258 + -0.9742. Is 0.127 < i?
False
Suppose 4*b - 288 = 4*v, -5*v - 4*b + 5*b - 348 = 0. Which is smaller: v or -279/4?
-279/4
Let i = -3500/3 + 1156. Let c(v) = v - 7. Let g be c(6). Is i at least g?
False
Let z = 275 + -196. Let r = 77 - z. Which is smaller: 2/7 or r?
r
Let r = 79 - 80. Is 1/130 at least r?
True
Suppose g + p + 11 = 32, 5*p = 15. Does 35/2 = g?
False
Let v = 899/7 - 128. Let h = 0.4 - 1.4. Do h and v have the same value?
False
Let u = -82 + 153. Let r = -51 + u. Let t = -19 + r. Which is bigger: -1/13 or t?
t
Let o(w) = w**2 + 9*w + 7. Let l be o(-9). Suppose l*f = 135 + 40. Which is greater: f or 27?
27
Let a be (81/324)/((-6)/(-8)). Let n(d) = -d**3 - 5*d**2 + 4*d - 7. Let w be n(-5). Is a at most as big as w?
False
Let x(n) = 2*n**2 + 3*n. Let z be x(-2). Let y = 13 + -12. Suppose 3 = -z*a + y. Is a at most -1/14?
True
Let r be (1 - -13)/(8/148). Let k be 4/14 + (-88)/r. Suppose -13 = 3*g - t - 4*t, -5*g - 2*t = 1. Are g and k nonequal?
True
Let x(z) = -z**2 - 19*z + 15. Let n(c) = 2*c**2 + 37*c - 30. Let o(d) = -6*n(d) - 11*x(d). Let w be o(-14). Let j be -1 + (34/11)/2. Is j <= w?
True
Let d = 270 + -274. Which is smaller: d or -17/5?
d
Let l = -20 + 20.022. Let k = 0.208 + l. Let u = k + 0.07. Which is bigger: 1 or u?
1
Let p be 7 + -4 - (-11976)/63. Let w = p - 193. Which is smaller: -2/3 or w?
-2/3
Let y be ((-6)/(-4))/((-6)/(-88)). Let c(w) = 130*w - 497. Let r be c(4). Which is bigger: r or y?
r
Let j = 1003 + -762. Which is greater: j or -2?
j
Let m = 1.71 + 0.29. Let c be 1/(2*5/(-60)). Is m < c?
False
Let d = 20 - 26. Let m(r) = r**2 + 7*r + 8. Let y be m(d). Let p = y + -3. Is 2 >= p?
True
Let o = 1275 + -1248. Let v = -27.56 - 0.44. Let l = v + o. Is -7 greater than l?
False
Suppose -10*y - 3*l + 572 = -6*y, -3*l = 3*y - 429. Which is bigger: 857/6 or y?
y
Suppose 5*n - 9 = -5*a + n, a + 4*n = -11. Suppose 4*g - 4 = 0, 2*g - 29 = a*q - 2*g. Let y be (q/2 + 2)*4. Which is smaller: -16/7 or y?
-16/7
Suppose 3*m + 10 = 3*a - 4*a, 5*a + 2*m = 2. Let f = -60.877 + -0.123. Let d = f - -49. Which is greater: a or d?
a
Let i = 288 + -325. Is -5/4 at least i?
True
Let d be (-2 - (-850)/380)*(-2)/186. Is d < 1?
True
Suppose -57*y - 51 = 6. Which is smaller: y or -10/9?
-10/9
Let i = 120 + -119.9. Which is smaller: 6.1 or i?
i
Let u be (42/(-15) - -2)/2. Let h = 23 + -11. Let y = h - 11.8. Which is bigger: y or u?
y
Suppose 5*k = -3*m + 1, -2*k + 7 = -m - 0*m. Suppose y - 5*c + 2*c = -10, -2*c = -3*y - 23. Let w be 2/y - 92/70. Do w and m have the same value?
False
Let u = 6.2 - -8.8. Let d = -65.8 - -81. Let s = u - d. Is s != -5?
True
Let j = 59 - 61. Let o = j + 10. Is 1 at least as big as o?
False
Let h = -218 - -134. Let w be (3 + -2)/((-3)/241). Let g = h - w. Is -5 <= g?
True
Let j = -23 + 23. Let z be 1*(-5 + 2) - (-290)/80. Which is smaller: j or z?
j
Let y = -6/23 - 4/161. Suppose -4*q - 14 = -2*d + 5*d, d - 4*q = 22. Let h be 5/(-3) - (d - 4). Which is smaller: h or y?
y
Let l(r) = -2 + 0*r**2 + 3*r + 2*r**2 - 1 + 0*r**2. Let q be l(1). Which is smaller: q or 15/13?
15/13
Let x = -3949 + 3945. Suppose 5*y - 5*t = -25, 4*y - t = -11 - 3. Let s(b) = -b - 4. Let w be s(y). Which is bigger: w or x?
w
Suppose -4*u + 10 = o - 15*u, -2*o - u = 3. Let l = -1426/9 + 158. Is o smaller than l?
True
Suppose -5*x + j - 40 = -0*j, -4*j + 27 = -x. Suppose 2*o + 3*o + 100 = 0. Let z be 6/8 - (-155)/o. Is x greater than or equal to z?
True
Let l(t) = t + 6. Let b be l(-9). Let f be b*(-10)/5 - -2. Suppose -2*h + 4*z - 2*z + 16 = 0, -3*z = 6. Do h and f have the same value?
False
Let y = 205 - 202. Are y and -3/5 unequal?
True
Let g = -50 + 43. Let i be ((-3)/10)/(g/(-14)). Which is greater: i or -1?
i
Suppose -50*f + 44*f = -348. Let p = 62 - f. Suppose -5*c + 12 = -c. Which is smaller: c or p?
c
Suppose -12 + 18 = 2*n. Let s be (2 + (0 - n))*(0 + 12). Which is greater: s or -25/2?
s
Suppose 0 = -3*j - 4*p - 105, j + 36 = 2*p - 3*p. Let m = j + 39. Let d = -59/52 - -5/13. Which is smaller: d or m?
d
Suppose -9 = -3*r + 3. Suppose 0*d - r*d = -5*m - 56, 3*d = -3*m + 15. Suppose 3*o - d = 3*c, 3*o = -2*o + 5. Is -5/8 greater than or equal to c?
True
Let o = 256 + -254.41. Let p = o + -0.19. Let g = -0.4 + p. Is g greater than -2.1?
True
Let t = -71 + 70.6. Is -19 < t?
True
Suppose 0 = u - 2*a + 19 + 22, 2*u = 3*a - 84. Let l = -313/7 - u. Is -53 equal to l?
False
Let y(j) = -35*j**2 - 21*j - 51. Let h be y(-3). Which is smaller: h or -304?
-304
Let j = 3.3 - 0.4. Let a = 2.7 - j. Which is bigger: a or -16?
a
Suppose 321 = 6*j - 3*j. Is j > 106?
True
Suppose 0*w + 266 = -2*p - 2*w, -2*w - 540 = 4*p. Is p at least -137?
True
Let y(w) = 58*w**3 - 3*w**2 + 2*w - 3. Let t be y(2). Let u be t/105 + 12/(-20). Which is smaller: u or 3?
3
Let q(j) = j - 3. Let l be q(-4). Let s = 7 + l. Suppose s = -b - b. Which is greater: b or -2/27?
b
Let o = -3791.58 - -3755. Let v = -37 - o. Let g = -0.12 - v. Is 1/4 > g?
False
Let i be 18/(-135) + (-4)/(480/14). Suppose 2 = 4*f - 18. Is f at least as big as i?
True
Let t = 62 + -73. Let c(s) = 5*s + 25. Let z be c(t). Which is greater: -32 or z?
z
Let a = 370 - 606. Is a greater than 0?
False
Let s be 109/(-4) - 5/40*-2. Is s >= -7?
False
Let s = -9 + 9.8. Let q = -350.8 + 358. Let c = q + s. Is c > 0.1?
True
Let w be 3362/14 - 123/861. Is 242 < w?
False
Suppose -45*h + 42*h + q - 7 = 0, -3*h - 5*q = -17. Is 2/1717 greater than h?
True
Let n(f) = f**3 + 8*f**2 + 7*f - 4. Let b be n(-7). Let m be b + (-2 - 2) + 4. Suppose -6*v + v = 25. Is v smaller than m?
True
Suppose -2*a = -0*a + 52. Let n be 5/(15/a) + 4/6. Is -7 less than or equal to n?
False
Let t be (-4)/(-3)*9/(-6). Let y(k) = -k**3 + 6*k**2 - 6*k + 6. Let o be y(5). Let u = t + o. Which is greater: u or -3?
u
Suppose 16*f - 8 = 18*f. Let h be (f - 28)*1/(-14). Which is smaller: h or 1?
1
Let u = 5 + -5.1. Let n = -9.08 - -9. Let d = n + -1.92. Which is bigger: u or d?
u
Let f(i) = i - 8. Let x be f(9). Suppose 0 = 3*t + 19 - 4. Let q = t - -2. Is q greater than x?
False
Let f = -30379991/40938580 + -12/38915. Let z = f + -2/263. Is z at least as big as -3?
True
Suppose 7*d + 6 = 13*d. Is d smaller than 3?
True
Let b be (2 - -1) + 0/(5 + -3). Suppose -y - 4*y - b*c = -56, 0 = -3*y + c + 28. Are y and 8 nonequal?
True
Let z = 1.2 + 2.8. Let s = z - 3.2. Let c = s + -0.8. Which is smaller: -0.01 or c?
-0.01
Let f = 0.151 - -0.249. Which is smaller: f or 8?
f
Let v = 1/491 + -1477/1964. Is -4/45 less than v?
False
Let j = -22 - 1. Let o = -24 - j. Are o and -3/2 nonequal?
True
Let m be (2/4)/(2/(-44)). Let t = m + 16. Suppose 5*x + 3838 = 3868. Which is bigger: x or t?
x
Suppose -4*f + 39 = -1. Let x be 6/(-10)*(-50)/f. Suppose h = v + 3, x*v - 6*v = 4*h - 5. Is v > 2/5?
False
Let o be (-105)/9 - 4/12. Let a be (-17)/(-35) - o/(-60). Are 0.03 and a equal?
False
Suppose -20*b - 255 = -4*r - 17*b, -r + 68 = -5*b. Which is greater: 65 or r?
65
Let z(h) = -h**2 + 2. Let y be z(0). Let w be (-288)/360 + 3/5. Are w and y equal?
False
Let y(r) be the third derivative of -119*r**4/24 - r**3/6 + 4*r**2. Let m be y(1). Let c be 256/m - -1*2. Which is smaller: -1/2 or c?
-1/2
Let p = -7.3 - -0.7. Let x = p - -6.6. Is -0.35 != x?
True
Suppose -787*l + 15582 = -773*l. Which is greater: l or 1112?
l
Let f(w) = 22*w - 3. Let s be f(-8). Let r = 1971/11 + s. Let j be (-12)/(-24)*0/1. Which is smaller: r or j?
j
Let j = -1606 - -1130. Let s be (2 + j/232)*-2. Which is smaller: s or 0?
0
Let o = -127 + 125.36. Which is bigger: 0.1 or o?
0.1
Let k = -23720947/1043 + 22743. Which is smaller: -1 or k?
-1
Suppose 0 = 4*m - m + 5*a - 175, -4*a + 244 = 4*m. Let f be 10/m + 126/26. Suppose -2*l - 1 + f = 0. Which is bigger: l or 3/4?
l
Suppose 0*r - 2*r + 40 = 0. Let a be (-3294)/(-189) - (-2)/1. Are r and a unequal?
True
Let n = 45 + -46. Let r be (2/(0 + 2))/n + 2. Which is greater: 1/42 or r?
r
Let c = 164 - 90. Let r = c + -74. Do 10/13 and r have the same value?
False
Let j be 6/4 - 86/(-4). Let h = 23 - j. Suppose -3*s = 2*l - h*s - 53, -10 = -2*s. Do l and 19 have the same value?
True
Let f = -0.136 + -24.164. Whi