?
13
Let j(b) = -11*b**2 - 26*b + 5. Let d(o) = 5*o**2 + 13*o - 3. Let q(m) = -13*d(m) - 6*j(m). Let f be q(12). Let h be 0 + -2 + (1 - 1). Is h >= f?
True
Let o = 0.089 - -0.011. Let g = -4 + 6. Let r be (3/(-4))/(g/8). Are r and o nonequal?
True
Let j = -0.187 + 16.487. Let k = -16 + j. Let r = -0.7 - k. Are 2 and r unequal?
True
Let b be (1 + 564/(-558))/(4/(-18)). Does b = -1?
False
Let k = 0.96 - -0.04. Let q = -0.27 - -0.27. Which is smaller: k or q?
q
Let r(y) = 1310*y**2 + 159*y - 160. Let g be r(1). Is 1310 bigger than g?
True
Let i be ((-37)/((-3145)/34))/(2/5). Which is bigger: i or 8/87?
i
Let y be 8583/(-21) + 2/(-42)*6. Are y and -1 equal?
False
Let z be -25 - (1 - 1 - 2). Let p be ((-1)/3)/((-2)/(-12)). Let b = p - 20. Is b at least z?
True
Let k(v) be the first derivative of 1/3*v**3 - 4 + 9/2*v**2 - 11*v. Let u be k(-10). Which is greater: -2 or u?
u
Let l = 2 - 8. Suppose -7*x + t + 11 = -2*x, -x + 6 = -4*t. Let m be x - 3/l*1. Which is greater: 2 or m?
m
Let i(a) = a**3 + 3*a**2 - 6*a - 4. Let r = 17 + -21. Let q be i(r). Suppose -w - 5*c = 2 - 3, -q*c = -8. Is w >= -3?
False
Let d be (13134/(-3570) - -4) + 2/(-7). Is 1 bigger than d?
True
Let j be (-8)/(-10) - (-2)/10. Suppose 6*x = 8*x + 2. Let c be x + -8*j/(-6). Do 1/2 and c have different values?
True
Suppose -u = u. Suppose 24*z - 67 = -43. Is u at least as big as z?
False
Suppose -g + 10 = 86. Let s = -58 - g. Is 17 at most s?
True
Let o be (6/3)/2*-22. Let x be ((-2)/(-5))/(4/o). Is x greater than 0?
False
Let s be ((-18)/4)/(4/176*2). Let o = -90 - s. Do o and 5 have the same value?
False
Let o = -43 - -41. Let p = 0.09 - -0.07. Let j = 0.14 - p. Which is smaller: j or o?
o
Suppose 107 - 1391 = -2*c. Which is bigger: c or 643?
643
Let g be (-6295)/(-2099) - 4*6/8. Which is greater: g or 1?
1
Let c be 0 - (-5 - 2 - -8). Suppose 2*g - s = -4*s - 13, 0 = -4*g + s + 9. Let i be g + -2*(-3)/(-4). Which is greater: c or i?
i
Suppose -192 = 11*v + 21*v. Which is smaller: v or 4?
v
Let k be 4 - (10 - 1) - 2. Let o be -4 + 4 + -2 - k. Suppose -o*z - 88 = 3*t, -5*t + 87 = -5*z + 7. Does z = -17?
True
Let y(l) = -l**3 - 5*l**2 + 30*l - 20. Let p be y(-10). Which is smaller: 177 or p?
177
Suppose -116 = -5*l + l. Let u(o) = o**2 + 11*o + 2. Let m be u(-13). Which is smaller: m or l?
m
Let f = 13 + -5. Suppose 5*t - 2*c - 14 = 12, 2*c + f = 2*t. Let b(y) = 3*y**2 + 22*y + 15. Let s be b(-7). Which is smaller: t or s?
t
Suppose -4*j + 5*j = 20. Suppose -j = -4*r, b + 98 = 2*b + 4*r. Is b bigger than 79?
False
Let n(m) = m**3 + 4*m**2 + 30*m + 120. Let u be n(-4). Which is bigger: u or 9/184?
9/184
Suppose 146 = 13*o - 153. Which is greater: o or 370/17?
o
Let z = -34 - -32. Let p = -2.8 + 35.8. Let n = p + -33.3. Which is smaller: z or n?
z
Suppose -5*f - 5*k = 350, -k = f - 2*k + 74. Let w be ((-100)/f)/((-2)/6). Which is bigger: w or -3?
-3
Let s = -2.25 - -2. Let m = -0.36 - s. Let k = m - -0.1. Is 2/3 less than or equal to k?
False
Let d be ((-45)/(-60))/(1/4). Suppose -d*v + 3 = -2*v. Is v smaller than 2?
False
Let x = -3 - 15. Let y = x + 0. Which is bigger: y or 2/5?
2/5
Let v = 1651 + -1649. Which is bigger: -234 or v?
v
Let a = 8.7 + -8.8. Let m = -163.3 + 150. Let r = m + 12. Which is smaller: a or r?
r
Suppose 12*s = 7*s - 1855. Which is smaller: -372 or s?
-372
Suppose -4*w = -5 - 3. Let u(z) = z**3 + 7*z**2 - z - 5. Let b be u(-7). Suppose -2*k - 7 = -m, -w + 10 = -b*k. Is -1 at most as big as m?
True
Suppose 2*h - 20 = h - 5*k, 2*h - 28 = 2*k. Suppose 31 = -b + 5*b + 3*z, h = -5*z. Suppose -4*m + 5*u + 2 + 36 = 0, -5*u = b. Which is bigger: 8 or m?
8
Let t be (2 - 3/2)*0. Is 17/16 greater than or equal to t?
True
Suppose -96 = 8*r + 88. Let h be (-12)/(-36) - 1/(-3). Which is bigger: r or h?
h
Let h = 100 + -69. Suppose h*v - 24 = 25*v. Which is bigger: 21/8 or v?
v
Let l = -3 - 7. Let u = -0.16 + -10.84. Let i = l - u. Which is bigger: i or 3/5?
i
Suppose -3*j + 0*o = 2*o + 16, j - 2*o = -16. Let a(l) = 4*l + 37. Let b be a(j). Which is smaller: 9 or b?
b
Suppose 3*r = 7 - 1. Let n be r*((-9)/2)/9. Which is smaller: 0.4 or n?
n
Suppose -1196*v + 1186*v = -550. Which is bigger: v or 390/7?
390/7
Suppose 0*t - n = -3*t + 33, 0 = 5*n - 15. Suppose -3*r + t - 27 = 0. Is -6 at most as big as r?
True
Let n(l) = 20*l + l**2 + 3*l**2 + 9 - 2*l**2 - 3. Let r be n(-9). Let j be r/16*2/(-3). Which is smaller: j or -1/2?
-1/2
Let u = 1672 - 1680. Which is smaller: u or 5?
u
Let k(p) = -2*p + 2. Let o be k(-2). Let v = -3 + o. Let b be (-2*v/42)/1. Is b greater than or equal to 1?
False
Let a = -255 - -151. Let q = -108 - a. Which is greater: -3 or q?
-3
Let i = 23 + -22. Let o = 16 + -43. Let k = o - -23. Is i less than or equal to k?
False
Let c be (-2)/2 - (4 - (-35)/(-5)). Let g be (-9)/(-6)*c/(-6). Which is smaller: 13 or g?
g
Suppose 20*i - 16*i + 3*l = -5, 5*i + 3*l = -4. Which is bigger: -1/286 or i?
i
Let a be -6 + 0 + 12 + -5. Do 3/40 and a have the same value?
False
Let f(n) be the first derivative of -2*n**2 + 5*n - 11. Let a be f(2). Is a <= -10?
False
Let a = 2679 - 2679. Do 5/832 and a have the same value?
False
Let b = -38 - -34.3. Let l = b + -2.3. Let k = l - 2. Which is bigger: 0 or k?
0
Let v = -658 - -659. Which is greater: v or 14/335?
v
Let l = 0 + -2. Let o = l - 0. Let k = 109 + -107. Which is bigger: k or o?
k
Let i(c) = c**3 + 4*c**2 + 2*c - 4. Let k be i(-3). Let p be ((-15)/10)/(6/4*k). Let g = 7 - 3. Which is bigger: p or g?
g
Let b be (112/10)/(6/45). Let t = 165/2 - b. Which is greater: -1 or t?
-1
Let d = -21 + 40. Let x = d - 20. Which is smaller: x or 5/4?
x
Let o be -12 + (-6 - 2552/(-28)). Which is bigger: 73 or o?
o
Let k(w) = -5*w + 40. Let n be k(-10). Is n at least as big as 91?
False
Let v(o) = o**2 + 25*o - 44. Let c be v(-27). Is 0 smaller than c?
True
Let j(u) = u + 2. Let m be j(3). Let y be 20 + -3 + 1 + -2. Suppose m*n = -11 + y. Which is bigger: n or 2/119?
n
Let b(u) = -u**2 - 5*u + 1. Let r be b(-4). Suppose -n = r*o + n - 15, -o + 6 = n. Suppose 1 = 2*t - o. Is 0 not equal to t?
True
Suppose -5*p + 2*c - 1474 = -p, c - 1473 = 4*p. Does p = -366?
False
Let c(z) = -z**3 - 6*z**2 + 4*z + 19. Let h be c(-6). Are h and 20 unequal?
True
Let x = -25 + 43. Let d be x/(-5) + (-3)/(-1). Suppose 0 = -3*h - 2 - 4. Which is smaller: d or h?
h
Let b = -634 + 353. Is -2/3 > b?
True
Let g(j) = -j**2 + 11*j - 9. Let t be g(10). Which is smaller: -242 or t?
-242
Let d = 19 + -20.56. Let r = d - -0.26. Let n = r - -0.3. Which is bigger: -4/5 or n?
-4/5
Let c = -53 + 103. Let u be 12/(-207)*(c/28 + -2). Which is greater: u or -1?
u
Suppose 0 = 4*b - 3*m + 12, 4*m - 16 = -12*b + 15*b. Which is bigger: 28/19 or b?
28/19
Let r be (7/(-357))/(1 - 0). Is 0.1 at most as big as r?
False
Suppose 3*s = -15, -3*s - 13 = 2*u - 0*s. Let k = 14 - 13. Let l be (-3 - k) + 46/10. Is u <= l?
False
Let m = 854 - 7684/9. Which is bigger: m or 0.523?
0.523
Let p = -105.2 + 112. Let u = -9.2 - p. Which is bigger: u or -2?
-2
Let k = -1.3 - 0.7. Let y = 1 + -5. Let h = k - y. Is h greater than or equal to -2/3?
True
Suppose 6 = 4*i + 22. Let s = 2.17 - 1.57. Is s at most as big as i?
False
Let i = -23 + 33.5. Let g = i + -11. Which is bigger: g or 0.2?
0.2
Let f = 0.4 + 0.68. Let j = f - -6.22. Let b = j + -7. Do b and 0 have different values?
True
Let l be ((-21)/2)/(1/(-4)). Suppose -3*v + l = -k + 4*k, 4*v = k + 61. Let z = v - 12. Is z less than 4?
True
Suppose -2*p + 6 + 1 = z, 0 = z - 3*p + 8. Is z <= -64?
False
Let w = -1567 - -1701. Which is greater: w or 135?
135
Let n = -1015/3 + 339. Is -28 not equal to n?
True
Suppose -y - 3*o + 8 = -5*o, 0 = -3*y - o + 3. Suppose 0 = -2*g + h - 26 - 22, y*g = -2*h - 54. Let a be g/(-9)*6/4. Which is bigger: 3 or a?
a
Let b = -19.4 - -19. Let m = b - -0.19. Let s = -1.79 + m. Which is greater: 5 or s?
5
Let s(b) = b**3 - 9*b**2 + 17*b - 14. Let d be s(6). Let v be (-22)/d + (-9)/6. Let f = 1 - 0. Which is smaller: v or f?
v
Let q = 0.289 + -0.289. Which is greater: 1/3 or q?
1/3
Let p = -579 + 339. Which is bigger: -241 or p?
p
Let b be 2/(-19) - (-229424)/1295800. Let v = 2/275 - b. Is v less than 0?
True
Let j = -29 - -20. Let o(a) be the first derivative of -a**3/3 - 5*a**2 - 8*a - 78. Let n be o(j). Is 0 greater t