s x less than t?
True
Let y(b) = -3*b + 12. Let f = 3 - -6. Let x be y(f). Which is smaller: -46/3 or x?
-46/3
Let o = 39 + -22.4. Let f = 20 - o. Let w = f - 5.4. Are w and 8 equal?
False
Suppose -5 + 45 = 2*x. Let i be 21/((-10)/(-14) + (-36)/(-126)). Which is greater: x or i?
i
Suppose -3*o + 1 = 19. Suppose 0 = -5*f + 2*f - 18. Is f smaller than o?
False
Suppose -2*i - 2*h = 28, -46 = 2*i - 4*h - 0*h. Let z = i + 8. Are z and 1 equal?
False
Let u = -0.042 - -0.142. Which is smaller: u or 69?
u
Let l(c) = 168 - 4*c**2 + 2*c**2 - 2*c - 167 - c**3. Let v be l(-3). Which is smaller: 15 or v?
15
Let q = 31/3 + -11. Let x = 75 + -77. Does x = q?
False
Let c(u) be the second derivative of u**5/20 - 5*u**4/12 + u. Let h be (3 - (6 - 3) - -2) + 3. Let a be c(h). Which is bigger: a or 1/15?
1/15
Let f(j) = -2 + 0 + 19*j - 20*j. Let y be f(1). Let w be (y + 2 + 17)/7. Is 3 bigger than w?
True
Let y = 57275/37 - 1548. Which is smaller: y or -3?
-3
Suppose 0 = 4*t - 27 - 17. Suppose -3*j = -s - 5, 4*s = -s - 3*j + 65. Which is bigger: s or t?
t
Let i(x) = -x**2 + x - 4. Let o be i(0). Let u = o - -1. Is u < 1?
True
Let s be (6/4)/(6/32). Let u(t) = 2*t**2 + 10*t - 10. Let v be u(-7). Suppose -24*o = -v*o - 54. Is s > o?
False
Let r(o) = -10*o + 174. Let x be r(14). Which is smaller: x or 0.1?
0.1
Let q be ((-64)/6 - 4/12) + (-342)/(-57). Let l = 1 + -1. Let g = l - -0.1. Is g at most as big as q?
False
Let w(u) = 96*u. Let n be w(3). Let c = n - -54. Let i = c - 4452/13. Which is greater: i or 0?
0
Let x = 396 - 593. Is -197 <= x?
True
Let h = 2 + -1. Let p = 33114/23 - 1440. Let i = 179/69 + p. Is h != i?
True
Suppose 0 = o + 3*f - 18, 0 = -2*f + 10. Let n = 269 + -267. Suppose -4 = -j - 4*u, n*j - 8 = o*u - 0*u. Is j equal to -0.1?
False
Let w(z) = 8*z - 69. Let r be w(13). Is r equal to 36?
False
Let z = 14 + -8. Suppose -14*h + 19*h = -20, 3*p - 4*h - 31 = 0. Which is bigger: z or p?
z
Let b = -29 - -12. Let n = b + 17. Let h = 1 + n. Which is greater: h or 1/24?
h
Let c(y) = -y + 7. Let s be c(0). Let z be (-1)/5 - (-2 + (-156)/(-80)). Let h = 13/20 + z. Do h and s have different values?
True
Suppose 2*z = 3*t - z - 3, 1 = 5*t - z. Suppose t = -11*k + 3*k + 112. Are k and 12 unequal?
True
Let p = 0.15 - 0.35. Let y = -0.04 + 0.06. Let j = 0.32 - y. Which is greater: p or j?
j
Let v be (-4)/(-6) + 5/(-3). Suppose 0*a - 3*a = -12. Suppose -4*h - 9 = 3*i - a*i, -4*h = -4*i. Which is greater: h or v?
v
Let d = 273 - 1914/7. Let f = 7 + -3. Suppose 4*k - j - 1 = 0, 8*k - f*k = 5*j + 21. Is k less than d?
True
Suppose 24*g = 58*g - 2210. Which is smaller: 62 or g?
62
Let x = 0.85 - 0.99. Is x at most as big as 10?
True
Let d be 2 - 1 - 66/70. Let p = 29/105 + d. Let n = 243 + -237. Is n less than p?
False
Suppose -3*a + f = 59, 3*f - 89 = 5*a - f. Let q = -15 + 15. Are q and a nonequal?
True
Let f(s) be the third derivative of s**4/12 - 16*s**3/3 + 11*s**2. Let q be f(13). Let z be (12/(-40))/(q/85). Which is greater: 5 or z?
5
Let c = 752 + -803. Is c at least as big as -36?
False
Suppose t - 5*i = 7, 22 = 5*t - 5*i + 87. Which is greater: t or -94/5?
t
Let q = -355 - -359. Is q at most -19?
False
Let j = 744 + -674. Is j bigger than -0.3?
True
Suppose 0 = 5*s - s + 3*v + 11, -2*s + 5*v + 27 = 0. Which is greater: s or 1/187?
s
Let p = 243/2 + -122. Let y = -453/2 + 221. Do p and y have different values?
True
Suppose -2 + 0 = -t - 3*f, 2*t - 5*f = 37. Let g(d) = -d**3 + 11*d**2 + d - 6. Let r be g(t). Let a = -57 + 121/2. Which is smaller: r or a?
a
Let w = 19.548 - 0.048. Let z = w + -2.5. Let x = -17.1 + z. Are x and 1/11 equal?
False
Let d = -65 - -59. Is d smaller than -3?
True
Let j(n) = -3*n**2 - 131*n + 42. Let w be j(-44). Which is smaller: w or -29/3?
-29/3
Suppose -x + v + 19 = -2*v, -5*x + 5 = 3*v. Let k be (-1*2)/((-7 - -7) + -7). Which is greater: k or x?
x
Let k(o) = -o - 2. Let d be k(-6). Suppose -4*w - d*f = 24, -16 = 4*f + 4. Which is bigger: -3/8 or w?
-3/8
Suppose -11*q + 10*q = 11. Let o = 25 + -14. Let p = o + q. Do 1/2 and p have the same value?
False
Let b = 37 + -36. Let v be (-2)/(b + 125/(-15)). Do v and -1 have different values?
True
Let r = -333 - -322.6. Is 0 at most as big as r?
False
Let m(n) be the first derivative of -3*n**2 + n - 20. Let p be m(5). Which is smaller: p or -30?
-30
Let i = 6.025 - 0.025. Let l = 0.9 + 0.1. Let z = -3 + l. Which is bigger: z or i?
i
Let o = 1.01 + 0.99. Let r be 1016/36*3/2. Let s = 42 - r. Is o < s?
False
Let p = -151107038/265 - -570216. Let x = -2/53 - p. Suppose -y = -3*y. Is y not equal to x?
True
Let n be ((-1)/10)/(56/1140*9). Let w = -10/21 - n. Suppose -5*y + 7*v = 2*v - 30, y = -4*v - 19. Which is bigger: y or w?
y
Let x = -163 - -163. Which is greater: x or 10/13?
10/13
Suppose 2*w - 8 + 0 = 0. Suppose w*q + 6 = -38. Is q less than -39/4?
True
Let w = 2551 + -706628/277. Let p = 2757/3601 - w. Is p > -0.1?
True
Let s(c) = c**3 + 6*c**2 + 2*c + 8. Let b be s(-6). Let h = -19 - b. Let t be 17/3 - (-10)/h. Is 4 at least as big as t?
False
Let i = 275 + -1377/5. Let x be (-4)/(-18) - (-184)/(-72). Which is smaller: x or i?
x
Let g = 160 + -150. Let r(o) = -o**3 + 11*o**2 + 0*o**2 - 2*o - 8*o. Let j be r(g). Which is greater: j or 2/15?
2/15
Let t = 4.2 + -2. Let p = t + -2.1. Suppose -2 = -4*w + 18. Which is bigger: w or p?
w
Let g = 1028 + -2057/2. Is g != -0.11?
True
Suppose -5*r + 4*h + 41 = -386, -h - 433 = -5*r. Let z = -90 + r. Is 0 greater than or equal to z?
True
Let m = 0.472 + 0.068. Let p = 0.64 - m. Let w = -0.02 + 8.02. Do w and p have different values?
True
Let h = -4026 - -4025.9. Let p = -193 + 2512/13. Which is smaller: p or h?
h
Let p be (770 + -3)*3/(-30)*2. Let s = p - -152. Which is smaller: 0 or s?
s
Suppose 0 = -18*a - 21 + 3. Suppose 0 = -0*x + 4*x - 2*l - 14, 2*x + 3*l = 11. Let t = 3 - x. Is a at most t?
True
Let x(v) = -v**2 - 15*v - 28. Let f be x(-11). Suppose 0 = 2*h - 4*c + f, 0 = h + 5*c - 11 - 16. Let s = 3/4 - 1/4. Is s less than or equal to h?
True
Suppose 231 = 3*q + 3*p, 59*q - 57*q = p + 148. Is q less than or equal to 818/11?
False
Suppose 7*u = -8*n + 6*n - 7449, -4*u = 3*n + 4264. Which is smaller: -1062 or u?
u
Let b(f) = f**3 + f + 3. Let d be b(0). Let a be 2/d - (-3)/(-9). Let j = -129 - -128. Do a and j have the same value?
False
Let w = 71 - 57. Suppose 0*m + 4*l + 4 = 2*m, 2*l - 10 = 4*m. Let c be (4 - m)/(-4) + w. Is c greater than 12?
False
Let q(a) = 3*a - 7. Let n be q(2). Let j(c) = 20*c. Let w be j(n). Let r be ((-8)/w)/((-417)/(-15)). Is 0 at least as big as r?
False
Let o = 57.15 + -58. Let d = o + -0.15. Which is smaller: d or 29/2?
d
Suppose 4*t + t = 30. Suppose -2*c = -t*c. Suppose -5*f - 5*n + 14 + 11 = c, -5*f + 5*n = -35. Is f equal to 5?
False
Let p = 150829/9 - 16741. Let b = p - 18. Which is greater: b or 1?
1
Let l = -541228 + 119611890/221. Let b = l + -28/13. Which is greater: b or 1?
1
Suppose 3*p - 5*q = -1380, 5*p = q - 2*q - 2328. Is p equal to -464?
False
Let l(t) = -4*t - 127. Let s be l(-25). Which is greater: -30 or s?
s
Let s(j) = 3*j - 15. Let z be s(7). Let l be 3/(z/(-10) + 135/100). Is l at least as big as -3?
True
Let w(p) be the first derivative of -13*p**4/2 + 3*p**2/2 + 2*p - 7. Let l be w(-1). Are 26 and l equal?
False
Let j = 4 - 6. Let m = 224 + -670/3. Which is smaller: j or m?
j
Let t = 567 - 2267/4. Suppose 7*h - 508 = 5*h. Let c = h + -2796/11. Is c at most t?
True
Suppose 5*a + 115 = 82*x - 83*x, 4*x - 3*a + 506 = 0. Which is bigger: x or -128?
x
Let b be 1 - 1 - 21 - (-4 - -3). Let y be -3 + ((-3)/(-2))/((-2)/b). Suppose 0 = -a + 10. Which is smaller: a or y?
a
Suppose -n = -6*n - 10. Let g = -7 + -1. Let l be ((-3)/(-2))/(20/g). Is n at most l?
True
Suppose -4*h + 40 - 8 = 0. Let j = h - 11. Let c be j - (11/(-4) - 1). Which is bigger: c or -0.2?
c
Let l be ((-28)/12 - -2)/(4/8). Let c = 2.04 + -0.04. Let b = 6 - c. Is b at most as big as l?
False
Let k be 3*4/(-44)*(11 - 10). Which is greater: 0.24 or k?
0.24
Let y(s) = 22*s. Let c be y(-1). Let k be (-346)/(-88) + 4/c. Which is smaller: 4 or k?
k
Let a(p) = -p**2 - 4*p - 1. Let x be a(-4). Let y be 4 + -2 + 108/(-28) + 2. Which is bigger: x or y?
y
Let g(s) = s + 5. Let x be g(-6). Let r be 454/(-3180) - (3344/(-330) + 10). Is r 