-4*q - 95 - 109. Is q >= -51?
True
Let b = 190/129 + -135592/92235. Let g = 4999/2145 + b. Does g = 2?
False
Suppose -9040*v = -9031*v - 10656. Do v and 1184 have the same value?
True
Let n(o) = -o**3 - 5*o**2 + o + 7. Let j be n(-5). Suppose -q - 1 = -j. Let b be (4/10)/(-1) - (-135)/400. Is b at least q?
False
Suppose 4*d + 2*x = 89 - 77, 5*d = -3*x + 17. Which is bigger: d or -1/328?
d
Let o be ((-39)/(-3))/(1 - 0). Let y = -3505 + 3520. Is o equal to y?
False
Suppose -27*s + 1911 = -22*s - 3*r, 0 = -3*r + 9. Is s > 1154/3?
False
Let v = -208/7 + 30. Let u be (1761/(-30))/((-2)/4). Let q = -118 + u. Which is smaller: q or v?
q
Let c = -113/175 + -16/25. Is -0.6 smaller than c?
False
Let f be (-10)/4*(-90)/25. Suppose -f*i - 3 = -12*i. Is -2/63 at least as big as i?
False
Let x = -395 + 315. Which is smaller: 0 or x?
x
Let j = 745 + -746.7. Is j less than or equal to 17?
True
Let d = 14 - 11. Let p be (-1216)/(-48) + (1/d)/(-1). Is p at most as big as 25?
True
Let b = -5.03 - -5. Let d = b + 1.33. Suppose 4*k + 2 = -3*z - 7, -5*k + 9 = -3*z. Is d less than k?
False
Let p(k) = -4*k - 92. Let x be p(-14). Which is smaller: -37 or x?
-37
Let x(g) = -4*g - 16. Let h be x(-4). Suppose 48*b - 49*b - 23 = h. Is b != -22?
True
Let l be ((-10)/6)/(17/(-1989)). Suppose -5*s - 4*w + 2*w = -l, 0 = -3*s + 2*w + 101. Which is greater: s or 36?
s
Let u(h) be the third derivative of -h**5/15 - 2*h**3/3 + 15*h**2. Let f be u(-2). Which is greater: f or -19?
-19
Let s = -1/24 - 23/216. Which is smaller: s or 0?
s
Let t = -1381 + 3275. Do 1893 and t have different values?
True
Let c = 47/627 - -330194/3135. Suppose q = 5*l - 100, -2*q - 5*l + l = 214. Let r = q + c. Which is smaller: 1 or r?
r
Let g = 4.88 + -4.58. Which is bigger: 41 or g?
41
Let m = -6306 + 6306.1. Let t = 0.29 - 0.01. Let k = t - -0.02. Which is smaller: m or k?
m
Suppose -4*o - 4*x + 0*x = -8, -2*o - 4*x = -6. Let t(u) = -u - 2. Let k be t(4). Let v be ((-2)/(-1))/(k/3). Are v and o equal?
False
Suppose 0 = -5*c + 44 - 4. Suppose -7*s - 1 = -c*s. Suppose 2*b - 4*y + 13 = y, -8 = -2*b - 2*y. Is s at most b?
True
Let p = -71 - -22.4. Let q = p - -49. Which is greater: q or 4?
4
Let c = 6765/2 - 4485199/1326. Which is bigger: 1 or c?
1
Let u = -3 + -2. Suppose 2*c - 1 = -7. Let q = c - 1. Does u = q?
False
Let h be ((0 - 2) + 6)/2. Suppose -h*f = f + 6. Suppose -5*g + 2*g = p + 16, 0 = -3*p + 3*g. Is f smaller than p?
False
Suppose -12*h = -10*h + 6. Let t be -4 - (6/h + 4). Let x be 2 - (-1 - -4) - t. Which is greater: x or 0.3?
x
Let k = -3.18 - -4.18. Does k = -44?
False
Let k be 4 + (-6 + 4)*1. Suppose 5 = k*l - l. Suppose -l*r = -93 + 23. Which is greater: r or 16?
16
Suppose 15*b + 21 = 14*b. Let h be b/63 - 160/(-462). Which is smaller: h or 1?
h
Let b = 259 - 22532/87. Suppose 2 - 6 = 4*h. Which is smaller: b or h?
h
Let k = 2.209 - 0.209. Let j = -0.46 - -18.46. Is j greater than or equal to k?
True
Let p be (-1564)/14 - (-16)/(-56). Is -112 at least as big as p?
True
Suppose i - 1464 = -5*n, -n - i = -2*i - 294. Is 293 at most as big as n?
True
Suppose -260*r = -252*r + 144. Is r greater than -18?
False
Let u(k) = -6*k. Let g be u(-1). Suppose 5*q + 4*p - 8 = 0, -2*q - 3*p - 2 + 1 = 0. Suppose -10 + g = q*f. Is f smaller than -1/7?
True
Let h be ((1 - 2)*1)/5. Let i = 424 + -424. Is h < i?
True
Suppose 4*z = 2*y + 36, 4*z + 6 = -10. Let g = y - -17. Let h be (-6)/g + (-8)/6. Is h greater than -1/21?
False
Let l = 0.077 - 3.077. Suppose p - 3 + 0 = 0. Let s = -5 + p. Which is bigger: s or l?
s
Let y(l) = 4*l**3 - 2*l**2 - 3*l. Let k be y(5). Let a be 4/(-14) + k/28. Let w = 15 - a. Which is smaller: -2 or w?
-2
Suppose -4*l + 2*b = 348, -3*b = -0*l - 4*l - 350. Which is greater: -85 or l?
-85
Suppose 11 = 6*k + 5. Let l = k - -1. Which is smaller: l or 12/11?
12/11
Let p be (-1 - -2)*-2*1/2. Let y = -56 - -34. Which is smaller: y or p?
y
Let w be -1 + ((-142)/(-52) - 23/46). Does w = 0.1?
False
Let u = -25 - -26. Let d = 12 + u. Which is smaller: 11 or d?
11
Let s = -17/5 + 4. Let m = -8 - 1. Let r = -7 - m. Is s bigger than r?
False
Suppose 5*o + 2*h - 19 = 0, -4*o = 5*h - 2 - 3. Let g be (-1)/(-4) - (796/(-80) + 6). Which is smaller: g or o?
g
Let z = 1346 + -1334. Suppose -5*c + 25 = -25. Is z less than c?
False
Let p(z) = -12*z - 12. Let g be p(-7). Let t = 69 - g. Which is smaller: t or -4?
-4
Let d = 117 - 36. Let i be -1 - ((d/(-12) - 1) + 3). Is 5 greater than or equal to i?
True
Let s = 281 + -280. Which is smaller: 3 or s?
s
Let m = 32 + -47. Suppose -c - 2*g - 9 + 4 = 0, -5*g = -2*c - 55. Are m and c equal?
True
Let u = -75 - -52. Let j = -15 - u. Which is smaller: 0.2 or j?
0.2
Let t = -43.93 + 44. Let b = t - 0.07. Which is smaller: b or 19?
b
Let d = 0 + 2. Suppose -8 = d*l - 0*l. Let o(q) = q**3 - 7*q**2 + 15*q - 14. Let a be o(3). Which is greater: l or a?
l
Let r(z) = z**2 - 3*z + 4. Let l be r(0). Let s be (1 - l/(-4)) + -10. Is s at least -8?
True
Let n be (-8)/(-2652) + ((-5)/(-5) - 1). Which is smaller: n or -1?
-1
Let s be (9/(-12))/((-3)/(-84)). Let n be (-13)/2*(s + 25). Is n at most as big as -25?
True
Let h = -1 - -1. Let q be 6 + ((-972)/66)/3. Is h at least as big as q?
False
Let w(t) = -5*t**3. Let x be w(-1). Suppose -8 = -r - 2*m, 17 - x = 3*m. Is -1/69 <= r?
True
Let p = 31.103 - 0.103. Do p and 10 have different values?
True
Suppose -340 = -5*q + 2*p, -3*q + 201 + 7 = -2*p. Is 69 > q?
True
Suppose -3*h + h - 10 = -3*p, -2*p - 5*h = 6. Let q(a) = 4 - 2 - p*a**2 + 4*a**2 - 6*a - a**2. Let r be q(6). Which is greater: r or 5?
5
Let t be 4/(-33)*(4 - (10 - 5)). Which is smaller: t or 1?
t
Let k be 38/34 - 1 - (-3306)/(-2958). Is 246 bigger than k?
True
Suppose 51*y + 5*y = -1120. Which is smaller: -22 or y?
-22
Let d = -48 + 33. Let t = -55.09 + 58.09. Which is bigger: d or t?
t
Let i(j) = j**3 + 5*j**2 + 2. Let p be i(-5). Suppose q - 7 = -p. Is q less than or equal to 3?
False
Let m be 2/(4/(-4)) + -3. Let j be 25/10 + (-69)/10 - 1. Which is smaller: m or j?
j
Let o = 26 + -20. Suppose -k = -4*k + o. Are k and -20 equal?
False
Let h = -496 - -495. Is h <= 1/190?
True
Suppose 10*u - 109 = -99. Which is smaller: 2/249 or u?
2/249
Let f = 42.31 - 43. Let r = f - 0.31. Which is smaller: r or -5?
-5
Let t = 115 - 115.6. Let u = t + 0.83. Which is smaller: -2/5 or u?
-2/5
Suppose -k - 2 = -4. Suppose 5*p + 5*z + 17 - 42 = 0, 5*p - 3*z = -15. Suppose k*j = 2*n - 4, p = 5*j - 4*n + 4 + 4. Does 1/2 = j?
False
Let i be ((-2)/(-4))/(2/(-8)). Let s be (0 + i)*2/38. Let v = -492 - -492. Is s > v?
False
Let r = -2383 - -202549/85. Are r and -1 nonequal?
True
Let j = 18985/34353 + -53/99. Is 0 > j?
False
Let l = 24 - 36. Let u be (-6)/15 + l/20. Let z = 2081/9 + -231. Is z bigger than u?
True
Suppose -3*p - 2*y - 54293 = 0, -5*p - 90484 = -0*p - y. Let q be p/6*40/(-95). Let u = q + -1270. Is u > 0?
False
Suppose 8*u - 10*u - 10 = 0. Let p(c) = -c**2 - 3*c + 15. Let t be p(u). Which is greater: 13/3 or t?
t
Let l = -666403/9036 + -1/4518. Let b = -74 - l. Which is bigger: b or -1.1?
b
Let z = 0.217 + -0.2. Let u = 20.017 - z. Let y = u + -19.9. Is 12 < y?
False
Let o be 31304/(-78) + 1/3 + -1. Is o <= -402?
True
Let b be (-5)/2*(3 + -1). Let g be 1/5 + b/((-75)/12). Is g < 8?
True
Let w = 23 - 8. Let y be (-2406)/w + 8/20. Let c be 4/14 - y/(-70). Is 1 greater than or equal to c?
True
Let h = -3017/5 + 603. Is -0.238 < h?
False
Let h be (-6)/(-5)*2200/33. Are 241/3 and h nonequal?
True
Suppose -25 - 51 = 5*v + c, 4*v + 63 = -3*c. Is v < -15?
False
Let j(t) = 58*t - 19. Let r be j(5). Is r bigger than 271?
False
Let c = 740 - 803. Are -6 and c non-equal?
True
Suppose 15*v + 61 - 31 = 0. Let t(c) = c - 1 + 1 + 3. Let r be t(v). Is 1/20 greater than or equal to r?
False
Let k be (-9)/(-63) - (-3634)/(-7). Is k greater than or equal to -519?
True
Let o(u) = 8*u - 37. Suppose n = -4*s - 4, 4*n - s - 22 + 4 = 0. Let t be o(n). Are t and -4 nonequal?
True
Let l = -49.6 - -53. Let z = l - 2.7. Is z > -0.3?
True
Let h be ((-4690)/201)/((-4)/(-6)). Which is smaller: -38 or h?
-38
Let h = 27 + 2. Let c = h - 29. Is c greater than 6/5?
False
Let v = -7/145 + 3819/1015. Suppose 0 = -2*n + 5 + 1. Is v > n?
True
Let j(p) = -p**3 + 31*p**2 - 25*p - 47. Let i be j(30). Is i < -2/