 be ((-23)/12 - -2) + (-116721)/972. Do j and -359/3 have the same value?
False
Let q = -20 - -22. Let u be ((-2 - -3) + 17)/q. Let g be (13/156)/(2/u). Which is bigger: g or 0?
g
Suppose 2*t - 14 - 6 = -z, 5*t = -z + 29. Let q be 128/(-140) - ((-16)/z)/(-4). Which is greater: q or -1?
-1
Let u = -252 + 138. Let a = -101 - u. Which is bigger: a or 14?
14
Let r = -11 + 13. Suppose 3*s = -5*m + 13, -2*s - 3 = -7*s + m. Which is smaller: r or s?
s
Let c = 0.82 - 67.82. Which is smaller: 0 or c?
c
Suppose 5*c = -0*c + 45. Suppose 0 = 3*w - 3*o + c, -5*o - 16 = 3*w - 47. Suppose w*v - 4 - 2 = 0. Which is smaller: v or 3/2?
3/2
Let t = 7.6 + -2.2. Let u = t - 11. Let r = -1.4 + u. Which is greater: r or -0.2?
-0.2
Suppose -3*n + 45 = u, 45 = 3*n + u + 2*u. Let d be 6/(-4)*(-10)/n. Let x be (-2 + 174/93)/2. Is d less than x?
False
Let s(h) = -h**3 - 22*h**2 + 45*h - 73. Let a be s(-24). Which is greater: -19/37 or a?
-19/37
Suppose -2*d - 5*c = -5*d - 38, -5*c = 5*d + 90. Suppose 0 = -8*f + 6*f - 38. Let u = f - -4. Is u greater than d?
True
Suppose 7*q - 33 = 4*q. Let x = q - 22. Suppose 2*d - 16 = 2*l - d, 4*l = -2*d - 48. Is x at most as big as l?
True
Let p be (-84)/46*2/4. Let o = -857/989 - p. Suppose -46*q = -41*q + 5. Is q >= o?
False
Let i(c) = -c**3 + 11*c**2 + 26*c - 18. Let n be i(13). Let p(o) = -o**3 - 17*o**2 + 19*o - 23. Let h be p(n). Which is smaller: h or -40?
h
Suppose 3*t - 13158 = -3*r, -2*t = 4*r - 4*t - 17562. Suppose -5*o + r = 699. Let h be (3/(-1))/(o/12). Is h >= -1?
True
Suppose -3*w - a = -2*w - 15, -5*a - 37 = -3*w. Suppose 0 = w*t - 13*t. Is 7 >= t?
True
Suppose 0 = -4*m - 3*z + 340, 4*m + 2*z - 336 = -0*m. Suppose 0 = 4*p + 50 + m. Let o be (2 - 0)*p/(-6). Is o less than or equal to 2/3?
False
Suppose -2*q - u + 4 = 0, -2*q = -4*q - 5*u - 12. Suppose 5*o + 2*i = 136, -i - 4*i = -q*o + 89. Does o = 26?
True
Let t = -334 - -2003/6. Which is bigger: -1/2 or t?
t
Let i be ((-3)/(-5))/((-66)/15 + 4). Let n be 1*-1 - 12/12. Which is greater: n or i?
i
Suppose 5 = 3*n + 11. Let s(b) = -2*b**2 + 2*b + 4. Let i be s(3). Let u be (7/i)/(9/12). Is u bigger than n?
True
Let j = 11.02 + -14. Let z = 3.4 + j. Let w = 0.2 - z. Which is greater: w or 1?
1
Let b = 1556 + -57568/37. Let g be (271/(-444)*-2)/(7/14). Let n = b - g. Which is smaller: n or 2/7?
n
Let w = 59 - 58. Let r = -6341/15 + 423. Is w < r?
False
Let a be (3/(-2472))/(1*(-1)/(-6)). Are 0 and a equal?
False
Suppose -2*n - 3*l - 104 = -l, 0 = 2*n - 2*l + 120. Are n and -51 unequal?
True
Suppose -2*a = -4*m - 228, -m + 2*m = 3*a - 317. Suppose -3*v + w + 113 = 0, 3*v - 2*w = a + 8. Is 39 <= v?
False
Let k = -113 - -112. Is 16/33 not equal to k?
True
Let d = 0.04 - 1.04. Let p = d + -0.9. Let l = 0.8 + p. Which is greater: l or 2/3?
2/3
Let c = -1632 + 1632. Is 3/106 greater than c?
True
Let h(y) = 2*y**3 - 2*y**2 + 1. Let i be h(1). Let s be ((-14)/10)/(1/(-236)). Let w = s - 329. Are w and i nonequal?
True
Let c(a) = -4*a**2 + 22*a - 179. Let w be c(8). Which is bigger: w or -261?
w
Suppose -4 = 17*u + 81. Is -4 < u?
False
Let k be -1 + 5/15*201. Let m = 28 - k. Let r = m - -54. Which is smaller: 17 or r?
r
Let t = -37.7 - -2.7. Is -0.1 < t?
False
Let m = 42.27 - 42. Let a = m + -0.37. Which is smaller: 0.3 or a?
a
Let j be ((-22)/(-20548))/((-3)/(-3 + 9)). Which is greater: j or 1?
1
Let h = 0.8 + 0.7. Let l = -2.8 - -1.4. Let f = h + l. Which is bigger: -9 or f?
f
Suppose -5*m = -2*h - 65, 5*h = 2*m - 101 - 30. Suppose 0*x = x + 26. Which is bigger: h or x?
h
Let c = 26695/13656 - 47/24. Let h = c + 1400/74539. Is 1 equal to h?
False
Let a(g) = -9 - 3*g - g + 2*g. Let j be a(-6). Suppose 0 = -o + 2*u + 3, -u + 0 = 2*o + 4. Are j and o equal?
False
Let x be 7/28 - (-39)/4. Let r = x - 8. Let f = r + -12. Is f at least as big as -11?
True
Let l(m) = 4*m - 17. Let i(j) = -3*j + 16. Let g(u) = 5*i(u) + 4*l(u). Let a be g(-12). Suppose x - 5*t + 15 = -a*x, 2*x + 6 = 2*t. Which is smaller: x or 1/4?
x
Let t be (-1428)/(-855)*3 - 50/10. Which is bigger: 1 or t?
1
Let l be (-55)/(-15) - 5/(-15). Suppose 0 = 5*y - o + l, -y + 11 = 3*o - 1. Which is smaller: y or 1/3?
y
Let t = 778 - 776. Let p(r) = r + 1. Let b be p(4). Which is smaller: b or t?
t
Suppose 41 = -6*i + 17. Is -1 <= i?
False
Suppose 4*x - 5*x = 2*m - 59, -53 = -2*m + x. Is m <= 134/5?
False
Let p = 92/5 - 4309/235. Let s = p + -861/235. Which is bigger: -3 or s?
-3
Suppose 0 = 2*l + l - 6. Suppose 5*w + h + 3 = l, -5*h = 2*w + 5. Are -2/15 and w equal?
False
Let i be 2 - (-4 - (-78)/15). Let z = -3.004 - -0.004. Is z less than or equal to i?
True
Let b(q) = q**2 - 8*q - 4. Let t be b(7). Let m = -1478/147 - 30/49. Which is greater: t or m?
m
Let u be 8*((-10)/(-4) + -1). Suppose -56 = 7*r + 21. Let i = u + r. Which is smaller: i or 1/8?
1/8
Let f = 0.6 - -7.2. Let g = 7.02 - f. Let c = 0.22 - g. Which is greater: -0.29 or c?
c
Let b = 10 - 7. Let f = 8 + -10. Let r = f + b. Which is bigger: -1/9 or r?
r
Let l = -65/77 + 14/11. Do l and 15 have different values?
True
Let n(a) = -a**3 + 5*a**2 - 4*a - 3. Let l be n(3). Suppose -3*u - 5*r = -7*u, 8 = 2*r. Let o = 8 - u. Is l at least as big as o?
True
Let j be 2/(24/(-8)*4/6). Let f be (4 - 5)*(6 + j). Which is smaller: -8 or f?
-8
Let z = 299 - 299.2. Which is greater: z or 27?
27
Let s be (128/24)/(2/6). Let k = -14 + s. Let b be (-1)/(6/8 + k). Is 1 > b?
True
Let j be 1/((3/(-9))/(-1)). Let r be j - (-1 + -2 + -3). Suppose 5*t + 40 = r*t. Is t not equal to 10?
False
Let v = -0.12 + 0.09. Let y = v - 0.11. Let u = 0.24 - 0.34. Which is smaller: u or y?
y
Let x be (-4)/(8/105)*(-6)/5. Which is greater: 67 or x?
67
Let f be 1 - 0 - 26/(-13). Suppose f*u + 385 = -2*u. Let b be -1 + 4 - u/(-21). Are b and 1 equal?
False
Suppose 3*h - 552 = -h - z, 4*z = 0. Let l be (h/(-12))/(1/(-2)). Which is smaller: 24 or l?
l
Suppose -2*k = -2*r - 3604, r - 158 + 1956 = 2*k. Does r = -1806?
True
Let n = -3 - -2. Suppose -5*y - 125 - 160 = 0. Let r be 2/(-4)*6/y. Which is smaller: r or n?
n
Let z be -5*(-2)/15*-3. Let l be (-130)/(-40) - z/(-8). Which is smaller: l or -4?
-4
Suppose -35*m + 79 + 75 + 56 = 0. Let z be (2/(-12))/((-2)/(-3)). Which is bigger: m or z?
m
Suppose 4*t - 709 = -2*x + 3*x, x - 3 = 0. Is t < 179?
True
Let w be 4/6 + (-100)/6. Let b be (-15)/10*w/18. Let p(x) = 9*x + 2. Let a be p(0). Which is greater: a or b?
a
Let j = -53/5 - -11. Let g = 9 - 8. Which is bigger: g or j?
g
Suppose -6 = -2*n + 6. Suppose 4*f + 5*b - 6 = 30, -f = -b. Suppose -r + 25 = f*r. Which is bigger: r or n?
n
Let s = 10 - 1. Let m = s - 1. Let t = -78.1 - -78. Which is bigger: t or m?
m
Suppose q - 4*q - 4*y - 4386 = 0, 5848 = -4*q + y. Is -1463 greater than q?
False
Let d = -8 - -10. Let l be 2*-2 - (-72)/16. Is l bigger than d?
False
Let j = 1006 + -1010. Let g be 1/5 - 198/40. Is j < g?
False
Let q be 1/1*(0 + 1)*3. Suppose m + 3 = q. Which is bigger: -2/11 or m?
m
Let a = 31 + -33. Which is smaller: -10/9 or a?
a
Let g = -4 + 4. Let d = -4 + 9. Suppose g = i + u - 5*u - 13, 5*i - d = 5*u. Which is bigger: -4 or i?
i
Let r(l) be the third derivative of l**6/360 - 3*l**5/40 + l**4/8 + l**2. Let c(k) be the second derivative of r(k). Let m be c(5). Is m less than 0?
False
Let c = -20 - -28. Let l be (-3)/150*(-4 + c). Let p(m) = -m - 1. Let g be p(-1). Which is greater: g or l?
g
Let u be -6*(-7)/(-56) + (-33)/(-36). Let z = -8 + 7.7. Which is smaller: z or u?
z
Let t be (-7641282845)/2900 - (-1 - 0). Let j = t + 2634925. Let x = j - 19/20. Are x and 1 non-equal?
True
Let n(r) = -2*r**2 - 32*r - 45. Let c be n(-12). Is c not equal to 53?
True
Let o = 31 - 29. Let v be ((-68)/8)/(1/o). Is v at least -17?
True
Let o = -3 - -9. Suppose 22 - 10 = o*m. Suppose 3*d = -m - 1. Is 1/12 > d?
True
Suppose 58*q - h = 63*q - 564, 228 = 2*q - 2*h. Are 2/9 and q non-equal?
True
Let h = -0.275 - -0.3. Let v = h - 5.225. Let y = 0.8 - v. Which is smaller: y or -2/7?
-2/7
Suppose 15*v - 767 = 1648. Is -1 at least v?
False
Let c = 6.9 - 4. Let p = -10 + 7. Let o = p + c. Is o not equal to -2?
True
Suppose 13*m - 21*m = 120. Which is smaller: -10 or m?
m
Let g = 56.3 - 55.3. Which is smaller: g or -66?
-66
Let v = 81 - 50. Let l = v - 30.9. Is l at least as big as 7?
False
Let t(z) = -z + 29. Let o 