394). Is z bigger than t?
True
Suppose 32*y = 33*y - 2. Let j(c) = 7*c - 10. Let k be j(y). Do 2 and k have different values?
True
Let j(o) = -o**2 - 7*o. Let n be j(-7). Let d be 3/9 + 14/(-45). Do n and d have the same value?
False
Let h be 23806/(-48048) + (-6)/(-33). Let z = h - -1/168. Which is bigger: z or 0?
0
Let x be (198/(-924))/(12/(-14)). Let c = -2 + 2. Which is greater: c or x?
x
Let c(v) = -5*v**2 + 11*v - 19. Let g be c(11). Is -503 < g?
False
Suppose q - 3*z + 12 = 0, -2*q + 0*q - 5*z - 57 = 0. Let b = q + 37. Suppose 4*m + 0*m = -b. Which is bigger: m or -5?
m
Let n = 585 - 259. Which is bigger: 0.1 or n?
n
Let y be ((-10)/4)/5*44. Let i be 1382/y - 18/99. Let m be i/12*(-10)/(-45). Which is smaller: m or 0?
m
Let r be (-21)/(42/20)*-1*1. Suppose 13*n = r*n - 117. Is -40 not equal to n?
True
Let g be 356/18 - 2/(-9). Suppose 0 = 4*a - 0*a - 2*y + 8, -5*y = -2*a - g. Let u = 2 - a. Which is smaller: u or -3?
-3
Let d be (-6)/(1 + (-140)/8). Suppose -2*y + 3 = -1. Suppose y*f + 1 = -1. Do f and d have the same value?
False
Suppose -x + 0 = -24. Let r be ((-1)/3 + 20/x)*0. Is -9 <= r?
True
Let k = -91 + 92. Suppose y + 6*c - 82 = c, 64 = y - 4*c. Let n be y/96 + k/4. Is 1/4 equal to n?
False
Suppose -2*u - 11*v + 12*v + 25 = 0, 40 = 2*u - 4*v. Suppose -8*i - 8 = -u*i. Let a be 1 + 3/((-3)/(-2)). Which is bigger: i or a?
i
Suppose -1 = 2*x - u - 0*u, 4*x + u = 1. Is -8/5 <= x?
True
Let b = 265 + 70. Is b greater than 334?
True
Let b = 393 + -501. Is -108 at least b?
True
Let z = -5.56 + 8.56. Are z and 81 nonequal?
True
Let f(i) = -i**3 + 17*i**2 - 14*i + 14. Let s be f(16). Let q = 45 - s. Let m = 211 + -1901/9. Which is smaller: m or q?
q
Let a = 101 - 64. Let j = 20 - a. Is j != -17?
False
Let s = 1.1 + -0.7. Let l = 0.87 + 0.23. Let h = l - 0.9. Is h at least s?
False
Let j = 5 - 1. Suppose 0 = -4*b + 3*x - 58, x = -j*b - 62 - 4. Which is smaller: -14 or b?
b
Let a(t) = -t**2 - 4*t. Let c be a(-5). Let g be 4/28 - (-1)/c. Let s = g + -27/140. Which is smaller: 7 or s?
s
Let o = 219 + -127. Let p = 84.3 - o. Let d = p + 1.7. Which is smaller: -1/2 or d?
d
Let p = 1953 - 2908. Which is smaller: -953 or p?
p
Let p = 1617 - 1619.2. Do -0.35 and p have the same value?
False
Let a be (-278)/60 + 10/75. Let f = 5 + a. Let i = -0.9 - -0.7. Is i <= f?
True
Let o = 228 + -37. Let y be o/6 + (-4)/3. Which is smaller: y or 32?
y
Let w = -88.1 + 12.1. Is w > -4?
False
Let s = 30 - 15. Let t be 3 - (-10)/s*(-27)/8. Which is smaller: 0 or t?
0
Let d = -9.11 - -0.11. Let a = 13 + d. Which is bigger: a or 0.3?
a
Let v = 1965 - 2783. Is -817 equal to v?
False
Let j(a) = a**3 + 15*a**2 + a + 13. Let q be j(-15). Let p be 6*q/(-140) + (-7)/49. Suppose 0 = 4*s - 2*m, 7*m = 5*s + 5*m. Which is greater: p or s?
s
Let f = -6.8 - 35.2. Let z = f + 43. Is 0.1 bigger than z?
False
Let m(d) = d**2 + d - 3. Let a be m(-2). Let t(u) = 3*u**2 + 5*u + 1. Let w be t(a). Is 0 >= w?
True
Suppose 0 = 12*l - 4 - 8. Which is smaller: 1/305 or l?
1/305
Suppose 30*j = 27*j + 2*v + 3150, v = 5*j - 5243. Is 1048 at least as big as j?
True
Suppose 42 = -6*i + 558. Let q be 352/i - 10*(-6)/(-15). Is q smaller than 0?
False
Let i be ((-45)/(-6))/(-1)*2. Let u be (-8)/12 + (-138)/9. Is u <= i?
True
Suppose 2 = 5*u - 103. Let n be u/1*(1 - 52/24). Which is smaller: -25 or n?
-25
Let w = 89/34 - 2/17. Which is smaller: w or 4?
w
Suppose -2*o = y, 2*o - 4 = -2*y - 8. Let n = y + 7. Let i be (-1 + n/3)/1. Is i greater than -0.06?
True
Let l(z) = 2*z**2 + 26*z + 13. Let u be l(-8). Is u greater than -63?
False
Let o(m) = -m**2 - m + 1. Let w(y) = 2*y**2 + 13*y + 10. Let i(f) = o(f) + w(f). Let a be i(-11). Suppose d = 13*d - 60. Is a equal to d?
False
Suppose 5*d - 2*d = 4*u + 70, -4*d = 5*u - 83. Is 18 at most as big as d?
True
Let b = -4054/39 + 298/3. Which is smaller: b or -3?
b
Let n(o) = -o + 4. Suppose -6 = -t - 3. Let d be n(t). Are -2/17 and d non-equal?
True
Let o(s) = -s**2 - 6*s - 4. Let z be o(-5). Suppose 79 = -42*i - 5. Which is smaller: z or i?
i
Let h = -382 - -382. Which is smaller: -4/43 or h?
-4/43
Suppose -3*y + 12 = 0, -2*y + 112 = 3*f - 259. Is f > 121?
False
Let o = 19 + -18.6. Let a = -0.8 + o. Let r = a + 0.2. Is 4/3 > r?
True
Let p = 4 - 4. Let u = -11 - -15. Suppose p*h = -u*h. Which is smaller: 1 or h?
h
Let b be (-190)/10 + (1 - 0). Let k = 22 + b. Is 23/6 greater than or equal to k?
False
Let n = -12 + 16. Suppose n*o - 12 = 2*v, -4*v - v - 3*o = 17. Is -14/5 bigger than v?
True
Let m(r) = r**3 - 8*r**2 + 8*r - 3. Let w be m(7). Let j be 2/w - 2/(-4). Let h = -18 + 73/4. Which is smaller: j or h?
h
Let f = 37.48 - 37. Let i = -21.48 + f. Let z = -20.94 - i. Which is smaller: -0.1 or z?
-0.1
Suppose 16 = -6*b + 2*b. Let j = -4 - b. Let v be 1 - (-2 + j) - 1. Are v and 2 equal?
True
Let g(h) = 8 + 0 + 0 + h + 6. Let m be g(-11). Which is smaller: m or 2?
2
Let c = 0.539 - 0.339. Are c and -47.4 equal?
False
Suppose 10 + 10 = -4*i, 0 = -2*x + i - 25. Which is greater: x or -11?
-11
Let q(v) be the first derivative of -v**3/3 - 3*v**2 + 7*v + 20. Let o be q(-7). Which is bigger: o or 3/19?
3/19
Let p be (364/(-40))/13*8. Is -7 equal to p?
False
Let d = -0.084 - -10.084. Let b = -14 + d. Let c = 0.5 + -2.5. Which is bigger: c or b?
c
Let y be (-5)/((-5300)/743948) - 11/(-55). Suppose 3*c + 2*m = -m - 2103, 0 = -4*m + 4. Let g = c + y. Are -1 and g equal?
False
Let q(n) = -n**3 - n**2 + n + 20. Let g be q(0). Let t(m) = -m**3 + 4*m**2 + 5*m - 2. Let s be t(4). Which is bigger: s or g?
g
Suppose -4*c - 17*c = 105. Let x(i) = -2*i + 4. Let b be x(-3). Suppose b = -6*z + z. Is z less than or equal to c?
False
Let k = -2875.6 - -2876. Which is greater: k or -304?
k
Suppose 0*r = -2*r. Let x be r*(-1 - 1 - -3). Let u be 12/(-6) + 58/28. Is x greater than u?
False
Suppose 2*m - 2 = -q, 5*m + 4 = q + 9. Is 1/428 at least as big as q?
True
Let o = -8382 + 1617718/193. Is o equal to 1?
False
Let s be (-2 - -2)/(1 + -2). Let k = 31 - 1273/41. Is k at least s?
False
Suppose -4*u + 5*u + 5*r = 16, -2*u - r + 14 = 0. Suppose 2*m = 5*m + u. Let i be 18/48*m/(-15). Is 0 less than i?
True
Let u be (-4 - -7)*-1 - -3. Suppose -2*o - o - 30 = u. Let b(w) = w**2 + 12*w + 21. Let i be b(o). Which is greater: i or -1/35?
i
Suppose 5*m - 1 = 4. Let y be 12/10 + 784/(-620). Which is greater: y or m?
m
Let q(z) = -40*z**3 - 1. Let m be q(-1). Let f be 6/(-1)*(-2832)/m. Let x = f + -436. Is x less than -1?
False
Let d = 11 + -5. Let h(w) = -8*w + 2*w + 4*w + w - 10. Let n be h(-17). Which is smaller: d or n?
d
Let w = -11/2 - -35/6. Suppose -2*m = -55 - 27. Suppose 0 = m*o - 36*o. Which is smaller: w or o?
o
Let q be (2 - 5)*(-7)/3. Let k = 7 + q. Let g = -9 + k. Is g greater than or equal to 6?
False
Let r be ((-1)/12)/(5/((-45)/3)). Which is greater: 98 or r?
98
Let z = 307 + -1252. Is 1 > z?
True
Let k = 0 - 4. Let l(i) = i**2 + 3*i**2 - 4*i + 3 - 6*i**2 + i**2. Let t be l(k). Which is bigger: 1 or t?
t
Let s = 41/2 + -21. Suppose -3*o - 3*g = 12, -16 = 5*o - g + 5*g. Is o less than s?
False
Let v = 742 + -742. Let c be (-25)/(-15) + 2*-1. Which is bigger: c or v?
v
Let h(a) = a**3 - 3*a**2 - 8*a + 7. Let u be h(5). Let y = 23 - u. Is y bigger than -1?
True
Let y be (-358)/700 - 3/(-6). Which is bigger: y or 1?
1
Let h be (4 + -5)*1*(0 - 0). Which is smaller: 7/82 or h?
h
Suppose l = 7 - 6. Let i be (-1)/(l + 16/(-12)). Suppose 1 = i*g + 4. Which is greater: g or -2?
g
Let c = 0.95 + 48.05. Let n = 46.9 - c. Let h = -2.1 - n. Which is smaller: -1 or h?
-1
Let i = -0.17 - 0.17. Let j = i + 13.34. Let m = j + -12.9. Is -4 greater than or equal to m?
False
Let g = -141 + 919. Is 777 < g?
True
Let k be (-12 - -1)/(2/(-4)). Suppose -5*u - 15 = -5*n, 2*n = 4*n + 5*u + k. Let f be 4/(-14) - 12/(-35). Which is smaller: f or n?
n
Suppose -2*z = -4*h - 226 - 244, -1223 = -5*z - 2*h. Let u be 2 + z/7 - (-2)/7. Is 36 equal to u?
False
Let y(q) be the third derivative of q**6/40 + q**5/60 + q**2. Let h be y(1). Suppose -r + 5*r = h. Which is smaller: 0 or r?
0
Let y = -2097/16 - -131. Let g = -49 - -49. Which is smaller: y or g?
y
Let x = 48 - 14. Suppose 31*s + 9 = x*s. Are 4 and s nonequal?
True
Let v = -0.309 + 0.109. Which is greater: -27 or v?
v
Let l(v) = v**3 + 4*v**2 - 34*v