 m at least 0?
False
Let a be (-134)/(-1)*(-5)/10. Which is smaller: -68 or a?
-68
Suppose 0 = w - 2*j - 32, 4*j + 64 = 2*w + 2*j. Are w and 228/7 equal?
False
Suppose 2*i + 2*i = -52. Let a(m) = -m**2 - 16*m + 14. Let d be a(i). Is 54 less than or equal to d?
False
Let s = -145 + 434/3. Which is greater: s or -29?
s
Suppose -5*g + 3*g + 3*v - 17 = 0, 5*g + 2*v = -33. Is g > 15?
False
Suppose 0 = 44*t - 45*t - 18. Is t at most as big as -20?
False
Let g be ((-300)/(-28))/(7/(2744/32)). Is g at least 131?
True
Let o(x) = 14*x - 33. Let n be o(2). Which is smaller: n or -6?
-6
Let o be (-18)/(-3) - 0 - 1. Suppose 0 = -4*t + 3*n + 2*n, -2*t - 5*n = -30. Let q = o - t. Which is smaller: -1/2 or q?
-1/2
Suppose 10 - 10 = -10*o. Is o at least as big as -2/159?
True
Suppose 12 = -w - 5*m, 0 = 3*w - 2*m - 0 + 2. Let a(y) = -2*y**3 - y**2 + 3*y + 1. Let x be a(w). Let g be 16/42 + 2/x. Which is smaller: 0.08 or g?
0.08
Let b be 4 + -4 + -5 - 6*23. Is b less than -143?
False
Suppose 0 = -2*l - 4*q - 10, -1 = 3*l - q - 0*q. Suppose 3*a + 2*p - 44 = 0, 1 = 4*p - 3. Let c be (-11)/a + (-7)/(-14). Do l and c have different values?
True
Let u(t) = t**3 - 5*t**2 - 6*t - 7. Let p be 3/12*6*4. Let j be u(p). Let m be (-3 + 5 + j)*-3. Is 16 smaller than m?
False
Suppose -2*v = -28 + 22. Suppose 27 = v*r + 3*h, 23 = -0*r + 2*r + 3*h. Let a be (20/(-30))/(r/6). Which is greater: -3/2 or a?
a
Let u be (6 + -34 + -3)/(-1). Are -4 and u non-equal?
True
Let z = -1124 - -32616/29. Which is smaller: 0 or z?
0
Let y = 29 - 9. Let c be 19 - (-1 + -1 + 1). Do c and y have the same value?
True
Suppose 0 = -4*s - 141 + 225. Which is bigger: 12 or s?
s
Let m be (-1)/4*(-9)/(-171). Let s = m - 147/380. Is 0 smaller than s?
False
Let c = -8.4 - -10.5. Let j = 2.9 - 0.7. Let n = c - j. Which is smaller: -19 or n?
-19
Let o = 512 + -265. Let c = o - 475/2. Let z = 9 - c. Do z and -1 have different values?
True
Let u = 3904/65 - 298/5. Which is smaller: u or 0?
0
Suppose 2*j - 5 = -4*h - 1, 5*j - 5*h = 10. Suppose -j*t + 2*t = 3*t. Which is greater: t or -2/105?
t
Let l(c) = c - 1. Let q be l(3). Suppose -20 = 4*k, 2*n = 3*k - q*k - 5. Let p be (1 + 1)*n/10. Which is smaller: 4/13 or p?
p
Let a = -56 + 54.79. Let j = 0.21 + a. Which is bigger: -6/11 or j?
-6/11
Suppose 3*d + 2*d - 153 = 4*o, 5*d + 103 = -4*o. Let q be (-248)/(-12)*(-267)/178. Which is greater: o or q?
q
Let t be 16/(-10)*15/(-6). Let m = 779 - 777. Is m bigger than t?
False
Let k = 1/1469 - 527376/7345. Is -72 at most k?
True
Let f = -43 - -1331/31. Suppose 0 = 4*w + 5*o + 29, -5*w - 29*o + 26*o - 20 = 0. Are w and f nonequal?
True
Suppose 18*f - 16*f = l + 32, 47 = -l + 5*f. Which is bigger: -21 or l?
-21
Let h = 32.67 - 32.6. Is 4/3 smaller than h?
False
Let x(o) = 2*o + 7. Let f be x(3). Suppose -2*g + d = -f, 13 - 2 = g - 2*d. Let n = 1 - 0. Which is greater: n or g?
g
Let d = 632 - 4391/7. Which is greater: d or 5?
5
Let o be (1383/63)/1 - (-42)/(-147). Which is smaller: 23 or o?
o
Let y be 3/(-1) + (-424)/(-84). Let b = y + 11/14. Is b greater than or equal to 3?
False
Suppose 2*u = w + 2, 0 = -6*u + 2*u + 20. Let t(n) = -n + 7. Let q be t(w). Do q and 3/11 have the same value?
False
Suppose 0*i + 3*i = 5*t + 13, -4*i + 4*t = -12. Is 1/3 greater than i?
False
Suppose 2*f - 3*h = 1125, 0 = -5*f - h + 1322 + 1533. Is 568 smaller than f?
True
Suppose -l - l + 24 = 0. Let q be 9/(-12) - 111/l. Let t be 16/q - 12/(-8). Is 0 greater than t?
True
Let v = -142 + 140.4. Which is smaller: 0.6 or v?
v
Let g be (0 + (-18)/105)/((-4)/(-540)). Let x = g + 23. Is -2 less than x?
True
Let d = -28.1 + -92.9. Which is smaller: -5 or d?
d
Let q be -45 + 4/(-18) + (-380)/(-900). Is q bigger than -0.1?
False
Let h be (-93)/(-120) + 2/(-5). Suppose 5 = -n + 2*n. Suppose 5 = -n*c - 0*c + 5*k, 3*c - 5*k + 5 = 0. Is c less than h?
True
Suppose 8*j = 2*j + 60. Suppose j*f = 14*f - 104. Suppose -v = 2*p - 22, -4*v + 7*v - 80 = p. Is v equal to f?
True
Let u(b) = -b**2 + 9*b + 8. Let k be u(8). Let l = k - 18. Let d = -2.9 - -3. Is l at least d?
False
Let t = 11 + 57. Let w = 69 - t. Do 18 and w have different values?
True
Let f = 11 + -8. Let y(w) = 7*w + 4. Let i be y(f). Let z be ((-70)/i)/((-12)/10). Which is smaller: 3 or z?
z
Let m = 31 - 28.12. Let c = -0.88 + m. Is -2.6 at least c?
False
Suppose 5*q + 3 - 18 = 0. Suppose 4*k = 4*a - 50 + 2, 0 = -2*a - q*k + 49. Suppose 2*z = 21 + 13. Is a at least z?
True
Let d(h) = -h**2 + 11*h - 8. Let c be d(10). Let o = c - -6. Let q be (-1)/1*4/o. Which is greater: q or -2?
q
Let v = -4 + 14. Suppose -4*d + 4*z = -24, 0 = -0*d + d - 3*z - v. Suppose 4*w - 4 = 16, 5*i = -d*w + 5. Does -5 = i?
False
Let k = -1264/13 - -97. Is k less than 1?
True
Suppose -15*n - 4*n + 4104 = 0. Which is smaller: 213 or n?
213
Suppose 7308 = -4*p - 4*r, 0*p + 4*r + 5478 = -3*p. Let k = p + 7359/4. Let m = k + -10. Is 0 greater than or equal to m?
True
Let p = 308 + -10779/35. Let u = p - -67/105. Is u at least 1.1?
False
Let y(z) = z - 1. Let l be -5*((-3)/(-1) - 2). Let a be y(l). Let k = a - -5. Is 4/23 equal to k?
False
Let c be 292/(-6) - 8/24. Let k = c - -246/5. Let a = -4 - -4. Which is smaller: k or a?
a
Let v = 36043/13 + -2771. Suppose 7 = -c + 2*f, 12 + 4 = 4*c + 3*f. Is c greater than v?
False
Let i(m) = -m**3 - 8*m**2 + 100*m - 73. Let j be i(-15). Let b be 30/14 + 0/2. Is j less than or equal to b?
True
Let x be 2/4 + 1/(28/6). Suppose 7 = 2*l + 3*j - 4*j, -j = 5*l. Which is smaller: l or x?
x
Let h(u) = u**3 + 7*u**2 + 10*u + 9. Suppose -5 = p + 1. Let z be h(p). Which is smaller: -14 or z?
z
Let a be 22/5 + 4/(-10). Suppose 2 = 2*f + a. Suppose 2*r - 14 = 5*w, 0 = w + 2*r - r. Which is smaller: w or f?
w
Let y = 12.46 - 12.2. Let s = -1.21 - -1.31. Is s bigger than y?
False
Let j(g) = -10*g**2 + 9*g**3 - 24 - 5*g**3 - 5*g**3 + 10*g. Let z be j(-11). Suppose 5*x + 28 = 3*x. Which is greater: x or z?
z
Suppose 2*u = -2*g + 144, -4*u + 2*u - 216 = -3*g. Let x be (g/(-56))/((-4)/(-14)). Is x at least as big as -6?
True
Suppose -5*f = -4*x + 7, 2*x + x + 3*f = 12. Suppose x*b + 3*b = -126. Do b and -22 have the same value?
False
Let m be (3 + -4 + 3)/2. Let i be -4 + (18/15)/m. Let o(x) = -x + 4. Let y be o(7). Which is smaller: y or i?
y
Let g be ((-170)/(-3))/((-24)/(-36)). Suppose -4*b + g = -5*x, b + 2*b - 5*x - 70 = 0. Let l be (-14)/24 + 5/b. Are -1 and l nonequal?
True
Let k = 79 - 382. Is k > -607/2?
True
Let q = 63 + -372. Which is greater: q or -307?
-307
Suppose n = 2*k + 6, -n = 2*k + 3*n - 14. Let w be k/((-1)/8*(-78)/13). Let x be (-1)/(-4) + 3/(-12). Which is smaller: x or w?
w
Let s = -0.2 + 0.16. Let i be (-24)/11 + -9 + 11. Is i greater than s?
False
Let j = -2.67 + 2.7. Let h = 2 - 1.6. Which is smaller: j or h?
j
Let x(v) = -8 + 1 + 3*v + 2 + 3*v - 6*v**2 + v**3. Let z be x(5). Which is smaller: 1/83 or z?
z
Let r be 0 + -6 + 15 + -10. Suppose 0 = i - 4. Are i and r non-equal?
True
Let a(k) = -k**2 - 8*k - 8. Let v be a(-7). Let c be v/(-12)*(-112)/(-210). Is 1 >= c?
True
Let g = -218 + 180. Which is smaller: g or -30?
g
Let z = 67 + -69. Which is greater: z or -7?
z
Let r be 68/3 + 4/(-6). Let d = -72 - -61. Let v be d/r*2/(-1). Is v greater than or equal to -2/39?
True
Let a = 11 + -8. Let v = 0 + a. Suppose 3*p + v*q = 3, 3*p - q + 1 = -p. Which is smaller: p or -0.01?
-0.01
Let q = 84 + -91. Is 0.4 at most q?
False
Suppose 2*f + 5*p - 1545 = 0, 3*f + p = 415 + 1870. Suppose -5*c + c = f. Let y be (-94)/c - 15/25. Which is bigger: y or -1?
y
Let i = -2/29077 - 29069/116308. Let n = 0.1 + -0.1. Which is smaller: i or n?
i
Let j be (8/6)/((-3)/(-18)). Suppose 5*p - 5*k + 20 = 0, 4*k - j = 2*k. Let a = -63/65 - -6/5. Which is smaller: a or p?
p
Suppose -19*y = -18*y - 90. Is y smaller than -0.3?
False
Let u(v) = v**2 - 7*v + 4. Let l be u(6). Let r be 24/(-720)*55 + (-6)/4. Which is smaller: r or l?
r
Let w be 90/(-36)*4/695. Suppose -5*s - 2 = -7, 3*b - 2*s - 1 = 0. Which is greater: w or b?
b
Let s = 0.25 - 0.2. Let n = 23 + -29. Let l = n + 5.9. Which is smaller: s or l?
l
Let r = 59/3 - 19. Let y be -4*(3 - (-28)/(-8)). Which is smaller: r or y?
r
Let m be (-13)/(-715) + (-1)/5. Is -2 less than m?
True
Suppose -5*c + 12 = -2*c. Let i = c + -2. Suppose -i*r + 4*b - 4 = 3*