x?
d
Let p = 808.6 + -804.6. Let d = 0 + 1. Which is greater: d or p?
p
Let r(y) be the first derivative of y**3/3 - 9*y**2 + 23*y - 11. Let c be r(12). Which is bigger: c or -50?
c
Let z(v) = v**3 - 2*v**2 - 3*v + 2. Let j be z(3). Suppose -6*m + 4970 = 4*m. Let i = 490 - m. Which is smaller: i or j?
i
Let x(v) = v - 10. Let c be x(4). Let h(q) = -q**3 - 7*q**2 - 4*q + 9. Let i be h(c). Let k be -3 - (15/(-18))/(-5). Which is bigger: k or i?
i
Let i = -0.23 + 1.135. Let y = i - -0.095. Let j = 0.286 - 0.25. Do y and j have the same value?
False
Let u = -18.159 + 0.809. Let h = u + 17.4. Which is smaller: h or 27?
h
Let k be -407 - 20/(-8 - -18). Let x = k - -503. Is 0.5 smaller than x?
True
Let i be -1 + (-7 - (0 - -5)). Let c be (-12)/(-10)*i/26. Let o = -18 + 18. Is c less than o?
True
Let x = 543 + -589.2. Let b = x - -76.2. Which is greater: b or -2/3?
b
Let y be (2 + 18/(-4))/((-6)/12). Suppose 118 = y*f - 5*n + n, n = -4*f + 86. Which is greater: f or -4?
f
Let f be (-10 - -17)/7 + (-1 - 0 - -1). Is f < 10/241?
False
Let u(k) = k**2 - 17*k - 193. Let c be u(25). Suppose 0 = c*r - 12 - 72. Which is bigger: 10 or r?
r
Let a = -10712888/5 - -813764153/380. Let p = a - -1093. Which is smaller: p or 1?
p
Let y(n) = 2*n**2 - 9*n + 22. Let w be y(5). Suppose 100 = 4*u + 2*v, 5*u + 4*v - v - 123 = 0. Do u and w have different values?
False
Suppose 0 = 2*m + h - 925, m + 4*h - 458 = 2*h. Suppose 2*a - m = -4*j - 3*a, -j + 119 = 2*a. Which is bigger: 113 or j?
113
Let a(s) = 17*s - 50. Let z be a(3). Suppose 2*o - 5 = 1. Let u be 12/36 - (22/o)/z. Do -9 and u have the same value?
False
Suppose -5*c = -3*k + 99, c - 5*c - 81 = -3*k. Let y(z) = z**3 + 18*z**2 - 2*z - 36. Let v be y(c). Which is smaller: 371 or v?
v
Let u be (-19944)/54*1/32. Let j = u + -5/24. Are j and -11 unequal?
True
Let l = 478.22 + -17.22. Are -7 and l equal?
False
Let g be ((-2736)/(-84))/((-16)/14 - -1). Which is smaller: -235 or g?
-235
Let k = 47276 + -143368/3. Which is greater: k or -513?
-513
Let q be 6/(-27) - (12/30 - (-4336)/(-2340)). Is q > 43?
False
Let s = 622 + -939. Suppose n + 1451 = 4*d + 1122, -5*d + 649 = -2*n. Is n bigger than s?
False
Let u be ((-63)/(-6) - -2)*290/(-725). Is -192 at least as big as u?
False
Suppose -1378 = 30*z - 4*z. Suppose 0 = f - s + 53, 2*f + 2*f + 4*s + 204 = 0. Is z at most f?
True
Let v be (-76)/13 - (-14)/(-91) - -4. Let u(o) be the third derivative of -o**5/20 + o**4/12 + 7*o**3/6 + 2*o**2. Let k be u(v). Is -10 at most k?
True
Let t be -3 - (1 + (31 - 4)). Let f = -1187 + 1157. Is f equal to t?
False
Let u = -34448 - -308692/9. Which is smaller: u or -148?
u
Suppose 46 = 6*l + 46. Let b be (2/(-3))/(8/(-36)). Suppose -5*v = 3*z + 13, 4*z + z = v - b. Which is smaller: l or z?
z
Let d = -0.1 - 0. Let y = -110676 - -885405/8. Is d greater than or equal to y?
True
Let b = 209 + -220. Suppose 13*x + 4 = 14*x. Suppose 5*a = x*a - 13. Is a >= b?
False
Let o = 7377034/1159 + -6365. Which is greater: 0 or o?
0
Let y be 84/147 - (-9)/21. Let h be -6*(-9)/(-27) + (3 - y). Is h at least -227?
True
Suppose -4*x = -1355*m + 1350*m + 426, 4*m = -8. Does x = -111?
False
Let n be 732/(-648)*(-4)/24. Is n at most 1?
True
Let j(o) = -o - 22. Let c(g) = 11. Let s(m) = -5*c(m) - 2*j(m). Let y be s(5). Let v be (2 - y/((-198)/4)) + -2. Which is greater: -1 or v?
v
Let i(h) = -228*h + 8707. Let y be i(38). Which is smaller: 229 or y?
y
Suppose -3*a + 2*o = 8, 5*a - 4*a - 12 = -3*o. Let u = -13234637/404 - -32759. Which is smaller: u or a?
u
Let z = -164 - -129. Let s = -1156/33 - z. Are 0 and s unequal?
True
Let n = -3 + 4. Let z = 379 - 460. Which is smaller: z or n?
z
Let u be 23373/180730 + 1/(-10). Which is greater: 0 or u?
u
Let q(m) be the first derivative of m**3/3 + 9*m**2/2 - 20*m - 12. Let k be q(-11). Let o be (8/24)/(1/k*-2). Do -1 and o have different values?
True
Suppose -10 = -9*c + 14*c. Let l be (3/c)/(-3) + 2/4. Let a be (-3 + (36/(-4))/(-3))/l. Is a smaller than 5?
True
Let m = 75511 + -382557/5. Is -1001 less than or equal to m?
True
Let u be 5325/108750 + 6/(-87). Is 0 bigger than u?
True
Suppose 2105 = -5*w - 5*j, 4*j - 1263 = 2*w + w. Let k = w - -13903/33. Is -1 greater than or equal to k?
False
Let z = 0.056297 - 0.106297. Let u be ((-2)/(-10))/(5/4). Which is smaller: z or u?
z
Let z be 1291656/32 + 69/(-276). Which is smaller: 40365 or z?
z
Let x(a) = -14*a. Let h be x(1). Let o be h/18*(-21)/((-735)/(-10)). Which is smaller: 7/3 or o?
o
Let a be (-2583)/(-42)*24/(-18). Which is smaller: -55 or a?
a
Let p be (-6)/(-8) - 4/((-96)/406). Let i be 26 + -7 - 2/2. Which is smaller: i or p?
p
Suppose 7736 = -51*m - 35070 + 7055. Is -678 greater than m?
True
Suppose 3*q + 2*f - 5*f = 0, -q + 2*f - 1 = 0. Let b = -1/243 + 127/11178. Is q equal to b?
False
Let g = -103.624 - -101.1. Let k = g + 0.024. Let q = k - -1.5. Is -3/26 equal to q?
False
Let i = 0.219 + 13.781. Let s = i - 16. Which is greater: s or 5.7?
5.7
Let j = -90933 - -456412/5. Do j and 350 have different values?
True
Let a = 3 - 17. Let z be (-1)/3*3*-14. Suppose 11*y = 14*y + 3*b - 12, 0 = -5*y - 2*b + z. Is y >= a?
True
Suppose 3*x - s = 5, -4*x - 3*s = -8*x + 10. Let o be 1 + x + (-80)/7. Let v(j) = 5629*j + 73167. Let g be v(-13). Which is smaller: o or g?
g
Let p = 16106 - 16538. Which is smaller: 0.05 or p?
p
Let b(v) = 5*v - 33. Let y be b(8). Suppose 4*g - 60 = y*g. Let j be 36/g*(-20)/24. Which is smaller: -0.2 or j?
-0.2
Let m = 45800 + -138937. Let l = m + 1585401/17. Let p = -122 + l. Which is smaller: -1/6 or p?
-1/6
Let h = 8080560/51807383 + -291/1867. Which is smaller: 1 or h?
h
Suppose -11*w + 15*w + k - 97 = 0, w - 3*k - 47 = 0. Are 22 and w unequal?
True
Let j = 5500 - 5787. Which is smaller: j or -293?
-293
Let f = 41.286 + -0.286. Let a = -14.3 - -54.8. Let r = a - f. Is 0 != r?
True
Let x = -68 - -37. Let w = -46 - x. Let c be 5/w*(-3)/(-5). Is 1/8 at most as big as c?
False
Let k be 2/(-6)*(-18)/53. Let w(h) = h**2 - 1917*h + 1916. Let a be w(1). Is a bigger than k?
False
Let r = -3054 - -3069. Which is greater: 0.021 or r?
r
Let i(k) = k**3 + 6*k**2 + 3*k + 24. Let f = 173 + -179. Let o be i(f). Is -4 bigger than o?
False
Let v(c) = 4*c**3 + 4*c**2 + 4*c - 1. Let p be v(-3). Suppose 0 = 5*d - 0*d + 15, 3*s + 2*d + 267 = 0. Is p != s?
True
Let r be (-192)/(-576) + (-15154)/102. Which is greater: r or -0.2?
-0.2
Suppose 18 - 6 = 3*u. Suppose 0 = j - 5*j - 4*g + 24, u*g + 64 = 4*j. Suppose 8*n + 3 = j. Which is smaller: 0 or n?
0
Let n be ((-321)/1070)/((186/8)/3). Which is bigger: -1 or n?
n
Let r = 1853/285 + -92/15. Which is smaller: 11 or r?
r
Let g = -29 + 19. Let t be -6*((-375)/g)/(-5). Let q be (-1)/((-3)/90)*27/18. Is q > t?
False
Let t be (1 + 246/(-255))/(8 + -5). Suppose -5*w - 1 = -q + 1, -5*w + 2*q = 4. Let s(g) = 2*g - 1. Let i be s(w). Is t smaller than i?
False
Let u = 282 - 285. Let i be ((-64)/560)/(((-234)/(-15))/u). Is 0 at least as big as i?
False
Let g = -154.7 - 5.3. Let w = g + 161. Is -67 bigger than w?
False
Let b = 13/9740 + 6831623/9740. Let x = b + -143784/205. Is x <= 0?
False
Let o = 8.31 - 5.31. Which is smaller: o or 80.9?
o
Let l(v) = v**2 + 6. Let t be l(0). Let a be -509 + (7 - 3)/(-12) + 1. Let s = a - -513. Which is bigger: t or s?
t
Suppose -8*q + 262 = -90. Suppose q*b - 50*b - 54 = 0. Which is bigger: -0.12 or b?
-0.12
Let f = 16 - 28. Let d = 3.08 - 6. Let i = -3.22 - d. Which is bigger: i or f?
i
Let s = 3626.5 - 3626. Which is smaller: 362 or s?
s
Let r = 568325/421456 - 151/112. Let u = r - -7267/974617. Let n = -2488 - -2488. Is u >= n?
True
Suppose -5*o + 4*i = -66, 0 = 4*o - 2*i - 3*i - 60. Let j(a) = -a**2 + 12*a - 17. Let p be j(o). Let l be -4 - (p + -11 + -3). Which is greater: l or 9?
9
Suppose 2*c = 54 + 72. Let w = c - 130. Does w = -66?
False
Let h be (-1)/7 + 426/42 + -5. Suppose -2*n = 4*z + 2, -11*z - h*n + 5 = -6*z. Which is greater: z or 32?
32
Let y = 0.92334 + -0.01134. Is -3 smaller than y?
True
Suppose -5*m = 2*m + 189. Let i(f) = -f**3 - 28*f**2 - 27*f - 40. Let r be i(m). Let v be (-14)/8*r/(-6). Are v and -12 nonequal?
True
Let c(a) = -a**2 - 17*a - 42. Let u be c(-14). Suppose 2*g = -5*d + 127, -g - 3*d + 14 + 51 = u. Does 54 = g?
False
Let m = -209.9 + 210.9. Let q = -2