 - 24. Suppose 10 = -4*t - 2, 4*o - 3*t + 59 = 0. Let q(r) = r**2 + 16*r - 26. Let h be q(o). Does h = g?
False
Let x be -1*2 + ((-18)/(-6) - 57). Is x > -56?
False
Let r = -4.8 + -15.2. Let c = 19 + r. Is c less than or equal to 34?
True
Suppose 0 = -25*r + 22*r + 72. Suppose 3*t = 5*x - r, 3*x = x - t + 14. Let a(j) = 7*j**2 + j + 1. Let k be a(-1). Which is smaller: x or k?
x
Suppose 8*w = 4*m + 6*w - 40, -2*w - 4 = -m. Is m smaller than 11?
False
Let o(u) = 3*u - 20. Let m be o(6). Let t = m + 3. Is t smaller than -2/9?
False
Let w be -3 + (-6)/(-1) - -3. Let a be (w/98)/(-3) - 0. Let k = 139/392 - a. Which is smaller: 0 or k?
0
Let z = -22/13 + 1245/728. Let i = -49 + 197/4. Which is greater: z or i?
i
Let g = 7559 - 10734. Let s be (-2)/(-7) + g/315. Let y = s - -92/9. Which is greater: -1 or y?
y
Let k be 11/(-55) + 3/30*92. Which is smaller: 5 or k?
5
Let x = -20585/22 + 936. Let c = x - -1/66. Which is greater: -3/8 or c?
c
Let o = -24 - -3. Let v = 44.1 + -44. Which is greater: o or v?
v
Suppose 3*o - 39 = 45. Is o equal to 6?
False
Let c be 5*((-4 - (-294)/75) + 0). Is 716 less than c?
False
Let b = -1502 + 73594/49. Which is smaller: -2 or b?
-2
Let o be ((-4)/(-21))/((-4)/(-12)). Let g(r) = r**2 + 5*r + 4. Let a(m) = m**3 + 3*m**2 - 3*m. Let z be a(-4). Let w be g(z). Which is bigger: w or o?
o
Let i(j) = 30*j - 334. Let v be i(11). Is v < 140?
True
Let u = 838 + -8381/10. Which is smaller: -1 or u?
-1
Let v be (-8)/1 + (-14586)/(-1836). Which is greater: -62 or v?
v
Let t = 728711/349 + -2088. Let u = t + -4175/4537. Is 0 > u?
True
Let y = 818.9 + -863. Let n = y - -44. Which is smaller: -0.02 or n?
n
Let j be 8/(-12) + 116/30. Let f(q) be the third derivative of -q**5/60 - q**4/2 - 8*q**3/3 + 10*q**2. Let p be f(-10). Is j <= p?
True
Let a be (-6)/(-12) - (-2)/4. Let n be (2/(-4))/((-10)/(-280)). Let j be ((-9)/6)/(21/n). Is a < j?
False
Let f(a) = 2*a**3 + a**2 - 3*a - 3. Let o be f(-1). Let l = -9 + 8. Is l at most o?
True
Let u be (-9 - 0) + 12 - 9/(-8). Is -0.4 > u?
False
Suppose -25*p + 0*p + 125 = 0. Do p and 31 have the same value?
False
Let b be (-1)/(1 - (-3 + 5)). Let z be -14*b - (-3 + 8 - 6). Is z less than or equal to -11?
True
Let n = 367.65 + -6.65. Is 0 greater than n?
False
Suppose 0 = -2*s - 3*s + 50. Let q(l) = -l + 18. Let m be q(9). Which is smaller: m or s?
m
Let d(o) = 2*o**2 + 3*o - 1. Let m be 235/(-75) - (-2)/15. Let s be d(m). Is s smaller than 8?
False
Let d = -3761 - -3761. Suppose 5*k + 116 = -29. Is d smaller than k?
False
Let h(x) = 4*x - 6. Let t be 4/(-1) - -12 - 3. Let j be h(t). Let r be (0 + 8)*7/j. Is r less than or equal to 1?
False
Let o = -482 + 460. Let l = -24 + 2. Is l at least o?
True
Suppose 4*c = -1 - 7. Suppose -5*q + 0*q - 22 = -3*i, 2*i + 12 = -2*q. Let x be ((-35)/8 - -5)*i. Does x = c?
False
Let h = -0.2 - -0.21. Let s = -1.99 - -1.68. Let o = h + s. Which is smaller: o or -0.2?
o
Let k(n) = -7*n + 3*n + 19 + 2 + 3*n. Let d be k(21). Is d at least as big as -2/51?
True
Let g be 3 - (-6)/2*-1. Suppose -u - 19 = -2*v - g, -u = -5*v + 28. Which is smaller: -11 or u?
u
Let p = -9 + 44. Suppose -3*m - p + 10 = 2*o, -5*m + 4*o - 5 = 0. Which is smaller: m or 5?
m
Suppose -2*y + 8*o - 11 = 9*o, -2*y + 4*o - 16 = 0. Let t be -3*2/y + 10 + -11. Which is bigger: t or -2/367?
t
Let w = 0 + -14. Let f be (1/w)/((-12)/14). Suppose -34*u - 13*u - 57 = 10*u. Which is greater: u or f?
f
Let j(g) = -6*g + 20. Let p be j(0). Let t be 2 + p*(4/55)/2. Which is bigger: t or -1?
t
Let h = -1558 - -1562. Is -23 != h?
True
Let t = -0.075 + 5.275. Let c = -2.2 + t. Is -9 > c?
False
Suppose 5*m + g + 4 = 2*g, g = -m - 2. Let w be ((-39)/(-8))/((-5)/(-20)). Let i = w - 1057/54. Is m smaller than i?
True
Let r be (21/35)/(3/(-15)*-9). Which is smaller: 3/2 or r?
r
Let x = -3 - -2. Let s = 2235 - 31291/14. Which is bigger: x or s?
s
Let i be (-2)/20*-1 - 0. Let w = -14 + 20. Suppose 2*t + w = 4. Which is bigger: i or t?
i
Suppose 37*c - 25 = 42*c. Let d(y) = -y**2 - 4. Let h be d(-4). Let b be ((-21)/24)/(c/h). Is b bigger than -5?
True
Suppose -j + u + 48 = 0, -2*u = 3*j - 86 - 43. Is j less than or equal to 46?
True
Let y = -63 + -179. Is -242 less than or equal to y?
True
Let l = -6/2633 + -2885738/13165. Let k = -220 - l. Which is smaller: -2 or k?
-2
Suppose 0 = -p + 5*p - 28. Suppose -4*n + 98 = -2*u, -77 = -3*n - 0*n - 2*u. Suppose 0 = 4*o - 7 - n. Does o = p?
False
Suppose 4*f - 4*o = 7*f - 2027, 5*f - 3370 = -5*o. Does -1/4 = f?
False
Suppose 4 - 14 = -2*k. Suppose 6*u + k*u = -242. Is u greater than or equal to -21?
False
Suppose 260*l = 227*l. Are l and 2/1247 nonequal?
True
Let d = 715 - 716. Which is bigger: d or 6/757?
6/757
Let y = 19 - 15. Let p(q) = q**2 - 14*q - 1. Let s be p(15). Suppose y = -c - s. Does -18 = c?
True
Let c be (-120)/(-1935)*18/(-8). Which is greater: c or -0.3?
c
Let v(g) = -g**3 - 5*g**2 - 4*g + 4. Let k be v(-4). Suppose 7*b - k*b = 6. Do b and 0 have the same value?
False
Suppose 0 = 79*q - 15920 + 114749. Which is greater: -1250 or q?
-1250
Suppose -242 = 31*f + 37. Suppose -2*q - 16 = -2*g, -3*g - 10 = 2*q + 6. Is f less than q?
True
Suppose -3*m - 4*n = 43, 5*m - m + 58 = -5*n. Suppose 0 = -4*u - u + 5*v - 35, v - 1 = 0. Let y be -12*(0 + u/(-4)). Which is smaller: y or m?
y
Suppose 24*q = -5059 + 1075. Does -164 = q?
False
Let d = -14 + 4. Let i = 8.19 - 0.19. Let l = i + d. Is l less than or equal to 0.3?
True
Let i be 196 - -3*12/(-9). Is 192 equal to i?
True
Let v(b) = -13*b + 11. Let k(p) = 27*p - 23. Let x(h) = 2*k(h) + 5*v(h). Let j be x(2). Which is bigger: j or -11?
-11
Let a be ((-2)/(-2) + 2)/(531 - 534). Let h = -1109/15 + 74. Which is greater: h or a?
h
Suppose -l - 2 = -2*t, 0*l - 8 = -4*t + 3*l. Which is smaller: t or 1/289?
t
Let b(t) = t**2 - 13*t + 13. Suppose 6*r - 60 = r. Let f be b(r). Let x be (f - 0) + (-11)/9. Which is smaller: 0 or x?
x
Let s = 8 + -15. Let r = s - -8. Let l = -0.05 - -0.06. Which is smaller: r or l?
l
Let q = -6 - 0. Let y = q + 5.92. Let z = -5.216 - -5.516. Is y smaller than z?
True
Let u be (-1 - ((-1 - 2) + 4)) + 2. Suppose 80 = 3*h + h. Is u at least as big as h?
False
Let v be ((-1)/2)/(10/(-160)). Which is smaller: 2 or v?
2
Let g = -49.59 - -52. Is 1 less than or equal to g?
True
Suppose 58*f + 221 - 35 = 12. Let q = 7 + -12. Which is bigger: f or q?
f
Let u be 3/(0 + (-3)/12 + 1). Suppose -u*c - 70 = -2*c. Is c at most 0.1?
True
Suppose 0 = 2*q + 4. Let g be ((-9)/(-27))/((-1)/(-66)). Let o be (-6)/(-24)*(-48)/g. Which is smaller: q or o?
q
Suppose 5*j - 38 = 12. Suppose -t - 36 = -j. Let g = 31 + t. Which is greater: 6 or g?
6
Suppose -4*l + 2*f + 3*f - 4 = 0, 2*l = -5*f - 32. Let s be 6/1*(-3)/l. Suppose -1 = -s*x + 14, 15 = -5*q + 4*x. Which is smaller: q or 3?
q
Let i = -0.46 - -0.26. Let q = i - 0.1. Which is smaller: 1/6 or q?
q
Let m = 167 - 164. Let i be 34/(-6) - (-1)/(-3). Let y be (i/m)/((-6)/9). Is 2 <= y?
True
Let c = -9 - -14. Suppose 2*o + c*t - t = 22, 6 = 2*t. Suppose -3*m - o = j, 5*j - 2*j = 4*m - 15. Which is bigger: 1 or m?
1
Suppose -2*s = 3*x - 758, -4*x + s + 984 = -3*s. Is x bigger than 251?
False
Suppose -10*o + 42 = -4*h, h - 12 = -12*o + 7*o. Let p = 29 + -20. Which is greater: p or o?
p
Let i be 30/20*(-6)/9 + 0. Which is greater: i or 2/377?
2/377
Let d be (4 - 6)*(4 + -2). Let a be (-2 - d)*2/24. Suppose 2*m + 0 - 2 = 0. Which is smaller: a or m?
a
Suppose -2 = 30*x + 28. Is x less than -23/53?
True
Let s be -2*188*(-6 - -7). Is -376 > s?
False
Suppose 6*s = 8 - 2. Is s at most -1/138?
False
Suppose 13*w = 15*w - 4. Let i be (-10 + 8)*w/20. Is 1 bigger than i?
True
Let y(d) = 13*d - 5. Let g be y(-9). Let x = 82 + g. Let q be x/12 - (-5 - -1). Is q at most as big as -0.04?
False
Let p be 22/11*6/244. Are 1 and p equal?
False
Let c be 15/6*(-8)/(-5). Suppose f - c = -n + 3, 0 = 2*f - 6. Suppose 2*k + n = 2. Is k not equal to 1/3?
True
Let b = -2.94 - -3.24. Which is smaller: 1/70 or b?
1/70
Let k = -46569/567965 - 3/3917. Is 1 < k?
False
Let f(b) = -b**2 + 8*b + 2. Let p be (-16)/(-6) + (-7)/(-21). Let u be f(p). Is u equal to 31/2?
False
Suppose 0 = -6*j - 9 + 39. Suppose -j*d + 5*i = 0, 2*i = 2*d + 2*d - 2. Is 1 smaller than d?
False
Let v = 41 + -18. Let f be 36/15 - 2 - (-13