 -3974. Let g = -9 + 13. Do g and f have the same value?
False
Suppose 13 = 4*x + 89. Let a be (-12)/3 + 2 - x. Let t(o) = -19*o**3 - 4*o**2 - 6*o - 6. Let h be t(-1). Is a <= h?
False
Let g = 787 + -801. Which is bigger: 101 or g?
101
Let p be (-606)/(-4)*((-8)/6 - -1). Suppose 77*h + 357 = 70*h. Do h and p have different values?
True
Suppose 3*a + f - 95 = 21, 4*f = 3*a - 91. Let h be a*-1 - (-12 + 9). Which is bigger: -1 or h?
-1
Let s(w) = 2*w**2 - 3*w + 4. Let r be s(1). Suppose -3*k = 3 + r, k - 64 = 2*p. Let h = p + 33. Which is greater: h or 1/55?
1/55
Let c = -752.677 - -752. Let d = c + 0.057. Let l = d - -0.62. Are l and 0.016 equal?
False
Suppose -23*w - 1554 = -8*w - 8*w. Is -223 at most as big as w?
True
Let i(f) = -f + 5. Let s be i(-5). Let k = -3 - s. Let w = 3 - k. Is w less than or equal to 15?
False
Let s(l) = -9*l + 71. Let a(p) = -9*p + 74. Let c(y) = 2*a(y) - 3*s(y). Let b be c(4). Is b < -29?
False
Let n be -39*(42*12/(-54) - 2). Which is smaller: n or 435?
435
Suppose 0 = o + 26 - 175. Let a = o - 150. Let r = 918/2585 - -2/235. Is a at most as big as r?
True
Let m = -88 + 88. Suppose 3*g = 4*g. Suppose m = 5*l + 4*h + 10, h - 6*h = g. Is 3/4 at least l?
True
Let d be (9/6)/((-2)/(-12)). Suppose -2*q + 5*r + 20 = 0, 17 = -3*q - 5*r - 3. Suppose q*p - t = -2*p + 19, -5*t = 5*p - 70. Is p <= d?
False
Let h be (-45089)/26180 + (-2)/8. Let d = 28/85 + h. Let q = 22/7 + d. Which is smaller: q or 1?
1
Let p = -8900 + 16092. Is p at least 7191?
True
Let q be 4/(-22) + 35/11. Suppose -q*s = -2*s + 1. Let b = -9066/37 - -245. Which is bigger: b or s?
b
Let i be 1/((-102)/(-622)) - 6. Which is greater: i or 1?
1
Let j(q) = q**2 + 373*q - 1508. Let p be j(4). Let l be (-8)/(-16) + (-9)/2. Let h be (-23)/63 - l/28. Which is smaller: p or h?
h
Let h(f) = -f**3 - 36*f**2 - 167*f + 252. Let w be h(-7). Which is smaller: w or -54/439?
-54/439
Let u be (-2)/(-9) - (7/13545)/((-1)/(-427)). Is 0 >= u?
False
Let k = 5269 + -5488. Which is greater: -234 or k?
k
Let v be (-1)/(-1)*(1 - 4)*71/(-213). Which is smaller: 11/12 or v?
11/12
Let q be 15104/(-40) + 1*(-8)/20. Let s = -379 - q. Is s smaller than 13/2?
True
Let t be 3/6 + (-13895)/14 - 2. Let u be (-4)/(-14) + ((-2934)/t)/(-9). Which is smaller: -1 or u?
-1
Let d = -29 - -24. Suppose 33 = -23*x - 13. Which is smaller: d or x?
d
Suppose 9*t - 21*t = -300. Suppose 0 = -t*g - 8*g - 3498. Is g less than -104?
True
Let x be (-141470)/(-1650) + 6/99. Is 87 greater than x?
True
Let a = 0.4874 - 1.4874. Let q = 59.8 - -8.2. Which is greater: a or q?
q
Let f = -0.11344 + 0.11344. Is -504 at least as big as f?
False
Let s be -75*(9/(-6) + (-2)/(-4)). Let l be (-10)/s - 6024/45. Does l = -134?
True
Let q be (-158*(-767)/(-39))/((-8)/(-12)). Do -4661 and q have the same value?
True
Suppose -2*w = -2*d - 602, 6*w + d - 899 = 3*w. Let p be (2/5)/((-48)/w). Let b = p + 2. Which is bigger: b or 0?
0
Suppose -l + 69 = -5*g, 215 = 5*l - 13*g + 14*g. Suppose -18 = -38*m + l*m. Which is smaller: m or 14?
m
Let m = -3165 - -3164.9. Which is smaller: m or 648?
m
Let b = -31215 - -2278694/73. Is b < -49?
False
Let q be 2/(-27) + (-15184)/7884. Suppose 4*i - 42 = -2*n, i - 3*n = -0*n. Suppose -4*p + i = -3. Which is greater: q or p?
p
Suppose -5*m + 1 = -14. Let g be (-70)/1925 + 18931/4840. Is g at least as big as m?
True
Let s = -262 + 262. Suppose -c = -x + 118, s = -x + c + c + 115. Which is greater: 120 or x?
x
Let q = 3940841/224 - 17593. Let y = -2535/3808 - q. Which is smaller: y or -1?
-1
Let v = 0.12866 + -0.02866. Which is greater: v or 4391?
4391
Let u be ((-14)/42)/(3/45). Suppose 2*a - 26 = 8. Suppose 3*l + 5 = f + 20, a = -3*f + 2*l. Which is bigger: u or f?
f
Let v = -8.2 - -8.3. Are v and 309 unequal?
True
Let l(j) = 49*j - 21. Let r be l(5). Let z = 175 - r. Do -47 and z have different values?
True
Suppose 118 = 15*w - 92. Suppose -2*v + w*v = v. Is v greater than or equal to -21/29?
True
Suppose -3*x + 757 = -5*y + 2063, 4*x - 275 = -y. Is y bigger than 1316/5?
False
Suppose -2*v - 61 = -3*v + 4*i, -4*i = -2*v + 118. Suppose -v - 45 = -34*k. Is k at most as big as 3?
True
Suppose 7*b = 12*b - 185. Suppose 2*g = g + b. Let y = 37 - g. Is -4 bigger than y?
False
Let o be 354/52*(-3)/9 + (2 - -1). Which is greater: 2 or o?
2
Suppose 0*z + 18*z - 2 = -20. Are z and -345 non-equal?
True
Let k be ((-564)/15)/((-26)/(-455)). Let a = -25007/38 - k. Are 0 and a equal?
False
Let o = -1569 + 1567. Which is smaller: o or 626?
o
Let s = -10 + 9. Let k = 347490 + -5905575/17. Let b = -103 + k. Are b and s equal?
False
Let r(f) = 2*f**3 + 302*f**2 + 305*f + 1199. Let b be r(-150). Which is greater: 447 or b?
b
Let y = -25111 - -26275. Is y less than or equal to 11?
False
Let b = 8 + -128. Let n = b + 55. Let t = 64.92 + n. Is 3 greater than t?
True
Let o = -0.03291 + -1.19709. Which is greater: 0.1 or o?
0.1
Suppose -24 + 24 = -10*l. Let s = 1040 - 1806. Let r = s + 36004/47. Which is greater: l or r?
r
Let m be (1 + (-1)/2)/(18/180). Suppose 13*z - 8*z - 91 = -3*c, -m*z + 93 = 4*c. Is z greater than or equal to 1?
True
Let c(n) = -2*n**2 + 8*n - 8. Suppose -4*p + 2*b - 2 = 0, -3*p - 2*p - 10 = -4*b. Let q be c(p). Is 1/26 at most as big as q?
False
Let l(h) = h**3 + 12*h**2 - 34*h - 76. Let a be l(-14). Is a != 39?
True
Suppose -1 = 8*t - 33. Suppose -t*g + 4 = -4*h, h - 2 = -0. Let n(d) = -d + 23. Let a be n(17). Which is smaller: g or a?
g
Let r(l) = l**2 - 4*l + 3. Let a be r(2). Let s = -4128 - -206401/50. Is a not equal to s?
True
Let x = -453/2 + 236. Let n = x - 9. Do -1/20 and n have different values?
True
Suppose 0 = -352*i + 330*i - 16588. Is i greater than -753?
False
Let z = 6748381 + -114683473/17. Let u = -2295 + z. Which is smaller: 0 or u?
u
Suppose 4*p + 5*v - 549 = -562, -3*p + 4*v - 2 = 0. Which is smaller: p or -5/32?
p
Let r be 1173 - 1165 - (-2 + 0 - -10). Let y = -1254/56429 + -4/773. Do y and r have different values?
True
Suppose 2*c = -j + 10, -5*j + 3*c + 0 = 2. Suppose -4 = k, 2*k = -4*n + j*n + 4. Let h be n/24*0/3. Which is greater: 0.01 or h?
0.01
Let k = 4.729 + -0.429. Let q be (-3)/(-4)*16/6. Is k > q?
True
Let i = 12790.1 - 12790. Which is smaller: 9.2 or i?
i
Suppose 37*y = 42*y + 125. Let h be y/(-78) + 4*(-1)/24. Let s = 0.11 - 0.15. Which is bigger: s or h?
h
Let d(t) = -t**2 + 13*t + 32. Let g be (-7)/14*(2 + -2)/(-1). Suppose -18*a + 5*a - 65 = g. Let w be d(a). Is -57 less than w?
False
Let h(n) be the third derivative of 10*n**4/3 - 118*n**3/3 - 248*n**2. Let p be h(3). Is 64/19 smaller than p?
True
Let d = -38 + -226. Let k = -264 - d. Which is bigger: -20/33 or k?
k
Suppose -q + 38 = -y, 5*q + 138 = -135*y + 132*y. Suppose -52 + 212 = -4*k. Are y and k non-equal?
True
Let u be (434/(-3) - -10)/(4/(-78)). Suppose -1054 - u = 40*j. Let v(p) = -10*p**2 + 2*p + 4. Let l be v(-3). Is l less than j?
False
Let d = 8053 + -8179. Which is smaller: -129 or d?
-129
Let h be -1 + (-1 - -5) + -5. Let i be -2 + h + (-48)/(-10). Let w be -2*(1 + 2/(-1)). Do w and i have different values?
True
Let b be (27/(-54))/((-3)/6). Is b >= 1/9384?
True
Let s = -276 - -363. Let v = 95 - s. Is 10 > v?
True
Let n = -81 - -81.54. Let h = n + -44.54. Let w = 43.6 + h. Which is greater: w or 3?
3
Let m be (-360)/(-600) + 66/40 - 1/4. Let d be (770/33)/(2/9). Is m > d?
False
Suppose -2*g + 2*h - 3 = -9, -3*h - 13 = g. Let l be (219 + (6 - -1))/g. Which is smaller: -227 or l?
-227
Let u be (0 - (2 + 12/(-15)))*(-5280)/(-4884). Which is smaller: -2 or u?
-2
Let c be 3/(0 + -9) + (-19)/(-3). Let b be 33/(-12) - c/(-8). Let u be 2 + b + 15/(-6) - 0. Are u and -2/11 non-equal?
True
Let j = -2711 + 2711.02. Is 0.234 <= j?
False
Let j(t) = -t**3 + 18 - t - 8*t**2 + t**2 - 6*t**2. Let p be j(-13). Suppose -6*u + p = -35. Is 4 != u?
True
Let t = -0.00406 + 746.00406. Which is smaller: t or 2/5?
2/5
Let a = 674482 + -3950441084/5857. Is a equal to 0?
False
Let v = 0.328 - 0.028. Let x = 172 - 172.6. Is v greater than x?
True
Suppose 0 = -4*a - 969 - 219. Is a < -292?
True
Let w be (-6)/(-2) + (-40 - 0/(-8)). Suppose n - 507 = 14*n. Is n smaller than w?
True
Let q = 602 + -537. Suppose 0 = -y, -q = a - y - 2*y. Is -67 less than a?
True
Suppose 0 = 5*o - 5*y + 3750, 5298 - 1528 = -5*o + y. Suppose