 = -13*l + 16, -3*g = -4*l + 17. Let a be (-9101)/1672 - (0 + (-2)/g). Does -7 = a?
False
Let m(g) = g**3 + 5*g**2 + 5. Let s be m(-5). Suppose 4*u = s*h - 196, -8 = -h - h. Which is greater: -2 or u?
-2
Let w = 229 - 360. Let g = w - -138. Which is bigger: 35 or g?
35
Let i(b) = -b. Let c be i(-2). Let d be 274/18 - (-7 - 195/(-27)). Let a be ((-1)/d - 0)/(117/(-1365)). Is a <= c?
True
Let n = -135 - -143. Let c be (-2)/3*9*n/(-48). Are c and -6/71 unequal?
True
Let w be (-51080)/(-140) + 1/7. Let p = -368 + w. Is p > -9?
True
Let p be (-6576)/(-15) - (-231)/385. Is 440 > p?
True
Let k = -10688.5167 + 10688. Let p = -0.0167 - k. Which is greater: p or -4.1?
p
Let s(n) = -92*n - 1377. Let v be s(-15). Let o = -17423 - -540167/31. Which is greater: o or v?
v
Let h = -12145 + 12143.48. Which is bigger: -2 or h?
h
Suppose -5*c + 2*c = 0. Suppose c = 10*y - 745 - 155. Let h = y + -93. Do -28/11 and h have the same value?
False
Let n be (0/2 - 17)*(31 - 15). Let r = n + 1901/7. Is -6 != r?
True
Let n be 3/(-4) + (-1216803)/1464*2. Let a = 1663 + n. Is a at most as big as 0?
True
Let g(u) = u**2 + 20*u + 17. Let k be g(-19). Let x be (5/18075)/(k/(-904)). Let m = x + 2/241. Which is bigger: 0 or m?
m
Suppose 513*f - 2 - 9 = 524*f. Is f less than 3/2819?
True
Suppose 0 = 52*t - 37*t + 30. Is t smaller than -76/31?
False
Suppose 4428 = 4455*y - 4419*y. Suppose -5*s - 150 = -2*d + 91, 5*d - 4*s = 611. Is y bigger than d?
False
Let l = 0.3 - -1.6. Let g = l - 17.2. Which is bigger: g or 1/2?
1/2
Let f = -20297/351654 - -1/4042. Suppose -3 = -5*g + 8*g. Is g != f?
True
Suppose -32 = 13*p + 7. Let j be (2/(-4))/(p/(1152/(-2))). Is j not equal to -96?
False
Suppose -3*x - 1495 = s, 367*s = 372*s - 5*x + 7395. Which is bigger: s or -1480?
-1480
Suppose 4*d = -5*g + 373 + 492, 4*d = -4*g + 696. Suppose 0 = 3*n + 4*y + g, y - 283 = 5*n - 32. Let l = 48 + n. Are l and -24/11 nonequal?
True
Let n(o) = o**3 - 4*o**2 - 29*o + 12. Let g be n(-4). Suppose g = -9*z - 210 + 291. Let m(i) = -i**3 - i**2 + 7. Let b be m(0). Which is smaller: b or z?
b
Let j(w) = w**3 - 6*w**2 - w + 6. Let b be j(6). Let p = 13211/4 - 408677/124. Let d = p + -7. Is d greater than or equal to b?
False
Suppose -3*l = 18, 4*s = 11*l - 16*l - 66. Which is smaller: s or -52?
-52
Let y = -1313 + 739. Which is greater: -571 or y?
-571
Let b = -0.03 - 0.15. Let z = b + 2.18. Let u = -43/5 - -127/20. Is u != z?
True
Let v = 3738/5 - 747. Let a = -1.7 + -7.3. Let n = 8.6 + a. Which is greater: n or v?
v
Suppose -y - y - 1 = -3*n, 4*y = -n + 19. Suppose -16*k = 10*k - 26. Suppose 5*t = 5*i + 5, k = 2*t - y*i + 3. Which is greater: -2 or t?
t
Suppose 5*m - 4*p = -13140, m + 3*p - 2*p = -2628. Let b be (-52)/234 + (-530)/m. Is b greater than 0?
False
Let a = -737 - -734. Is a less than -4/29?
True
Let l = -21995 - -20333. Is l equal to -1?
False
Let p = -2826 + 25474/9. Let r = p + -46/9. Which is smaller: 34 or r?
r
Let p = 183.3 - 197. Let g = 102.7 + p. Let k = g - 91. Which is greater: -0.12 or k?
-0.12
Let m = -47 + 59. Suppose -c = -2*l - 4, -m = l - 6*l - 3*c. Suppose l = -0*b - 7*b + 7. Which is smaller: b or 2/7?
2/7
Let d = 820 - 798. Suppose 1 + 0 = -g + 3*i, 5*g = -2*i - 5. Which is smaller: g or d?
g
Let x be -2*207/(-6) + 1. Let n(u) = 14*u**2 + 49*u + 23. Let v be n(-4). Let h = v - x. Is h <= -20?
False
Let x(d) = d**3 - 11*d**2 - 144*d - 60. Let g be x(-13). Which is greater: -2246 or g?
g
Let c = -6038/11 + 33794730/61567. Is 1 less than or equal to c?
False
Suppose -8*b + 3*b = 15*b + 900. Is -48 at least b?
False
Let o(f) = -f**3 + 17*f**2 + 19*f + 30. Let c be o(18). Suppose -6*s = -54 - c. Suppose 12*m = s*m + 45. Which is greater: -7 or m?
-7
Let r = -393/4 - -16887/172. Let o = -94284 - -94283. Which is bigger: r or o?
r
Let i be (-488)/(-4) + (-3 - -1) + 1. Let n = -127 - i. Is -248 equal to n?
True
Suppose 0 = -4*u - 5*p + 26, 0 = -3*u - p - 4*p + 17. Is -212 bigger than u?
False
Let j = 37861 + -37862. Which is smaller: j or 26/3395?
j
Let y = -0.0602 + -220.8398. Let p = y + 221. Let j = 4 + -9. Which is smaller: p or j?
j
Let b = -16159/2 + 163409/20. Let q = -91 + b. Let z be (6 - 5)/(-1*1/1). Which is bigger: q or z?
q
Suppose 5 = 3*c - 4. Suppose c*g + 0*g = 81. Which is greater: 29 or g?
29
Let f be ((-4)/10 + 564/235)/(-3 + 5). Is -11/56 less than or equal to f?
True
Let i = 1.6 - 0.7. Let q = -3.9 + i. Let k = 1.995 - -0.005. Which is greater: q or k?
k
Let i be (1/2)/(4/16). Suppose 9 = -w + 3*m, 5*w - 17 + 2 = -5*m. Suppose w = i*j - 3*l - 0 - 6, 10 = -j - 5*l. Which is bigger: -2 or j?
j
Suppose -11*t + 7*t + 20 = 0. Suppose -5 - 25 = t*s. Let w(a) = -a**3 + 45*a**2 - 7. Let j be w(45). Which is greater: j or s?
s
Let q be 0 - (-22)/15 - 2. Let m be (-2)/8*-268 + -1. Let h = -66 + m. Are h and q nonequal?
True
Let o(r) = r**3 - 142*r**2 - 1685*r + 305. Let h be o(153). Is h greater than or equal to -3/19601?
False
Suppose -190*u - 16058 + 243818 = -60*u. Is u <= 8766/5?
True
Let x = 43.3 - 23.1. Let w = 0.042 - 19.042. Let n = x + w. Are n and 3 unequal?
True
Let r(n) = -n**3 - 4*n**2 - 3*n - 8. Let o be r(-10). Let g = -26123/42 + o. Let v = 173/210 - g. Which is greater: v or 0.3?
v
Let r be -3 + 0/(-3) - -2. Let o(i) = 52*i**2 - i. Let a be o(2). Let z be a/(-144) + (-92)/(-32) + -3. Is r > z?
True
Let s = 1229 - 1312. Which is bigger: -85 or s?
s
Let o be ((-4508)/115)/(9/15 - 1). Suppose 6 = 95*m - o*m. Is 126 bigger than m?
True
Let d be ((-10)/11 - -1)*(-25602 + -120). Which is bigger: d or -2339?
d
Suppose 4*j + 0*j = 0. Let f = -64 + 36. Let k = f - -175/6. Which is smaller: k or j?
j
Suppose -3*f - 5*x + 25752 = 0, 3*f + 126*x = 131*x + 25722. Is 8580 less than f?
False
Let x = -2.79 + 529.29. Let v = x - 527. Are v and 2.9 equal?
False
Let s(a) = a**2 + 4*a - 4. Let k be s(-7). Suppose 0 = 3*y - j - 12, 4*j + k = 4*y + 3*j. Which is greater: 0 or y?
y
Let y(n) = -3*n**2 - 6*n - 2. Let k be y(-3). Let q = 10 + k. Which is bigger: q or 2/1661?
2/1661
Let k(i) = 2*i**3 + 6*i**2 + 2*i + 5. Let d be k(-3). Let p = 52 + -52.26. Are p and d unequal?
True
Suppose 7*u + 32 = 88. Suppose 6*c + u*c = 19*c. Is 221/4 smaller than c?
False
Suppose 10*k - 6*k = -228. Let u = -186 - -127. Which is smaller: u or k?
u
Let o(c) = c**3 + 11*c**2 - 4*c - 20. Let l be o(-13). Let q = -304 - l. Suppose -2*n - 8 = 4*z - 2*z, 3*n + 10 = -2*z. Is n at most q?
True
Let u be 11/88 + 1015/8. Let q = 128 - u. Is q at least as big as -92?
True
Suppose -s + 0 = 35. Let h(y) = y**3 + 66*y**2 + 53*y - 810. Let l be h(-65). Which is bigger: l or s?
l
Let n be (-6)/9 + (-9)/(189/(-1778)). Let a be 1872/n - 6/21. Are a and 194/9 nonequal?
True
Let m be ((-4)/85)/((-1)/(-16165)). Let a = m - -761. Suppose 2*r - 3*c - 10 = 0, 17*c - 14*c = 3*r - 9. Which is bigger: r or a?
a
Let s(g) = -g**2 - 13*g - 28. Let b be s(-11). Let m(u) = -2*u**2 - 10*u - 8. Let z be m(b). Is z <= -21?
False
Let b(v) = 5*v**2 - 127*v - 59. Let l be b(26). Let y(s) = -s**2 - 15*s + 73. Let q be y(l). Do -572 and q have different values?
True
Let c = -306457/2647593 - -16/6669. Are c and 0 unequal?
True
Let o be (4/1)/(34/4). Let x be 224/(-1792) + 14/(-16). Is x less than o?
True
Let m be (3 - -23)*1170/(-180). Which is smaller: m or -178?
-178
Suppose 4*i - 4*o = 15816, o - 15332 - 499 = -4*i. Which is smaller: 3958 or i?
i
Suppose -1200 = -b - 185. Suppose -v = -3*v + a - 406, 5*v + b = -5*a. Let q be (v/(-14))/((-1)/2). Is -28 greater than q?
True
Let r = 91 - 57. Suppose -3*x = -2*t + x + 34, 2*t - r = 3*x. Let q be (-1)/18*(-68)/t. Is 6 smaller than q?
False
Let i = -262 + 614. Let l = i + -350. Suppose -3 = -3*k - 15. Do l and k have the same value?
False
Let z(h) = h**2 + 3*h. Let s be z(-2). Suppose -4*f + 84 = -16*f. Let p = s - f. Is 6 >= p?
True
Let n = -62/935 - -333483/935. Suppose l - 3*l + 713 = -y, 0 = -4*y + 12. Let b = l - n. Is 0 greater than b?
False
Let c = -9846 - -5706. Let f be 16/24 + 2755/c. Which is smaller: f or 0?
0
Suppose -3*a + 19 = -2. Suppose -p - 4 = 0, -a*n = -2*n + p - 6. Let x = -171 + 155. Which is smaller: x or n?
x
Let n = -24671622/73 - -337974. Which is smaller: 7 or n?
n
Let v = 631 + -630.9. Is v smaller than 224?
True
Suppose o = 11 + 5. Suppose -4*h - 2 = q, -2*q