76?
r
Let g(l) = 3*l**2 - 58*l + 109. Let i be g(13). Is i <= -139?
False
Let t = -19 - -19.17. Let y = 0.03 - t. Let u = 0.04 + y. Is u bigger than -1?
True
Let z be 1*(5 - (-3)/(-3)). Let q be (3 - (z + -4)) + -2. Is q != 1/28?
True
Let o be -8*28/72 + 3. Are o and 0.1 unequal?
True
Let o = 639371/165 + -3875. Is -3 equal to o?
False
Let p be 10744/(-187)*((-20)/(-16) + -1). Which is greater: p or -1/3?
-1/3
Let r be ((-1)/(-3))/((-42)/81*9). Is 58 not equal to r?
True
Let p be 154/(-35) - 6/10. Which is bigger: p or -11?
p
Suppose 10 = -2*p, -n + 4*p = 2*p - 9. Which is bigger: n or -7/18?
-7/18
Let y(g) = 321*g - 117. Let d be y(-1). Are d and -440 equal?
False
Suppose -5*n - 1 = 4. Suppose 4*u + 151 = -3*d, -2*u + 3*u = 2*d - 24. Let a be u/5 - (-12)/(-60). Does a = n?
False
Let j(w) = -64*w + 192. Let f be j(3). Does -5/139 = f?
False
Let j be ((-736)/(-20))/8 - (-8)/20. Which is bigger: j or 52/11?
j
Let b = 155 - 149. Is b equal to 10?
False
Let n = 973.8 + -975. Which is greater: -1 or n?
-1
Suppose w + 110 - 112 = 0. Is w less than or equal to -79?
False
Suppose 155 = -14*f + 925. Is f > 55?
False
Let b(m) = 6*m - 2*m + 3 - 3*m + 4. Suppose 2*l - 3*s + 17 = -12, 4*s - 27 = l. Let h be b(l). Which is greater: 3/5 or h?
3/5
Let d be 8/(-12) - 68/6. Let m be (6/d)/(1/(-10)). Suppose 0 = -m*n + 11 - 1. Is n >= 1?
True
Let g(a) = a - 5. Let k be g(3). Let j be ((92/136)/1)/((-3)/2). Let d = -926/357 - j. Do d and k have the same value?
False
Let m(s) be the third derivative of 0 + 0*s - 1/24*s**4 - 19/6*s**3 - 2*s**2. Let c be m(-13). Is c less than -6?
False
Let z = 134.3 - 62.4. Let q = 72 - z. Is q greater than or equal to -0.3?
True
Let o = -0.002 + 18.002. Let w = -15 + o. Is w at least as big as 0?
True
Let o(x) = -x - 13. Let l be o(-13). Suppose -m - m - m = l. Is m not equal to 10/23?
True
Suppose 2*m - 72 = -24. Let o = -23 + m. Which is smaller: o or 0.8?
0.8
Suppose 0*w = -w. Let t be 10/4*(-8)/(-240). Is t >= w?
True
Let w = 15.27 + -0.27. Let u = -460.2 + 444. Let f = u + w. Which is smaller: f or -2/7?
f
Suppose 4*o - 8 = o - 2*g, 0 = -5*o + 3*g + 7. Let n be -1 + (2 + -2)/o. Let a be -1 - 5/((-45)/12). Is n > a?
False
Let q be 38/(-300) - 49/(-294). Which is smaller: 0 or q?
0
Let u = -10 + 19. Let c = u + -8.86. Let z = 0.15 - c. Is z greater than -1?
True
Let i = 0 - -2. Suppose 52 = 13*p - 0. Suppose p*l - l = 4*t + 15, -3*l + 6 = -t. Which is greater: i or l?
i
Let m(u) = -12*u**2 + 1. Let n be m(-1). Let g = -6 - n. Suppose l + 20 = g*l. Which is smaller: -1/4 or l?
-1/4
Let j = -84 - -98. Let q(c) = c + 7. Let l be q(8). Which is smaller: l or j?
j
Let t(n) = 2*n**3 - 7*n**2 - n + 10. Let g(k) = -k**3 + 4*k**2 - 5. Let z(x) = -9*g(x) - 4*t(x). Let b be z(7). Which is smaller: b or -15?
b
Let c be (-84)/(120/10) - (-3 + -1). Let x(v) = -v + 1. Let f be x(5). Which is smaller: c or f?
f
Suppose 27 = -z + 4*z. Suppose 0 = -3*c - z - 3. Which is greater: -5 or c?
c
Let m(z) = -5 + 1 + 2*z + 0 - z. Let n be m(-17). Which is greater: n or -19?
-19
Suppose -4 = -4*h - 0. Let w be (-2)/(0 + (h - -4)). Let k(o) = -o**3 + o**2 - 2*o. Let z be k(0). Which is greater: w or z?
z
Let y be (-18)/(-4)*(-2)/42. Suppose 0 = -n - 2*n - 54. Let x be (-1 - 1/(-3))/(n/(-27)). Is y at most x?
False
Let y = 3466.989 + -3471. Let c = -0.011 - y. Which is bigger: -1/5 or c?
c
Let b = 61 + -61. Suppose 4*d - 98 - 18 = b. Is 29 greater than d?
False
Let a = -5 + 13. Let g(x) = a - x - 7 - 4. Let y be g(-2). Is -0.05 greater than or equal to y?
True
Let t be 70/(-8)*(-4)/(-6). Let m = 428 + -434. Which is greater: t or m?
t
Let s(p) = 10*p + 52. Let a be s(-5). Let i(v) = v**2 + 6*v + 5. Let d be i(-5). Is d at most as big as a?
True
Let w = -19975 - -398821/20. Let h = 34 + w. Which is greater: h or 0?
h
Let u be -2 + -1 - (-459)/9. Suppose u - 13 = 7*k. Which is smaller: 1 or k?
1
Let m = 301 + -303. Let d = 3.7 + -4. Which is smaller: d or m?
m
Let n(v) = v**2 + 10*v - 7. Let h be n(-8). Let w = 74 - 172. Let r = w - -76. Do h and r have different values?
True
Let t be (-482)/(-140) + 4/(-14). Let x = t + -20/7. Which is bigger: x or -1?
x
Let h = 5 + -5.02. Let k = -1.42 - h. Let v = k + 1.5. Which is smaller: v or 10?
v
Suppose 14*v = 2*g + 10*v + 318, -2*g + v = 306. Which is smaller: g or -152?
-152
Let p(w) = w**3 + 8*w**2 - 28*w - 34. Let i be p(-10). Do 45 and i have the same value?
False
Let o = 20.19 - 1.19. Which is smaller: 0 or o?
0
Let r = 0.27 + -0.09. Let m = 0.27 - r. Which is smaller: m or 0?
0
Suppose -4*q + 2*w = -14, 5*q + 0*w = -w. Let a be 92/(-84) + 1 + 1220/(-420). Let z be a + q + (10 - 1). Which is smaller: 8 or z?
z
Let j = -58 + 61. Let m be (-2)/j*-2*(-1)/4. Is m less than 0.31?
True
Let c be 3*3/((-18)/2). Which is smaller: 1/271 or c?
c
Let f = 5.23 - 0.93. Do -3 and f have different values?
True
Let q(t) be the second derivative of t**5/20 + 11*t**4/6 - 11*t**3/3 + 13*t**2 + 6*t. Let h be q(-23). Let m be (-10)/4*8/(-10). Which is smaller: h or m?
m
Let t = 10/1053 - -224/1053. Let k be (2 - -2 - 1)/4. Which is smaller: k or t?
t
Let y = -2597/8 + 325. Let q = 39.3 - 39.4. Is y <= q?
False
Let n be 0 + 2 + (-8)/5. Let l = -0.03 + -0.17. Is n less than l?
False
Let o(p) = -6*p - 2. Suppose 4*v = -2*s - 8, s = -v - 3*s - 2. Let z be o(v). Suppose 4*f - 25 = 2*w - 7*w, f = 2*w - z. Is f < 3/10?
True
Suppose 7*w - 2*w - 25 = 0. Suppose -w*t + 3*t = -22. Suppose -12 = -3*u, 2*y + u - 4*u - 8 = 0. Is y at most t?
True
Suppose 4*c = 4*m, c = -m - 0 + 6. Suppose 172 = -5*b - o, -4 = c*o + 2. Is b at least -34?
True
Let z be (6/(-7))/((-6)/(-4)). Suppose -4*j - 18 = -5*p, 2*j + 2 - 4 = -3*p. Which is smaller: z or j?
j
Let o = -3 + 4. Let n(i) = -i**3 + i. Let q be n(o). Let u be 1/(-5)*45/(-54). Which is smaller: u or q?
q
Let t = -17 - -20. Let p be 0 - (0 + t/12). Let j be 1/(-3) - (-8)/6. Is p not equal to j?
True
Let z = 486 + -857. Let h = -1088/3 - z. Which is bigger: h or 8?
h
Let r = -1 + -1. Let u = -15.954 - -16. Let q = -2.954 - u. Which is greater: q or r?
r
Suppose 0*u = -2*u. Suppose u = 4*p + 59 - 3. Let y be 4/p - 216/224. Which is bigger: 0 or y?
0
Let q be ((5 + 0)*-79)/1. Is -394 < q?
False
Let r = -4 + -1. Let a = 0.06 + 1.94. Let g = a + r. Which is smaller: g or 1?
g
Let t(g) = 822*g**3 + 4*g**2 - 5*g + 1. Let m be t(1). Which is smaller: 823 or m?
m
Let p(l) = -l**3 + 7*l**2 - 5*l - 8. Let a be 4 + (-2 - -3) + -2. Let c = 3 + a. Let x be p(c). Are -7/4 and x equal?
False
Let o = -366 - -8416/23. Let z = -10 - -11. Let x = z - 1. Is x not equal to o?
True
Suppose 0 = y - 6*y - 15. Let x be (714/(-20))/((-1188)/(-110)) - 2/8. Is y > x?
True
Let s = -39 - -41. Let b = -1774/21 - -473/6. Let g = 50/7 + b. Is s > g?
True
Let o = 330 - 342. Suppose 2*y = 5*y + 39. Is y at least as big as o?
False
Suppose c - 34 = 4*q - 12, 3*c = q + 11. Let r(v) = v**2 - 4*v - 2. Let y be r(4). Let p be (y/(27*c))/(-1). Is 0 > p?
False
Suppose 5*u - 7 = -3*y + 77, -5*y + 3*u + 174 = 0. Are 18 and y equal?
False
Let h = -331 - -329. Which is bigger: h or -15/13?
-15/13
Suppose 0 = -9*o + 17*o - 72. Is o at most -1.2?
False
Let g(w) = -4*w**2 - 17 + 3*w**2 + 18 - 4*w + 5*w. Let s be g(0). Which is smaller: -2/5 or s?
-2/5
Let u = -5419571/54 - -100369. Let s = u - 13/2. Is -1 less than or equal to s?
True
Let b be 320/18 - (-4)/18. Let d = 17 - -29. Let i be b/45 - d/40. Is i < 2?
True
Suppose -5 + 2 = -4*d + 5*h, -3*d + 3*h + 3 = 0. Which is bigger: 12 or d?
12
Let f(u) = -3*u - 11. Let c(s) = s + 6. Let p(t) = -9*c(t) - 4*f(t). Let k be p(12). Is 24 < k?
True
Suppose -2*f - 2*f = -16. Let h be (80/(-11))/f + 2. Let d be 0 + -3 - (-3 - 1). Is h > d?
False
Let n = 17 - 18. Let o = -20656/11 - -1880. Which is smaller: o or n?
n
Let y = -278/9 + 4546/153. Is y at least -2?
True
Suppose 4*d + 8 = -f, -2*d - 29*f + 2 = -30*f. Do d and 1/169 have the same value?
False
Let y be (-1 + 0)/(19/2). Let l = 676.1 - 676. Is y >= l?
False
Let a be ((-1207)/(-71))/(1/3). Which is smaller: a or 47?
47
Let b(c) = 2*c + 46. Let q be b(-14). Let r be (18/16 - 3)/(q/24). Which is greater: -1/6 or r?
-1/6
Suppose u + 25 = 6*u. Let y(x) = -x**2 - 12*x - 8. Let a be y(-11). Suppose -2*s + 0*s + 11 = a*p, 0 = 3*p - 3*s - 21. Is p less tha