z?
False
Let w = -1312 - -1398. Are w and 85 equal?
False
Let w(o) = o + 1. Let c be w(9). Let m be 2/c + (-287)/35. Let k(q) = -q**3 - 9*q**2 - 9*q - 8. Let y be k(m). Is y less than or equal to 2/13?
True
Let i(a) be the third derivative of a**5/60 - 2*a**2. Let l(d) = -d**3 - 5*d**2 - d - 3. Let t(h) = -2*i(h) - l(h). Let v be t(-3). Is v at most -8?
False
Let b be (-8)/(-18) - 328/738. Which is smaller: 4/495 or b?
b
Suppose 0 = 5*l + 32 - 167. Suppose -l*h = -32*h + 65. Is 13 equal to h?
True
Let b be (-2 - (-244)/120)*4. Let g = 3 - 2. Let s(o) = -o**2 + o. Let l be s(g). Which is bigger: l or b?
b
Let i = 3357 - 3357. Suppose 3*z = -x + 1872, -2*z + z - x + 624 = 0. Let s = -13725/22 + z. Are s and i equal?
False
Suppose 3*t - 59 = 310. Let b = t - 455/4. Let i = b + -9. Is 1/8 less than i?
True
Let c = 383/2387 - 6/341. Let q = -6 + -1. Let k = -5 - q. Which is smaller: k or c?
c
Let l(h) = -h**2 - h + 149. Let d be l(0). Let q = d + -1041/7. Which is smaller: -2 or q?
-2
Let z = 1384/7 - 197. Let y = 4.09 - 0.09. Let v = -3 + y. Which is greater: z or v?
v
Suppose 2*t - 58 = -2*j, -4*t - j - 121 = -8*t. Which is greater: t or 33?
33
Let b(t) = 2*t - 1. Let c be 0/(-1 + (1 - -2)). Let x be b(c). Let k be (6/(x + 2))/2. Are k and 1 equal?
False
Suppose 0 = -6*q + 19 + 11. Suppose -3*l - 2*y = -43, 25 + 5 = q*l - 5*y. Which is bigger: l or 12?
12
Suppose -j = -4*m + 8, 2*m = 3*j - 2 + 6. Let c(z) = -z - 1. Let h be c(j). Let q = 5.5 - 5. Is q less than or equal to h?
False
Let x be (2/(-5))/((-2)/(-130)). Let v be 6/(-4) - 65/x. Let k = 5.96 - -0.04. Is k != v?
True
Let r = 0.343 + -0.033. Suppose -f + 2 = 3*j, 4*f + 4*j + 6 + 2 = 0. Let b be (-3)/(-1 - 34/f). Which is smaller: r or b?
b
Let t = -1/1074 - -817/12351. Let r = -103/874 + t. Which is smaller: r or 0?
r
Let q = -2.29 + -6.71. Which is bigger: q or -0.13?
-0.13
Let l be ((-8)/6 - -2)/(9/108). Suppose -4*j - 72 = -3*g, -g = -l*j + 7*j - 19. Is -13 smaller than j?
False
Let z = -70 - -37. Let w = 53/2 + z. Which is bigger: w or -2/3?
-2/3
Let w be 6 + 1/(2 - 36/16). Which is greater: 42/23 or w?
w
Let s(y) = -8*y**2 - 6*y + 2. Let c be s(-7). Let f be 291/10*26/c. Let w = f + -3/116. Is w at most -3?
False
Let w = 1 - 4. Let h be (0 - -4)/(-12)*-3. Let a be -1*(3 + -4)/h. Is a >= w?
True
Suppose 0 = 4*w, -5*z + 2*w + 370 = 7*w. Let n be z/(-9) - ((-2)/(-9))/(-1). Is -11 greater than n?
False
Let j be (0 - -1) + -1 - -1. Let h be ((2 + -3)/(-4))/j. Let b = 243/4 - 60. Do b and h have the same value?
False
Suppose 7*k = 3*k - 340. Is k equal to -87?
False
Suppose 0 = 4*w + 4, -3*w + 39 = -5*a + 92. Let t be (-125)/a*(-24)/2. Let o be 3/1 - t/48. Which is smaller: o or 1?
o
Let g = 8 - 8.05. Let t = 4.95 - g. Is 1 at least as big as t?
False
Let x(q) = -q**3 - 5*q**2 + 7*q + 5. Let o be x(-6). Let p be 3/(-46)*((-154)/(-8) - 1). Let k = 36/23 + p. Is o less than or equal to k?
True
Let h(m) = -m**2 - 6. Let c be h(4). Let k = 30 + c. Let q be (-12)/12 + k/6. Which is bigger: q or -6?
q
Let r be 10*(4 - (-28)/(-8)). Suppose 79 = 5*m - 0*h - h, r*m = 5*h + 75. Is 18 <= m?
False
Let k = 589 + -4215/7. Which is smaller: k or -13?
k
Let o be (-495)/20*(-1 + 5). Let h = -77 - o. Are h and 21 equal?
False
Let k = 434 - 435. Which is smaller: 17/37 or k?
k
Let i be 4/16 - 9/20. Which is smaller: -191 or i?
-191
Suppose -o = 5*u - 342, 46 = u + 5*o - 8. Is u greater than 69?
False
Let m(y) = y**3 - 11*y**2 + 4*y - 21. Let g be m(11). Let a be g/48 + 4/(-6). Is -1 at least a?
False
Suppose 4*p = 5*o - 8, 3*o = -3*p + 2*o + 13. Suppose -p*i + 4*k + 34 = -i, -5*k = 0. Let b = i + -16. Which is smaller: -6/19 or b?
-6/19
Suppose -5*l + 50 = -0*l. Let c(o) = o**2 - 13*o + 9. Suppose 0 = -2*b + 4 + 22. Let r be c(b). Which is bigger: l or r?
l
Let b = -330 + 230. Is 4 at most as big as b?
False
Let m = -611 + 616. Is m at most as big as 62/15?
False
Let q(z) = -z**3 - z**2 - 5*z - 48. Let s be q(-4). Suppose 5*r - 15 = 0, 4*m + m + 17 = 4*r. Is s bigger than m?
True
Let t(d) = -3*d**2 + 5*d - 4. Let p(u) = 5*u**2 - 8*u + 6. Let y(z) = -5*p(z) - 8*t(z). Let j be y(0). Which is smaller: 3 or j?
j
Let d be (1 - 6)/(5/(-5)). Suppose -i = -3*b - 2*i + 10, -d*b + 3*i + 26 = 0. Suppose 0 = -4*t - 12, 3*l - b*t = 2*l + 26. Does l = 14?
True
Let s(u) = 2*u**2 + u - 2. Suppose -4*w + 5*w + 10 = -5*x, -w = 3*x + 6. Let h be s(x). Let g = h + -1. Is 4 < g?
False
Let s = -1.813 + -15.587. Which is smaller: s or 0?
s
Let r = 2173 - 2035. Is 138 <= r?
True
Let h = -0.17 - 121.83. Let f = h - -122.07. Which is greater: f or 0.06?
f
Let b = 14039/56 + -1600/7. Which is smaller: 21 or b?
21
Let h be 826/28 - (-6)/4. Suppose 22 = 3*b - 4*l - 64, 89 = 3*b - l. Which is smaller: b or h?
b
Let o be 204/(-45) + (-2)/(-6). Let b be 84/(-882) + (3 - (-725)/(-105)). Which is smaller: o or b?
o
Let k = 12.65 + -0.45. Let h = -11.8 + k. Is -1/3 <= h?
True
Let s = -357 - -369. Is -24 bigger than s?
False
Let x be 3/2*(-3 + (-268)/(-86)). Is x at most -1?
False
Let w be 23 - (84/12 + -7). Is w smaller than 208/9?
True
Let h be 4*(84/(-35))/(2/40). Let s = h + 112. Which is smaller: -79 or s?
s
Suppose 457 = -b - 244. Let g = b - -34351/49. Which is greater: g or -1?
g
Suppose -5*n = f + 15, -7*n - 3 = 5*f - 6*n. Let k = 2829/28 + -101. Is k not equal to f?
True
Let d be ((-4)/(-22))/(-1) + (-29952)/(-2112). Is 16 equal to d?
False
Let v = -0.754 + -0.046. Let h = 0.33 - -2.87. Let x = h - v. Is 1/6 at least x?
False
Suppose -28 = -5*g + 5*k + 2, 4*k = -2*g. Let b be 0 + g - (1 + 0). Is 2 greater than or equal to b?
False
Let t be -3*(-6)/(-45) + 826/(-35). Let o(k) = -24*k**3 + 2*k - 1. Let i be o(1). Which is bigger: t or i?
i
Let k be (-6)/24 + 5076/(-48). Which is smaller: -104 or k?
k
Let p be (16/564)/(2/(-3)). Suppose -45 = -2*c - 3*m, -3*m + 61 + 11 = 3*c. Let t = 27 - c. Which is greater: p or t?
t
Let p = -1864 - -1866. Suppose 0 = -f + 2*f - 4. Is f smaller than p?
False
Let a(l) = -l + 42. Let m be a(0). Suppose 0 = 7*f - f - m. Suppose 7 = 2*y - 5. Which is greater: f or y?
f
Suppose 5*b - 3*u = -30, -64*b - u + 17 = -68*b. Let w = -1 + 2. Let v = -3 + w. Which is smaller: v or b?
b
Let i(x) = 3*x + 2. Let k be i(2). Suppose -k = 3*b - 3*y + 2*y, 4*b + 5*y - 2 = 0. Let u be 2/(-3)*b/4. Is u bigger than -4?
True
Let q = -321 + 320.9. Let x = 2 - 1.8. Are x and q non-equal?
True
Let i = -127/8 + 1303/72. Let p = -83/36 + i. Is 1 less than or equal to p?
False
Suppose -5*q - 12 = -8*q. Suppose q = a + 3*a. Which is smaller: 2/9 or a?
2/9
Let w(g) = -g - 4. Let b be w(-5). Let x(o) = o**2 - o + 2. Let p be x(b). Suppose -5*m - 3*s = 9, -3*m + 9 - 3 = -p*s. Is -0.15 at least m?
False
Let x = 118 + -118. Which is smaller: 3/134 or x?
x
Suppose 0 = -0*d + d + 1. Let n = 2 + d. Let f be (-254)/127 - (-108)/53. Is n <= f?
False
Let y be (-18)/(-24)*22/33. Which is smaller: y or 7?
y
Let f(j) = -j**3 + 10*j**2 - 2*j + 23. Let w be f(10). Suppose -16 = q + w*u, -3*q + 0*u + 2*u + 7 = 0. Are q and -1/37 nonequal?
True
Let s(y) = -y**2 - y - 1. Let p be s(0). Let h = 1070 - 514. Let k = 2769/5 - h. Is k >= p?
False
Let q be (-6)/(-8) + (-1 - 0). Let s be (-6)/(-12)*(-9 - 3) - -6. Which is smaller: s or q?
q
Let v = -616097603/2738445 + 23/53695. Let t = v - -225. Do 0 and t have different values?
True
Suppose 0 = -y - c + 9, 0 = -2*c - 2 + 10. Suppose 2*b - 3*w = y, 2*b = 6*b + 3*w - 37. Suppose -b*q + 3*q - 24 = 5*f, 8 = -4*q - f. Which is smaller: 1/9 or q?
q
Let p = 36.95 + 0.05. Let z = -36 + p. Let x = 0.12 + 9.88. Is z > x?
False
Suppose -q + 3*i = -5*q + 15, 3*q + i = 5. Are q and 18/359 non-equal?
True
Let i = 7/19 + -23/114. Which is smaller: -46 or i?
-46
Let r = 21.22 - 21.6. Which is greater: -0.1 or r?
-0.1
Let h = 1393/6 + -233. Which is greater: -2 or h?
h
Let s be 3 + (-1 - (0 - 0)). Let n be ((-9)/s)/(2/4). Let q be 3*-1 + 7 + -14. Which is smaller: q or n?
q
Let f = -809 + 810. Is f at least 1.18?
False
Suppose -5*a + 20 = 0, -z - 12 = -2*a - 6. Let v be 44/28 - (-8)/28. Do v and z have different values?
True
Let i = -0.41 - 0.29. Let k = i - 3.3. Which is smaller: k or -2/15?
k
Let s = -6.9 + -3.1. Let x = s + 9.991. Which is bigger: x or -0.1?
x
Suppose -5*x + 0*r + 395 = -5*r, 2*r = 4. Which is bigge