 32 = -24. Which is smaller: -5 or p?
p
Let m = -243/14 + 125201/7210. Is m greater than or equal to -1?
True
Let f = 0.19 + -0.19. Let w = -10 - f. Let a = -10.06 - w. Is a > -1/3?
True
Suppose -2*n - 16 = 8. Let x = 11 + n. Is x >= -7/9?
False
Let n = 13 + -16. Let x be ((-4)/24)/(n/6). Is x not equal to 1?
True
Let j(v) = -4*v + 19. Let m be j(4). Suppose -u - 77 = -m*r + 28, -5*u - 4*r = 430. Is -91 greater than or equal to u?
False
Let h(a) = 6*a - 257. Let r be h(43). Which is greater: r or 1/701?
r
Let o be (-1421)/(-116) + 13/(-1). Which is smaller: o or 28?
o
Let k(n) = -5*n - 3. Let b(i) = -11*i - 5. Let j(m) = -6*b(m) + 13*k(m). Let c be j(12). Suppose c*u = 9*u + 18. Is -3/2 greater than or equal to u?
True
Let o = 452/3 - 1649/12. Let d be 7 + 0 - (44 - 49). Which is smaller: o or d?
d
Suppose -2*y + 6*y = 0. Let m = y + 1. Let l(d) = d**2 + 26*d - 29. Let a be l(-27). Is a not equal to m?
True
Suppose 0 = 10*m + 113 - 103. Let w be -2 + (1 - -1) + -2. Let q be (-2 - w)/(1 + -2). Which is smaller: m or q?
m
Let j = -15 - -19. Let l(b) = b**2 + b + 2. Let c be l(j). Let p = -133/6 + c. Is p at least 1?
False
Let j be 9/3*-1 - 5. Suppose 0 = 2*u - 3*u - 3*k + 3, 0 = -4*u + 4*k - 68. Let h be (u/j - 0)*-6. Which is greater: -10 or h?
h
Let l be 36/5*(-3)/(-24). Is -1 greater than or equal to l?
False
Let v = -34 - -26. Let u = v + 11. Which is smaller: u or -4?
-4
Suppose 6*p + 72 = -186. Which is smaller: -33 or p?
p
Suppose y + 8 = 2*n + 1, -8 = 2*n + 2*y. Let l be ((-26)/(-6))/(n/3). Does l = 13?
True
Let i be (-22 + -1)*(-2 + 1). Which is bigger: i or -0.6?
i
Let b(y) be the second derivative of -y**4/6 - y**3/2 + y. Suppose -16*q = -17*q - 2. Let n be b(q). Which is smaller: -0.2 or n?
n
Let n = 1569.101 + -1563. Let w = 0.101 - n. Is w at least as big as 7?
False
Let v(w) = -5*w + 13. Let l be v(7). Let h = 12 + l. Let g = 9 + -9.1. Which is smaller: g or h?
h
Let w be 217/186*(0 + 6831/42). Which is greater: 189 or w?
w
Let z = -7321/24 - -305. Suppose 13*a = 11*a + 2. Which is bigger: a or z?
a
Let t = 0 - 4. Let x be ((-5)/25)/((-1)/t). Let i be ((9/(-63))/((-2)/7))/1. Which is smaller: i or x?
x
Let q = -2146 + 901. Which is greater: q or -1?
-1
Let w(t) = -t**3 + 23*t**2 - 21*t - 49. Let j be w(22). Suppose 5*o + 30 + 100 = 0. Which is smaller: j or o?
j
Let b be (-6)/((38/1121)/(-1*24)). Let f be 6/(-8) + 9*366/b. Which is greater: -1 or f?
f
Let c = -0.02 + 0.19. Let i = c - 0.47. Which is smaller: i or 8?
i
Let r be (-4 + 3)/1*(7 - 7). Which is greater: 159 or r?
159
Let k be (-4)/12 + (9798/(-1143) - -9). Which is greater: 1 or k?
1
Let h(g) = 8*g - 24*g - g**2 + 1 + 5*g. Let b be h(-11). Are 4/33 and b unequal?
True
Let w = 64 + -62. Suppose 0 = -w*u + 2*k - 5*k, -4*k = 0. Are u and -3 unequal?
True
Suppose x - 23 + 12 = 0. Let r = x - 7. Suppose -2 = 2*i - 10. Is r greater than i?
False
Suppose -3*f - 3*a - 660 = 0, -a + 202 = -f + 4*a. Is f at most as big as -218?
False
Let k = -145/4 + 37. Let g(d) = d**3 + 9*d**2 - d - 7. Let m be g(-9). Is k greater than or equal to m?
False
Let m = 689.8 + -692. Suppose -6*b - 5*j = -2*b, 2*b = -3*j. Which is smaller: m or b?
m
Let q = -2/73 + 957/292. Suppose -5*u - 7*p + 43 = 0, 3*u - 5 = 3*p - 8. Which is bigger: u or q?
q
Let k = 28.7 + -4.7. Let t = 23.8 - k. Which is smaller: t or -3?
-3
Let g = 3 - 17. Let n = -16 - g. Let q = 1.9 + n. Are q and -0.2 equal?
False
Let f = 0.234 - 0.134. Is f greater than 25?
False
Let w = 32 + -129/4. Is 8/11 bigger than w?
True
Let h be (0 + 2 - 3)*0. Is h at least as big as 1/53?
False
Let r = -863 + 861. Which is smaller: 226 or r?
r
Let k(f) = -4*f**2 + 95*f - 70. Let c be k(23). Suppose -x - 4*d + 15 = -0*x, 0 = -2*d. Suppose -3*z = 3*n - 15, z - 4*z + 4*n = -x. Which is smaller: c or z?
c
Let d = -7 - -5. Let o = 5.98 + -6. Let m = o + 0.02. Is d != m?
True
Suppose 7 = d + 9. Let o be (0 + d + 0)/(4/2). Which is bigger: o or 1/39?
1/39
Let o = 130 + -127. Suppose 73 = d + 2*m + 6, o*d - 4*m = 201. Which is smaller: d or 66?
66
Suppose 25*g - 27*g = -4, 364 = -2*s - 4*g. Is s equal to -185?
False
Let s = 204 + -293. Do -85 and s have the same value?
False
Let v(o) = 3*o + 3. Let j be v(-2). Let x(u) = -6*u + 139. Let d be x(23). Which is smaller: j or d?
j
Let a = 694.82 + -696. Which is bigger: 0 or a?
0
Suppose -3*z = -11*z - 3304. Which is bigger: z or -412?
-412
Let g = 0.3073 - 1.3073. Let k = 11 + -16. Which is bigger: k or g?
g
Let u = -13 + 35. Suppose 4*l + 5*c = u, -3*l + 3*c + c = -1. Suppose l - 5 = -s. Which is smaller: s or 1?
1
Let m be 95/1767*4/10. Which is smaller: -1 or m?
-1
Suppose 3*f = -12, -4*f - 288 = -3*u - f. Let h be (u/(-8))/(4/(-8)). Is h at most 24?
True
Let x = -1819 + 23627/13. Is x at most -1?
True
Let i be 5/10*0 + 0. Suppose r + 0*r + 1 = i. Is -2/101 bigger than r?
True
Let g be (-56)/(-10) + (-3)/5. Suppose m - 10 = 3*p - 29, -g*m - 25 = -5*p. Suppose 2 = -5*q + p. Which is greater: -2/37 or q?
q
Let q = -513 + 497. Which is smaller: q or -17?
-17
Let h = -337 - -344. Which is smaller: h or 0?
0
Let z = -42 + -4. Let w = 87 + z. Which is smaller: w or 40?
40
Suppose 3*l = 3*r + 4*l + 46, -3*r = -2*l + 52. Which is greater: -15 or r?
-15
Let y = 4 + -3. Let g be 4586/(-6996) + (8/6)/2. Let s = g - 3/53. Which is bigger: y or s?
y
Suppose 51 - 54 = 3*n. Is n less than 2/47?
True
Let z = -15 + 14.76. Let g = z - 0.04. Let a = 0.19 + g. Which is greater: 0.1 or a?
0.1
Let o be (-6)/((-8 - -4) + 2). Suppose 1 - o = -2*i. Is i bigger than 2/89?
True
Suppose -3*g + 4*w + 9 = 0, 4*g + 0*w + 7 = -w. Let i be g - 2*9/(-6). Let a be ((-2)/6)/(i/(-6)). Are 4 and a nonequal?
True
Let r(v) = v**3 + 13*v**2 + 21*v - 15. Let k be r(-16). Let l = 7794/7 + k. Is l greater than or equal to -5?
False
Let x be (-52)/(-18) + 13/117 + -77. Which is bigger: x or -2?
-2
Let k be 4 - (-5 - -2 - -1). Suppose 33*m - 35*m - 2 = 0. Is k at least m?
True
Suppose 15*u + 2*c = 12*u - 3139, 3*c = -4*u - 4184. Is -1050 < u?
True
Suppose 0 = -3*u + 431 - 410. Is u greater than or equal to 58/7?
False
Let l = 2.05 + -36.25. Let n = -34 - l. Is 0 != n?
True
Suppose -13*t - 25 = 40. Let n(k) = -k**3 - 10*k**2 - k - 14. Let j be n(-10). Is t at least as big as j?
False
Let m be (-93)/(-24) - 4 - (-4195)/(-40). Is -106 not equal to m?
True
Let u = -13248/1002695 + 2/6469. Which is smaller: -2 or u?
-2
Let h be (-1)/(-7) + 22*46/(-28). Is h at least -37?
True
Let g = -17 - -19. Let f be (g*1/22)/(10/20). Which is greater: f or -8?
f
Let g = -0.05 + 0.09. Let a = 0.36 + g. Let t = 0.6 + a. Which is greater: t or -7?
t
Let y = 0.119 - 0.218. Let a = y - 0.001. Is a > 3/11?
False
Let d = 1 - 0. Suppose 0 = 3*v - 3*h - 15, v + 4*h + 22 = 6*v. Suppose 8 = -6*s + v. Does s = d?
False
Let b = -2.32 + 4.2. Let z = -0.12 - b. Let k = -10.2 + 10.6. Is k equal to z?
False
Suppose 0 = s - 2*p, 3*s = 5*p - 0*p. Let m = 0 - s. Which is bigger: 1/41 or m?
1/41
Let u(h) = -h**2 + 3*h - 3. Let w be u(4). Suppose 56 = d - 2*d. Let v be 30/(-16) + 7/d. Do v and w have the same value?
False
Let r be (-44)/3*(-12)/4. Let v be (636/24)/(2/4) + -7. Is v at least r?
True
Let v = 1.417 - 0.389. Let n = -0.028 + v. Which is greater: 17 or n?
17
Let j = 16553/2279 - 318/43. Which is bigger: 0 or j?
0
Let o = 372 + -372.157. Which is bigger: -1 or o?
o
Let i be 2/(-8) + 522/8. Let y = i - 1108/17. Let x be (-6)/11 + (576/88 - 6). Which is bigger: x or y?
x
Suppose -3*f = f. Let c be 7/(-4)*44/(-154). Which is greater: c or f?
c
Suppose -49 = -4*k - 141. Let j(z) = -z**3 + 13*z**2 - 33*z + 8. Let u be j(10). Let r = u - k. Which is smaller: -2/37 or r?
-2/37
Let m = -5.7 + 5.9. Let q = -4.99 - -5. Is q >= m?
False
Let f(p) = p**3 - 4*p**2 + 5*p - 2. Let k be f(4). Let m be (k/(-15))/(110/(-25)). Let i be -1*((-11)/(-22))/((-1)/(-2)). Which is smaller: m or i?
i
Let f(n) = -62*n + 403. Let o be f(7). Which is smaller: o or 3?
o
Suppose -5*o - i + 9 = -1, 0 = 3*o + 4*i - 6. Suppose v = -2, -3*q = -o*q + 4*v + 27. Let f = -19 - q. Do -3 and f have the same value?
False
Let f = -18 - -18. Suppose 0*u = -4*u. Suppose f*h - 3*h = u. Which is smaller: h or -3/7?
-3/7
Suppose 0 = -5*h + 23 + 27. Let l be (0 - 5)/10*(-6)/h. Is l less than -1?
False
Let n be 4 - 8 - -4 - 