-484353/25 + 19377. Which is smaller: 2 or i?
2
Let p(b) = -b**3 + 11*b**2 - 17*b - 7. Let z be p(9). Let o be z/(-8) - (-1547)/(-340). Which is smaller: -4 or o?
o
Let a = -23.3 + 24. Let y = -0.7 + a. Which is greater: y or -4/15?
y
Let c = 852 - 846. Which is bigger: c or 11?
11
Let x = -0.06 + 0.03. Let h = -352 - -352.3. Which is greater: x or h?
h
Suppose 2*h + 2*k + 18 = 0, -2*h = -7*h - k - 29. Let z be 15/h*(-2)/6. Let f = 109/6 - 1081/60. Is f at most as big as z?
True
Let o = 2/749 - -5231/4494. Suppose -f - 15 = 5*w, -5*w + 3*f - 2*f - 5 = 0. Let d be w + 3/(3/4). Which is smaller: o or d?
o
Let h = 438 + -441. Let w = -10 - -17. Suppose w = -z + g + 1, 4*g = -3*z - 4. Which is bigger: z or h?
h
Let x(w) be the first derivative of -w**2/2 - 7*w + 5. Let j(r) = -2*r + 1. Let z be j(5). Let m be x(z). Which is greater: 4 or m?
4
Let f = -7.38 - -7.2. Let c = 0.16 + 0.06. Let g = c - f. Is g < -3?
False
Suppose -2*m - 47 = -2*b + 41, 5*m + 216 = 3*b. Let o be 162/(-286) + m/(-231). Is -1 > o?
False
Let a be ((-69)/(-22 - -45))/(6/628). Which is greater: -310 or a?
-310
Let j = 215 + -152. Which is smaller: 68 or j?
j
Let w(x) be the third derivative of 23*x**6/24 - x**5/60 + 8*x**2. Let d be w(1). Let s = -568/5 + d. Which is smaller: 0 or s?
0
Let b = -2/33735 - 5036/2597595. Which is bigger: b or -1?
b
Let k = -109 - -54. Is -55 > k?
False
Let h = 48445 - 3730196/77. Let s = 2/11 - h. Which is smaller: s or -0.01?
s
Suppose -4*x - 246 = 2*y, -261 = 9*x - 5*x - y. Is x > -194/3?
True
Let l = -839/620 + 29/20. Which is bigger: l or 0?
l
Suppose -3*h + 12 = -0*h. Suppose 4*q - h = 2*q. Is -1/3 <= q?
True
Let p(d) = -4*d + 4. Let h be p(0). Suppose -2*y + 1 = -5*g - 29, 24 = -h*g + 3*y. Which is bigger: g or -4?
-4
Suppose 0 = -2*q - 0*q + 10. Suppose 20 = -5*j, 5*k - 3*j + 8 = -q. Suppose 50*b = 53*b + 6. Which is smaller: k or b?
k
Let l = -1095 - -1097.067. Let m = l - 0.067. Which is bigger: m or 1?
m
Suppose -70 = 5*r - 2*a - 846, 2*a = -3*r + 472. Is r equal to 156?
True
Suppose -6*u - 289 = 11. Let v = 152/3 + u. Which is greater: -4/3 or v?
v
Suppose -2*f + a = 4*a - 47, 5*a - 20 = -f. Suppose 2*l = 7*l - f. Is l smaller than 5?
False
Suppose -10*f - 1454 = 4*s - 8*f, 1087 = -3*s + 2*f. Which is greater: s or -2/3?
-2/3
Let r(t) = t - 1. Let w(h) = h**2 - 6*h + 57. Let l(y) = -5*r(y) - w(y). Let k be l(0). Let n be 9/6*k/(-6). Is n equal to 13?
True
Suppose -4*m - 5*z = 12, -4*z = -2*m + 9 + 11. Let n be m + (-6)/(-57)*(-222)/12. Which is smaller: n or 1?
n
Let q = 23 - 22.69. Let l = q - -16.69. Which is smaller: l or -1/4?
-1/4
Let d be (18/(-5))/(18/(-45)). Let t be 2/(-60) - d/(-54). Do t and 0 have the same value?
False
Let l(q) = -q**2 + 4. Let j be l(0). Suppose j*y = -16, 3*r + 4*y = -9 - 7. Is r < -7?
False
Let s be (-96)/110 - (-4 - -1). Let o = -556/15 + 104/3. Let f = o + s. Is -1 bigger than f?
False
Let d(n) = 121*n**2 + 2*n + 3. Let z be d(-1). Suppose -b - 5 = -3*y, -5*b - z = 4*y - 21. Is b less than or equal to -17?
True
Let p = -12 + 8. Let l be ((-14)/(-30))/((-41)/246). Which is bigger: p or l?
l
Let w = -1.77 + 1.4. Let h = w + 0.47. Which is smaller: 4 or h?
h
Let i(f) = f + 10. Let p be i(13). Suppose -20 = -p*w + 21*w. Which is smaller: 11 or w?
w
Suppose -38*t = -209 - 589. Are t and 79/4 unequal?
True
Suppose -3*n + n = 40. Let a be (-8)/n*(13 - -2). Which is greater: a or 28/5?
a
Let n be -6*(2/6)/(-1). Let h be -3 + (9 + 0 - 2). Is h != n?
True
Suppose -w + 8 = 3*w. Suppose -w*z + 20 = 2*z. Suppose -5 = -z*r - 0*r. Does 1 = r?
True
Let y = 18.63 + -19. Let p = 0.33 + y. Are 3 and p nonequal?
True
Suppose 0 = 5*w + 11 + 9, 0 = -4*s + w - 99604. Let y = 173948/7 + s. Let j = y + 52. Which is bigger: j or -1?
j
Suppose -2*k - s + 6*s + 21 = 0, 2*k = -5*s - 9. Suppose -i + 12 = k*i - 2*d, -3*i = -d - 8. Do 3 and i have the same value?
False
Let r(k) = -14*k - 26. Let x be r(-2). Let s be 1 - ((-2)/4 + 0). Is s at least as big as x?
False
Let d = -136 + 137.12. Is -2/3 < d?
True
Let d = 0.5 - -0.5. Let b = -18 - -15. Let k = -5 - b. Which is smaller: d or k?
k
Let a be -9 + -8*12/(-16). Let d(t) = t**3 + t**2 - t - 2. Let m be d(-2). Let s = m + a. Is -7 bigger than s?
False
Let k = -11197/19950 - -1/798. Which is smaller: k or -1?
-1
Let c = -0.1 + 0.1. Let s(t) = 43*t + 135. Let v be s(-3). Which is smaller: c or v?
c
Let z be -2*5*(-10)/450. Let s = 39.6 - 36. Which is greater: s or z?
s
Suppose 11*g + 1034 - 253 = 0. Which is smaller: -78 or g?
-78
Let h = -0.29 - 5.71. Let a = -5.902 + 0.002. Let l = a - h. Is l greater than 0.01?
True
Let r be 1/(-2) + (-93)/(-210). Suppose 406 = 5*l + 2*l. Let k = l - 57. Which is greater: r or k?
k
Let o = 2.3 + 3.7. Which is greater: 1/3 or o?
o
Let r be 87/(-230) - (-8)/20. Suppose 0*c = 4*c + 5*c. Which is smaller: r or c?
c
Suppose -9*o + 517 = 4*y - 6*o, 2*y - 3*o - 245 = 0. Is y equal to 125?
False
Let s(m) = 5*m + 13 + 2*m - 5 - 5*m. Let q be s(-7). Which is smaller: q or -3?
q
Let f = 11526 - 80536/7. Is 22 at least f?
True
Suppose 7*h = 2 + 5. Is 2/57 >= h?
False
Let z = 90 - 122. Is z greater than or equal to 2/11?
False
Let p(h) = h**2 - 4*h. Let d be p(5). Suppose 8 = d*o - 2. Let m = -183 + 188. Is o <= m?
True
Suppose -42 = -0*s - 2*s. Let u be (s/(-22) - -1)*13. Let c = 12/11 - u. Is c at least as big as 0?
True
Suppose 18 - 2 = 4*y. Suppose y*d + 76 = -2*b - 3*b, 0 = 4*d + 3*b + 84. Let o = 16 + d. Which is bigger: o or -7?
-7
Let d(h) = -55*h - 221. Let y be d(-4). Which is smaller: 1/168 or y?
y
Let q = 239 + -36. Let g = -2231/11 + q. Does -4 = g?
False
Suppose -5*k + k - 2*x = -26, 5*x = -5. Let w = -43 + k. Is -37 greater than or equal to w?
False
Suppose -40 + 142 = 34*u. Suppose 4*s - 28 = -4*h, -1 = h - 2*h + 2*s. Suppose -2*l = -6*o + 5*o + h, 5*o - 25 = 4*l. Which is smaller: o or u?
u
Let u = 99 - 96. Which is smaller: u or -27?
-27
Let w be (-57)/(-285) + (-3 - -1)/(-10). Which is smaller: 2/13 or w?
2/13
Let s = 2195815/27 + -81340. Let d = 49/27 - s. Which is smaller: 16 or d?
d
Let x = -16.483 + 16.12. Do 1 and x have different values?
True
Let d = 456 + -685. Are 0.1 and d nonequal?
True
Let m(t) = t**2 - t - 2. Let g be m(-1). Suppose 0 = 5*h - u - 55 - 15, 5*u - 25 = g. Let n = -12 + h. Which is greater: -0.3 or n?
n
Let f = 8 - 6. Suppose -5*v = -3*j - 33, -f*v + j = v - 19. Which is smaller: v or 5?
5
Suppose -7*x = -4*w + 3*w + 24, -2*w - 24 = 4*x. Which is smaller: w or -61/13?
-61/13
Suppose y + 56 = 5*y. Let i be ((-18)/7)/(15/70). Let a = i + y. Which is bigger: a or 3?
3
Let c = -453002/5 + 91400. Let a = c - 797. Let g be ((-27)/18)/(3/(-4)). Which is greater: g or a?
a
Suppose -4*m = -2*m. Let t = -7/3 - -32/15. Is t equal to m?
False
Suppose 0 = 6*l - 28 + 16. Let i be -2 + 0 + 2/3*l. Is 0.6 smaller than i?
False
Let r = 44 + -41. Suppose -r*s - 18 = -0. Is -6 not equal to s?
False
Let m(d) = 2*d - 8. Let f(h) = 3*h**2 + 2*h - 2. Let s be f(-2). Let r be m(s). Suppose 0 = 2*n - 4*g + 12, -3*n + 3*g - r = -2*n. Does n = -11?
False
Let c = 30.2 + -30. Let o = 0 + 3. Let a = 5 - o. Which is bigger: a or c?
a
Suppose -508 = 5*a + 57. Which is bigger: -337/3 or a?
-337/3
Let h(s) = -s**2 - 6*s + 37. Let u be h(-9). Suppose -14 = -u*q + 24*q. Let k be ((-3)/(-25))/(18/(-4)). Which is smaller: q or k?
q
Let g = 56 + 26. Let t = -573/7 + g. Which is greater: 3 or t?
3
Suppose 3*q = 3*h + 97 - 19, -3*q = 2*h - 78. Let w = q + -23. Are w and 6 equal?
False
Let l = -1277.1 + 1277. Let a be (15 - 1)*-4 - 0. Which is smaller: l or a?
a
Let k = -4 - -8. Suppose 0 = -2*y - 0 - k. Let v(i) = -i**2 - 17*i + 83. Let z be v(-21). Does y = z?
False
Let n = -230 - -553. Is n at most as big as 322?
False
Suppose -891 = -23*x + 811. Is 70 smaller than x?
True
Let j(o) = 3*o**2 - 2*o - 3. Let c be j(-2). Let t(q) = -q**3 + 12*q**2 + 15*q - 6. Let y be t(c). Which is smaller: 19 or y?
19
Let c be ((-3)/(-5))/(24/20 - 1). Suppose -3*u = x - 2*u - 3, -3*u - c = -x. Let q(k) = k**3 + 6*k**2 - 7*k + 2. Let f be q(-7). Which is smaller: f or x?
f
Let a(v) = -27*v**2 + 13*v**2 - 2*v + 15*v**2. Let y be a(2). Does 1/8 = y?
False
Let u = -26 + 4. Let a be (-1 + 0)/((-3)/(-69)). Which is bigger: a or u?
u
Let i = 3 - 20. Let a = -14 - i. Let m be 2