4 = 0. Is 12 greater than x?
True
Suppose 0 = -3*a + 4*a. Let u = -20.13 - -20. Let b = 2.87 - u. Is a bigger than b?
False
Let z = -0.028 - -0.035. Let s = z + 2.993. Let x = 2 + -1. Is s bigger than x?
True
Suppose 3*d = -2*j - 18, -2*d - 21 = 2*j - 3. Let t be 4/1 - (-3)/(j/15). Is t smaller than -17/12?
False
Suppose 0 = g - 5*g. Let z = g - 0. Suppose -10*h - 18 = -28*h. Which is smaller: z or h?
z
Let x = -1.34 - 312.66. Which is greater: x or 1/3?
1/3
Let u = 21 + -21.1. Let s = u - 7.9. Is 1/4 >= s?
True
Let b = 10.01 - 9.81. Is b smaller than 19.3?
True
Let x = 4 - 6. Suppose 4*t + 6 = t. Is t not equal to x?
False
Suppose -4 = -4*s, s + 36 = 3*u + 34. Let j = 161/124 - -14/31. Is u >= j?
False
Let z = -0.0654 + -288.9346. Which is smaller: z or -0.3?
z
Let s = 28 - 23. Suppose 3*z + 0*l = 4*l + 38, 13 = -2*z - s*l. Is 21/4 at least z?
False
Let i(r) = r**3 + 8*r**2 + 8*r + 3. Let q be i(-7). Let u be 40/24*9/(-4) - -1. Which is bigger: u or q?
u
Let n(g) = -g**2 + 18*g + 138. Let f be n(29). Do f and -1/3 have the same value?
False
Let d = 351 - 941. Let p = 2937/5 + d. Which is smaller: p or -3?
-3
Let g be (-2)/7 - 51/(-252). Let b(d) = d**2 + 2*d - 1. Let m = 0 + -2. Let c be b(m). Which is bigger: c or g?
g
Let q = 126 + -113. Is 41 < q?
False
Let g = 144 - 154.7. Let d = g - -10.4. Is d less than or equal to -21?
False
Suppose 16 = 7*l - 5*l. Suppose x - 10 + l = 0. Suppose -s + 4*f + x = f, -5*s + 3*f - 38 = 0. Do -10 and s have different values?
False
Let h(v) = -9*v**3 + 5*v**2 + v - 6. Let x be h(2). Which is bigger: x or -59?
x
Let m(h) be the third derivative of 0 - 1/12*h**4 - 1/6*h**3 + 0*h - 2*h**2. Let j be m(3). Is -6 at least j?
True
Suppose 5*b + 2 + 3 = 0. Let x be 3/6 + 26/(-448). Let r = 5/32 - x. Is r equal to b?
False
Let i = -279669/139 + 2012. Which is greater: i or 1?
1
Let v = -47 + 48. Let k be v/(-2 - (-5)/2). Is k at most 9/5?
False
Suppose -4 = -y - 5. Let o = -109739/93 - -1180. Is y <= o?
True
Let b(k) = k**2 - 13. Let t be b(-5). Let c be 171/(-58) + (-1)/((-4)/t). Is 1 < c?
False
Let q = 0.36 + -25.36. Let p = -31 - q. Do p and 0.4 have different values?
True
Let h(d) = -4*d - 1. Let z be h(-1). Let t be (-80)/(-1260)*z/2. Is t <= -1?
False
Suppose 5288 = -3*m + 392. Let s = m - -21228/13. Which is smaller: -0.3 or s?
-0.3
Suppose -3*n - 2*t + 13 = 0, -3*n = 5*t - 7*t + 7. Let a be 432/243 + n/(6/(-8)). Is -9/4 smaller than a?
True
Let p = -1783 - -1783. Is p > -17/27?
True
Suppose -v - 3*v + 72 = 0. Let g be (-4)/(-18) + (-4)/v. Suppose -3*o = -t - g*o + 3, 0 = -5*t + o - 27. Is -7 smaller than t?
True
Let m = -15.8 + 14. Let n = m - -3. Let f = 1.5 - n. Which is smaller: 1 or f?
f
Let c = -1873 + 6853/3. Let t = -416 + c. Is t less than -4?
True
Let q(h) = -h**2 + 14*h - 23. Suppose -40 = -3*n - 10. Let x be q(n). Let s(l) = 6*l - 1. Let d be s(3). Is x equal to d?
True
Let i be 7 + (-140)/(-63)*-3. Which is smaller: i or 234?
i
Suppose -3*y - 2*y - 454 = 2*i, -362 = 4*y + 2*i. Let a = -90 - y. Let w(m) = m**3 - 6*m**2 + 5*m + 4. Let h be w(5). Which is smaller: a or h?
a
Let q be (-3)/(0 + (-1 - -2)). Let a = q + -7. Let o = a - -9. Which is smaller: -1/2 or o?
o
Let o = -24 - -25. Let a = 0.2425 + 11.6475. Let x = a - -0.11. Do o and x have different values?
True
Let h = -2.61 + 3. Let q = h - 0.59. Suppose 3*c - 5 = -2*c. Is q <= c?
True
Let q(k) = 2*k - 1. Let p be q(0). Is p >= -9/7?
True
Let b be (-58)/348 - (-1391)/(-6). Is -232 <= b?
True
Let b = -39/16 - 299/48. Suppose -2*y + 23 = -5*q, -5*y + 28 - 8 = -5*q. Let h be y*(-1 - 2)*-3. Which is smaller: h or b?
h
Let k = -17 + -1. Let s = -16 - -49. Let h = s + k. Is -1 < h?
True
Let i be 114/(-198) + 11/(-33). Suppose 2*k - z = -0*k + 2, k - 2*z = 4. Is i less than or equal to k?
True
Let g be (-110 - -113)*1/3*-2. Which is greater: -22 or g?
g
Suppose 0 = 21*p - 1673 - 1309. Which is bigger: p or 140?
p
Let p = 13 + -32. Let k = -18.0393 - -0.0393. Let z = k - p. Is -1 <= z?
True
Let r be ((-28)/(-8) + -1 + -4)*(-2)/3. Let g(d) be the third derivative of d**5/60 - 5*d**4/24 - d**3/6 - d**2. Let f be g(5). Is f less than or equal to r?
True
Let u be ((-33)/5)/(2/(-10)). Suppose 2*j = -j - u. Let q = j + 12. Which is smaller: 1/2 or q?
1/2
Suppose -5*z = 3*j + 245, -5*j = 3*z - 4*j + 147. Which is greater: -47 or z?
-47
Suppose 6*f + 1 - 13 = 0. Let s be 8/f*1/(-2). Do -2 and s have the same value?
True
Let d be ((-34)/6 - -6)*(3 + -2). Let y = 5/2 - 11/4. Which is smaller: y or d?
y
Suppose -p + 0*p + 2 = 0. Suppose -p*s + 1 = 3. Let f be s*(3 + 9) + 3. Is -9 < f?
False
Let d = 12.482 - 0.682. Which is smaller: -1 or d?
-1
Let x be 1 + (-1)/3*-7. Suppose 28 = -2*r + 3*f - 19, f + 65 = -3*r. Let g = r + 22. Is g less than x?
True
Let m be (-3 - -6)/((-30)/(-440)). Is m at most as big as 44?
True
Let k be (120/75)/(18/15). Which is smaller: 6/7 or k?
6/7
Let m be (-3 - (-29)/12)*(-32)/3. Let g be (-2602)/396 + (-6)/(-33). Let n = m + g. Is n greater than 9?
False
Suppose 0 = 4*h + h - 15. Suppose -9 = -h*a + 4*l, -6*l + l = -5*a + 15. Is 0 greater than a?
False
Suppose t - 5*n + 7 - 2 = 0, t + 3 = 3*n. Let r be (-4)/6*(-1)/(-6). Let w = r - 2/9. Which is smaller: t or w?
w
Suppose -3*n - j + 4*j - 42 = 0, 4*n + j + 46 = 0. Let d = n - -8. Let m be (2 + d)*(-4)/44. Is 1 greater than m?
True
Suppose j + 5*w - 134 = 95, -5*j - w = -1217. Which is greater: -2 or j?
j
Suppose 15 = 9*z - 4*z. Suppose 8 = 4*f - z*f. Which is smaller: 7 or f?
7
Let d(g) = -g**2 + 29*g + 96. Let j be d(32). Which is smaller: j or -17/20?
-17/20
Suppose -5*r + j - 8 = 0, -3*r - 16*j = -13*j + 12. Suppose l + 2*b = -9, -l + 1 = -3*b - 5. Which is smaller: r or l?
l
Let n = 849 - 849. Which is smaller: n or 15.3?
n
Suppose 0 = 3*d - 0*d - 3. Let t(a) = -a + 2*a**3 - 5*a**3 + a**2 + 1 + 6*a**3. Let f be t(d). Do f and 3 have the same value?
False
Let y = -18 + 18. Let v be 1*2/(-30) - y. Which is smaller: v or -1?
-1
Suppose u + y - 3 = -10, 0 = 5*u - y + 17. Let g be u/((-26 + -4)/3). Let t = 2 + -1.9. Which is bigger: t or g?
g
Let t be (836/114 + 1 + 2)*-16. Which is smaller: -166 or t?
-166
Let x(m) = m**3 - 9*m**2 + 10*m - 15. Let j be x(8). Is -3/314 at least as big as j?
False
Let g = -28 - -45. Let q be 14 - (2 + -3 + -2). Let j = g - q. Is j greater than or equal to 3?
False
Let v = -146894/13 + 11280. Let o = v - -5204/273. Which is smaller: 0 or o?
o
Suppose 4*k - 4 = 5*d - 3, -5*k + 20 = 0. Suppose 10 = -d*g + 13*g. Which is smaller: -6/7 or g?
-6/7
Let u = -57212/1113 - -360/7. Let k = u + 266/2067. Is -1 greater than or equal to k?
False
Let m = -3091 + 1750. Is m < -1340?
True
Let n = 46374/1885 - 320/13. Let r = 713/870 - n. Is r >= -2/5?
True
Suppose 0 = -u - 0*u + 8. Suppose 4*h + u = 0, 2*h + 5 = 3*o + 1. Suppose 3*p - 2 = 1. Is p < o?
False
Let g be 12/(-18)*(-9)/2. Suppose g*u - 21 = -0*u - 3*c, 4*c = 2*u - 26. Which is smaller: 8 or u?
8
Let o(d) = 21*d - 78. Let v be o(4). Let a(t) = t**3 - 6*t**2 + 2*t - 7. Suppose 0*u + u + 15 = 3*g, 3*u + 3 = 2*g. Let h be a(g). Does h = v?
False
Let l be (-1)/(-6)*2*33. Suppose -4 = -3*s + 13*t - 8*t, 5*t = s + 12. Is s > l?
False
Let g = -0.911 - -0.93. Let z = -0.017 - g. Which is bigger: 1/2 or z?
1/2
Let k(m) = -m**3 + 13*m**2 + 8*m - 17. Let z be k(6). Is z at least 0?
True
Let v(c) = 7*c - 15. Let d be v(4). Suppose 2 = -11*q + d*q. Which is smaller: -5/13 or q?
-5/13
Let s = 4.7 + -17.7. Let z = s - -12.93. Which is smaller: z or 3?
z
Let u = -22 - -22.38. Let c = 6.38 - u. Which is smaller: c or 2/9?
2/9
Let j(c) = 12*c**2 + c. Let y be (-1)/5 - (-6)/5. Let n be j(y). Suppose 4*t = 3*v + 54, -5*t = -0*v - 2*v - 64. Which is smaller: t or n?
t
Let p(y) = -y**2 + 18*y + 20. Let a be p(19). Which is smaller: -1/187 or a?
-1/187
Let c(v) = -302*v - 769. Let p be c(-3). Is 132 at least p?
False
Let z = 159/124 + -1/31. Suppose k - 7*k = 5*k. Is k greater than z?
False
Let h be (3 + (-24)/9)/(1/(-57)). Let v be (-60)/(-25)*(2 + h/2). Is v < -18?
False
Suppose 4*q - 40 = -5*w, -2*q + 40 = -0*w + 5*w. Suppose g = -w - 16. Let o = g + 12. Is o at least as big as -11?
False
Let k be ((-2)/126)/(13/(273/18)). Which is smaller: 0 or k?
k
Let y = -9 + -1. Let g = 78.2 + -88.3. Let r = g - y. Do 0.12 and r have t