 at least as big as t?
False
Let p be -3*60/189 - -1. Let y(a) = 4*a**3 - 5*a - 5*a**3 - 2*a - 2 - 7*a**2 - 3. Let i be y(-6). Is i at least p?
True
Let p = -11/14 - -23/56. Let b = -2 + 6. Suppose 3*v + 1 = b*v. Are v and p non-equal?
True
Let n(p) = -p - 14. Let c be n(-8). Let x be -6*((-17)/c + -3). Do -1 and x have different values?
True
Let b = 2.708 + -0.008. Let g = 2.7 - b. Which is smaller: 8 or g?
g
Let n = -3 + 2. Let r(g) = -19*g + 2. Let q be r(-1). Let t be (-48)/q*2/8. Is t equal to n?
False
Let j be ((-98)/8)/(2/(-8)). Suppose 3*i - 46 + j = 0. Are -8/23 and i non-equal?
True
Let d(i) = i + 22. Let v be d(5). Suppose -4*x - c + 51 = -53, -4 = -c. Is x smaller than v?
True
Let g(y) = y**3 + 6*y**2 - 11*y - 15. Let k be g(-6). Which is bigger: k or 50?
k
Let j be 1 + (-10)/(-8) - (-3 + 0). Which is bigger: 5 or j?
j
Let j = -7 - -13.3. Let p = j + -6.2. Do p and -43 have different values?
True
Let v = -6695/326 - -6/163. Which is greater: -21 or v?
v
Let m(y) = -2*y**2 + 43*y - 218. Let n be m(15). Let k(f) = -f**3 - 7*f**2 - 5*f + 1. Let c be k(-5). Which is smaller: c or n?
c
Suppose b + 7 = 3*f + f, 2*b - 4*f + 6 = 0. Let i be (8/(-288))/(b/322). Let q = 4/9 + i. Is -0.1 less than q?
False
Let v = 2.36 + -2.06. Is v != -43?
True
Let x(o) = 24*o - 60. Let w be x(4). Is 1/2 >= w?
False
Suppose 6*s = 2*u + 4*s - 70, -u = -2*s - 31. Let j be (22/6)/(2/22). Let a = u - j. Which is bigger: a or -1?
-1
Let z be -3*(-2)/3 + -1. Let b be ((-93)/(-12) - 1)/(12/z). Is b at least 1?
False
Let g be (-18)/(-5) + (-21)/35. Suppose -24 = -g*c - 0*c. Is -1 equal to c?
False
Let f = -12.83 - 0.17. Let a = -13.7 - f. Let n = -0.2 - 0.8. Is a less than n?
False
Let p(k) = -k**2 + k - 2. Let n be p(0). Suppose 3*x = -4*q + 44, 2*q + x = 5*x. Suppose -q = 4*m - 0. Is m smaller than n?
False
Let m = 4.4 - 0.4. Let d = 738 - 738. Let y = d + m. Which is smaller: y or -0.2?
-0.2
Suppose 0*q - 4*q + 2*i + 40 = 0, 3*q - 4*i = 20. Are 14 and q unequal?
True
Let d be 31 - ((-18)/(-6) + -12 + 4). Let m = 87 + -51. Is d at least as big as m?
True
Let t = -95.7 + 112. Let h = t + -14. Does h = -1/2?
False
Suppose -43 + 7 = 3*a. Let m be (a - -7) + (2 - -1). Which is bigger: -10/11 or m?
-10/11
Let u = 1/743 + -3723/5944. Suppose 5*l - 5*s - 10 = 0, -4*s + 10 = 4*l - 14. Suppose -w + 2 = l. Which is smaller: u or w?
w
Let c(k) = -k**2 - 6*k + 27. Let s be c(4). Which is greater: s or -9?
-9
Let j be (-124)/(-16) - 3/(-12). Suppose -4*k = -6*k + j. Suppose 5*r = -k*c, 0 = -3*c + 5*r - 10*r. Is c at least as big as -4/7?
True
Let u be 1/((-12)/(2 + 0)). Let w be (-63)/(-84)*((-2)/(-9) - 0)*0. Which is bigger: u or w?
w
Suppose 8*f - 77*f = 345. Let i(w) = -w**2 - 5*w - 6. Let a = -3 - 2. Let g be i(a). Which is smaller: g or f?
g
Let f = -1/66 - -47/924. Which is greater: 10 or f?
10
Let o = 0.408 - 3.408. Let c be (-8)/82*(-1)/(-2). Is o != c?
True
Let j be (110/(-11) - -9)/(7/(-2)). Which is smaller: -101 or j?
-101
Suppose -30*l + 12*l + 3402 = 0. Are l and 193 unequal?
True
Suppose 0 = -3*a + x, a - 2 = -x + 2*x. Which is bigger: 1/30 or a?
1/30
Let j(v) = v**2 + 2*v - 4. Let z be j(4). Suppose -5*f + z = 0, -16 + 4 = -2*s - 2*f. Suppose 0 = 3*x + s*x + 5. Is x less than -2/17?
True
Let q = 1.1 - 2. Let c = 1.1 - q. Let t = 2 + -2. Is t greater than c?
False
Let c be (-38)/(-18) - 8/72. Suppose -c*x + 0 = 3*y + 6, 4*x = 2*y + 20. Let d be (3 + y - -3)*-5. Which is greater: d or -8?
-8
Let s(d) = d**2 + d + 8. Let h be s(-2). Which is bigger: -12 or h?
h
Suppose -7*o + 8*o = -5*n + 14, -2*n + 1 = 5*o. Let m = 1 + -2. Is n at most m?
False
Let b = -11 + -1. Let l = -83 - 5. Let p = 88 + l. Which is greater: b or p?
p
Let r = -42 - -46. Suppose -5 = -5*m + 2*o + 3, -r = o. Is m at most 2/49?
True
Let u = 7.3 + -2.8. Let i = u + -8.5. Is 1 bigger than i?
True
Suppose t - 10 = 2*c, -c + 5*c = 4*t - 32. Are -9 and t equal?
False
Let u be (-22)/(-11)*4/24. Which is bigger: u or 1?
1
Let a(b) = 107*b - 9. Let i(s) = -36*s + 3. Let n(w) = -2*a(w) - 7*i(w). Let r be n(-1). Which is smaller: -40 or r?
r
Suppose 2*s = 3*n + 9, 2*n + 6 = s + 2*s. Is 4 < n?
False
Let i be (-258)/301 + 1734/14. Is i less than or equal to 123?
True
Let p be (2/(-1))/(7/637). Let g be 10/(-65) - 41/p. Is 1 at least g?
True
Let j be 4/(1/((-135)/10)). Let o = j - -28. Which is smaller: o or -28?
-28
Let y = -236 - -355. Is 118 less than y?
True
Let g = 22394/5 - 4382. Which is greater: g or 97?
97
Let f = -3/148 + 3239/74. Let m be 6634/76*1/2. Let n = f - m. Is 0 equal to n?
False
Suppose -r = -3*l + 4*l + 15, -3*r - 38 = -4*l. Let w be (-2 + 9/6)*r. Suppose 3*p + 12 = w*p. Which is bigger: 5 or p?
5
Let i = -5 + 20. Let n be 10/(-4)*6/i. Which is bigger: -0.29 or n?
-0.29
Let d be 7/((-84)/108) - -3. Let q(x) = x**3 + 7*x**2 + 6*x - 8. Let k be q(-6). Is k <= d?
True
Let m be (861/(-4))/((-225)/(-3320)). Let q = m + 927439/255. Let v = -461 + q. Which is smaller: 0 or v?
v
Suppose 4*r + 1124 = 3*q, -5*r - 357 - 1143 = -4*q. Suppose 5*a = 9*a - q. Which is smaller: 96 or a?
a
Let y be ((-1)/2)/((-3)/108). Let s be (-2)/2 + 42/y. Let z = s - 0. Are 1 and z nonequal?
True
Let k = 225 + -225.1. Which is bigger: 70 or k?
70
Let q be (303/(-42) - -7)/(-3). Which is smaller: q or -1?
-1
Suppose -5*u = -11*u. Does u = -2/35?
False
Let l = -178 + 179. Which is greater: -22/19 or l?
l
Let w = 373 + -373. Which is bigger: w or 8/57?
8/57
Suppose -3*p - 12 = 75. Let z = p + 28. Which is greater: z or -7?
z
Let x be 2/(-39)*(-6)/10. Suppose 3 = -63*f + 66*f. Which is greater: x or f?
f
Let c be 2 + 9*(-4)/(-3). Suppose 3*y + c = -2*v, y = -0*y - 3*v - 14. Is y not equal to 0?
True
Let y(p) = -4*p + 44. Let d be y(7). Let w be 4/d + (-1821)/(-492) - 4. Which is greater: 0 or w?
0
Let t = 3.28 + -2.28. Let y = 2 - 0. Let m be 30/56 + y/(-8). Which is smaller: t or m?
m
Suppose -4*a = 0, 2*a = -4*y - 264 - 8. Let n be y/(-5) + 9/(-15). Let p = 6 - n. Is -8 at least as big as p?
False
Suppose 2*f + 109 = -63. Let n = f + -246. Let d = n - -5648/17. Is d at most 0?
False
Suppose -3*z - 3 = -0*z. Let p be (10*-1 + -3)*z. Suppose 6*c - 4*x = 10*c - 72, -c - 4*x = -30. Which is smaller: p or c?
p
Suppose -5*h + 0*h = -3*u + 223, -2*h = -3*u + 91. Let j be 113/h - (1 - (-27)/(-33)). Which is greater: -2 or j?
-2
Let f = 153 - 37. Let h = -116.5 + f. Do h and -1/5 have the same value?
False
Let t = 2 - 3/5. Which is greater: t or 0?
t
Suppose 8*y - 9 = 9*y - 5*k, 2*y - 5*k + 8 = 0. Which is bigger: y or -4/189?
y
Let v = -0.64 + 0.84. Let j be ((27/(-2))/9 + 4)*16. Is j greater than or equal to v?
True
Let b be (-1)/((-81)/(-21) + -4). Suppose 6*d + 3 = b*d. Let w be ((-3)/9)/(2/(-18)). Do d and w have different values?
False
Let i(x) = 4*x**2 - x**2 - 31 + 22 + x**3 - 13*x**2 - x. Let t be i(10). Is -19 bigger than t?
False
Suppose 11*z = z - 640. Let h = z + 58. Which is greater: h or -36/5?
h
Let u be (-6)/7*28/1. Let v be 20/u + (-3)/6. Is v bigger than 0?
False
Let a be (-4)/(-1) + -1 + -3. Suppose 0*m - 2*m = a. Is -4/15 bigger than m?
False
Let i be 8087/2470 + (-4)/(-10). Let y = i - 72/19. Which is smaller: 1 or y?
y
Suppose 0*x = 5*x - 65. Let l = x - 10. Suppose -l*m = -b - 7*m - 24, -2*m - 6 = -b. Which is smaller: -1 or b?
b
Let l be (-2 - -5)*(-2 - 0). Let a(x) = -x - 4. Let t be a(l). Let k be (-242)/112 + t/7. Is -1 <= k?
False
Let v = 242 + -252. Is -6/11 greater than or equal to v?
True
Suppose -3*u + 41 = 5*x, 4*x - 13 = -3*u + 6*x. Suppose 5*g = -5*p + 20, -4*g + 9 = 3*p - u. Which is smaller: p or 7/6?
p
Let u be 4/(80/92) + -4. Suppose 7 = -2*s + 13. Suppose s*v - 4 = -1. Is u equal to v?
False
Let s = -471 - -524. Which is smaller: s or 1?
1
Let j be 10*(-4)/(-8) - 1. Suppose j = -f - l, 2*f + l = 3*l + 12. Which is smaller: 11/8 or f?
f
Let o be 3*(30/9 + 2). Let s be 0/(o/(-4) - -5). Is s at least as big as -2/13?
True
Let a = 257 + -3347/13. Suppose 0 = -4*j - 5*x - 1, -2*x + 18 = -2*j + 22. Is a at least as big as j?
False
Suppose -10 = 2*o - 2, 0 = 4*x - 3*o - 232. Is 50 less than or equal to x?
True
Suppose -8*h - 3 = -9*h. Suppose 0 = h*m - 6*m - 3*j + 18, -3*j + 30 = 5*m. Suppose 2 = -4*f + m. Which is greater: f or 3?
3
Let x = -167 - -185. Suppose -3*b = -5*b - 60. Let j be