4 + z. Is 0.1 >= h?
False
Let d(m) = -2287*m**2 - 56*m - 130. Let l be d(-3). Is l < -20544?
True
Suppose 9*r - 28*r - 725 + 98 = 0. Is -13 less than r?
False
Suppose 12922 = 4*g + 3646*u - 3649*u, -6448 = -2*g - 5*u. Are 3234 and g equal?
False
Suppose -371 = 4*r - 3*g, 0 = -r - 22*g + 24*g - 89. Let a be (-2 - 1232)*(-3)/6. Suppose -6*p - a = -53. Which is bigger: r or p?
p
Suppose 52*m + 86174 = -45438. Which is bigger: -2530 or m?
-2530
Let a = -0.245 - 324.755. Let m = -326 - a. Is 6/5 < m?
False
Let m be (-2 - 0/(-2))*4/(-1). Suppose -146 - 398 = -m*q. Suppose 82 - 13 = c. Is c >= q?
True
Let q = 1.8 - 0.5. Let s = q - 3.6. Let d = s - -2.3. Which is smaller: -0.4 or d?
-0.4
Let p(v) = v**2 + v - 41. Let i be p(0). Suppose -200 = 2*s - 50. Let q be 3270/s + 9/15 - -2. Is i less than q?
False
Let l be 1*(1/5)/((-76)/(-20) - 4). Does 1/82 = l?
False
Let w = 206 + 229. Suppose -w = s - 431. Which is bigger: s or 1.7?
1.7
Let a(j) = 3*j**2 - j + 2. Let v(f) = -17*f**2 + 4*f - 11. Let p(m) = -11*a(m) - 2*v(m). Let d be p(0). Which is smaller: 1/37 or d?
d
Suppose -5*i + 10 = 0, 190*d - 96*d - 98*d - 2990 = -5*i. Let m = -2211 - -1465. Is d < m?
False
Let r be 8526/(-4095) + (-2)/(-3) + (-6)/(-6). Is r >= 1?
False
Let n = 1101379/46 - 23943. Suppose -5*u = 3*k + 11, 0 = -2*u - k - 0*k - 4. Which is smaller: n or u?
u
Let a be -6*(-2)/4*-1. Let c be (2 + a)/(1/3). Let d = 140825 + -985781/7. Is d bigger than c?
True
Suppose 0 = 2*w - 7*w + 280. Suppose 6*s = -5*t + 4*s + 282, -4*t + 3*s + 244 = 0. Is t >= w?
True
Let a = 7.29933 - -0.30067. Which is greater: a or 4/15?
a
Let o be (1/1)/((-54)/6 + 10). Let i = 2/193 + 2869/2509. Is i at least as big as o?
True
Suppose -52*n = -233*n - 181. Which is smaller: n or -1/32934?
n
Suppose 5*l + 2 + 34 = 4*a, -4 = 4*a + 5*l. Let s(q) = q + 18. Let c be s(-14). Let g be (0/c + -4)*2/(-4). Which is greater: a or g?
a
Suppose 0 = g + 5*n - 26, 4*g + 3*n = -0*n + 19. Is g != 1/10553?
True
Let s = 341 + -266. Let k = 1/598 + 1189/4186. Which is greater: k or s?
s
Let z be (-18)/(-315) - (2 - 0). Let r = -8/7 - z. Is r < 2?
True
Let y = -858 - 11958. Which is greater: y or -12817?
y
Let g = -3711 - -3726. Which is bigger: 421 or g?
421
Let v = 44656.56 - 44657. Let r(k) = k**3 - 2*k**2 - 2*k - 2. Let z be r(3). Is z <= v?
False
Let k = 22 + -22.04. Let i = k - 64.96. Let n = 64.68 + i. Which is bigger: 1 or n?
1
Let n be ((-60)/156)/((-2)/14). Let g = 1593/611 - n. Which is greater: 1 or g?
1
Let f be (291 - (-2 + 2))/((-63)/42). Let n = f - -54. Is n at least as big as -140?
True
Let o be 8 + ((-957)/58)/(6/4). Which is greater: -125/39 or o?
o
Let u be 224/22 - 20/110. Let z(b) = 2*b - 21. Let w be z(u). Let i(d) = -d**2 - d + 1. Let s be i(w). Is s >= 3/14?
True
Let w = 1427/18868 + -37/356. Suppose -1 = -4*v + 2*t - t, 4*t + 4 = 5*v. Is v greater than or equal to w?
True
Let w(d) = d. Let a(h) = h**3 + 5*h**2 - 7*h + 3. Let g(s) = a(s) - 4*w(s). Let b be g(-4). Let p = 61 - b. Which is smaller: p or -11/4?
-11/4
Let t = -43505 - -31362. Is t > -12142?
False
Suppose -3*w - 4*n + 274 = 0, 3*w + 3*n - n = 272. Let g = w + -89. Which is bigger: -1/113 or g?
g
Let s = 0.54 + 61.46. Let g = -93 + s. Let w = -13.9 + 14. Is w at most g?
False
Suppose 2*a = -4*o + 10, -2*o + 7 = -a - 0*a. Let x = -52781 + 369466/7. Which is greater: a or x?
x
Let g(i) = -293*i - 9. Let h be g(-7). Suppose 6*p + h = -994. Let z be 4/6 + p/207. Which is smaller: z or -2?
-2
Let g be (3/12)/(6/408). Let s = -2865154 + 521460855/182. Let k = -3/91 + s. Which is greater: k or g?
g
Let r = 32665/16270046 - 3/1378. Which is bigger: r or -1?
r
Let y = 1.977 + 0.733. Let v = -0.71 + y. Is 2/305 > v?
False
Let m = -7090 + 7091. Which is smaller: m or -1/32431?
-1/32431
Let v = 20 + -21.04. Let x = v + 0.24. Let b = x + 3.8. Does b = 1?
False
Let t(m) = -4*m**3 + 516*m**2 + 5*m + 5 + 3*m**3 - 511*m**2. Let i be t(6). Is -8/29 greater than i?
True
Let r = 20 + -6. Let v = r + -15.6. Suppose -23*p = -9*p - 0*p. Is v != p?
True
Let s be 2 + -1 + (0 - -3). Suppose 16 = p - 3*b, p = -p - s*b - 18. Let x be 35/45 + (-10)/9. Which is greater: x or p?
p
Let f = 4840 + -9175/2. Let i = -253 + f. Let p = 0.53 - -25.47. Is p bigger than i?
True
Let h = 1259.45 - -67.55. Do -3 and h have the same value?
False
Let i = 142 - 149. Let h(a) = -a**3 - 6*a**2 + 7*a. Let r be h(i). Is -7/12 less than r?
True
Suppose 4*c + 167*s - 166*s = 153, -c - 3*s = -30. Let j = 0 - 0. Suppose 4*y - 106 - 46 = j. Is c equal to y?
False
Let b = 159 + 27. Suppose 124*g - 541680 = -68*g - 2736*g. Which is smaller: g or b?
g
Let k(r) = r + 46. Let w be k(-6). Let a be (w/(-36))/(10/(-90)). Let s(u) = -2*u - 2. Let n be s(-2). Is n at most as big as a?
True
Let r be (-11627)/45600 - ((-15)/(-9) - 2). Let i = -1/608 - r. Let v = 8/25 - i. Which is smaller: -2/3 or v?
-2/3
Let f be -7*(-5 + 8452/(-28)). Let g = -463969/216 + f. Which is smaller: 1 or g?
g
Let z be 121/12 - 230/2760. Let b(r) = -19*r**3 - r**2. Let y be b(-1). Suppose -y*q + z*q = 88. Which is greater: q or -4?
-4
Let i = 524/33 - 49/3. Let c = 6 - 56. Let g = c + 49. Is g smaller than i?
True
Let q = -230.98 + 229. Let x = 7132.98 + -7133. Let i = x + q. Which is smaller: 0.2 or i?
i
Let d be (9/66)/(2/1954). Let s be (-675)/(-5) - 9/6. Let j = s - d. Which is bigger: 0.1 or j?
j
Suppose -28 = -l + 4*l - 5*h, -5*l = -4*h + 25. Let p be (-6)/(-39) + 3157/(-19591). Which is smaller: l or p?
l
Let r = -9740 - -9699.51. Is r <= 0.4?
True
Suppose -195*d + 1023 = -192*d. Which is smaller: 2 or d?
2
Let d be (-13015)/1445 + 58 + -49. Let t be -1*2 + (2 - 2). Let i be (4/2)/(4/t). Which is smaller: d or i?
i
Suppose -2*h + 21 = 5*i, h + 2*h = 4*i - 26. Let s be 30/35*217/62. Suppose -i*f - s = -2*f. Is 3 at most as big as f?
False
Let c = -88.829 + 2.829. Are c and -0.2 equal?
False
Let b be (-2 - 0) + (8 - 903). Let s = b + 896. Let c be (-774)/(-2660) - (-2)/(-7). Is s at least as big as c?
False
Let s = 586 + -586. Is -2/5007 at most as big as s?
True
Suppose -w - 3*w = -w. Let a = 6194/7557 + -1/687. Which is bigger: w or a?
a
Let i(l) = 2*l**2 - 4*l - 3. Let u be i(4). Let g(t) = u - 2*t - 2*t**3 + 4*t**2 - 15*t**2 + 3*t**3 + 0*t**2. Let c be g(11). Which is bigger: -8 or c?
-8
Let t = 5258 + -5253.08. Are -1/3 and t non-equal?
True
Suppose 168*d - 61 = 62*d + 45*d. Which is smaller: 4/2419 or d?
4/2419
Suppose 29*n + 7 + 22 = 0. Is n greater than or equal to 7/317?
False
Let m = -57230 + 283641/5. Are m and -502 equal?
False
Let d = 35 + -14. Let x(z) = -6*z - 120. Let u be x(-22). Let m be (u/(-8))/(3 + 540/(-176)). Is m less than d?
False
Let t be (-15)/((-330)/(-1596) + (-6)/21). Let z = -232 + t. Is -42 at least as big as z?
True
Let y = 0.00258 + -0.02258. Which is bigger: y or -0.623?
y
Let r = 12052 - 17125891/1421. Which is smaller: r or 0?
0
Suppose -8 = 4*z + 1076. Let n = z - -145. Let o be (2/(-12))/((n/(-12))/(-3)). Is o greater than or equal to 1?
False
Suppose 0 = 23*p - 67*p + 44. Which is greater: -5/92 or p?
p
Let s = 576.9 - 53.6. Let m = 523 - s. Which is bigger: -56/9 or m?
m
Let g = 436.47 + -434.47. Let k = 2 + -1.9. Let j = k - 4.1. Is g bigger than j?
True
Let y be -14*102/48 + (-8)/32. Let p(l) = l**3 + 31*l**2 + 32*l + 56. Let h be p(y). Is 0.1 bigger than h?
True
Let p = 464 + -278. Suppose 941 = 5*z - 2*m, -3666*z - 909 = -3671*z - 2*m. Are p and z equal?
False
Let y be (2 - 3 - -1)/1. Suppose -k - 2*n - 7 = 0, 3*k = -2*n + 6*n - 61. Let o be (8/310)/((-6)/k). Which is bigger: o or y?
o
Let o = -5085 - -5085. Let b be (-34)/(-3) + (-4)/12. Suppose 4*v = 5*h + 74, 0 = v - 5*h - b. Which is bigger: v or o?
v
Let t = -17 + 28. Let s be (-27)/(-5) + -5*4/50. Suppose -19 = s*o + t. Is -6 smaller than o?
False
Let p(d) = -72*d + 642. Let i be p(-10). Which is smaller: 1360 or i?
1360
Let f = 247 + -236. Suppose -x = -3*z + 61, -4*z - f = -2*x - 131. Which is bigger: -57 or x?
-57
Suppose 4*d = -4*f - 12, -3*f - 2*d + 3*d + 7 = 0. Suppose -305 + 5905 = 20*n. Let z be (-11 + 3096/n)*5/6. Which is greater: f or z?
f
Let u be (24 - (-1581)/(-68)) + 1/(-4). Which is bigger: u or -4.683?
u
Let v = -11247 + 11245. Is v at most -1/45?
True
Let n be 179/9 + (-8)/(-72). Let i = n - 19. Are -3/53 a