 p = 0. Suppose 45 + 55 = 10*z. Is i smaller than z?
False
Let k = 36 + -36. Let j be 2/(-6) + (-7)/(-3). Let x be 0 - (k - j/18). Is 1 equal to x?
False
Let o be (-345)/21 + 6/14. Let q be 6/(-4)*o/(-34). Is q smaller than 0?
True
Suppose 5*l + 2*s = -2*s + 329, -2*s = -4*l + 258. Suppose 4*q - 124 - 140 = 0. Is l > q?
False
Let a be (-2 - -2 - 1) + 3476/(-55). Which is smaller: a or -65?
-65
Suppose 5 = 5*z - 25. Suppose 0 = -5*u + 1 - z. Let n(q) = -11*q**2 - 2*q - 1. Let s be n(u). Which is smaller: -11 or s?
-11
Suppose 5*t + 3*k - 4 = 0, -12 = -4*t - t + k. Let a be t*(-1)/(-3)*1. Let g = 27.8 - 28. Which is bigger: a or g?
a
Let y be (4/(-6))/((-6)/9). Let h = -8027/6 + 1338. Are h and y non-equal?
True
Let u = -1639 + 1631. Is u less than -85/12?
True
Let a = 119 + 674. Which is smaller: 794 or a?
a
Let q(z) be the first derivative of z**4/4 + 2*z**3 - 9*z**2/2 - 4*z - 2. Let u be q(-7). Suppose u = -9*y + 4*y. Which is bigger: -5/3 or y?
-5/3
Suppose 8*t + 77 = -115. Let z be 2/(-6) + 232/t. Let r be (-44)/z - 4/10. Is 4 != r?
False
Let a = 291 + -290.97. Is 11/2 bigger than a?
True
Let a = 15934.27 - 16030. Let h = a + -2.27. Which is bigger: h or -1/4?
-1/4
Let y = -1 - 3. Suppose 205*l - 12 = 207*l. Which is bigger: l or y?
y
Let r be 5184/80 + (-2)/(-10). Is 64 > r?
False
Let i = 2 + -1. Let y = 115.3 + -109. Let c = 7.3 - y. Are i and c equal?
True
Suppose -182*j + 285 = -167*j. Is 147/8 > j?
False
Let z(x) = 2*x**2 - 5*x - 3. Let y be z(4). Let i(p) = -p**2 - 19*p - 61. Let u be i(-14). Is u >= y?
True
Suppose 0 = -9*n - 4*n - 325. Let l be n + (-6)/(-3) + (-12 - -8). Is -28 at most l?
True
Suppose -5*d + 5*r + 50 = 0, -3*d - 3*r = -5*r - 28. Suppose -d*x = -7*x. Let s = 10691/21 - 509. Is x at least s?
False
Let m be (50/10572)/(-5)*532/1330. Is m < 1?
True
Let p(h) = h**2 - 2*h - 4. Let o be p(4). Which is bigger: 53/17 or o?
o
Let o(j) = -4*j. Let n be o(0). Suppose n*p - 3*p + 24 = 4*c, 0 = -c + p + 13. Is c > 3?
True
Let x = 0.114 + -0.014. Let t = x + -17.1. Is 3 <= t?
False
Let j = 2 + -5. Let c = 15 - j. Which is greater: 0.1 or c?
c
Suppose 2*d = -19 + 3. Let l be d/(-5)*(-225)/(-18). Let s = l + -16. Is 4 at least as big as s?
True
Let l(p) = -p**3 - 3*p**2 + 3*p - 4. Let m be l(-4). Let n = 10/17 + 4/51. Which is bigger: n or m?
n
Suppose 47*u - 51*u + 8 = 0. Let t be 1 + (-3 - u) - 118/(-29). Let f = 2 + -3. Which is greater: f or t?
t
Let o(r) be the first derivative of r**4/4 - 5*r**3/3 + 5*r**2/2 - 4*r + 1. Let t be o(4). Let g = -30943/15 - -2063. Are g and t nonequal?
True
Suppose v - 3 = -2*v. Let l be -2*(0 - v)*-2. Let y(d) = -d**2 - d + 4. Let s be y(l). Which is greater: s or -9?
s
Suppose -2*o = -6*o. Let x be o + 4/((-20)/(-15)). Suppose x*f - 8 = -f. Which is smaller: 2/3 or f?
2/3
Let v = -9/460873 + -4738694791/71435315. Let s = 332/5 + v. Which is greater: -2/3 or s?
s
Suppose 1175 = 5*p + 165. Which is bigger: p or 206?
206
Suppose 4*n + 28 = 4*o, -2*o - 13 = 3*n - o. Let x(v) = -2*v + 6. Suppose -2*f = -4*s - 6*f + 8, 5*s = 4*f + 46. Let w be x(s). Is n < w?
False
Let j be (1/(-2))/(2/74). Let u = 20 + j. Is u less than or equal to -1/3?
False
Suppose -3*o = -2*c - 146, o - 74 = c - 0*c. Is c at most -9?
True
Let r = 0.647 - -109.353. Is -6 at most r?
True
Let c = -1.331 + 2.331. Which is bigger: -647 or c?
c
Suppose w + b + 108 = -2*w, -5*w - 178 = b. Let d be (-3)/(-8) - w/(-28). Which is greater: d or 0?
0
Let x = -2063 - -2111. Is x >= -1/3?
True
Let p = 719/41 - 3/82. Let y = 583 + -566. Is p not equal to y?
True
Let p = 1850 + -1849. Is 4/299 equal to p?
False
Let t(u) = 2*u + 44. Let s be t(-18). Let k = s + -57/7. Is 0 at most k?
False
Let n be (33/(-6))/1*-2. Suppose -9 - n = 5*v. Is v not equal to -4?
False
Let k be ((-77)/(-42))/(-11)*8/2. Which is smaller: k or -54/5?
-54/5
Suppose 3*s = 10*s + 112. Let b(u) = u**2 - 17*u - 33. Let n be b(18). Which is smaller: s or n?
s
Let w(f) = -3*f**2 + 13*f + 21. Let s(c) = c**2 - 6*c - 10. Let o(k) = -5*s(k) - 2*w(k). Let p be o(4). Is p not equal to 39?
True
Suppose 2*l + 23 = 4*q + l, -5*l - 15 = 0. Let y be 46/12*(30/q)/1. Which is bigger: 22 or y?
y
Suppose 5*z + 31 = 4*z. Let t = -30 - z. Let w be 20/(-42)*-4 + -2. Are w and t equal?
False
Let u(q) = -34*q + 171. Let d be u(5). Which is smaller: 50 or d?
d
Let r(l) = -2*l**2 - 58*l - 1. Let q be r(-29). Which is smaller: q or 6/97?
q
Let j be -1 + -52 + 0/(-2 - -1). Let v = 44 + j. Suppose -11 + 47 = -4*c. Is c equal to v?
True
Suppose 7*a - 11*a - 5 = -5*w, 3*a = 3*w - 3. Is a != 4/35?
True
Let c = -85 - -85.041. Let q = 2.041 - c. Which is smaller: -3 or q?
-3
Let o = 239 - 242. Is -0.6 <= o?
False
Let y = 8 + -5. Suppose 0*l - 3*z - 42 = -4*l, -3*l + y*z = -33. Let x = l + -6. Is 3 less than x?
False
Let q be (-3)/9 + (-14)/3. Suppose 17 = 3*i + 2. Let m(j) = -j + 1. Let r be m(i). Which is smaller: r or q?
q
Suppose -42*s = -40*s - 3*z + 233, -2*z = 3*s + 317. Is s != -111?
True
Let x = 765/7852 + -6/151. Is x smaller than -1?
False
Suppose 5*f = 0, u = 2*u + 2*f - 7. Suppose 2*k = -2, -5*b + 4*k = -2*b - 58. Suppose u = -q + b. Is q != -1/2?
True
Suppose 0 = 4*i, -8*i + 180 = 5*w - 3*i. Suppose s = 5*p - w, -4*s - 23 - 67 = -2*p. Let m be (12/5)/(s/70). Which is greater: -7 or m?
-7
Let f be 4/((-3)/(732/(-8))). Suppose 7*w + 88 = -f. Is w != -31?
True
Let t = -2.9 - -3. Let b = -49.67 + 0.67. Let r = b + 45. Is t > r?
True
Let n = -14 - -32. Let f = n - 26. Suppose -u - 7 = -0*u. Does f = u?
False
Let i = 478 - 493. Does -6 = i?
False
Let k = 104 - 217. Which is bigger: -112 or k?
-112
Let w = 0.7 + -0.62. Let l = w + -2.08. Let u be (2 - (-244)/(-126)) + (-2)/7. Is u equal to l?
False
Let t = -13 - -23. Let a = -682 - -692. Is a < t?
False
Let s = 146 + -70. Let r = 73 - s. Suppose 2*i + i = -9. Is i at least r?
True
Let t = 123 + -122. Which is smaller: t or 231?
t
Let r be 2*(-3)/39 - 2/(-13). Is r smaller than -2?
False
Let o(i) = -i**2 - 4*i - 1. Let a be o(-3). Let r be (-5 + (-217)/(-2))*a/(-6). Which is smaller: -35 or r?
-35
Let c = -109.38 + 109. Is c > 0.2?
False
Let f be 54/4*(-6 - (1 + -5)). Are f and -29 equal?
False
Let z = -148 + -355. Let p = z + 29673/59. Which is smaller: -1 or p?
-1
Let p(t) = -2*t**3 - 73*t**2 - 40*t - 301. Let v be p(-36). Is v greater than or equal to -157?
True
Let g = 6/17 + -131/323. Let o(s) = -s**2 - 6*s - 1. Let m be o(-4). Suppose 4*x - q = -5, -3*x + 4*q = -0*q + m. Which is greater: g or x?
g
Let a = -345 + 375. Is a equal to 25?
False
Suppose -129 = 3*z - 3*p, 0 = -2*z - 4*p + 3*p - 80. Let r = 81 + z. Let f be 115/r + 1 + -4. Is -1 at least as big as f?
False
Let u = -0.089 - 25.311. Let z = u - -26. Is z not equal to -0.1?
True
Suppose 89*i = 82*i - 98. Which is greater: i or -8?
-8
Let x = 2088 + -2136. Which is smaller: 2/23 or x?
x
Let f(v) = -5*v**2 - 13*v - 6. Let b(a) = -14*a**2 - 38*a - 17. Let c(m) = -6*b(m) + 17*f(m). Let s be c(8). Which is smaller: -1 or s?
s
Let r be (-2)/(-18) - ((-45)/(-81))/5. Let h = 1323/2 + -13221/20. Which is smaller: r or h?
r
Let r = 11.7 + -2.7. Let w be (0 - 6/(-4))*2. Is r smaller than w?
False
Let d = -0.95 - -0.55. Which is bigger: -4 or d?
d
Let d = -913 - -1063. Are d and 150 nonequal?
False
Suppose 0 = -3*p + 3, -2*f - 1 = -p - 4. Let j be (5*f/40)/(-1). Is 3/8 not equal to j?
True
Suppose 0 = -0*w + 10*w - 620. Let u = 96 - w. Which is greater: 35 or u?
35
Let x(t) = t**2 - 4*t + 1. Let g be x(4). Suppose 2*r = 6*r + 336. Let y be (-2)/(-7) + 80/r. Which is smaller: y or g?
y
Let g = 625 - 3114/5. Let f = 87/35 - g. Let u be (2 - 2)*(-1)/2. Is u at least f?
False
Let c = 156 - 156. Let b be ((-4)/(-222))/(4/6). Which is greater: c or b?
b
Let h be 51/510*(-1890)/(-8). Do h and 25 have different values?
True
Suppose -2*k - 3*x = -34, 3*k = -x - 4*x + 53. Suppose 0*g = 3*a + 4*g + k, -2*a + 4*g - 14 = 0. Suppose -2*u = -5*c - 13, u + 1 + 30 = -5*c. Is a < u?
False
Let p = 51803/13 - 3983. Let t = p + -281/117. Do -1 and t have different values?
True
Let g be (-5)/(-1) - (11/1 - 8). Which is smaller: 26/17 or g?
26/17
Let r = -11 - -13. Let k be (-1)/r - 0/1. Is -2 bigger than k?
False
Let a = -17 + 17.07. Let b = -8 + 8.1. Let n = b - a. Is -0.1 at least n?
False
Suppose -13*g + 41 = 15