 be k(m). Does 4/7 = o?
False
Let d = 10 + -1. Suppose -5*r = -3*r + 20. Let n = r + d. Which is bigger: 1/2 or n?
1/2
Suppose k - 15 = -4*k. Let s = 63 + -57. Let c be 7*1/s + (-8)/(-12). Which is greater: c or k?
k
Suppose 218 - 278 = 5*v. Which is bigger: v or -2.7?
-2.7
Let d(a) = -a**3 + a**2. Let j(l) = -5*l**3 - 12*l**2 + 18*l - 8. Let n(q) = 4*d(q) - j(q). Let i be n(-17). Which is smaller: i or 23?
23
Let w(r) = -3*r**2 + r - 4*r**2 + 5*r**2 + r**3. Let f be w(1). Suppose f*k - 16 = 4*k. Is k equal to 0.1?
False
Let w = -0.43 + 5.43. Suppose 3*s - 30 = -3*b - 2*s, 2*b + 4*s = 22. Suppose 5*t + 0*t - 24 = a, -20 = b*a - 5*t. Is w >= a?
True
Let l = 29 + -4. Let u = 3 + l. Let j = 30 - u. Is j less than or equal to -0.3?
False
Suppose -11*p + 0*p = 66. Let j be (((-7)/p)/(-7))/(4/6). Let t = 27 - 46. Which is smaller: t or j?
t
Let z(r) = 2*r**3 + 8*r**2 - r - 25. Let d be z(-7). Is -313 <= d?
True
Let r be 5*(8/10)/(-2). Let c be ((-192)/1960)/(r/(-7)). Let h = c - -8/7. Which is bigger: 0 or h?
h
Let o(l) = -l**3 - 5*l**2 - 6*l - 1. Let q be o(-4). Let r(z) = -z**3 + 5*z**2 + 9*z + 10. Let s be r(q). Which is smaller: -24 or s?
s
Let c be 5/(-20)*554*2. Is -277 less than c?
False
Let j = 75.3 - 75. Let m be -1 + 3 - 6/4. Is j >= m?
False
Let g = -1589 + 1619. Which is smaller: g or 15?
15
Let f = -2259 + 2259. Is f not equal to 2/2323?
True
Let y = -56.3 - -9.3. Let w = -18 - y. Do 2 and w have the same value?
False
Let t be (-80)/(-80) - (-566)/18. Which is greater: 32 or t?
t
Let q(o) = -o**2 - 4*o - 4. Let x = 15 + 19. Suppose 3*r + 5*m + x = 0, 2*r + 9 = 4*r - 3*m. Let y be q(r). Which is greater: y or 0?
0
Let a(j) be the third derivative of -5*j**4/12 - j**3/6 + j**2. Let i be a(-1). Let m(d) = 4*d**2 - 6*d - 1. Let v be m(-1). Are v and i equal?
True
Suppose -4*r = -20, -2*d - 70*r + 66*r + 1330 = 0. Which is smaller: 654 or d?
654
Let k = 6/99365 - -215721343/1192380. Let v = 181 - k. Let j = -1.2 - -1.3. Is v <= j?
True
Let i = -98.8 + 98.8. Is -7/3 equal to i?
False
Let v = 216 + -222.5. Which is smaller: 1/2 or v?
v
Let f = 819 + -803. Is f less than or equal to 21?
True
Let z = 12/7037 + -13433681/28148. Let q = z - -433335/908. Which is greater: -1 or q?
q
Let z = 104 + -53. Suppose -z - 14 = 5*m. Which is bigger: -14 or m?
m
Let g be ((-2)/3)/(-4*(-2)/(-8)). Do g and 2/141 have the same value?
False
Suppose 5*b + 0*b = h + 88, 2*h + 189 = -3*b. Let p = -95 - h. Which is bigger: p or -3?
p
Let x = 327 - 411.2. Let n = x + 75. Let w = 9 + n. Is w greater than or equal to 0.08?
False
Let o = -94 - -131. Suppose 5*k - o = 2*q, 4*k = 2*k + 3*q + 17. Let n = k + -6. Is -1 greater than or equal to n?
False
Suppose -j = -4*j + 192. Suppose 2*h - j = -202. Is h at least -68?
False
Suppose 540 = 54*f - 48*f. Let a = -88 + f. Which is bigger: -2 or a?
a
Let g = 1.887 - 30.887. Which is greater: 3 or g?
3
Let f be (-2)/(-145)*-69 - 50/(-125). Does -2 = f?
False
Suppose 0 = 5*j + 115. Let a be -12*-3*j/42. Let z = 1228/63 + a. Which is bigger: z or 0?
0
Let n = -874 + 787. Is 0 equal to n?
False
Let x(l) = -l**2 + 5*l - 3. Let n be x(3). Suppose -9 - 11 = -n*g - 5*j, -4*j = 2*g - 12. Let v be (-5)/(-25) - 87/g. Which is greater: v or -10?
v
Let l = -0.088 + -47.912. Let n = l + 55. Is 4 bigger than n?
False
Let h = 192 + -127. Let g = 64 - h. Is g at most as big as 2?
True
Suppose -101 + 526 = -25*p. Let n = -37 - -19. Which is greater: p or n?
p
Let h be -31 + 30 - (0 - 1). Which is smaller: -1/43 or h?
-1/43
Suppose 2*j + 10 = 4*j. Suppose -6*t = -j*t - 3. Let b = t - 3. Which is bigger: b or -1/3?
b
Let b(s) = s - 15. Let n(d) = d**2 + 3*d - 5. Let a be n(-6). Let z be b(a). Let l be 1*(z - -4 - 1). Which is smaller: 1/9 or l?
1/9
Let t = 143 - 101. Let a = t + -44. Is -6 >= a?
False
Let w = -2 - -9. Let l = -3 + w. Suppose 0 = 3*o - 2*o. Which is smaller: o or l?
o
Let n = -0.36 + 0.4. Let h = 100.6 + -107. Let c = 3.4 + h. Is c > n?
False
Let d = -73 - -49. Let s = d - -23.9. Is s > -2.4?
True
Let a(f) = -3*f + 3*f - 2*f + f + 3. Let s be a(3). Which is smaller: s or 0.1?
s
Let y be ((-218117)/56)/(3/(-6)). Let x = 7789 - y. Let d = x + 8/7. Does d = -1?
False
Let a(j) = -j**3 + 7*j**2 - j + 7. Suppose -g + 1 = -6. Let w be a(g). Suppose -4*z - k + 6*k + 45 = w, -3*k = 2*z + 5. Which is smaller: 19/3 or z?
z
Let f be 441/42 + (-2)/4. Let o be 2 - (7/(-21) + f/(-6)). Which is smaller: o or 5?
o
Let s be 20/(-100) - (2 - 1004/(-5)). Is s smaller than -203?
False
Let b = -120 + 84. Which is greater: -41 or b?
b
Let y be 15/(-54) + 2/(-9). Let i = -183 + 103. Let t = -64 - i. Which is smaller: t or y?
y
Let w be 57/(-30) - ((-4 - -7) + -4). Which is greater: w or -4?
w
Suppose -5*q + 1 = -4*q. Let a = 11 - q. Let g = a + -8. Are 5/2 and g equal?
False
Let n = -57 + 32. Let j = -223/9 - n. Which is smaller: j or 0?
0
Let h be 1/(-70)*(-4873)/242. Let p = -17/308 - h. Which is smaller: 0 or p?
p
Let p(t) = -25 - 8*t + t + 9*t. Let g be p(16). Is 7 greater than or equal to g?
True
Let k = -2.34 - -12.34. Do k and 0.1 have the same value?
False
Let u(g) = 205*g - 19. Let b be u(2). Is 391 >= b?
True
Let t = 12204 - 158726/13. Is t greater than -7?
True
Let p = 86 + -72. Let b be ((-16)/(-168))/(9/p). Which is bigger: 1 or b?
1
Let m = -283.9 + 275.9. Which is greater: m or -1/11?
-1/11
Let p = 0.628 - 20.628. Which is smaller: p or -7?
p
Let p be 0/(44/(-12) - 2/(-3)). Let h be (-2)/(-8) + p + (-6)/24. Is -3.5 at least h?
False
Let u = -1446.8 + 1447. Let f = 1.9 - 2. Which is bigger: f or u?
u
Let q = -97443/5 - -19396. Let c = q - -2653/30. Is -4 less than c?
False
Suppose -2*g = 4*r - 0*r + 8, 13 = -5*r - 4*g. Which is smaller: 1/72 or r?
r
Let b be (1 + 1)/((-5)/((-875)/10)). Let n = b - 37. Are 3 and n non-equal?
True
Suppose 2*z + 7 = -17. Let f be (6/75)/(z/15). Which is smaller: -1 or f?
-1
Let n = 20 - 18. Suppose 1 = -i - n*i + 2*k, -4*k = i - 9. Is 1/11 > i?
False
Suppose -7 + 13 = 2*u. Suppose 2*w - 1 = -u. Is w equal to -2/125?
False
Let g = -0.021 - 17.979. Let c = 8 - -8. Let f = g + c. Which is smaller: -0.2 or f?
f
Let h = 3973022/873 + -4551. Are h and -1 nonequal?
True
Let h be 60/(-9)*(-6)/(-5). Let o(w) = w**3 + 7*w**2 - 9*w - 7. Let v be o(h). Let t(i) = i**3 - 2*i**2 + 2*i - 1. Let x be t(v). Which is bigger: 1 or x?
1
Let f = -28.3 - -34. Let s = f - 5.5. Suppose n + 0*n = -5. Is n at most as big as s?
True
Let j be -6 - -10 - (1 + 7). Let g(a) = -2*a**2 + 4*a - 4. Let f be g(3). Let u be j*(-2 - f/8). Which is smaller: u or -1?
-1
Let g = -11 - -11. Let w be 15/(-10)*4/(-3). Let z = 2 - w. Is g >= z?
True
Let t(v) = -60*v - 64. Let d be t(-3). Is 119 > d?
True
Let p = -3109/11 + 275. Is p smaller than -7?
True
Let y be (2 - 4) + 1 + 58. Let n = 86 - y. Does n = 30?
False
Let z = 2701 - 1787. Are z and 913 equal?
False
Suppose 4*u + 538 + 358 = 0. Let q be 76/u - ((-10)/14 + 1). Is q at least -2?
True
Let j(z) = -22*z. Let b be j(-1). Suppose -b = -3*w + w. Suppose -16 = s - 5*r, 0*s - 3*r = -2*s - w. Which is smaller: s or 6/13?
s
Let o = -2293 - -2292.5. Which is greater: o or 8?
8
Let o(c) = -8*c - 17. Let n be o(9). Let t = n - -80. Which is greater: -6 or t?
-6
Let f = 265.8 - 269.8. Which is bigger: 2/95 or f?
2/95
Let k be -1 - 2 - (-10 + 7). Suppose k = -2*q - 89 + 59. Is -10 <= q?
False
Suppose 2 + 8 = -2*t - 5*k, 3*t - 5*k = -15. Let j = t - -19. Let h = -6 - -21. Which is greater: h or j?
h
Let f = -233 - -232. Let k(o) = 2*o + 8. Let g be k(-6). Is g < f?
True
Let y = 12 + -8. Suppose 20*h - 24*h = y. Does -1 = h?
True
Suppose -w - 9*j + 11*j - 5 = 0, -10 = -w - 3*j. Is 1/700 != w?
True
Let g(z) = -3*z**2 - 73*z - 48. Let l be g(-23). Does 46 = l?
False
Let i(z) = 16*z - 46. Let x be i(3). Let u = -21 - -29. Let b be ((-6)/u)/(9/(-15)). Which is smaller: x or b?
b
Suppose -18*r - 956 = -38. Which is smaller: -49 or r?
r
Suppose 196 = 5*g + 2*g. Let x be (-119)/g + (-3)/4. Which is bigger: x or -7?
x
Let u = -64 - -113. Let x = -341/7 + u. Which is greater: x or 0.4?
0.4
Let f be 2876/(-340) - (-6 + (-66)/(-10)). Is -9 >= f?
True
Let r = -42814/4945203 + 3/8201. Which is bigger: r or 1?
1
Let r = 100 - 71. Let k = 28.9 - r. Let u = -0.9 - -0.3. Does u = k?
False
Let i = 31/165 + 8/55. Which is sma