38995/108 - -1287. Is 0 >= i?
False
Suppose c + 3*c + 15 = a, 4*c - 2*a + 18 = 0. Let j be ((-12)/(-10))/(c/10). Is j bigger than -4?
False
Let l = -115 + 120. Suppose -l*r - 5 = 2*h - 4*h, h - 3 = 3*r. Which is greater: r or 6/31?
6/31
Let x = 2057246/10675 - 3/1525. Let w = 193 - x. Is -7 at most w?
True
Suppose 755 = 2218*x - 2213*x. Is 2 equal to x?
False
Suppose -2*m + 31 + 49 = 0. Let h = m - 46. Are -3 and h non-equal?
True
Let b(z) = z**2 - 4*z + 2. Let y be b(0). Is 2/41 greater than or equal to y?
False
Let t = 0.265 - 0.365. Which is smaller: -3.74 or t?
-3.74
Let w = 31.3 + -1.3. Let u = -32.1 + w. Let g = 2 + u. Is 0.08 > g?
True
Suppose -4*b + c + 4*c = 5, -2*b = 5*c + 25. Do b and -7 have the same value?
False
Let r = -108 + 129. Are 14 and r nonequal?
True
Let c be -15 + (6 - 2 - 2/1). Let g = 2464 + -14707/6. Let l = g + c. Is l at least as big as 0.1?
False
Suppose -r - 3*r + 22 = 2*w, 0 = -r + 2*w - 2. Suppose 22 = 2*t - 2*k, -4*t - r*k = -3*k - 34. Which is greater: 10 or t?
10
Let d be (1296/90)/(22/(-10)) - -6. Is d at least 2/7?
False
Let w = -11.275 + -0.025. Let o = 9 + w. Let x = -2.1 - o. Is x < -0.1?
False
Let l = -1.2 - -1. Let p = l - -0.24. Let u = p - -0.06. Which is smaller: u or 0.01?
0.01
Let y = 9671/5 - 3891/2. Is y less than -12?
False
Suppose 3*a + 11 = 26. Let t = a + -6. Let w be -2*t*(-2)/184. Which is bigger: w or 0?
0
Let s(o) = -o + 15. Let h be s(0). Let w be 13/3 + 10/h. Suppose -3*p = -6*p - 5*q + 10, 4*q + 29 = w*p. Is p smaller than 0.1?
False
Let v = -10 - -8. Let m(j) = -j - 41. Let f be m(-38). Is v less than or equal to f?
False
Let j(c) = -c**3 + 2*c**2 + 7*c - 6. Let f be j(4). Suppose 7*i - 247 = 33. Suppose -8*v + 3*v - i = 0. Which is bigger: f or v?
v
Let h = -0.287 + -1.713. Do h and -116/3 have different values?
True
Suppose -4*a + 0*b + 4*b - 12 = 0, -2*b = -3*a - 8. Suppose -263 + 49 = -69*g + 269. Which is bigger: a or g?
g
Let r = -3 - -49. Let l = 47 - r. Is l less than 18/13?
True
Let a = 769 + -782. Suppose -4*w = 3*p - 4*p + 21, 0 = 5*p - 2*w - 33. Which is smaller: a or p?
a
Suppose -3*z = -2*p - 5 - 2, -z = -3. Let s be 747/2295 - p/(-3). Let r = -18/17 + s. Is 1 less than r?
False
Let x be (4/(-3))/((-31)/(-93)). Let g be 138/x*(-4)/3. Which is smaller: g or 48?
g
Let i be 5/10*1/101. Let j = 698 - 697. Which is smaller: j or i?
i
Let w be (7/28)/((-6)/48). Which is bigger: -2/3 or w?
-2/3
Let g = 11 - 18. Let z = -7.01 - g. Let r = z + -0.09. Which is smaller: 6 or r?
r
Suppose -6*j + 172 = 46. Are 19 and j nonequal?
True
Let f(v) = 11 + 0 - 1 - v. Let u be f(10). Which is bigger: u or -8/7?
u
Let p = 142 - 150. Suppose -g = 3, -5*y + 2*g = 7*g + 45. Is y less than p?
False
Let t = 354 - 353. Which is smaller: 67 or t?
t
Suppose -3 = 4*d + 1. Let a be d/(-2) - 3/3. Let y = 4 - 1. Which is bigger: a or y?
y
Let z = 46 + -32. Let v be (-18)/z + 9/9. Is v greater than 31?
False
Suppose 16*q = 21*q - 5. Let l be -10*(-24)/15*q. Are l and 16 non-equal?
False
Let t = -17.2327 + 0.3427. Let h = t + -1.11. Are h and 0 non-equal?
True
Suppose 3*y - 3*f = -8*f - 10, 3*f + 6 = 3*y. Let g(c) = c**3 - 11*c**2 + 11*c - 10. Let n be g(10). Let u = y - n. Which is greater: -2/9 or u?
u
Suppose 157 = o + 158. Let p = -1653 + 114059/69. Is p less than o?
False
Let x be (-2)/(-3) + 167/(-237). Suppose -5*r - 5 = 23*y - 20*y, -5 = 4*y + 5*r. Which is bigger: x or y?
y
Let h(u) = 28*u**2 - 5*u - 3. Let p be h(-1). Let c = 32 - p. Is c at least as big as -4?
True
Suppose -3*x + 3*i - 232 - 26 = 0, 0 = 2*x + 4*i + 190. Which is smaller: x or -92?
-92
Let l(p) = -p**3 + 6*p**2 + 2*p - 11. Let g be l(5). Suppose g = 2*k + k. Is k > 9?
False
Let n(t) be the third derivative of -t**4/24 - 2*t**3/3 + 9*t**2. Let p be n(-7). Suppose -y - 27 = -4*f + 24, p*y = 4*f - 49. Is f equal to 11?
False
Let y = -1147 + 1175. Is y not equal to -3/2?
True
Suppose -3*k + 0*c - 16 = c, c = -k - 8. Let r be (3/(-3) - k) + -5. Let s be -4*r/8*-5. Is -5 <= s?
True
Let t = 30.2 + -27. Let r = 3.9 - t. Do 2/5 and r have different values?
True
Let j = 114.737 - -0.263. Which is smaller: -2 or j?
-2
Let o = 11363/9 - 1261. Suppose -5*h + 15 = 5*u, -u - u + 9 = 5*h. Let k be 2*2/u*1. Which is greater: k or o?
k
Let v(r) = -r - 7. Suppose 4*w + 35 = x - 4*x, 0 = -5*w + 5*x. Let b be v(w). Let i be (0/(-2))/(-1) + b. Is i >= -2?
True
Let q = 24.6 - 16.6. Which is greater: -4/33 or q?
q
Let l = -298 - -298. Is 3/431 bigger than l?
True
Let x be 116/20 + 2/10. Let g = 22 + x. Suppose 0 = j + 2 - 0, 3*q - g = 2*j. Which is smaller: q or 10?
q
Suppose -5*c = z - 59, 2*z + 24 = 2*c + 10. Suppose 8 = 9*k - c*k. Which is smaller: -9/2 or k?
-9/2
Let o = -0.16 - -18.16. Let d = o + -17.88. Let l = -0.18 - d. Are -0.2 and l equal?
False
Let r = -322/29 - -4882/377. Suppose 18*l - 8*l - 1350 = 0. Let k = 136 - l. Is k less than r?
True
Suppose 0 = -4*o + d + 1255, -27*o = -22*o - 3*d - 1574. Is 312 at least as big as o?
False
Suppose -2 = -4*p - 10. Let l(x) = -3*x**2 - 49*x**3 + 3 + 4*x - x - 2*x + 47*x**3. Let y be l(p). Are 5 and y equal?
True
Suppose -20*q = 4*h - 17*q + 1072, 4*q = -16. Is h greater than -265?
False
Let h = 3469 + -7081/2. Let z = 73 + h. Let a be (3/2)/(-9*(-12)/72). Is z at most as big as a?
False
Let u = -53/51 + 12/17. Let z = u + -1/6. Let o be (-7)/(-49) + 1/(-7). Is z greater than o?
False
Suppose -3*r + 138 = -n, 5*r + 4*n - 146 = 67. Suppose 4*i = 7*i + r. Let x be (66/i + 4)*5. Which is bigger: x or -4?
x
Let d = -41 - -23. Let v = -8 - d. Let r be (-11)/(-2)*(-3 - -5). Are r and v non-equal?
True
Let u be 57 + -3 + 3 + 1. Suppose 6*z + 47 = 401. Is u at least as big as z?
False
Let o = -69 + 69.1. Is o > 231?
False
Suppose -4 = q - 5. Let a(z) = -8*z + 265. Let x be a(33). Do q and x have the same value?
True
Let z = 17 + -14. Suppose -5*a + 5*o - z - 7 = 0, 4*a = 5*o - 11. Let l be (-1)/9 + 0/a. Which is bigger: l or -1?
l
Let w be 2 + (1 + -6 - (-21 - -6)). Is -4 at most w?
True
Suppose a = t + 4, -3*a + a = -8. Which is bigger: t or -2/37?
t
Let y(d) = 2*d + 1. Let o be y(-1). Let k be 12/(-3)*(-13)/(-52). Is k smaller than o?
False
Let p be 3*(-3)/54 - 13/(-6). Let q be 2/p - (-1 - 92/(-26)). Which is smaller: q or -2?
-2
Suppose -m = 3*o + 31, -5*m - 4*o - 178 = -45. Let b be (30/m)/((-2)/10). Let f(q) = -q**3 + 12*q**2 + 29*q - 9. Let t be f(14). Which is greater: b or t?
b
Suppose 3*a = 5*p - 2*p - 21, -3*p = -a - 13. Let g = -1619 - -1623. Which is bigger: g or p?
g
Let b = 337.89 + -340. Let p = -106.11 - -106. Let t = b - p. Does -0.2 = t?
False
Let c be ((-20)/4 - -8)/(-3). Let a be (2/(-120))/(2/(-4)). Which is bigger: a or c?
a
Suppose -24 = 6*q - 2*q. Let r be ((-147)/q)/7*2. Suppose d - n = 3*d - 1, 0 = 5*d + 4*n - r. Which is bigger: -1/4 or d?
-1/4
Let v = -60 - -119/2. Let c = -12 - -7. Let i = c - -3. Which is smaller: i or v?
i
Suppose -3*j - 2*i - 34 = 0, 3*j = 2*j + 2*i - 6. Let c be j/(-12)*4/5. Is -54 bigger than c?
False
Let q = -0.714 - 0.286. Which is smaller: 0.179 or q?
q
Suppose 2*t = -f - 14, -2*f + 3 = -3*t - 32. Let a be (t/28)/9*2. Is a at least -1?
True
Suppose 2*l - 11 = 3*s, -3*l - 11 = 2*s - s. Let p = l - -2. Let c = 196/597 - -1/199. Is p less than or equal to c?
True
Let f = 9 + -10. Let u(t) = 9*t - 184. Let x be u(22). Which is greater: x or f?
x
Suppose -4*y + 3*i - 36 - 7 = 0, -3*i = -5*y - 53. Which is greater: 0.12 or y?
0.12
Let n = -290 + 544. Let f = 356869 - 3928355/11. Let b = f + n. Which is smaller: 0.1 or b?
b
Let r be -2 - (2 - -2) - -4. Let o(s) be the second derivative of s**4/12 + 5*s**3/6 + 5*s**2/2 - 6*s. Let v be o(r). Is 2/15 equal to v?
False
Let b(w) = w**3 + 7*w**2 - 11*w - 7. Let f = -11 - -3. Let j be b(f). Which is smaller: j or 16?
16
Suppose -146*m + 150*m + 56 = 0. Let d = -5 - 7. Which is bigger: m or d?
d
Let t = 0.1 + -0.1. Let b = 25.63 + -26.53. Let u = b + t. Which is bigger: 0 or u?
0
Let l = 5505597/2 - 25895549/10. Let c = l + -162458. Let u = 788 - c. Is u < 2?
False
Let t = 0.2 - 71.2. Which is bigger: t or -1/2?
-1/2
Let v be (-3)/(-6)*1/9. Let n be (-36)/(-10) + -2 - 448/280 - -1. Which is smaller: n or v?
v
Let j be (-10)/(-14) - (-9 - (-732)/84). Which is greater: j or 4/69?
j
Let x = 3407/11 + -310. Let c be -