 1 or r?
1
Let s be 252/(-15)*10/4. Which is smaller: -46 or s?
-46
Suppose 8*t - 6*t = x + 148, 5*x + 148 = 2*t. Do t and 73 have different values?
True
Let g = -3 - -4. Let j = -89 + 91. Suppose j*w = w - 2*s - 13, -3*w + 3*s = 48. Which is greater: w or g?
g
Let i be 5 + (-3 - 20*4/32). Is -100 less than or equal to i?
True
Let t(n) = -8*n - 31. Let a = 18 + -22. Let f be t(a). Which is smaller: -1/103 or f?
-1/103
Let m be (-4 - 1)/(11/(88/(-992))). Do -1 and m have different values?
True
Suppose 4 - 6 = v. Let g = 28 + -28. Let z be 4 + (-152)/36 + g. Is v at most z?
True
Let m(a) = a**2 + 13*a + 37. Let t be m(-9). Is -1/909 smaller than t?
True
Let f(q) be the third derivative of q**4/12 + 3*q**3 - 7*q**2. Let c be f(-9). Let p be 12/(-22)*12/(-18). Is p bigger than c?
True
Suppose 0 = -5*v + i + 5, -3*i + 12 = v - 5. Let n be (v/6)/(96/(-108)). Which is bigger: 1 or n?
1
Suppose 0*i - 3*i + 8 = -2*r, 0 = i + 3*r + 12. Let s(p) = p**2 - 9*p + 3. Let z be s(6). Let y be 1*((-12)/z - 0). Is i > y?
False
Let h = 59 - 56. Suppose 3*k = 4*u - 195, 5*k + 8*u - h*u = -290. Which is smaller: k or -60?
k
Let u be (-13)/(3 + 50/(-17)). Let l be (-2 - 1) + u + -1. Let v be (-6)/14 - l/378. Is v equal to 2/7?
False
Suppose -51 = 7*a + 19. Let v be (-2)/a + (-2574)/(-180). Which is smaller: v or 0.1?
0.1
Let z = -0.74 - -0.762. Which is smaller: -1 or z?
-1
Let z be (2/6)/((-18)/27). Let b be 2 + (-2 - (-2072)/(-20)). Let j = -104 - b. Which is greater: z or j?
j
Suppose 0 - 8 = -x. Suppose 0 = -3*v + x*v. Let b = -3570/11 - -324. Is b bigger than v?
False
Let y = -45.5 - -37. Let l = y - -10. Let j = l + -0.5. Which is greater: -0.03 or j?
j
Let v(w) be the third derivative of -w**5/60 + 3*w**4/8 - 3*w**3/2 + 2*w**2. Let b be v(8). Is b not equal to -3/5?
True
Let j be ((13 + -3)*-2)/(-2). Let x = -15 - -14.8. Which is bigger: x or j?
j
Let k(r) = -r**3 - 5*r**2 + r + 7. Let u(i) = i**3 + 9*i**2 + 7*i - 13. Let c be u(-8). Let g be k(c). Which is greater: g or 13/5?
13/5
Let c = -13 + 0. Let l = c + 15. Suppose -3*q - 6 = -2*v, -l*v + 7 = -4*q - 1. Are v and -1/3 non-equal?
True
Let t(u) = -u + 4. Let a be t(3). Let m be -2 + 4 - 364/176. Let f = m - -1/4. Is f at most as big as a?
True
Suppose -11*y + 17095 = 4841. Is 1116 at most as big as y?
False
Suppose 5*o - 4*f - 7593 = 0, -3*f - 12 = -6. Is o at least 1516?
True
Let b be (-6)/(1368/96810) - (-8)/76. Which is greater: b or -425?
b
Suppose 2*z - 20 = -3*z. Suppose -13 = a - z. Are -10 and a non-equal?
True
Let x = -4/113 + 784/9379. Which is smaller: x or 0?
0
Let m = 4 - 10. Let p = -61 + 36. Let j = p - -24. Is j at least as big as m?
True
Let t be 6/(-4)*2*(-4)/12. Does 19 = t?
False
Suppose -3*o + 7 = 1. Let y be (1 - o) + (2 - 0). Let j = -6621/4 + 1656. Which is smaller: j or y?
j
Let p = 238 - 242. Which is bigger: -69/13 or p?
p
Let m = -329 - -339. Which is greater: m or 8?
m
Let f = -1.51 + 1.61. Is f greater than 339?
False
Let f = -466 - -466. Which is bigger: -2/347 or f?
f
Let h = -8453/1614426 + 1/4026. Which is greater: -1 or h?
h
Let s = -57 + 11. Let q = s - -34. Is -13 bigger than q?
False
Let h(f) = -10*f + 206. Let g be h(20). Are g and 6 equal?
True
Let z = 9 + -7. Suppose -2*c = -c + z*k - 7, 3*c + 2*k - 5 = 0. Which is smaller: 1/18 or c?
c
Let v be ((-28)/(-3))/((-80)/(-120)). Suppose 4*x = 24 + 28. Let w be x + (3 + 0 - 3). Is v bigger than w?
True
Suppose -15*u = -5*u. Suppose -3*s = -4*l - 22, 5*s - 2*l - 18 = -u*s. Is 2/3 at least s?
False
Suppose -7*t - 2*s - 68 = -5*t, -2*s - 33 = t. Let i be (-98)/(-63)*30/t. Which is greater: 6 or i?
6
Suppose -4*x + 4*z - 24 = 0, -x + 3*z = 4 + 12. Let u be ((-5)/(-15))/x - (-25)/(-33). Which is bigger: u or 0?
0
Let k = -1305 - -1629. Which is smaller: 325 or k?
k
Let m(o) = -45*o + 1. Let b be m(1). Let i = b + 131/3. Suppose 5*g + 8*g - 2*g - 11 = 0. Which is greater: i or g?
g
Let x(c) = -c + 4. Let l be x(5). Let v be 0/(l + -1 + -1). Which is bigger: v or -2/43?
v
Let n(j) = j**2 - 10*j + 3. Let w be n(10). Suppose -5 = d - w*z, -4*d + 3*z = -3 + 5. Let u = 55/312 - 2/39. Is d at most u?
False
Let z(u) = -11*u - 26. Let l be z(-9). Is l bigger than 74?
False
Suppose 2*o - 22 = -2*u - 3*o, 19 = -u + 5*o. Is u < 91/2?
True
Let r(d) = d**3 - 7*d**2 + 3*d - 8. Let f be r(7). Let q = -16 + f. Let p be 2/1 - (-36)/(-6). Is p greater than or equal to q?
False
Let p(z) = z**3 - 5*z**2 - 6*z - 2. Suppose -4*q + 16 = 2*w + 2*w, 28 = 5*w + q. Let b be p(w). Which is greater: -16/9 or b?
-16/9
Let b be 334/22 - (-4 - (-276)/66). Suppose -4*u - 53 + 109 = 0. Is u < b?
True
Suppose 13*a = 12*a + 19. Suppose -a + 1 = -3*n. Is n equal to 7?
False
Let r(o) = -17 + 2 - 2 + 2 - o. Let g be r(0). Is g not equal to -16?
True
Let h = -10.3 + 1.3. Let f = -2.5 + -7.5. Let w = f - h. Which is greater: w or -0.1?
-0.1
Let g = -1744/1485 + 32/55. Is -2 smaller than g?
True
Suppose v = 4*d + 1, 3*d = -2*d - 5*v + 30. Let s be (-6)/(-14) + (-170)/119. Let n be s + 2 + (-69)/71. Is d > n?
True
Let p = -867 + 784. Which is smaller: -82 or p?
p
Suppose 12 = -4*w - 0*w, 3*w + 213 = 2*x. Which is smaller: x or 103?
x
Suppose 0 = -7*q + 794 - 17. Let m = 132 - q. Which is bigger: m or 19?
m
Let y = 367/176 - 33/16. Suppose -v - 3 = 3*t - 4, -3*t = -4*v + 4. Is t greater than y?
False
Suppose 98 = u + y, -3*u - y - 32 = -320. Is u bigger than 94?
True
Let r = -4/2937 + 672589/11748. Let a = 57 - r. Is a greater than 0.05?
False
Suppose -10*q - q + 11 = 0. Are 10/59 and q equal?
False
Suppose 0 = -2*n + 2 + 8. Let x = n - -2. Let w be (-112)/(-735) + (-2)/x. Is 0 >= w?
True
Let s(y) be the first derivative of -3*y**2/2 - 26*y - 1. Let g be s(-9). Which is bigger: -1/17 or g?
g
Let v = 2117 - 2119. Which is greater: v or -66/59?
-66/59
Suppose -4*z + 5*d - 8 = 0, -4 = 5*d - 6*d. Suppose -47 - z = -5*k. Let i be 20/(-25)*k/(-4). Is 3/4 smaller than i?
True
Let u(z) = -z**3 - 6*z**2 - 5. Let d be u(-8). Is d greater than 123?
False
Let f = -50.948 + 1.588. Let x = 0.64 - f. Which is smaller: 1/3 or x?
1/3
Let q = 4 + -3. Let m = 2 - q. Suppose -2*w - 3 = -m. Is -2 less than w?
True
Let n be (-207)/(-7) + 8/(-14). Let j = -30 + n. Is j at most 2?
True
Let x = -0.054 + -1.246. Let g = -12.7 - -12. Let q = g - x. Which is smaller: -0.1 or q?
-0.1
Suppose 8*d = 6*d + 2. Suppose d = -5*t - 4*r, -7 = -2*t + 4*t - 5*r. Is -3 at most t?
True
Suppose -y + 3*g + 16 = 0, -23*g + 24*g + 6 = y. Are 34/31 and y non-equal?
True
Let r = 21 + -20.3. Which is bigger: r or -24?
r
Let s be ((-2)/95)/((-13)/(195/(-24))). Which is smaller: 1 or s?
s
Let o = -0.29 - -0.16. Let p = o + -0.87. Are -1 and p equal?
True
Let i(q) = 3*q**2 + 4*q. Let j(a) = a**3 + 10*a**2 - a - 13. Let b be j(-10). Let k be i(b). Let p = k + -18. Is p at least as big as -3?
True
Suppose 0 = 11*o + 376 - 398. Let j be (-6)/4*(-4)/3. Is j at most as big as o?
True
Suppose -6*d - 6 = -222. Let n be 3*(-3)/d*-5. Which is smaller: 2 or n?
n
Suppose 4*s - 600 = -r, 0 = 4*r + 2*s - 3154 + 768. Let p = -1804/3 + r. Which is bigger: p or 1?
1
Suppose 0 - 6 = 3*y. Let d = 6 + y. Is 4 greater than d?
False
Suppose -608 = 14*t - 468. Is -31/3 at least as big as t?
False
Suppose 0 = l + 5*m + 4, -15*l + 17*l + 2*m = 0. Is 2 equal to l?
False
Let t = -9 + 12. Let i(f) = 5*f**3 + 2*f**2 - f. Let v be i(1). Let x be v - 1 - (1 - -2). Is x less than t?
True
Let a = 76 - 97. Let n = -4 - a. Which is smaller: n or 16?
16
Let y(s) = s**3 + 16*s**2 + 44. Let d be y(-16). Which is greater: d or 46?
46
Let m = -121 - -121.031. Let d = -57.969 - m. Which is bigger: d or 1?
1
Let t = -1.77 - -1.17. Let p be ((-38)/(-34) + -1)/3. Let w = -5/17 - p. Which is bigger: t or w?
w
Let o = 2138 - 2127.03. Let t = 11 - o. Are t and 3 nonequal?
True
Let v(f) = f**2 - 5*f - 8. Let x be v(7). Let a be -3 + 5 - 17/x. Let c = a - -49/54. Which is bigger: c or -1?
c
Let z(u) = -7*u**3 - 51*u**2 + 3. Let m(d) = 3*d**3 + 26*d**2 - 1. Let l(y) = -5*m(y) - 2*z(y). Let o be l(-28). Are o and 1/44 unequal?
True
Let x = 27 + -26. Let d(v) = -v + 1. Let b be d(x). Is -6/19 at most as big as b?
True
Let w = 610 + -442. Is 0 != w?
True
Let w = 0.783 + 2.317. Is 11 <= w?
False
Suppose -4*f = -2*f - 168. Let r = f + -84. Let m = 1633/1827 + -1/203. 