er: -1 or t?
t
Let t be 1/3*(9 + 0). Let x = t + -2. Is x not equal to 3?
True
Let k = 269 - 254.86. Let i = k + -14. Let v = i - 0.04. Which is smaller: v or -0.3?
-0.3
Suppose -6 = t + 5*d + 5, t - 7 = 4*d. Let j be (t/5)/((-3)/(-9)). Which is smaller: j or 0?
j
Let r be ((-12)/15)/(6/15). Is r bigger than 0?
False
Let c = -1 - -2. Let r = -1 + c. Let w = 1 + r. Are 1 and w equal?
True
Suppose -3*n - 4*g = -6, 0*g = -5*n + 4*g - 22. Which is bigger: n or -9/10?
-9/10
Let f(g) = -9*g**3 + g**2 - 1. Let j be f(1). Is -9 at least j?
True
Let m = -8 + 13. Let p = -92.9 - -88. Let x = m + p. Which is smaller: -1 or x?
-1
Suppose 0 = 3*r - 0*r - 15. Suppose -r*h = -0*h + 20. Does h = -6?
False
Let p be (-8)/(-6)*(-18)/(-12). Let v be p/8 + 75/(-12). Is -6 < v?
False
Let d = -16 + 9. Which is bigger: -1 or d?
-1
Let c(t) = -12*t + 1. Let g be c(1). Let s = g - -12. Which is greater: 3/7 or s?
s
Let l be 44/66*27/(-2). Is l <= -9?
True
Let o(b) = b**2 - 9*b - 3. Let p be o(10). Suppose 3*r + p = -2. Let q be -1 + (2 - r/(-3)). Is q <= 4/5?
True
Suppose 0 = 5*o - t + 5*t - 16, -4*o + 3*t - 12 = 0. Let s be 6/(-2)*(-6)/9. Let n be (-1)/(s - 0)*2. Is n >= o?
False
Let o(c) = -c**3 + 3*c**2 + 2*c + 7. Let q be o(4). Is q <= 2/17?
True
Let x be 3/2*-6*1. Is x at least -9?
True
Let r(m) = -m + 7. Let a be r(4). Let q be (2/a)/(1/3). Suppose 0 = -q*s + 2. Is 2/3 greater than or equal to s?
False
Let s be 2/(-3) + (-242)/60. Let z = s + 24/5. Which is smaller: 0 or z?
0
Let u be (-2)/(-1) - 698/18. Let q = u + 37. Suppose 0 = -4*j - 5 + 9. Which is smaller: q or j?
q
Suppose 5*c = 107 + 8. Let a = -20 + c. Let w be (8/10)/(4/10). Which is smaller: a or w?
w
Suppose o - 3 = -8, -124 = -3*m + 2*o. Is m > 38?
False
Let j = 21 + -127/6. Are -0.8 and j nonequal?
True
Let l be (-4)/14 - (-18)/14. Let c(t) = -t**2 - 2*t + 3. Let o be c(1). Let m = o - l. Which is greater: -2/7 or m?
-2/7
Suppose 6*l = l - 5. Which is smaller: l or -6/5?
-6/5
Let d = -159 - -2386/15. Is d less than 0?
False
Let f = 89 + -64. Is 27 less than f?
False
Suppose 2*m + 1 = 3*m. Let i be (-236)/15 - (-6)/(-10). Let l = -17 - i. Is m less than l?
False
Let t be 23/(-20) + 36/48. Suppose -5*r - 1 + 0 = 4*v, 4*v = r + 5. Suppose -s + 0*s + v = 0. Which is smaller: t or s?
t
Suppose -20 = k + 4*k. Let b(h) = 2*h - 7. Let x be b(5). Let l = x + k. Which is smaller: -0.2 or l?
l
Let a = -16 + 16. Is -1 bigger than a?
False
Let c = 1.7 + -1.7. Which is greater: -2 or c?
c
Let o(g) = -2*g**2 - 12*g - 17. Let l(z) = z**2 + 6*z + 9. Suppose 0 = 3*a + 18 - 3. Let q(j) = a*l(j) - 3*o(j). Let b be q(-6). Does 6 = b?
True
Let q = -29.65 - -29. Let f = -0.6 - q. Let m = 1.05 - f. Is m < -3?
False
Let j(g) = g**2 - g + 1. Let q be j(1). Which is smaller: -5 or q?
-5
Suppose 7*w - 4*w = 5*x + 340, -5*w - 136 = 2*x. Let u = 0 + x. Let h = 206/3 + u. Is 1 < h?
False
Let s be (-4)/(-6) + (-4)/6. Suppose s = -5*h - 25, -3*m - h - 6 - 2 = 0. Suppose 19 + 1 = 4*l - 5*z, 4*z = -l - 16. Does l = m?
False
Let h be (-5)/4 - (-2)/8. Let f = -311 - -308. Do f and h have the same value?
False
Suppose -34 - 21 = 5*i. Is i <= -13?
False
Let x be 2*4*(-4)/(-32). Which is greater: x or -3?
x
Let m = 6 - 4. Suppose 2*x - 5 = -13. Let z = -1 - x. Is z less than m?
False
Let i = 13482 - 1523478/113. Let t = i + 1416/565. Which is smaller: t or 1?
1
Let c be (-36)/399 - (-1)/7. Is -1 < c?
True
Let b = 0.04 + 8.96. Let x = b + -19. Which is smaller: x or -0.2?
x
Let f = -88 - -87. Which is smaller: f or 2/217?
f
Let w be (-6)/8*(4 - (-336)/(-52)). Which is greater: w or 3?
3
Let l be (21/(-70))/((-12)/(-5)). Let d = -17 + 16. Which is smaller: l or d?
d
Let h be 1*-8*82/36. Let x = 18 + h. Which is greater: x or 1?
1
Let w(m) be the second derivative of -m**5/20 - 2*m**4/3 + 5*m**3/3 + 11*m**2/2 - m. Let d be w(-9). Let c = d - -2. Is 3 <= c?
True
Let h = 38 - 33. Is 6 not equal to h?
True
Suppose 3*h + 3*g = 0, 4*h + 3*g + 1 = 2. Let a be (-1 - h)/(4/6). Is a at least -3?
True
Let i = -5 - -26. Suppose -l + 16 = 4*q, 2*l + i = q - 2*l. Let f be 1 + (-3)/(q + -2). Which is smaller: -1/2 or f?
-1/2
Let r(j) = -2*j + 43. Let k be r(18). Which is smaller: -0.1 or k?
-0.1
Suppose 0*k = 3*k - 3. Let f = 40 - 321/8. Is k at most as big as f?
False
Let z be (-2)/(-8) + 23/4. Is 9 <= z?
False
Let w(j) = -j**2 - 11*j + 3. Let m be w(-11). Let u be -2 + (1 - 0) + (-50)/(-18). Which is smaller: m or u?
u
Let c(r) = -r**2 - 16*r - 15. Let v be c(-14). Is -5 smaller than v?
True
Let q(z) = -3*z**2 + 43*z - 13. Let m be q(14). Is m at most -9/20?
False
Let d = -8 - -7.4. Let f = 13.4 - 16. Let o = d - f. Is -1 at most as big as o?
True
Let t be (-2)/(-1*4/6). Suppose -1 + t = -2*u. Which is greater: u or -3?
u
Let l be (-4 - -7)*2/6. Is l <= -1/7?
False
Let m be 2/(-16 + -2 + -4). Suppose 5*s - 26 = -1. Suppose -4*i = 3*f + 12, -5*f + s*i = -2 - 13. Which is smaller: f or m?
m
Let w = 4.02 - 4. Let f = 1.98 + w. Is -2 greater than or equal to f?
False
Let b = 14 - -6. Are b and 19 equal?
False
Suppose -3*a + 3*h = -0*h + 9, -5*h = 4*a - 15. Let t = a - 0. Is t != -3?
True
Suppose s - 4*a - 31 = 49, a - 316 = -5*s. Is s equal to 65?
False
Let z = -35/12 + 9/4. Let q be 15/(-17) + 7/14. Let j = q - 2/17. Which is greater: z or j?
j
Let q = -3/11 - -20/33. Which is greater: -0.1 or q?
q
Let v = 53/11 - 5. Which is bigger: -1/4 or v?
v
Let b = -10 + 11. Are 1 and b equal?
True
Let o = 9 + -6. Suppose -2 = o*j + 7. Does j = -1?
False
Suppose g - 3*x = -5, -2*x + 2 = -3*g + 1. Let t(a) = -a**2 - 7*a - 6. Suppose 5 = -u - 1. Let v be t(u). Which is smaller: g or v?
v
Let j = -96376/3 - -32565. Let h = 445 - j. Which is smaller: 6 or h?
h
Let x = 38 - 24. Let i = 13.9 - x. Let h = 2 - 7. Is i at most h?
False
Let k = -1 + 0.9. Is k <= -3?
False
Let z be -1*(44/(-14) - -3). Let s(m) = -3*m**2 - 7*m - 5. Let r(f) = -7*f**2 - 14*f - 10. Let x(t) = 2*r(t) - 5*s(t). Let a be x(-6). Is a smaller than z?
True
Let z be ((-32)/60 + -2)/((-2)/(-6)). Let y be ((-84)/50)/((-8)/(-35)). Let g = z - y. Is 1/4 > g?
True
Let z = 4.19 - -0.01. Which is smaller: 2/3 or z?
2/3
Suppose -6*c + 20 = -c. Suppose -o = -5*v - 25, o + 0*o - c*v = 20. Suppose -3*z = -3*b - 6, -2*z - 8 = -4*z. Which is greater: o or b?
b
Let u = 75.008 + -75. Is 0.1 not equal to u?
True
Let a be ((-14)/6)/1*116/(-174). Is a not equal to 1?
True
Suppose 4*j = -76 + 28. Which is bigger: -13 or j?
j
Let s = -1.2 + 0.4. Let r = s + 0.88. Let a = r + 0.92. Is a greater than -1/4?
True
Let b be 2/9 - 2007/648. Which is smaller: -4 or b?
-4
Let g be (-84)/(-8) + 2/(-4). Is g at least as big as 10?
True
Let g(a) = -35*a + 1. Let i be g(1). Which is smaller: -33 or i?
i
Let x = 0.35 + -0.55. Which is smaller: x or -0.1?
x
Let f be (3 + -6 - 1) + 3. Which is greater: -1/3 or f?
-1/3
Let c(h) = -h**3 - 7*h**2 - 6. Let y be c(-7). Let w be 0 - 0 - (y + 5). Which is smaller: 2/3 or w?
2/3
Let p(k) = 7*k. Let q be p(-6). Let h = q + 128/3. Is h not equal to 2?
True
Let k = 19 - 21. Let j = -358/5 + 71. Do k and j have the same value?
False
Let b = -1.8 + 0.8. Is b at least as big as -9?
True
Let y be (-14)/(-1881)*(-52)/2. Let c = -2/171 - y. Which is smaller: 0 or c?
0
Let g(l) = -l**3 - 6*l**2 - 6*l + 3. Let x be g(-5). Suppose -16 = -2*k + 2*t - 4, 0 = -3*k + 2*t + 21. Do k and x have different values?
True
Suppose -4*n = -4*u - 2*n + 24, 0 = 5*u - 3*n - 29. Let m = u + -5. Is -0.1 less than or equal to m?
True
Let z = 1709/3 - 569. Let q = 65/2 + -32. Is z <= q?
False
Let z(f) = -4*f**2 + 11*f + 4. Let q be z(4). Which is smaller: -15 or q?
q
Let f = -17 + 324/19. Is 0 != f?
True
Let a(u) = u - 3. Let r be a(3). Let f = -273/212 - -2/53. Is r at least f?
True
Let i be 4/16*(0 - 4). Are i and -5/12 non-equal?
True
Suppose -v + 5*z = z - 65, 2*v - 127 = 5*z. Let f = 107/2 - v. Let w = -73/10 - f. Is w less than or equal to 0?
False
Let g be (-1)/((-3)/(-6)) + (-48)/10. Is g less than 2/7?
True
Let j = 59 + -59. Is j less than 3/53?
True
Suppose 0 = -h + 3*h - 40. Let r be (4 - 1)/(6/h). Let k be 4/10*r/(-18). Is -1 <= k?
True
Let h(o) = -2*o**3 + 8*o**2 - o - 5. Let k be h(4). Is k at most as big as -8?
True
Suppose -3 = -t, 0*t - 3*t + 6 = a. Let z be -1 + 4 - 6/a. Suppose h + 2*h = z*c - 21, 5*c - 