188 + -180). Do i and w have different values?
True
Let l = -750 - -750. Which is bigger: l or -1271?
l
Let t = 23.068 + -23. Let p = t + 0.132. Which is greater: -0.11 or p?
p
Let m(v) = v**2 + 0*v**2 - 2*v - 2*v. Let q be -28*(-3)/24 - (-2)/4. Let p be m(q). Which is smaller: 1 or p?
p
Let c = 104 + 96. Is c not equal to 200?
False
Let h = 25 - 22. Suppose -d - 2*p = 31 - 8, -d + 3*p - h = 0. Do d and -15 have the same value?
True
Let j be (35/14 - 5)/((-3)/(-24)). Which is bigger: -101/5 or j?
j
Let y(m) be the first derivative of -m**2/2 - 3*m + 2. Let h be 2/(-2)*(4 + 3)*1. Let n be y(h). Is n at most as big as 4?
True
Let z = 17 + -12. Suppose 3*g - 4*k - 2 = 0, z*g - 5*k - 6 + 1 = 0. Suppose -g*l = 4*d, d + 2*d + 4*l = -10. Is d != 3/2?
True
Let f(p) = 6*p**2 - 22*p + 11. Let t be f(4). Which is bigger: 30 or t?
30
Suppose 5*z + 115 = -115. Let r = z - -39. Is r at most 3?
True
Let k = -19508 + 390477/20. Let q = k - 16. Is 0 at least q?
True
Let y(v) = 2*v**2 - 6*v - 417. Let s be y(-13). Suppose -3*g + x + 200 = 0, -3*g + 157 + 45 = -2*x. Which is bigger: s or g?
g
Suppose -9*w + 12*w + 78 = 0. Are w and -22 non-equal?
True
Suppose -58*s = -65*s - 21. Is 98 >= s?
True
Let i = -28 - -46. Suppose 0 = -11*o - i + 7. Which is smaller: -7/6 or o?
-7/6
Suppose -4*d + 13 = 5*n, -18 = -n - d - 15. Which is smaller: -2/1791 or n?
-2/1791
Let i be (2 - 133/2)/(135/270). Is i != 1?
True
Let t(s) = -6*s + 9. Suppose 11*v - 30 = 9*v. Suppose -v = -8*c + 3*c. Let k be t(c). Which is smaller: k or -10?
-10
Suppose 3*x + 9 = -5*p, p + 9 = 2*x + x. Suppose -x*a - a = 2*a. Do 0 and a have different values?
False
Let o = -31 + 54. Suppose 5*c = -37 - o. Let n be (9 + 0)/(-1) + -2. Which is smaller: n or c?
c
Let a be 1 - 1/(-4)*-5. Let p(u) = -u**3 - 36*u**2 + 114*u - 117. Let f be p(-39). Which is greater: f or a?
f
Let w = 2/3605 - -14122/537145. Is w less than 0?
False
Let s(v) = -v**3 + 5*v**2 + 16*v - 14. Let j be (-3 - 4/4) + 11. Let t be s(j). Which is smaller: 2 or t?
t
Let n be (-6 - -1 - -4)*2/(-11). Let x be (-1)/4 - (0 + (-45)/(-12)). Which is greater: n or x?
n
Let o(p) = -2*p + 2. Let z(s) = -s - 1. Let c(a) = o(a) - z(a). Let q be c(0). Suppose -10 = -q*r - 1. Is 4 at most r?
False
Let i be (-7)/((-21)/(-6)) + 322. Suppose 604 + i = 3*j. Let r = 595/2 - j. Which is smaller: -10 or r?
r
Suppose 471*o - 468*o + 381 = 0. Is -128 < o?
True
Let h = -68289/38234 + 1/2731. Which is smaller: h or -3?
-3
Let v = 2189.937 - 2191. Let u = v - -0.063. Which is greater: 0.61 or u?
0.61
Let w = -264.53 + 253.489. Let j = -0.041 - w. Which is smaller: j or -0.1?
-0.1
Let p(r) = r - 26. Let t be p(29). Suppose -5*q - t = -4*k - 18, 2*k = 5*q - 5. Is 10/29 <= q?
False
Suppose -13*a + 4*h - 16 = -12*a, 4*a + 20 = 5*h. Is 3/1513 at least a?
True
Suppose w - 4*w + 36 = 3*x, 4*w - 42 = -x. Let l be 4/w - (-104)/65. Let y be l - (-3)/(-1 + -2). Are 0 and y non-equal?
True
Let a(q) = q**2 + 5*q - 14. Let x be a(-7). Suppose x = -5*d + 15, 0*l + 4*l - 3*d - 11 = 0. Are l and 40/9 equal?
False
Let o be 0 + 286/14 - -1. Let n = -419/14 + o. Is -1 less than n?
False
Let h = 0 - -8. Suppose 7*b = 3*b - 72. Let m = b - -17. Which is smaller: m or h?
m
Let n(w) = -3*w - 43. Let v be n(-13). Which is smaller: -18/5 or v?
v
Let p be (-36)/14 + (140/10 - 11). Which is smaller: 9.9 or p?
p
Let g = 26992 + -26907.945. Let u = g + -0.055. Which is smaller: u or -2/5?
-2/5
Suppose -3*k - 1 = -10. Suppose 0 = 7*x - 200 + 193. Which is bigger: k or x?
k
Let r be 2 + (-644)/(-16) - 2/8. Suppose r = 3*h + 3. Are 3 and h nonequal?
True
Let x be (10/(-16))/(5/(-6)). Let p = -11.02 - -11. Which is smaller: p or x?
p
Let c = -242/5 - -48. Let w = 10 + 0. Let h = 0 + w. Is c at most h?
True
Let n = -1.62 + 4.62. Suppose 17*z - 20*z + 6 = 0. Is n greater than z?
True
Let t = -33 - -499/15. Are t and 0 equal?
False
Suppose -3*j + 7*j = -2*l + 106, -3*j - 2*l + 82 = 0. Suppose 0*f - j = 4*f. Which is greater: f or -4?
-4
Let v = 0.39 - -0.11. Which is smaller: -62 or v?
-62
Let y(x) = 2 + 4 - x + 0. Let p be -3*(-15)/9 - 1/1. Let i be y(p). Is i at most 4/7?
False
Let a = 22 + -18. Let t(q) = -q**2 + 4*q + 1. Let p be t(a). Suppose 3*l = 5*u + 6, 3*u = l - p - 1. Is l smaller than 2?
False
Suppose 3*p - 2*n = 282 + 11, 388 = 4*p - 2*n. Suppose -5*k = 35 - p. Let v be (-10)/(-30) - (-2)/k. Which is bigger: v or 2/7?
v
Suppose -5*z - 13 + 3 = 0. Let a be ((-24)/20)/((-9)/6). Is z less than a?
True
Suppose 2*w - 13 = 5*s, -8 = -w - s - 5. Which is greater: w or -4?
w
Let a be (-2)/564*-4*-3. Let i = -235 - -235. Is a less than i?
True
Let m = -3201/7 + 456. Let a = -1/219 + 74/219. Is m bigger than a?
False
Suppose -3*p = 2*p + 10. Let k(a) = 14*a**3 + 2*a + 2. Let j be k(0). Which is smaller: j or p?
p
Let b(x) = -x**3 + 10*x**2 + 10*x - 11. Let w be b(11). Let k be w/(-24) + 5/(-20). Let g = -3.3 - -3.2. Which is greater: g or k?
k
Let t(h) = -4*h**2 + 5*h + 2. Let l be t(4). Let x = 471 + -512. Which is smaller: x or l?
l
Let i be ((-30)/85)/3 + 210/3519. Which is bigger: i or -1?
i
Let y(v) = 8*v - 12. Let w be y(0). Let d be 0 - ((-2)/(-14))/((-6)/w). Which is greater: d or 1?
1
Let t be -205 - -207 - 64/18. Which is smaller: t or 2/5?
t
Let v be -2*(-6)/16*242/6. Which is greater: 1 or v?
v
Suppose 3*v - 3*s = 7*v - 1773, 3*v - 1336 = 4*s. Are v and 444 unequal?
False
Let r be (2 - 5 - -5)/(1/(-46)). Are -95 and r non-equal?
True
Let k be -4*(-3 - (-12004)/4048). Let f = -27/8 + 629/184. Let y = f + k. Which is smaller: 0 or y?
0
Let m be ((-12)/(-22))/3 - 186/(-66). Suppose m*i - 1 = 35. Let d = 104/3 - 35. Which is smaller: i or d?
d
Let f be (267/4)/(12/24). Which is smaller: f or 133?
133
Let h = -12 - -1. Let n = -8 - h. Suppose -5 = n*z - 11. Is z at most 4?
True
Let f be 6*2*2/(-8). Let l be 3/7 - f/(-7). Let q = -61/3 - -424/21. Which is smaller: l or q?
q
Let o(y) = y**3 - 12*y**2 + 46*y + 19. Let r be o(9). Are 952/5 and r non-equal?
True
Suppose -b - 6 = u, -14 = 2*u - u + 5*b. Let p be 16/u + 2 - -3. Is 4/35 smaller than p?
True
Let b be (40/(0 - 1))/(18/27). Let j = -119/2 - b. Let k be 4/(-12) - (-2)/6. Does j = k?
False
Let x be ((-8)/5)/(-4)*5. Suppose -34 - 4 = -19*k. Are x and k unequal?
False
Let x = 34 - 41. Is -5 at most x?
False
Let m(v) = v**3 + 10*v**2 + 6*v - 1. Let u(n) = 4*n**3 + 31*n**2 + 17*n - 3. Let a(g) = 7*m(g) - 2*u(g). Let z be a(9). Let i be 0*(-2 - z/4). Is i < 1/2?
True
Let m(a) = a**2 + 1. Let d be m(1). Suppose -d = -2*p + 6. Let g be p/(-3)*(-12)/(-8). Is g at least as big as -2?
True
Suppose -5*i = 2*q + 7, q + 2*i = -q + 2. Let r be (q/((-2)/1) - -2)/(-3). Is -1/41 >= r?
False
Let a(k) = -k**3 + 7*k**2 - 5*k - 5. Let x be a(6). Let f = x - -1. Suppose 3*o = 3*w, -2*w + 6*w = 0. Is o equal to f?
False
Let v(p) = p**3 + 5*p**2 + 6*p. Let f be v(-3). Are f and 2/1031 equal?
False
Let m be 6/((-6)/63 + 0). Let h be ((-9)/m)/(-1 + 0). Let r = 6 - 5. Which is smaller: h or r?
h
Let k = -184 + 192. Is -10 at most k?
True
Suppose -3*t = a - 0 - 2, -3*t + 3 = 0. Let g be (-5 - -4)*(-1)/275. Let q = g - -527/6325. Which is smaller: q or a?
a
Let v = -10.2 - 1.8. Let t be (27/3 - -1)/(8 - 10). Which is smaller: v or t?
v
Suppose 4*p + 5*v = 11, 12*v - 6 = 3*p + 11*v. Is -3/34 less than p?
False
Let v = -1 + 5. Suppose -237 = -2*b - t, -4*b + 0*t + 472 = v*t. Let i = b - 223/2. Does 8 = i?
False
Let p be (-634)/6 + 2/3. Let u be (-6 + p/(-18))*(-2)/(-3). Is u less than or equal to 0?
True
Suppose 31 = 45*f - 14. Let a be 4/(-70)*(-6 - -5). Is a at most as big as f?
True
Suppose x - 25 - 4 = -4*y, -2*x + 48 = 3*y. Let f = x + -21. Is f >= -2/203?
True
Let k = -397/5 - -81. Let v(q) = q**3 - q**2 - 4*q + 7. Let f be v(2). Which is smaller: k or f?
k
Let k = -7 - -8. Let y = k - 1. Let x = -4 + y. Which is smaller: x or 4?
x
Let h = 1185 + -1169. Suppose 5*f - 67 = 4*t, 0*f = -f - 2*t + 19. Is h at most as big as f?
False
Let q = -7731/19 - -407. Let i be ((6/2)/1)/1. Suppose 0 = 3*b - i - 0. Which is smaller: b or q?
q
Let n = 794 - 167. Which is bigger: 1 or n?
n
Let j(w) = -w. Let b be j(-1). Let y = -72 + 323. Let i = -4013/16 + y. Do i and b have the same value?
False
Let f = -69 - -72. Suppose -4*n + 14 = -5*s, 2*n - 3*n + f*s = -7. Which is sma