 71/4 + -18. Let z be 2/7*(-98)/56. Let m = t - z. Is 0.03 at most as big as m?
True
Let y be 1*-3 + 63/21. Let i = -15 - y. Which is smaller: -13 or i?
i
Let z = 1551 - 1512. Which is smaller: 48 or z?
z
Suppose -6957 + 2052 = 9*z. Are z and -546 non-equal?
True
Suppose 0 = -4*d - 2409 + 29. Let b = d + 19633/33. Let c = -20 + 20. Is c less than or equal to b?
False
Let g = 3320/66379 - 2/1619. Let v be (8 - 5)*(-20)/12. Which is smaller: v or g?
v
Let t = 9 + -10. Let s = 6 + t. Suppose s*w = 2*w + 9. Is w at most 3?
True
Suppose -6*l + 5*u = -2*l + 32, 31 = -5*l + 4*u. Let p = -1720 - -1723. Which is greater: l or p?
p
Let u = -3.2 - -4. Let z(w) = -w**3 + 13*w**2 + 3*w - 32. Let g be z(13). Suppose 10 - g = -3*d. Is d > u?
False
Suppose -6*j + 2*j - 1068 = 0. Let u = j + -73. Let d = u + 2035/6. Which is bigger: -1 or d?
d
Let j be 1 - (-1 + 1)/2. Let g = 12 + 6. Let q be (-6)/(-9) - 14/g. Is q <= j?
True
Let o = -102 + 66. Let q be (o/12)/((-1)/6). Which is greater: 75/4 or q?
75/4
Suppose -70 = x - 44. Is x > -23?
False
Let j = -59 + 57.3. Do -2/11 and j have different values?
True
Suppose 71 = 5*z - 174. Let m = 60 - z. Suppose -10 = 3*w - 4*w. Which is bigger: w or m?
m
Let b = 12.8 + -11.8. Which is smaller: 2/353 or b?
2/353
Suppose 805 = 6*g - 197. Suppose g + 138 = -5*a. Which is smaller: a or -62?
-62
Suppose -6 = -4*n + 2. Suppose v + n = -v. Let p = -23906/14935 - -2/2987. Are p and v non-equal?
True
Let w be 6/(-15) - (0 + 0). Let i(p) = -p**3 - 7*p**2 - 16*p - 10. Let x be i(-4). Is w equal to x?
False
Suppose 0 = -3*r + 4*w + 727, -r + 0*r + 264 = 3*w. Which is greater: 247 or r?
r
Let n be 3*(-8428)/105 + (-1)/5. Which is greater: -242 or n?
n
Let u be (-6)/(-4)*10/75*-5. Let c(t) = 8*t**3 + 3*t**2 + 2*t. Let f be c(u). Which is greater: 0.03 or f?
0.03
Let v be 24/249*(-11)/(-22). Which is bigger: -1 or v?
v
Let p be (790/(-237))/(8/3). Which is greater: 0 or p?
0
Let c = -20 - -22. Let h be -2 - (-1 - 4/4). Suppose -d + 4 - 2 = h. Is d < c?
False
Let z = -19 + 10. Let d = -228 - -911/4. Is z less than d?
True
Let f be ((-385)/(-14))/(-11) - (-1499)/(-2). Which is smaller: f or -1503/2?
f
Let x be (-6)/(-4)*16/6. Which is greater: x or -3?
x
Suppose -92 = -5*h + 718. Suppose 3*z + h = z. Let u be -6*-1*(-3)/z. Does -0.5 = u?
False
Let v = -8.6 - -0.6. Let b = 8 + v. Let u = 0 - b. Which is bigger: u or -8?
u
Let l = 50021/195 + -769/3. Which is greater: 1 or l?
1
Suppose 41 - 27 = -7*b. Which is smaller: b or 413?
b
Let k = -177 + 176.9. Which is smaller: -0.17 or k?
-0.17
Let g = -142 + 141.842. Is 2 at least as big as g?
True
Let i(g) = -g**3 - 4*g**2 + 18*g - 41. Let l be i(3). Is -11 <= l?
False
Let k = -5961 + 5963. Let u be 2/((-2)/(-12)*4). Which is greater: u or k?
u
Let t = -126 + 1132/9. Let u = 0.01 + -0.039. Let v = -2.029 - u. Is v < t?
True
Let f = -48 - -287/6. Let n = -5 - -8. Suppose 2*j = -n*j - 4*y + 3, j + 2*y = 3. Do f and j have the same value?
False
Let f = 23 - 17. Let x be f + 7/((-7)/4). Suppose 0 = 2*i + x - 8. Is 2 > i?
False
Let t(l) = -l**3 - 12*l**2 - 11*l + 3. Let k be t(-11). Suppose 2 = -2*r - 2*u, -k*u = 5*r - 2*u - 3. Which is bigger: r or 3/46?
r
Let j(u) = -2*u**2 + u**2 + 7 + u - u**3 - 10*u**2 + 4*u**2. Let a be j(-7). Let v be a/(3*(-3)/(-9)). Is v at least as big as -1/9?
True
Let b = -14.5 - -13. Let j = b - 2.5. Are 2/5 and j unequal?
True
Let s = -106.5 - -213.5. Which is greater: 1/5 or s?
s
Suppose x + 55 - 19 = 4*g, -24 = x - g. Let b = -16 + -4. Is b greater than x?
False
Suppose v + 3*l + 17 = 0, -8*v - l = -3*v + 127. Let n = v + 26. Is n at least 2/23?
False
Let y = 160580/17 + -9443. Which is bigger: y or 3?
3
Suppose 9 = s - 11. Let w = 62 + -61. Let q be (1*-2*w)/((-2)/21). Is s greater than q?
False
Let f = 58 - 57.96. Let q = -0.05 - -1.05. Is q at most as big as f?
False
Let d = 12.7 + -2.7. Which is bigger: d or 1/5?
d
Let r(d) = -d + 23. Let f be r(-6). Which is smaller: f or 32?
f
Suppose -4*b - 19 = 5*w, 2*w = -2*b + 5*b - 3. Are w and -52 equal?
False
Let n(j) = 2*j**2. Let h be n(1). Let o = h + -4. Let f = -213 + 1056/5. Is o smaller than f?
True
Let n(c) = c + 7. Let q(v) = 4*v - 2. Let z be q(-1). Let m be n(z). Let j = 5 + -4. Is m >= j?
True
Suppose 2*v = 3 + 1. Let b be (-14 - -17)*v/2. Let a be (6/28)/(b/4). Is 0.1 != a?
True
Let n be 37/74 - 445/898. Is n greater than or equal to 1?
False
Let p = -3 - -3. Let u = -0.1 + p. Let f be 10/(-6) + 675/162. Which is smaller: u or f?
u
Let d = 6.26 - 25.26. Is 0.1 <= d?
False
Let i be 30/74 - (4 - 4)/6. Is i less than or equal to 0.1?
False
Suppose 2*n = i + 3, 4*i + 2*n = -3 - 19. Let s(z) be the second derivative of -z**4/6 + z**2 - 22*z. Let o be s(2). Is o at most as big as i?
True
Let s(m) = -4*m - 34. Let u be s(-8). Is u not equal to -43?
True
Let r = 11 - 15.66. Let k = r - 0.34. Which is smaller: k or -3?
k
Let c = 1274 + -9673. Let g = c - -243545/28. Let j = 299 - g. Is -1 <= j?
True
Let t(q) = q + 1. Let y be t(-3). Let p(f) = -f**2 + 5*f + 47. Let v be p(10). Which is bigger: y or v?
y
Suppose 0 = 31*p + 62 + 155. Which is bigger: -182/23 or p?
p
Let r = 35.13 + -35. Let g = r - 0.03. Is g < -1/28?
False
Suppose 0 = 2*q - 1 + 5, -2*k + q = 84. Let s = 43 + k. Let l = -7/55 + 13/33. Does s = l?
False
Suppose -4*w = -2*u + 292, -2*w + 4*w = -6. Suppose -6*z + u = z. Are 20 and z unequal?
False
Let v = 954 + -974.87. Let h = v - -21. Which is bigger: 0.1 or h?
h
Suppose -3*x + 3*t = -492, 6*x - 656 = 2*x - 5*t. Let f be 3 + 5/((-220)/x). Is 0 less than or equal to f?
False
Suppose 2055 - 689 = -3*s + 5*r, -1358 = 3*s - r. Which is smaller: s or -451?
s
Suppose -19*y = -68 - 103. Which is smaller: y or 63/8?
63/8
Let z(f) = f**2 + 5*f + 14. Let g be z(-6). Suppose 8 - g = -4*a. Let o be (-21)/6*(-2)/3. Which is smaller: a or o?
o
Let o be (20 - 112)*18/(-24). Let y = 7073/102 - -8/51. Does y = o?
False
Let g = -78/7 - -411/35. Let y = -0.11 + 0.11. Let h = -0.2 - y. Which is smaller: g or h?
h
Let x be 7 + -5 - (-38)/(-18). Let u = -29 - -28. Which is bigger: u or x?
x
Let c = 89101/150 + -594. Do -1 and c have different values?
True
Let h be 33/(-90) + 3 + 10/(-4). Is h >= -33/7?
True
Let c be ((-8)/(-10))/((-518)/28860). Which is greater: c or -44?
-44
Let c be 16/(-24) - (-205)/3*-1. Is c less than or equal to -68?
True
Let m be 316/16 - (-3)/12 - 5. Is m > 8?
True
Let h(b) = b**3 - 7*b**2 - b + 11. Let r be h(7). Suppose 2*y + 5*s - 25 = 21, 0 = -s + r. Suppose -f - y = -0*f. Is f less than -11?
True
Suppose 9*q + 144 = 57*q. Is q != -144?
True
Let r = -674 + 670.71. Which is smaller: r or 1/2?
r
Let r be (-1)/(-2)*-34*-1 - -2. Which is smaller: 17 or r?
17
Let s be -2 - 7/(-2) - 5/2. Is -4/393 less than s?
False
Let m = -115 + 115. Is 8/79 at most m?
False
Let i = -0.1326 + 29.8726. Let o = i + -30. Let l = o - 0.04. Which is smaller: -1 or l?
-1
Let q be ((-3)/(-1))/((-21)/(-28)). Suppose q*z + 5*v - 4 = -15, 0 = -z - 3*v - 8. Let h be ((-1)/6)/((-10)/(-18)). Is h < z?
True
Let k(c) = 13*c + 325. Let y be k(-25). Is y not equal to -559?
True
Let b be 7 + (304/(-6))/8. Suppose -4*g - 11 - 5 = 0. Let l(d) = -d**2 - 3*d + 5. Let i be l(g). Is i bigger than b?
True
Let r = 201 - 26533/132. Is r >= -1?
True
Let x = 285 - 284.8. Which is greater: 14 or x?
14
Let q be ((21/(-14))/1)/((-6)/4). Is -6 <= q?
True
Let i(h) be the first derivative of -5*h**4/2 - h + 4. Let d be i(-1). Let s be ((-12)/d)/(4/(-3)). Which is bigger: 5/4 or s?
5/4
Let v = -0.05 - 0.25. Let k = -35 - -35.94. Let w = k + -0.84. Which is smaller: w or v?
v
Let f(w) = -4*w. Let h be f(5). Let b be 4*-2*15/h. Suppose b = t - 0*t. Are t and 6 equal?
True
Let y = -22 + 45/2. Let d = 3 - 8. Which is greater: d or y?
y
Let n(b) = b - 14. Let h be n(7). Let f = -0.535 - -0.335. Is f < h?
False
Suppose 5*u + 22 = 57. Let j = 15 - u. Suppose 2*w = -8 - j. Is w not equal to -7?
True
Let j = 164 + -105. Let b = 23 - 22.9. Are b and j nonequal?
True
Let h = -230 + 25. Let t be -5 - h/45 - 4/(-6). Let g = 0 + -1. Are t and g equal?
False
Let c = -0.2075 - 11.7225. Let h = -12 - c. Let x = -168 - -168. Which is smaller: x or h?
h
Suppose 11*h = 49*h + 190. Which is smaller: -3 or h?
h
Suppose -h + 1082 + 154 = 0. Is 1236 at most h?
True
Let 