?
False
Let o be (-3 - (-15)/6)*-14. Suppose 5*q - 42 = -4*s, -2*s - 2*q = 3*s - 44. Which is smaller: o or s?
o
Let u(t) = t + 2. Let r be u(-2). Suppose 4 = -4*h - r. Let k be -2*h/2 - -1. Do 0 and k have different values?
True
Suppose 0 = v - 3, b + 18 = -7*v + 9*v. Let g = -2 + -11. Which is bigger: g or b?
b
Let w = 4 - 3. Let p = -1.8 + 2. Which is smaller: w or p?
p
Suppose 4*a - 2*a = 5*j - 35, 0 = -5*a + 25. Let f be 0 - -1 - j/9. Suppose f = r - 2*r + 4. Which is smaller: r or 1?
1
Suppose 0 = -4*m - 3 + 23. Let h be (-22)/4*(m + 1). Let l = h - -33. Is l less than or equal to 13?
True
Let c = -27403/53 - -517. Let g = 0 + 0. Are g and c unequal?
True
Suppose -8*y + 184 = -4*y. Let l = -418/9 + y. Is 1 > l?
True
Suppose -12*w = 69 + 63. Let u(h) = -h**3 - 2*h**2 + 4*h - 3. Suppose 8*v - 4*v - 2 = p, -4*p + 6 = -2*v. Let s be u(p). Is w at least as big as s?
True
Let b = 1763/4108 - 21/52. Let v = -89/395 + b. Let g(f) = -f**2 - 5*f + 1. Let c be g(-5). Which is bigger: c or v?
c
Let s = 73267 - 8718720/119. Let d be 27/6*(-18)/51. Let m = s + d. Which is greater: m or 0?
0
Let f(w) = 2*w**3 + 21*w**2 - 10*w + 7. Let g be f(-11). Let m = 0.96 - -0.04. Which is greater: g or m?
m
Suppose 5*r - 140 = 5*z, 3*r - 69 = 3*z - 5*z. Is r greater than or equal to -0.3?
True
Suppose 712 = 3*z + 2*k, 3*k - 4*k = -4*z + 931. Is 232 greater than z?
False
Let u = 18 + 7. Let m = u + -26. Which is smaller: m or 1/10?
m
Suppose 40 - 15 = 5*o + 5*t, 4*o + 3*t - 22 = 0. Suppose -266 = o*j + 7*j. Is -16 smaller than j?
False
Let t = -30 + 31.7. Let v = -242 + 243.55. Let a = t - v. Which is greater: a or 0?
a
Let x(u) = 30*u + 13. Let w be x(13). Which is bigger: w or 404?
404
Let u = 255 + -275. Which is greater: -21 or u?
u
Let s be (-3 - -1)/(6/3). Suppose 2*k + 3 = -k. Let n be 2 - (2 + 0) - k. Which is bigger: s or n?
n
Let s be -10*(-2 + (-3)/(-12)). Suppose 0 = 5*v - 4*i - 91, 0 = -4*v + 3*i - 14 + 87. Which is greater: s or v?
v
Let p(d) = -4*d + 8. Let r be p(6). Let t be (-17 + (23 - 14))/((-1)/(-2)). Is r at most as big as t?
True
Let d = 0.37 - 0.13. Let u = d + 0.76. Let v = 1 - u. Is -17 < v?
True
Let b = -2.3 + 0.3. Let k = b - -1. Let i = -6.6 + 6.4. Which is smaller: i or k?
k
Let y = -1972 - -1973. Is y smaller than 523?
True
Suppose -4*z - 184 = -m, 9*z - 357 = -2*m + 6*z. Suppose -8*g = -20*g + m. Is g not equal to 18?
True
Let g = -109 + 58. Let i = g + 45. Is i != 1?
True
Suppose 193 = 3*h - 5*k, h + 28*k = 24*k + 36. Which is greater: 172/3 or h?
172/3
Let s(g) = g**2 + 12*g + 33. Let l be s(-6). Let x be (-3)/((-9)/15) - 2. Suppose 1 + x = -u. Is l equal to u?
False
Suppose 0 = 13*r - 3*r + 140. Let x be 2/r - (3 - (-3120)/(-35)). Are x and 0 unequal?
True
Suppose -4*x - 16 + 52 = 0. Let t = 31 + -19. Let p be (-79)/52 + x/t. Is 0 smaller than p?
False
Let k(v) = -v**2 + 3*v + 60. Let x be k(0). Suppose -2*u - 4*u = x. Let o be 44/(-55) + (-18)/u. Is 2/27 > o?
False
Let l = 37 + -58. Suppose -7*d + 3*d = 12. Let j be d/14*28/l. Is j at least -9/5?
True
Suppose 4*s + 42 - 46 = 0. Does 3 = s?
False
Let l(q) = q**2 - 4*q + 1. Let s be l(4). Let k be -3 + -2*39*225/(-5886). Is s at least k?
True
Suppose 5*s + 2 = -3. Let r = 7 - s. Let u be (-2)/(-12)*3*18. Is r >= u?
False
Let f(g) = -g**3 - 9*g**2 - g + 14. Let h be f(-7). Is -75 < h?
False
Let n be 5/10*-4*(-2)/18. Is n greater than -1/3?
True
Let c = -155 - -463/3. Is c less than or equal to 0.22?
True
Let f = 9.1 + -0.1. Let i = 9 - f. Let w = 11 + -6. Is i < w?
True
Suppose 2*j + 8 = 4*o, -7*o + 32 = 3*j - 2*o. Suppose 148 = j*h - 8*h. Is h >= 2?
False
Suppose -510 = -14*w - 16*w. Does 25 = w?
False
Let l(y) be the first derivative of y**4/4 - 10*y**3/3 + 4*y**2 + 8*y + 10. Let g be l(9). Which is greater: g or 1/45?
1/45
Suppose -2*o + 0*o - 6 = -f, -4*o - 28 = 2*f. Let j be f/3*(-5 + 2) - 3. Let g = 424/5 + -25854/305. Which is smaller: g or j?
g
Let m(p) = -7*p - 2. Let s be m(-3). Let a = 23 + -3. Which is smaller: a or s?
s
Suppose -3*f + 6351 = 3*k, 35*k - 8 = 31*k. Is f <= 2114?
False
Let a = 35.77 - -0.23. Let l = a - 15. Let i = l + -14. Are i and 1/3 non-equal?
True
Let f be ((-1183)/(-364))/(1/(-4)). Let s = 0.1 + 0. Which is smaller: f or s?
f
Let w = -52.8 + -0.2. Let r = -52.08 - w. Let a = 0.08 + r. Which is bigger: a or -2/11?
a
Suppose -6*l = -10*l + 12. Suppose -3*y + 0 = l. Which is smaller: y or -0.16?
y
Let h be 126/26 - 6/(-39). Let k(c) = 6*c**3 - 3*c**2 + 3*c - 1. Let j be k(1). Is j less than h?
False
Suppose 0 = 136*r - 133*r + 477. Is r <= -153?
True
Let w = -2 + 2. Suppose 14*a = 20955 + 17811. Let g be -4 + a/651 - 4/14. Is w <= g?
False
Let r(o) be the first derivative of -2*o**3/3 + 2*o + 6. Let x be r(-5). Let k be (4/(-18))/(x/36). Which is greater: k or 0.1?
k
Let o(a) = -2*a**2 - 19*a - 8. Let q be o(-8). Suppose -8*f + q = -6*f. Let n = 4 + 3. Which is greater: f or n?
f
Let t = 261.2 - 261.7. Which is bigger: t or 248?
248
Suppose 0 = d - 4 + 2. Let x be (-1 - -11)*((-15)/6 - d). Which is bigger: x or -44?
-44
Let y = 116/37 + 4496/407. Is -1 > y?
False
Let s = 102 + -101. Let y = 197731/74 + -2672. Which is smaller: s or y?
y
Let y = 352.5 - 354. Is -0.11 greater than y?
True
Let s be 2 + -1 - (7 - 10). Suppose -s*t + 41 = -15. Let u = 13 - t. Which is smaller: 1 or u?
u
Let p(q) = q**3 + 8*q**2 - 3*q. Let l be p(-7). Suppose 0 = 14*m - 21*m - l. Is -8 <= m?
False
Let d(v) = v**3 - 12*v**2 + 21*v - 22. Let q be d(10). Let o be (-11 - -9)/(q/5). Suppose 0 = -r - r - 3*j + 19, 2*j = 4*r + 2. Which is smaller: r or o?
o
Suppose 0 = 7*t - 9*t + 2*h - 88, -3*h = 2*t + 83. Is -2/7 not equal to t?
True
Let x = 0.78 + 0.22. Let r = x - 18. Which is bigger: r or 0.1?
0.1
Suppose 0 = -189*g + 195*g + 6. Let p = -0.2 - -0.2. Which is smaller: g or p?
g
Let s be (-8)/(-20) - 48/(-5). Let r be 4/16*4*s. Suppose 5*x = -0*x - r. Is x != -8/5?
True
Let k be (-6*(-4)/72)/(3/(-18)). Let q(c) = c + 4. Let b be q(-2). Which is bigger: b or k?
b
Let v be ((72/(-15))/(-3))/(3/(-690)). Is -368 at most as big as v?
True
Suppose 103 = 3*g - 446. Are g and 184 nonequal?
True
Let u(k) = 52*k**3 + 7*k + 7. Let q be u(-2). Is -423 smaller than q?
False
Let c(m) = 18*m + 91. Let i be c(-5). Which is greater: -9 or i?
i
Let m(s) = s**3 + 35*s**2 + 35*s + 32. Let k be m(-34). Which is smaller: -60/71 or k?
k
Let w = -779.2 + 879. Let c = w + -100. Which is smaller: -6/13 or c?
-6/13
Let j = -313 + 315. Let s = -1792/9 - -200. Which is smaller: j or s?
s
Let c = 469 - 468.7. Let f be (-21)/(-12)*2*4. Which is greater: c or f?
f
Let t = 600 + -633. Is -350/11 greater than or equal to t?
True
Let s be 4/((-16)/(-28))*(-1 + 2). Let j(g) = 4*g - 28. Let t be j(s). Is 1/10 smaller than t?
False
Let y be (-14)/(-35) - 86/(-10). Let h = y + -7. Suppose h*z + 3 = -5. Which is greater: -3 or z?
-3
Suppose 0 = -7*g + 12*g - 150. Suppose 0 = -2*c - 4*c + g. Suppose -c*o - 24 = -3*o. Which is smaller: -23/2 or o?
o
Suppose 3 + 5 = 4*a. Suppose -j + 9 = a*j. Suppose -2*l = j*l - 20. Are l and 3 nonequal?
True
Let w(s) = -s**2 + 1. Let d(r) = -4*r**2 - 12*r + 13. Let v(h) = d(h) - 5*w(h). Let l be v(10). Let c be 2/3 - 76/6. Is c < l?
False
Let i(a) = -11*a + 76. Let x be i(7). Which is greater: -2/3 or x?
-2/3
Let d = 179072807/28932458128 - 699/525586. Let z = -4/983 - d. Is 1 equal to z?
False
Let s be 5 + (443/(-78) - 8/(-24)). Which is bigger: -1 or s?
s
Let v = 1/222 + -895/1554. Which is smaller: 2/3 or v?
v
Let l(p) = p**2 - 9*p + 7. Let t be l(7). Let j = t - -2. Is j less than or equal to -6?
False
Suppose -s - 4*c = -7, s + 2*s - 3*c + 24 = 0. Let q(f) = -f + 11. Let i be q(8). Let j = 5 - i. Do j and s have different values?
True
Let b be (-48)/(-72)*(-2)/(-4). Is b at least -57?
True
Let x(k) = k**3 - k**2 - 4*k. Let z be x(3). Let a(c) = -c**2 + 5*c + 7. Let o be a(z). Let b = -5 - -7. Is b <= o?
False
Let q = -7.1 + 6. Let i = 21 + -12.9. Let t = -8 + i. Is t >= q?
True
Let l = -49 + -22. Let v = l + 94. Is -0.1 >= v?
False
Suppose 0 = 5*b + 5*g - 10*g - 75, 3*b - 65 = -g. Let a be b/6 - (-4)/(-12). Let j be (30/(-20))/(2/a). Is j != -2?
True
Let m(w) = -w**3 - 5*w**2 - w. Let a be m(-5). Suppose -4 = a*f + 1. Let y be f/(-2)*(2 - 4). Which is smaller: y or 2/21?
y
L