?
True
Let k = 0.13 + 3.87. Let h = -2.2 + k. Let c = h - 2. Is c >= 1/3?
False
Let v = -4 + 24. Suppose v = -7*c - 15. Which is greater: c or -9?
c
Let p(j) = -j**2 + 13*j - 3. Let u be p(11). Suppose -b - u = 4*h, 4*h + 10 + 7 = -3*b. Which is smaller: b or -4?
-4
Let t(v) be the first derivative of v**4/4 - v**3/3 - 3*v**2/2 - 2*v - 6. Let z be t(3). Suppose -12 = 6*d - 3*d, 2*d = x - z. Is x at most -2/7?
True
Let y = 2.023 - 0.023. Is 23 less than y?
False
Let w be 40/42*4/(-32). Is -1 less than or equal to w?
True
Let i be (-4)/(-7)*1/6. Let j = 1/21 + i. Which is smaller: -1 or j?
-1
Let l(f) = -f**2 + 7*f + 16. Let q = -84 - -92. Let x be l(q). Which is smaller: x or -1?
-1
Let h = -15 - -11. Let x(p) = -p**3 - 3*p**2 + 4*p + 4. Let u be x(h). Let t be 1*u/(-2 - 6). Which is greater: 3/2 or t?
3/2
Let n(f) = 5*f + 22. Let h be n(-4). Is 119 less than h?
False
Let n = 2335 + -2399. Is n > -63?
False
Let a = 2 - 2. Let p be 1/(3/39 - a). Suppose -p = -z + 2*u, 4*u - 17 + 7 = -2*z. Which is bigger: 8 or z?
z
Let t = -101.1 + 168.1. Is -0.14 at most t?
True
Let x = -1.05 + 2.25. Which is bigger: x or -0.7?
x
Let y = 34.6 + 0.4. Let n = y - 21. Which is smaller: 0.1 or n?
0.1
Suppose -3*s = 2*n - 43, -3*n - 2*n - 3*s + 103 = 0. Suppose -5*c + 5*k + n = 0, 2 = -5*c - 3*k + 6. Let l = -4 - c. Which is smaller: -5 or l?
l
Let s be (-37)/4 + 2/8. Let k(r) = r**2 + 9*r + 2. Let v be k(s). Suppose -7*p + 8*p - v = 0. Is -2 at least p?
False
Suppose 0 = -0*h + 4*h - 12. Suppose 0*i + 3*i = -h*a - 18, -29 = 5*a + 4*i. Which is greater: 3/4 or a?
3/4
Let z(r) = r**2 - 13*r + 10. Let c = -15 - -29. Let m be z(c). Let h be -3*(m/9)/1. Does -8 = h?
True
Let z(a) = a**3 - 9*a**2 + 9*a - 9. Let m be z(8). Is 1/3 smaller than m?
False
Suppose 10*z - 428 = -178. Suppose 21*x = z*x. Is x at least as big as 4?
False
Let p = -19 - -25. Let x be ((-50)/p)/((-94)/3). Let w = x - -2645/658. Is 3 < w?
True
Let m be 21 - ((-12)/(4 - 0) + 0). Suppose 67 = -7*s - m. Which is smaller: s or -16?
-16
Let i be (297/(-18))/(138/12). Which is smaller: i or 0?
i
Suppose o + 2*c - 6 = 13, 33 = 2*o - c. Suppose -96 + 640 = 7*m + 27*m. Which is greater: o or m?
o
Suppose 3*p + 3*g + 12 = 5*p, -15 = -3*p + 3*g. Let i = -20.75 - 0.25. Let l = -22 - i. Do l and p have the same value?
False
Let n(u) = -3*u**3 - 9*u**2 + 7*u - 2. Let w(v) = v**3 + v**2 - v. Let y(q) = n(q) + 4*w(q). Let f be y(4). Which is greater: f or -3?
-3
Suppose -4*u + 248 + 208 = 0. Let x be (u/(-8))/((-21)/56). Let l be -2*2/(16/x). Which is smaller: -11 or l?
-11
Let n(t) = t**2 - 13*t + 13. Let y be n(12). Let z be y + ((-52)/4 + 2 - -2). Which is smaller: -9 or z?
-9
Suppose -3*a = 3*j - 33, -5*j + 4*a + 72 = 8. Suppose 3 = -11*b + j*b. Let x be -6*1/(-6)*2. Which is smaller: x or b?
x
Let r(n) = -n**3 + 9*n**2 + 6*n - 48. Let m be r(9). Let o be (2 - -1) + (2 - 1). Is o less than m?
True
Let t = -31.1 - -31. Let r = 36.03 + -36. Which is greater: t or r?
r
Let o(r) = 4*r - 2 - r**3 - 2 + 0*r**3 + 5*r**2 + 3. Let i be o(5). Let z = -19 + i. Which is smaller: -4/3 or z?
-4/3
Let b = -0.04 + 2.04. Let q be (-2240)/(-75) + 6/45. Let y be -9 + 6 - (-94)/q. Which is bigger: y or b?
b
Let k be 3 + (-65680828)/(-448) - -2. Let r = k + -146615. Let h = r - -15/16. Is 0 at most as big as h?
False
Let f = -110 - -26. Let g = f - 36. Let j be 78/g - (-1)/4. Which is smaller: j or -1?
-1
Let z = 8 - 8. Let v = 2724 + -1929. Let t = -8751/11 + v. Which is bigger: z or t?
z
Let x be (8 - 6)*1*(-4)/(-8). Are x and 6/109 equal?
False
Let y = -2350 + 2350. Let z be ((-6)/4)/((-9)/(-12)). Let m be (-26)/(-27)*-2 - z. Is y at least m?
False
Let y be -7 + ((-945)/14 - 5). Is -79 <= y?
False
Let k(b) = b. Let i be k(-2). Let w be 5/(-3) + 1 + i/(-3). Which is greater: w or -10/23?
w
Let c = -1 + 1. Let t be (c + 4)/(-2 - -1). Let h = -6895 - -6892. Is h at least as big as t?
True
Suppose 0*f + 572 = -4*f + 3*t, t - 429 = 3*f. Which is greater: -145 or f?
f
Let x be 73 + (2/(-2) - -4). Let f = 93 - x. Is 17 greater than f?
False
Let b(q) = 9*q - 2. Let k be b(-4). Let f be (2 + (-17)/8)*19/k. Is f < 0?
False
Suppose -z + s - 16 = 4*z, -2*z - 4 = -s. Is -60/11 bigger than z?
False
Let b = -0.2 - -0.4. Let s = 35 - -38. Let t = -218/3 + s. Is b > t?
False
Suppose 0 = -4*f + 8 - 24, -9 = -5*m - 4*f. Suppose -m*n + 38 = -2. Let w be (1/6)/(14/n). Which is bigger: w or 1/2?
1/2
Let n = -439 + 448. Let w = -2.09 + 0.09. Which is bigger: n or w?
n
Let l be (-126)/10 - (-21)/35. Suppose 2*d - 6 = -a, -3*a - 2*d - 18 = -8*a. Let i = 4 - a. Is i > l?
True
Let n = 28.38 - 31.18. Which is bigger: n or -0.08?
-0.08
Let k(t) = -t - 6. Let p be k(-5). Let v = -40.5 + 51. Let s = v - 13. Which is greater: p or s?
p
Suppose -10*o + 4*o = 0. Suppose o = 3*b + 4*i - 2*i + 8, 4*b + 8 = -4*i. Which is greater: b or 7?
7
Suppose 19*n - 15*n = 4. Are n and 7/22 equal?
False
Let x be (-1 - 129)*(-5)/255. Let k = -2/17 - x. Suppose l + 16 = 4*c, -2*l - 3*c - 1 = -13. Which is smaller: l or k?
k
Let v be (-32)/(-80)*(5 - 3 - 12). Is v at most -38/9?
False
Suppose -3*o = -8*o - 5*j - 75, 0 = -5*j. Let l be 20*(2 + 21/o). Is l <= 7?
False
Let s = 78 + -57. Let t = s + -110. Which is smaller: t or -90?
-90
Let y(j) be the first derivative of -1/2*j**2 - 3 + 6*j. Let n be y(6). Is n != 5/11?
True
Let g be (-22500)/210 + 24/21. Which is smaller: g or -109?
-109
Let k = 84 + -83. Is k less than or equal to -0.036?
False
Suppose 0 = -a - a - 4. Let p be (-3)/a + 477/(-342). Which is smaller: 1 or p?
p
Let l = 178.28 - 1.28. Which is greater: -1 or l?
l
Let n = -1.5 - -2.5. Let j be 2/(-11) - 3120/(-220). Do j and n have the same value?
False
Let v be 71/2 - (-6)/(-12). Suppose x - 5*x - 2*p + 30 = 0, -v = -3*x - 4*p. Suppose 3*g = 15, 0 = x*d - 2*g + 6*g - 10. Is d != 1?
True
Let v = 10.98 + -11.7. Let x = 0.98 - v. Is -2 < x?
True
Let i = -1 + 6. Suppose 5*q = i*r - 610, q + 2*q = 5*r - 370. Let s be 2/12 + 116/q. Which is greater: -2 or s?
s
Let s be (-1 - (-2 - -2))/(6 + -5). Is s smaller than -10/53?
True
Let l be ((-3)/2)/((-1)/(-8)). Let g be ((-3)/l)/((-26)/(-16)). Let y be 0 + -1 - 10/(-14). Is g equal to y?
False
Let x = 33 + -30. Suppose 0 = b + x*b - 32. Suppose -b = -6*s + 4. Is 2 not equal to s?
False
Suppose 3*f = -4*z - 125, -z - 3*z = -4*f + 132. Let y(n) = -35*n**2 + 26*n - 25. Let s be y(1). Which is smaller: z or s?
s
Let k = -38.8 - -27.8. Let m = 1/56 - 121/504. Which is bigger: k or m?
m
Let u be -3*(-4)/6 + 2. Suppose 0 = 5*r - 2*a + u*a - 36, -4*r - 5*a + 39 = 0. Let k be 4/8*(13 - 1). Are r and k non-equal?
False
Suppose 0 = -4*j - j. Suppose -3*v - 63 = -j*v. Let d = -19 - v. Is d equal to 1?
False
Let c(h) = -13*h**2 + h + 68. Let v be c(-7). Which is smaller: -574 or v?
v
Let d = 1316 - 1317. Is -2/185 bigger than d?
True
Let g(m) = m**3 - 10*m**2 - 6*m + 6. Let u be g(9). Is -1/2 > u?
True
Let x(d) = -5*d + 22. Let v be x(4). Let s be (130/45)/(((-2)/(-3))/v). Is s at most 9?
True
Let q be -3 - 9 - (-1 + -5). Let c(p) be the second derivative of p**5/20 + 5*p**4/12 - p**3 + 2*p. Let a be c(q). Which is smaller: -2/89 or a?
-2/89
Suppose r - 236 = -278. Do -37 and r have the same value?
False
Let c = 545 + -551. Which is bigger: 17 or c?
17
Let q = -22.4 - -29.4. Which is bigger: 0.12 or q?
q
Let c = -114/155 + 141848/193285. Is 0 != c?
True
Let j = 3 - 2. Let m be 9 + j*(-2)/1. Let c(y) = -28*y - 104. Let g be c(-4). Is m smaller than g?
True
Suppose 0 = 3*t + 3*u - 3, -4*u + 7 = -5*t + 30. Let w be 3/((-2)/((-6)/t)). Let x be 40/(-30)*w/(-2). Is -0.3 bigger than x?
False
Suppose 54*t - 59*t - 30 = 0. Let b(k) = k**3 + k - 8. Let q be b(0). Which is smaller: q or t?
q
Let l(s) = -4*s**2 + 6*s - 2. Let p(o) = -7*o**2 + 11*o - 3. Let d(a) = -5*l(a) + 3*p(a). Let c = -156 + 160. Let i be d(c). Do -1 and i have the same value?
False
Let f = 38239/60 - 3805/6. Is f greater than or equal to 4?
False
Let q be 4/18 + 33/((-14490630)/97400). Which is greater: 1 or q?
1
Suppose 80 = 4*s - 9*s. Is -192/11 bigger than s?
False
Let k(f) = -f**2 - 34*f - 62. Let j be k(-2). Let v = -2 - 0. Does j = v?
False
Let g(y) = -y + 10. Let o be g(5). Suppose -o*q + 9 = 4. Is -2/89 <= q?
True
Let f = 0.472 + -22.472. Which is smaller: f or 22?
f
L