
u
Let o(k) = -12*k**2 - 37*k. Let f be o(0). Let b = -7 - -4.2. Which is greater: f or b?
f
Suppose 8 = -x - 0. Let i = x - -2. Which is smaller: i or -5?
i
Let x be 12/(-48) + 22/(-8) - 5. Which is smaller: 3 or x?
x
Suppose -13*o + 2 = -15*o. Let w(z) = -z**2 - 11*z - 19. Let i be w(-9). Is i equal to o?
True
Let u(d) = d**3 - 30*d**2 + 28*d + 35. Let c be u(29). Suppose -c*l = -l. Which is greater: l or -1.3?
l
Let c = 3 + -3. Let l = 271/9 - 30. Which is greater: c or l?
l
Let w be 2 + (-1 - (-27)/3). Let r(d) = 9*d**2 + 1. Let p be r(-1). Is w greater than or equal to p?
True
Let p = -67.839 - 0.161. Let v = 67.5 + p. Is v greater than or equal to -4?
True
Let n = -6 + 5.6. Let a = 75.7 - 77.7. Which is bigger: n or a?
n
Let i = 195 + -174. Is i at least 171/8?
False
Suppose 2*t = d - 2, 3*t = -5*d + 36 - 39. Which is smaller: t or 4/343?
t
Let v = 1 - 2. Let x be 7/(1316/552) - 3. Let b = 20/423 - x. Which is smaller: b or v?
v
Let m = 22 + -40. Let w = -700/39 - m. Let i be (3 + 7/(-2))*2. Which is greater: i or w?
w
Let j(y) = y**3 - 10*y**2 - 2*y + 13. Let r be j(10). Let o be 27/(-7) - (r + 3). Is -5 less than o?
True
Let n be 863/3 + 20*1/(-12). Is 287 less than n?
False
Let n(d) = -d**3 - 13*d**2 - 13*d - 11. Let w be n(-12). Let k = 1.14 - 1.1. Which is smaller: k or w?
k
Let y = -4/1101 + 3311/2202. Let z = 0.1 - 0.1. Which is smaller: z or y?
z
Suppose 3*h = -f - 124, 4*h - 33 = 4*f - 193. Is h at most as big as -1/2?
True
Let a = 17 + -35. Let c = a + 17. Let b be (-2)/c - (-11)/(-6). Is b at most as big as -1?
False
Let m = -120 + 127. Let b = m + -9. Which is smaller: b or 2?
b
Let o be 76/12*(2 - -1). Let f(x) = 2*x**2 + 4*x - 11. Let t be f(-5). Let z = t - o. Is z at least 0?
True
Let f = -4.96 - 0.04. Let p = f + 31. Let s = -23 + p. Which is smaller: -3/5 or s?
-3/5
Suppose 15*k = 11*k + 12. Suppose -p = i - 0*p - 72, 0 = -k*i + 2*p + 221. Are 73 and i equal?
True
Suppose 0 = 7*s - 25 - 3. Let v be (0*1/(-2))/(12/s). Are 0 and v nonequal?
False
Suppose 10*h - 27 = -37. Which is bigger: h or -12/71?
-12/71
Let v be -3*4/(-102) + (-17952)/(-4624). Let s be ((-64)/(-44))/(4/14). Is v <= s?
True
Let s = 34 - 32. Which is bigger: s or 77?
77
Let p = -1202 + 1242. Which is smaller: 44 or p?
p
Let z = -908/12987 + -2/481. Let p be 990/63 + (-2)/(-7). Suppose -k + 4*o = -p, 2*k + 0*k - 5*o - 20 = 0. Is z at most as big as k?
True
Suppose 2*h - 3*p - 4 = 2, -h = 5*p + 10. Is h >= 12?
False
Suppose 4*o - 110 = -18. Let i be (25 - o)/(2/3). Is i bigger than 10?
False
Suppose -2*c + 3*c = o, 2*c - 4*o = 0. Let x be 3/2*(-4)/26. Is c bigger than x?
True
Let k(y) = y - 16. Let w be k(10). Let s be (-4)/(-12) + (-16)/w. Is s greater than or equal to 3?
True
Let z be (-3)/(-12)*(-101 - 15). Which is greater: z or -27?
-27
Let n = 704 + -3543/5. Let b(l) = -5*l + 100. Let k be b(21). Which is smaller: n or k?
k
Suppose -13*v = -28*v + 405. Which is smaller: v or -2?
-2
Suppose -6 = -4*l + 2. Let d be (0 - 1)/l*1. Let b = -2463 + 2486. Which is bigger: b or d?
b
Suppose 34*c = 30*c - 368. Which is smaller: c or -86?
c
Let u be (75/12)/5 - 1701/36. Is u smaller than -46?
False
Let g(i) = 236*i**2 - i - 1. Let y be g(1). Let f = y + -114. Let q be 2/5 + f/(-550). Is 0 bigger than q?
False
Let j be 6/(-53)*10/(-12). Is -1 at least as big as j?
False
Suppose -o = -3*b - 0 + 10, -4*b = -2*o - 16. Let q be (0/(-7))/(b + -1). Is q bigger than 4/3?
False
Suppose -4*k = -20, 3*c - 5*k = 93 + 32. Do 47 and c have different values?
True
Let f(m) = m**3 + 83*m**2 + 67*m - 58. Let u be f(-82). Is 1173 > u?
True
Let s be ((-18)/8*-10)/(4/40). Is s smaller than 225?
False
Let o(t) = 8*t + 53. Let h be o(-9). Let g be 4 - (3 + h*(-4)/(-28)). Which is bigger: 5 or g?
5
Suppose d + 4*v = -40, -4*v = -4*d - 0*v - 80. Let c(t) = -13 + t**2 - 25*t**3 - 2*t + 26 - 10. Let q be c(1). Which is bigger: d or q?
q
Let o be 3/(-4)*21 - (-171)/228. Let y be (-320)/56 - (-4)/(-14). Which is greater: o or y?
y
Let a be 1890/(-3528) - (-1)/4. Which is smaller: a or -9/121?
a
Suppose -12*n = -7*n - 20. Suppose 4*i - n*y = -2*y - 4, -4*y - 2 = 2*i. Is i at most as big as -7?
False
Let q(i) = 2*i**3 + i**2 - 5*i - 2. Let p be q(-3). Let t = p - -37. Suppose 0*s = s - 7. Which is bigger: t or s?
s
Let m = 2.3 - -57.7. Which is smaller: -2 or m?
-2
Suppose 8*d - 5 = 3. Which is bigger: d or 0.5?
d
Let v = -5 + 6. Let x be v/3*15/2. Suppose 12 + 1 = z - 2*w, 4*z - 2*w = 22. Does z = x?
False
Let d = -211.6 + 283.6. Is d at most -2/3?
False
Suppose 5 = -60*m + 65*m. Is 19/21 at least m?
False
Let x(g) = g**2 + 7*g + 4. Let u be x(-12). Is 66 less than or equal to u?
False
Let m(o) be the third derivative of -3*o**2 - 1/60*o**5 - 1/8*o**4 - 1/6*o**3 + 0*o + 0. Let i be m(-3). Does 2/23 = i?
False
Let r = 57 - 14. Let h = r + -122/3. Which is greater: 2 or h?
h
Let h = 12 - 6. Let b(n) = 6*n**3 + 8*n**2 + 7*n + 4. Let g(o) = 7*o**3 + 8*o**2 + 8*o + 5. Let t(a) = h*b(a) - 5*g(a). Let v be t(-8). Is v != -16?
True
Let d = -364 - -362. Let r = -14 - -24. Is d < r?
True
Let k be (1 - 2)*(-4)/(20/(-335)). Let x = k - -67. Is x less than -3/14?
False
Let s be ((-9909)/(-24))/9 + 6 + 5. Is s > 56?
True
Let j = 10 - 8. Let s be j + -10 - (-5 + 2). Let r be s*8/(-20) - 5. Which is greater: r or 0?
0
Let c = -10.9348 + -0.0552. Let j = c - -11. Let y = j + 0.99. Is y smaller than 0?
False
Suppose -c + 2*c = 0. Let m be ((-5028)/(-1323) + -4)/2. Let v = m + -6/49. Is v at least as big as c?
False
Let i = 50 - 71. Let y(s) = -s**2 - 18*s - 20. Let p be y(-16). Suppose 7*n + p = -128. Are i and n nonequal?
True
Let v(y) = -22*y - 1. Let i(x) = -22*x - 1. Let j(u) = 4*i(u) - 5*v(u). Let d be j(2). Let g be 4/(-18) - (-190)/d. Is 2 less than g?
True
Suppose 4*x + 5*g + 14 - 33 = 0, -4*x = -5*g + 11. Let j = 3 - x. Is 7/6 at most as big as j?
True
Let n(a) = -7*a**2 + 12*a + 42. Let b be n(14). Which is greater: b or -1163?
b
Let u = 964 - 1929/2. Which is smaller: -129 or u?
-129
Suppose -80 = -3*t + t. Let f be 2/6 - 113/(-3). Let b = t - f. Is b less than 1?
False
Let h = -246.3 - -240.3. Is 0.052 >= h?
True
Let k be ((-18473)/(-130) - 3/5)/1. Are k and 142 unequal?
True
Let a = -438 - -439. Let v = 5079/8 - 634. Is a at least as big as v?
True
Let z = 76 + -311. Let n be 4/6 - z/(-15). Which is smaller: n or -16?
-16
Suppose -d = -2*i, -2*d + 0*d = 2*i - 12. Which is smaller: i or -0.151?
-0.151
Let w = -1.111 + 7.111. Is w less than 2/223?
False
Let s = 0.0434 - 0.0434. Is -0.085 not equal to s?
True
Let w = -27.59 - 113.41. Which is smaller: w or -0.2?
w
Suppose 3*n + 5*r - 110 = 0, 4*n + 38 = -3*r + 192. Let f = n + -38. Is f at most as big as -1/3?
False
Let j(s) be the first derivative of s**4/4 - 7*s**3/3 - 4*s**2 + 4*s + 2. Let t be j(8). Let m be (-128)/72 + t/(-18). Is m at least as big as -2?
True
Let k = -696.2 - -780. Let b = 84 - k. Let q be -1 - ((-4)/6 - -1). Which is smaller: q or b?
q
Suppose -15 = -2*m - 3*f, -5*m + 5*f = 7*f - 21. Suppose -1 = -2*c - 5*u, -c + u = m*u. Let a be 60/(-40) - 0/(-1)*-1. Is a >= c?
True
Let m be 6 - (-5)/((-25)/5). Suppose -m*o + o = 0. Is 6/23 less than or equal to o?
False
Let v = -448 + 446. Are v and 27 unequal?
True
Let d = -33 - -32.85. Let b = 2.15 + d. Is b greater than or equal to 7?
False
Let n = -0.595 - 0.405. Which is bigger: 0 or n?
0
Let y = 9 - 34. Let g = 24.8 + y. Let x be 36/(-8) - (-1 - 3). Which is smaller: g or x?
x
Let z(u) = -4*u**3 - 17*u**2 - 4*u - 10. Let n be z(-4). Is 8 >= n?
True
Suppose 0 = 29*b - 30*b + 1. Is b bigger than 1/73?
True
Let i = -12 - -20. Let k = 8.12 - i. Let q = k + -3.12. Which is smaller: q or 3?
q
Let t = -1424 - -7072/5. Let z(n) = -12*n + 26. Let s be z(3). Which is smaller: s or t?
s
Suppose 2 = -l - j, -3*j - 11 = -4*l + 16. Let z be -3*(20/9 - 2). Which is smaller: z or l?
z
Let r = 5 - -8. Let b = 46/3 - r. Which is greater: 3 or b?
3
Let u = 320 + -297. Which is greater: 3 or u?
u
Let c = -1.47 - -0.62. Let y = 0.75 + c. Which is greater: 1/44 or y?
1/44
Let k = 386 - 390. Let m = 55 + -27. Suppose -5*d - 2*a = m, -3*d - 4*a - 13 = 1. Which is smaller: k or d?
d
Let x(g) = 39*g + 391. Let r be x(-10). Are r and 15/122 nonequal?
True
Let q = 19 - -14. Let v = q - 21. Let j = v + -1