*o/(-126)*6/4. Do v and 0 have different values?
True
Let u = 227.36 - 227.4. Which is smaller: -11 or u?
-11
Let i = 1103 - 1106. Is -4/31 less than or equal to i?
False
Let g = -1503/134 + -64310/201. Let r = 330 + g. Which is smaller: -1 or r?
r
Let q(v) be the first derivative of v**3/3 - 6*v**2 - 14*v + 27. Let o be q(13). Let s be 1/(-2)*16/7. Is s at least as big as o?
False
Let a(d) = 6*d - 37. Let n be a(6). Which is bigger: -2/707 or n?
-2/707
Let j = 163 + -2772/17. Let o be 2 + 1/((-60)/142). Let z = o + -2/15. Which is greater: z or j?
j
Let y = 1551.06 + -1538. Let p = -0.06 + y. Which is smaller: p or 0.1?
0.1
Suppose 0*w - 3*d - 1 = 4*w, w + 3 = 2*d. Is 4/71 >= w?
True
Suppose 5*d - 197 - 188 = 0. Let v be (-1 + d)/(-6 + 7). Suppose 3*w - 7*w = v. Is 0 < w?
False
Let g = 1.2624 + -0.0624. Let z = -0.2 - -0.1. Which is smaller: z or g?
z
Let h = 4 - 4. Let w = -5192/5 + 1046. Let t = w + -7. Does h = t?
False
Let h = 1944.82 + -1941. Is h > 2?
True
Suppose -5*w + 98 = -n, -3*n = w - 0*w + 230. Let y = -55 - n. Let a = -39 + y. Which is smaller: -15 or a?
a
Let n be ((-6)/(-112))/(6 + (-4599)/766). Let z = -87/7 - n. Which is smaller: 0 or z?
0
Let p = 2.08 + -11.18. Let i = p + 9. Suppose 3*u = -u + 8. Is u != i?
True
Let f = -532 + 516. Which is smaller: -14 or f?
f
Let u = 577 - -168. Which is smaller: u or 744?
744
Suppose -w = -3*t - 7, -3 = w + 2*w + 3*t. Let l be (-10)/(-8)*4/9. Which is greater: l or w?
w
Let a(f) = -f**3 - 7*f**2 - 6*f - 1. Let l be 3 + 8/(-8 + 4). Suppose -2*y - 13 + l = 0. Let d be a(y). Is -2/15 equal to d?
False
Let t = -1432 + 1438. Which is smaller: 23 or t?
t
Suppose 0*o - 5*o = 0. Let p be 5*(2/9 + o). Is p >= -0.1?
True
Let t be 872/20*5/(-2). Is t at most as big as -109?
True
Let t = 2 - 3. Let v = 39 - 103. Let k = 574/9 + v. Is t equal to k?
False
Let m(g) = g**2 - 4*g - 4. Suppose 8*o + 16 = 10*o. Let a be m(o). Is a at most as big as 28?
True
Let p(d) = 4*d**2 - 6*d + 15. Let n be (-2 - -5) + (-3)/3. Let h be p(n). Is -0.3 not equal to h?
True
Let z be (-10)/15*(-375)/2. Suppose -i + z = 4*i. Which is greater: 24 or i?
i
Let t be ((4/4)/1)/1. Let v be (-2)/t + (-1 + -3)/(-4). Let l = 3 + -3.2. Do v and l have the same value?
False
Suppose 0 = z + b + 3*b - 21, 4*z = 2*b + 66. Which is smaller: 53/3 or z?
z
Let s be (2 + -1)*-3 - 2. Let k be (9/(-1))/((-10)/10). Suppose 11 - k = -z. Which is bigger: s or z?
z
Let q be -1 + (-1)/(-13203)*13199. Let c = q - 8661140/92421. Let z = -94 - c. Is z at most as big as 7?
True
Suppose 0 = y + o - 7, -4*y + 6*o = 3*o + 7. Suppose y*a + 54 = 4*a - 2*i, 0 = 2*i + 10. Let q = a - 199/9. Which is bigger: q or 1?
1
Let a(c) = c**2 - 58*c + 264. Let b be a(53). Which is greater: b or -74/33?
b
Suppose -4*n + 2*y = 670, -n = -5*n - 4*y - 652. Do n and -166 have the same value?
True
Suppose 3*u = -15, -4*y - 4*u + 42 + 54 = 0. Which is greater: y or 8?
y
Let r(w) = -w**3 + 12*w**2 - 2*w + 24. Let m be r(12). Suppose m = -23*t + 14*t - 9. Are t and -1/100 nonequal?
True
Let b = 13 + -23. Let i = -0.03 + 9.03. Let s = i + b. Is 2/5 > s?
True
Suppose 3*h = -3*i + 45, -3*h + 4*i = 2*i - 25. Which is greater: h or 9?
h
Let n be (4/(-16))/(3/8). Let l = 9 - 6.7. Which is smaller: n or l?
n
Let w(c) = -6*c + 4. Let h be w(4). Let r = 8.4 + -9.7. Let u = r + 2.3. Which is smaller: u or h?
h
Let z = 38 - 54.9. Let r = z + 16. Let s = -0.01 - 0.09. Is r bigger than s?
False
Let j be (-1 + -1)*(-540)/(-72). Which is smaller: j or -12?
j
Let h = 2435 + -2446. Which is smaller: h or -125/12?
h
Let y be ((-12)/(-16))/(6/32). Suppose y*o = 3*o + 5, 5*t - 10 = o. Suppose 2*u + 26 = -4*n, -t*u = -0*n + n + 9. Is -4 bigger than n?
True
Let f be 98/(-8) - 5/(-20). Let g be 4 - (-70)/165*f. Do -2 and g have different values?
True
Let i = -102.1 + 102. Which is greater: i or -0.46?
i
Let m(b) = -5*b - 99. Let u be m(-12). Which is greater: u or 1/4?
1/4
Let f be (330/(-44))/((-3820)/48). Is 0 smaller than f?
True
Let c be -2 + 3/10 - -2. Is 16 less than c?
False
Let y = 882 - 860. Which is smaller: y or 33?
y
Let p = 15 + -50. Which is bigger: 0.06 or p?
0.06
Let b(n) = -2*n**3 + 97*n**2 + 49*n + 37. Let o be b(49). Let u = 50/3 - 17. Is u >= o?
False
Suppose -81*d - 20 = -80*d. Suppose a - 5 = 5*p, 4*a - 1 = p - a. Let g be 4 - (p + (-92)/d). Which is smaller: 2/13 or g?
2/13
Let c = 7138.145 + -7101. Let f = c + -0.145. Do -1 and f have different values?
True
Let k be (-5)/(25/(-85)) + -4. Let y(q) = q**3 - 14*q**2 + 14*q - 9. Let a be y(k). Are 1 and a equal?
False
Let z be -1 - (-1*5 - -2). Suppose 14 = -106*b + 108*b. Suppose 5*o - b = -z. Which is greater: o or -2/57?
o
Let c = -41 + 22. Let r = 13 + c. Let w = -2801 + 2794. Is r < w?
False
Suppose -5*v - 3*j = -705, -530 - 135 = -5*v + 5*j. Let d = -138 + v. Is 3/5 bigger than d?
True
Let i(s) = s + 5. Let w be i(-5). Let q be 31/4 + (-21)/(-4) + -5. Suppose w*g + q = g. Is g smaller than 8?
False
Suppose -3*z = z + 36. Suppose -m = -4*m - r - 7, -4*m - 4*r = -4. Let c = -13 - m. Is z bigger than c?
False
Let d be (-3 + 2224/(-64))/(2/8). Are d and -455/3 unequal?
True
Let u be (-620)/(-68) + (-2)/17. Suppose 0 = -7*r + 4*r + u. Which is bigger: r or -2?
r
Suppose k - 10*k = 5*m + 4003, -5*k + 4*m = 2251. Is -445 less than or equal to k?
False
Let k = -22/61 - -71/366. Let p = -1.3 - -0.3. Is k at most p?
False
Let w = 70 - 128. Let b be -2 + 0 - 104/w. Which is smaller: b or 0?
b
Let r = -16 - -29. Suppose 6*g - 3*g + 39 = 0. Let a = g + r. Is a bigger than 0?
False
Let f(v) = v**3 + 4*v + 4. Let y be f(-2). Let c(p) = -p**3 - 11*p**2 + 9*p - 36. Let b be c(y). Is b < 3/29?
True
Let h = 1202/1395 - 13/155. Let m = -0.4 - -1.4. Is m <= h?
False
Let v be ((-2)/(-22))/(-1) + (-114)/198. Suppose 3*h - 3*m - 2*m = -25, -3*m + 15 = -5*h. Is h equal to v?
False
Let o = 11 - 20. Let z = o + 8.62. Let c = z - -0.28. Are -0.1 and c nonequal?
False
Let b = -3.96 - 0.04. Let t = -16 + 14. Let w = t - b. Which is smaller: w or -3/5?
-3/5
Suppose 3*n = 16*n + 12*n. Let c = -280/9 - -11471/369. Which is smaller: c or n?
c
Let p be (-65)/(-15) - 5 - (-50)/(-6). Let v be 12/p*6/24 + -1. Let y(t) = t - 1. Let q be y(0). Is v < q?
True
Let t = -5 + 5. Let l(i) = i**2 + i - 1. Let x be l(t). Let y = -52 + 64. Which is smaller: y or x?
x
Let j be (((-512)/(-24))/4 + -5)*566. Which is bigger: 190 or j?
190
Let o(f) = -f**2 + 13*f + 4. Let r be o(13). Suppose 4*h + 16 = 0, -v = -4*v + 2*h - r. Let w be -9 + 8 + (-18)/v. Is w at least 5?
False
Suppose 3*v - 17 = -2*w, 5*v - 35 + 7 = -3*w. Let m be (0 + (-9)/8)/(-8 + v). Is m at least as big as 0.2?
True
Suppose s + 3*h + 3 + 5 = 0, 0 = 4*s + 5*h + 32. Let i(k) = 3 + 7 + k - 1. Let x be i(s). Which is bigger: x or 3?
3
Let o = -13915 + 152857/11. Let k = 19 + o. Let h be (2*-2 - -2) + (9 - 8). Which is greater: k or h?
k
Suppose 4*b - 100 = -b. Suppose b = 3*t + 5*i - 0*i, -20 = t - 5*i. Let p(f) = 25*f - 934. Let m be p(37). Is m greater than t?
False
Let l = 9 + -8. Let v be (-1)/1 + 3 + l. Suppose v*x - m + 3 = 0, x = 4*x + m - 3. Is x at most as big as 0?
True
Suppose 5*n - 75 = -z + 147, 3*n = 5*z - 1110. Is z smaller than 222?
False
Suppose 0 = -2*m - 0 + 4. Let j(u) = -u**3 - 10*u**2 - 9*u + 1. Let d be j(-9). Suppose 17 - d = 4*c. Is c greater than m?
True
Let x = -58785674242693/3830 - -15348740136. Let f = -18/383 - x. Let s = f - -125. Which is smaller: 1 or s?
s
Let m(n) = n**3 + n**2 - n + 7. Let c be m(0). Let u be ((-209)/(-3))/11 - (-4)/6. Is c greater than u?
False
Suppose -3*u - 2*u + 20 = 0. Let l be 0 + -31 + (4 - 6). Let t = l - -39. Is u at most as big as t?
True
Let j = -76 + 77. Which is bigger: -2/423 or j?
j
Let l = 30.124 + -30. Let d = 2.124 - l. Which is bigger: d or -2/9?
d
Let n be 2/(-6)*1*54750/20. Let r = -896 - n. Is r != 17?
True
Let w be (-6)/(-8) + -19*1/4. Let p(x) = -x**2 - 5*x - 2. Let l be p(w). Which is smaller: 0 or l?
0
Let i = 2150.88 - -29.12. Is 0 <= i?
True
Let t = 78 - 84.3. Let r = -6.7 - t. Which is smaller: r or 3?
r
Suppose 3*r - 56 = -2. Suppose -5 = o - r. Is o greater than or equal to 12?
True
Suppose -7*z = -39 + 11. Let l be 25*(z - 66/15). Which is bigger: l or -9?
-9
Let n(x) = 4*x - 44. Let y be n(10). Suppose -4*k + 3 = -q, -4*q -