*t - 5*o = 219, 8*t - l*t + 432 = -4*o. Is t greater than or equal to -107?
True
Let v = -30/1019 + 90899/3052924. Let p = -59907/38948 - v. Which is bigger: -1 or p?
-1
Let y = -0.162 - 69.838. Let i = y - -113. Does i = -1/4?
False
Let t = 0.10113 + -8.08413. Let d = t + -0.017. Let j = 0.03 + 0.27. Which is bigger: j or d?
j
Let w be 1/(-2) - 722/(-4). Suppose 2*k + w = -k. Let o be (2 - k*1)/(-2). Is -31 at most as big as o?
True
Suppose 14 = 3*v - 7. Suppose -3*h = -v*h - 76. Let c = h - -19. Which is smaller: c or 3/23?
c
Let v(o) = o**3 - 2*o**2 - 9. Let p be v(3). Suppose -5*d + 115 = -5*k - p*d, 0 = 3*k + d + 61. Let z be 67/(-63) + (-3)/k*2. Is z less than or equal to 0?
True
Let x = 29584 + -29584. Is 3/8176 bigger than x?
True
Let d = -455.37 + 453. Let w = d + 2.5. Let b = 275544 - 1928810/7. Is w != b?
True
Let l be 1/(0 - (-866)/(-4)). Let s = -1319/4330 - l. Which is bigger: s or 1?
1
Let f = -45/842 + -33471/11788. Which is greater: f or -4?
f
Let d = 80 + -75. Suppose 2*x + 3*m + 2 = x, -6 = -d*x + m. Suppose -31*l = -32*l + x. Which is greater: l or -2/75?
l
Let h(z) = 2*z**3 + 25*z**2 + z + 21. Let n be h(-17). Which is smaller: -2598 or n?
-2598
Let n = 2956 + -2955.9. Which is bigger: n or -507/8?
n
Let b = 2291 - 2340. Which is smaller: -21 or b?
b
Suppose -3*a - 94*f = -92*f - 82, -a + 30 = -2*f. Suppose g + a = 5*p, g = 3*p - 1 - 17. Are g and 108 nonequal?
True
Suppose 2*n = -2*n - 24. Suppose 0 = 2069*w - 2294*w - 1125. Which is greater: n or w?
w
Let h = 540.2 + -541.2. Is -2/1235 at least h?
True
Suppose 14*g - 18 = 16*g. Let a(i) = 2*i**2 + 18*i. Let x be a(g). Let b be 8/(-260)*(-10)/16*6. Do b and x have the same value?
False
Let g be 2 + 4/(-2) - -5. Let n(u) = 106*u - 309. Let c be n(3). Suppose g*d = c - 4. Is d equal to -7?
False
Let y = 336573668/329 + -1023023. Let m = -173/4 + 8215/188. Let d = m + y. Which is bigger: -3 or d?
d
Let i = -31339 + 31330.93. Is i >= -6/5?
False
Suppose -17*y = -16*y - 2*w + 1, -y - 1 = -4*w. Is y != -2/2255?
True
Suppose -3*d + 2*y = -11, d + 0*y = 3*y + 6. Suppose -q + r = 128, -d*r + 472 = -4*q - 7*r. Do q and -123 have the same value?
True
Let k = -445 + 988. Let g = k - 402. Is g < 140?
False
Suppose -5*z - 33 = -4*f - 12, 5*f - 4*z - 15 = 0. Let p be 188*(f - 1)/12. Let d = 32 + p. Is d equal to -1/36?
False
Suppose -14 = -6*j + 4*j. Suppose -2*d = 7 - j. Let b = -34498/49 - -704. Is d at least b?
True
Let m be 4 - -26 - (8 + -10). Suppose -m = -o - 7*o. Which is smaller: -50 or o?
-50
Let j = -7651 + 7650. Which is smaller: 78 or j?
j
Let j = -6/3421 - -158540/86493143. Is -1 greater than or equal to j?
False
Let l = -0.118 - -159.118. Let w = -161 + l. Let t = 1.4 + 0.6. Do t and w have different values?
True
Let n(w) = -165*w - 166. Let p be n(-1). Is 1/1804 greater than p?
True
Let q = -47 + 374. Let s = 341 - q. Is s equal to 9?
False
Let n = -9.44 - 761.56. Let r = 728 + n. Is 3 < r?
False
Suppose -q = 2*f - 23 + 81, 5*q - 2*f = -230. Let o = q - -56. Let g(k) = -k**3 + 8*k**2 + 5*k - 10. Let x be g(o). Is x less than or equal to 29?
False
Let g(t) = -t**2 - 13*t + 7. Suppose -4*s - 52 + 0 = 0. Let z be g(s). Suppose 5*y - z*y - 10 = 0. Is -5 at least y?
True
Suppose 11 + 1 = 4*q. Suppose t = 8, -k - 2833*t = -2834*t - 25. Suppose -g + 0*g - m = 11, -5*m = -q*g - k. Is g bigger than -8?
False
Let p = 13147 + -13315. Which is smaller: -179 or p?
-179
Suppose -67*v = -163*v + 83*v + 4849. Are v and 352 equal?
False
Let t(m) = 6*m**2 + 4*m + 8. Let u be t(-2). Suppose 2*s + 25 = -4*d + 5, 2*d - 3*s = -2. Let b be ((-2)/d)/(3/144) - 0. Is b < u?
False
Let j = 10 - 10. Suppose 5*a + 2 = f - j, -2*a + 2 = f. Let c be ((-6)/(-12))/(-1 - a). Which is greater: 12/7 or c?
12/7
Let r = 5.5 + -5.512. Let n = r - -0.012. Let g = 151/558 - 3/62. Which is smaller: n or g?
n
Let j be (16/28)/((-36)/(-28) + -1). Suppose j*i = -b - 3*i - 195, -2*b - 390 = i. Which is smaller: b or -196?
-196
Let j(v) = 3*v**3 - 3*v**2 - 13*v + 2. Let l(u) = -7*u**3 + 8*u**2 + 27*u - 5. Let q(c) = 9*j(c) + 4*l(c). Let x be q(7). Is -164 at most x?
True
Let c be -2*15/(-40)*(-8)/(-6). Let w = -437/9 - -505618/10413. Is w at most as big as c?
True
Let w = 59 - 36. Let l = -12.186 - -15.186. Is l at least w?
False
Let w = 0.043 + -0.043. Let p = 10 - 8. Which is greater: p or w?
p
Let o(i) = -i**3 - 12*i**2 - 2*i - 12. Let k be o(-12). Suppose -4*u - k = -8*u. Suppose 4*f + r = 6*f - u, -f - r = 3. Is f smaller than -2/19?
False
Let c = -6873 + 14598. Let l = c - 4530. Let m = l + -41557/13. Does m = -2?
False
Let h = -368 - -144. Let b = 218 + h. Do 1 and b have different values?
True
Let j be (-12)/(-195)*(-20)/8. Suppose -m + 4*m - 3*q + 36 = 0, -2*m - 14 = 3*q. Which is greater: m or j?
j
Let u be 0 + -2*27/12*(0 + -182). Which is smaller: 816 or u?
816
Let s = -4939 - -4925. Which is smaller: s or -29?
-29
Let r be 0/(-10 + (-13 - -32)). Which is smaller: -10/3 or r?
-10/3
Let x = 474 + -485. Let l be 36/(-198) + (-92)/x. Which is smaller: l or 0?
0
Suppose -b - 5*d = 4*b - 30, -3*d = 2*b - 10. Suppose 3*m + b = m. Let a = -1052 + 5241/5. Which is smaller: m or a?
m
Suppose y + 27 = 1. Let x(u) = u**3 + 26*u**2 + u + 25. Let z be x(y). Which is smaller: -4/13 or z?
z
Let b = -239/36 - -10151/36. Is 276 >= b?
True
Let d(c) = 10*c + 8. Let b be d(-6). Let g = 826 + -880. Which is greater: b or g?
b
Let h(k) = -k**2 - 5*k + 13. Let t = -50 - -51. Let w be t/4 - 406/56. Let m be h(w). Which is greater: m or -14?
m
Suppose 7*n - 19530 = -8*n. Is 1302 <= n?
True
Let y = 8 - 11. Let o = 12884 + -12883.65. Which is smaller: y or o?
y
Suppose i - 6 = -i + 4*r, 0 = i + 5*r - 3. Let q be (1 - i) + 2/((-8)/(-228)). Does 57 = q?
False
Let b = 89539 + -271571783/3033. Let l = 160705/33363 + b. Which is greater: 6 or l?
6
Let k = -2589 - -2434. Is k < -3/7?
True
Suppose -6*c = 10 - 28. Suppose -c*i + b + 18 = 0, -i - 3*b = -15 - 1. Is -1 at least as big as i?
False
Suppose 8*a = 12*a + 248. Let y = -24 - a. Let p(d) = d**2 - 3*d + 2. Let g be p(2). Is y smaller than g?
False
Let c(s) = s**2 - 10*s. Let v be c(10). Suppose 5*h + 6 + 4 = v. Let n be h/15 + 238/(-15). Which is smaller: -1 or n?
n
Let f = 356.4 + -356.44. Which is greater: f or -6/23?
f
Suppose -4*z + 17 = 3*c, -2*z - 12 = -4*c - 4. Let p be 3 - (z - 2)/(-3). Let l = 5 + -13/4. Which is bigger: p or l?
p
Let c(m) = m + 3. Let q be c(-4). Let a = -16824828 - -20324390881/1208. Let t = a + 9/8. Which is smaller: t or q?
q
Let u = -42 - -5. Suppose 3*s - 4 - 13 = -2*c, -5*c + 10 = s. Let y be (c + 0)*(-9)/(27/114). Which is greater: y or u?
u
Let w(f) = 2*f + 6. Let g be w(-5). Let t be -3 - 0 - (g + 1). Let p be (-70)/(-110) - (-1)/(-11). Which is smaller: p or t?
t
Let m = 18277 - 8663. Is m less than or equal to 9615?
True
Let b = -59/1962 - 25/981. Is -5/41 at most b?
True
Let n(g) = -24*g + 176. Let b be n(22). Is -351 greater than b?
True
Let d(t) = t**3 + 8*t**2 - t - 6. Let y = -27 - -19. Let l be d(y). Suppose 6 = -p + 4*p. Is p <= l?
True
Let y = 36752/11 - 218931686/65527. Which is greater: -1 or y?
y
Suppose 12 + 46 = -2*a. Let m be (-1064)/(-56) + (2 - 52). Do a and m have different values?
True
Let k = 6/5417 - -6064/4306515. Let z be (0*4/12)/1. Is z less than k?
True
Let u = 20 + -42. Let c = 403.84 - 404. Which is smaller: u or c?
u
Let p be (4 + (-10675)/1617)/((-1)/201). Let x = p - 523. Which is smaller: 0 or x?
x
Let w be ((-4)/(-30))/((-104)/(-390)). Which is bigger: w or 1/4523?
w
Let i be (-10912)/(-66)*(3 + 0). Let y be (i/(-32))/(-1*1/2). Is y >= 33?
False
Let t = 2254/1845 - 44/45. Let f = 8/369 - t. Let k = -26 - -29. Are k and f non-equal?
True
Suppose 5*o + 5*a + 82 = 2*o, 5*a + 10 = 0. Let p be ((-976)/o + -2)/((-2)/6). Is p at least as big as -118?
True
Suppose -45*g + 4*h - 110444 = -49*g, 4*h - 138049 = -5*g. Is g equal to 27605?
True
Let x(d) = -5*d**2 - 3*d + 2. Let z = -239 + 238. Let l be x(z). Which is greater: l or 2?
2
Let s(c) be the second derivative of c**3/2 - 9*c**2/2 - 17*c. Let u(h) = h. Let z(v) = 2*s(v) - 10*u(v). Let o be z(-7). Which is greater: o or 9?
o
Let c = -360 - -362.65. Let f = c + -2.55. Which is greater: 3.8 or f?
3.8
Let t = 33.98 - 32. Let m = -20.02 - t. Does -1/4 = m?
False
Let l =