?
0.12
Let q(y) be the first derivative of -3*y**2 - 56*y + 36. Let p be q(-9). Is p greater than -55?
True
Let w = -3895 - -3832. Which is smaller: w or -251/4?
w
Suppose 16*l = 28*l - 180. Suppose 660 = 7*y + l*y. Is 30 <= y?
True
Suppose -3*u + 175 = 2*u. Suppose 2 - 2 = -10*q. Suppose 14*t + 158 - 648 = q. Is t at most as big as u?
True
Suppose 2*h = -3*i - 1625, 2514 = -3*h + 2*i + 2*i. Which is smaller: -828 or h?
-828
Let c(i) = 43*i - 26. Let g be c(-3). Let k = -150 - g. Which is bigger: k or 8?
8
Let t = 7041.5 - -2707.5. Are 1/3 and t unequal?
True
Suppose -3210 = -3*z + 3*d, 5*z - d - 3*d - 5345 = 0. Let s = 79876/75 - z. Suppose -4*l = -l. Is s <= l?
False
Let v be (0 - (-3)/5)/((-3)/(-15)). Suppose 0 = -z - z + 5*o + 16, -z - 14 = v*o. Let d be -6 + 5/5 + 4. Is d bigger than z?
True
Let o = 193/236 + -63/59. Is o at most -5/18?
False
Let w = -805 - -805.007. Which is smaller: w or 0.36?
w
Suppose 3*p - 6 = 12. Let r be 12 + 2 + (-6)/1. Suppose -r*m - 50 = -18*m. Which is smaller: m or p?
m
Let b = 4535 - 4714. Which is smaller: b or 0.12?
b
Let p = 5803 - 5802.9. Which is bigger: -3/731 or p?
p
Let h(f) = -3*f**2 - 17*f - 23. Let c be h(-3). Is 9/439 at least c?
False
Let s = -78 + 64. Let j = s - -14. Let f be (0 - (j + 2))*3. Which is greater: f or -52/9?
-52/9
Let h = 69 - 38. Let o(l) = -l**3 + 17*l**2 + 21*l - 24. Suppose 3*c + 58 = 5*v - 29, -3*v = -c - 53. Let b be o(v). Is b greater than or equal to h?
False
Let y(f) = -9*f**3. Let l be y(1). Let x = 29 + -25. Suppose 5*n = -4*m - 44, -x*m + 0*n - n = 44. Which is greater: l or m?
l
Let d = 1.38 + -1.28. Let g = 6/1013 - 8542/73949. Is d < g?
False
Let p = -34 + 37. Let x be p/5*(-5)/15. Let v = 207 - 216. Which is smaller: x or v?
v
Let w = -1.1 - 13.9. Let f = 5486.7 - 5486. Which is greater: f or w?
f
Suppose 2*g = 2*k - 114, -2*g = -6*g. Let u = k - 338/5. Which is greater: u or -12?
u
Suppose -z = -3*w + 8, w = -2 + 6. Suppose 5*r + 393 = -107. Let x be (z - (-488)/r)*5. Is x at least -3?
False
Let p = -13.4 - -47.4. Let u = p - 33. Which is smaller: u or -0.13?
-0.13
Let x(g) = -7*g**2 + 18*g - 13. Let f(i) = -i**2. Let n(k) = -6*f(k) + x(k). Let h be n(17). Let a be ((-13)/h + 1)/(14/(-84)). Which is smaller: a or 15?
a
Let k(w) = -195*w + 2578. Let j be k(43). Is -5806 > j?
True
Suppose 138*s = 19*s + 2499. Let q = -0.1 - -0.2. Which is bigger: s or q?
s
Let c be (1 + (-65)/70)/(0 + 5/20). Are -711 and c unequal?
True
Let v be (-4)/(100/(-15))*(7 + 458). Is 278 at most as big as v?
True
Let m = -35 - -38. Suppose 33*l - 37*l - 5*o + 34 = 0, 0 = -2*l - 3*o + 16. Which is smaller: l or m?
m
Let g = -85.043 + 85. Let r = -0.0499 + -0.0071. Let j = r + g. Which is greater: 2/23 or j?
2/23
Let b(x) = 7*x - 243. Let v be b(41). Is v less than 580/13?
True
Let y(s) = s**2 + 4*s - 3. Let l be y(-5). Suppose -4*g - 6 = 5*w - 1, l*g = w + 1. Is -10/27 not equal to w?
True
Let x(p) = -49*p**2 - 244*p + 4. Let n be x(-5). Which is smaller: n or 5/222?
n
Let d = -1 + 4. Let p = -3.1 + d. Let b be 91/70 + (2 - 529/230). Is b > p?
True
Let y be 1130/(((-1575)/42)/(-15)). Which is smaller: y or 467?
y
Let c = 43241 + -43242. Let v = 25797/6407 - 174/43. Is c > v?
False
Suppose -12 = 2*k - 2, -v - 3*k = 13. Let c = 5823 + -5805. Let n be 0/v - (-14 + c). Is 1 smaller than n?
False
Suppose -5*k = 2*q, 0*k + 3*q = 2*k. Suppose p - 5*p + 60 = 0. Let i be ((-11)/3)/(5/p). Which is smaller: i or k?
i
Suppose -2*g - 4*b - 1866 = -464, 0 = 2*g - 3*b + 1430. Let p = -591 - g. Which is bigger: p or 117?
p
Suppose 3*a = -3*p + 12, -2*p + 2 = 3*a - 6. Let w = a - 0. Let d be (-1)/(-6)*10 - 386/579. Which is smaller: w or d?
w
Let c = 22 - 22.01. Let r = 9751 + -9750.8. Is c smaller than r?
True
Let f be (-4 + -1 - (-80 - -74)) + -1. Which is smaller: 58/277 or f?
f
Suppose s + 17*s + 156 = 516. Suppose -5*h - 2486 = 114. Let y be h/(-24) + (-2)/3. Which is greater: y or s?
y
Let d be ((-10)/(-40) + (-202)/792)*-1495761496. Let z = d - 7554266. Let n = z + -85. Is n <= 0?
True
Let p = 2.51 - 0.09. Let o = 2.22 - p. Is o <= -16/5?
False
Let j = -656.91 - -654. Let z = 0.29 - j. Let a = z + -12.2. Is a at most 2/7?
True
Suppose -4*g + 243 = 5*g. Suppose -2*z = 5*z - 21. Suppose z*u - a - 60 = u, 0 = 4*u - a - 118. Which is smaller: u or g?
g
Suppose -4*v = -p - 26, -3*v - 1003 + 1021 = -p. Which is greater: v or -38?
v
Let g = -800 - -782. Let z be (6/g)/(10/1608). Which is smaller: -53 or z?
z
Let k = -2276 + 2291. Which is smaller: 30 or k?
k
Let j(o) = -71*o + 1192. Let a be j(17). Which is bigger: 127 or a?
127
Suppose 214 = 24*w + 214. Let f = 25 + 31. Let c = -33 + f. Is w < c?
True
Suppose -27 + 2 = -5*g. Suppose 5*j - 2*x = 8, 4*j + 4*x - 3*x + 4 = 0. Suppose -g*c - 2 + 57 = j. Which is smaller: 12 or c?
c
Let o = 51 + 47. Suppose 3*a + 5*z - o = 113, -2 = -z. Is a equal to 67?
True
Suppose 382*x = 389*x - 5 + 96. Which is greater: -578/49 or x?
-578/49
Let t(x) = -44*x - 54*x + 126*x - 102. Let w be t(-7). Which is smaller: -297 or w?
w
Let g = -123 - -131. Suppose -8 = v + 2*p, 3*p - 29 = -2*v + g*p. Which is smaller: -1/7 or v?
-1/7
Suppose 165 = -8*d + 13*d. Suppose 5*r - d*r - 28 = 0. Are 2/45 and r nonequal?
True
Suppose -3*w - 35*g = -31*g + 543, 2*w = 3*g - 328. Is 6 bigger than w?
True
Let b = 0.33 + 2.57. Let i = 0.1 + b. Let o = i + -3.1. Which is smaller: o or -19?
-19
Let u = -31273683/191 + 163736. Is 0 at most as big as u?
False
Let b = 61 - 51.6. Let f = 4.8 - b. Let a = f + 4.6. Are 0.38 and a nonequal?
True
Let x be (-14)/154*1143 - (-2)/(-22). Let r be 2 - (x/(-18) + -6 + 2). Which is smaller: r or -1?
-1
Suppose t = 3*n - 4, -3*n = -4*t + n. Suppose 3*u - t*w = -49, -5*w + 70 = -0*u - 4*u. Let l = 17 - 31. Which is bigger: u or l?
l
Let l = -279457/165 + -1192/33. Which is smaller: l or -1729?
l
Let s = -3.127 - -272.027. Let v = -269 + s. Which is smaller: 0.19 or v?
v
Let k = -7879 + 7761. Which is greater: k or -36?
-36
Let v be (2/6)/(65/16068 - 0). Which is smaller: v or 0.7?
0.7
Let y(u) = -59*u - 8783. Let l be y(-53). Which is smaller: l or 0?
l
Let w(o) = -52*o - 546. Let x be w(-12). Is -9 <= x?
True
Let g be (-1)/(-7)*(-192)/(-240). Let l(h) = h**3 - 9*h**2 + 2. Let p be l(9). Suppose -i = 5*v - 3*i + 3, 3*i = -p*v - 5. Which is bigger: v or g?
g
Let s = 112285/53 + -88615951/41870. Let n = 12/395 - s. Which is greater: -3 or n?
n
Let g = -70.89 - 852.11. Do -1/6 and g have the same value?
False
Let p(z) = 67*z - 326. Let s be p(5). Suppose 0 = -36*h - s - 135. Is h < -29/9?
True
Let z be (-6744)/(-216) + -31 + 199774/(-45). Which is smaller: -4440 or z?
-4440
Let b = 1782 - 7075/4. Let k = 355/28 - b. Let d(p) = p**3 + 14*p**2 + 13*p + 2. Let g be d(-13). Is k <= g?
True
Suppose 43*d + 40987 - 166604 = 41309. Are 0 and d unequal?
True
Let i be 2/24*1908/(-8). Is i less than -19?
True
Suppose -6*g = -g - 15, g + 20297 = -5*u. Is -4060 not equal to u?
False
Let p = 53 - 54. Suppose x + 42 = -3*h, -2*x - h = -3*h + 44. Let d be -3 + (79/x)/(-1). Do d and p have the same value?
False
Suppose l - 3*c = -94 + 88, -2*l - 4*c + 48 = 0. Do 308/23 and l have the same value?
False
Let a be -67 - (-35)/(-65)*13. Let c = -158 + 82. Which is smaller: a or c?
c
Let c = 12605 + -12603.31. Is c greater than or equal to 1?
True
Let j = -165544.017 - -165468. Let l = -76 - j. Which is smaller: -1 or l?
-1
Let k(h) = -16*h - 36. Let t be k(-3). Let d be (-528)/(-216)*45/t. Which is smaller: d or 10?
d
Suppose 0 = -2*z - 5*y - 9, -y = 4*z - 10 + 1. Suppose -z*q = 4 + 17. Let j be q*5/2 + (-2)/(-4). Which is smaller: j or -18?
-18
Let z be (-264)/(-9) + 1/(-3). Suppose 5*y - 20 = -c, 2*y + 3*y + 3*c - 20 = 0. Let g be 5 - (22/y + (-60)/24). Which is smaller: g or z?
g
Suppose 0*c + 308 = 2*c. Let v be (-157 - (-1 - 2))*(-2 + 1). Is c smaller than v?
False
Let o = -1685 + 1684. Which is smaller: o or -270?
-270
Suppose 0 = -3*k - 3*n - 16 - 14, 0 = -5*k + 2*n - 43. Let f be -1*2/(-4)*36/k. Which is smaller: f or -18/17?
f
Let l be 705/(-3 + -2) - -1. Let w = l - -139. Let g be (w - 186/(-174))/1. Does g = 0?
False
Let m be 1*(0 + 1/(-3)). Let i = -30 - -30.026. Let t = -0.974 - i. Does t = m?
False
Let f = 1/275 + 3841/2475. Let z be 1/(5/350*-2). Let x = z - -38. Which is