 5*c - 39, 3*i - k*c + 1 = -2. Is i equal to -6?
True
Let y = -0.1017 + 0.0517. Is -14 greater than y?
False
Let w be 21/56 + (-5)/144*-2. Let d = -1 + 0. Is d greater than w?
False
Let f = 78 - 85. Is -102/13 less than f?
True
Suppose 20 = 5*s, -4*a + 0*s - 3*s = -8. Let w = -217/176 + 23/22. Which is bigger: a or w?
w
Let d = 847 - 3349/4. Let s = -7 + 18. Which is smaller: s or d?
d
Let c be (-16)/4 - (-684)/174. Which is bigger: -1 or c?
c
Let n be -2 - 212/(-110) - 0. Suppose 39 = -61*i - 10*i - 32. Is n > i?
True
Let j be (-7)/(-14)*-6*8/66. Do j and 0 have the same value?
False
Let i = 346 + -393. Which is bigger: -49 or i?
i
Let i be ((-9)/(-12))/((-6)/(-24)). Suppose -2*k - i*t + 23 = -k, 0 = 4*k + 4*t - 60. Which is smaller: 9 or k?
9
Let v be -6 - ((-364)/(-4) + 0). Is -97 not equal to v?
False
Suppose 5*b = 6*b. Which is smaller: -25/27 or b?
-25/27
Let h be 4/(20/(-25)) + 1*81. Is 76 less than h?
False
Let g(h) = -71*h**2 + 42*h - 42. Let r be g(1). Is -143/2 at most as big as r?
True
Suppose -7*t = -8*t - 251. Let i be t*(-3 - 40/(-12)). Let n = i + 83. Is 4/7 at least as big as n?
True
Suppose -3*y - 2*c - 2 - 5 = 0, -4*y - 3*c - 11 = 0. Let x(k) = -k**3 - 6*k**2 - 6*k. Let f be x(-5). Let t = f - 2. Is y less than t?
True
Suppose 4*z + 5*j + 23 - 7 = 0, -2*j = -4*z - 44. Which is smaller: z or -25/3?
z
Let i = -2.152 - -2.2. Let s be -3*5/45 + (-4)/(-6). Which is smaller: s or i?
i
Suppose -5*k - 39 + 14 = 0. Suppose 50 = -10*w - 10. Which is smaller: w or k?
w
Suppose -1 - 3 = -4*g. Let b = -256186/111 - -2308. Do g and b have the same value?
False
Suppose 2*t + 542 = -3*n - 117, -2*t = -3*n + 677. Which is bigger: t or -333?
-333
Let y = -0.274 + -4.806. Let g = y + 0.08. Which is greater: g or -1?
-1
Let a = -389 + 397. Is a != 11?
True
Let r(k) = -3*k**2 - 11*k - 27. Let n(y) = -4*y**2 - 11*y - 26. Let i(g) = 2*n(g) - 3*r(g). Let j be i(-5). Which is greater: j or -1/78?
-1/78
Suppose 77*b = 80*b + 222. Is b <= -72?
True
Let s be (-2*4/(-1146))/(48/72). Is s < 1/2?
True
Let f = -4 - -4. Let j = -215 + 327. Let z be -2 - 1/(j/(-212)). Which is smaller: z or f?
z
Let l = 1394 + -498. Which is smaller: l or 897?
l
Let j(u) = -3*u + 37. Let z be j(12). Which is bigger: z or 7/5?
7/5
Let k = -4.087 + 0.087. Which is smaller: k or 140/9?
k
Let r(p) = -3*p + 0*p + 1 - 13*p. Let c be r(1). Let b be ((-1)/15)/((-10)/c). Is b less than 1?
True
Let c be 58/((-12)/42*1). Let b be (-4470)/2*1/11. Let z = c - b. Is 1 smaller than z?
False
Let y = 0 + 1/21. Let w = 4213/7770 - -1/185. Let a = y - w. Which is smaller: 1/4 or a?
a
Let o(s) = 237*s**3 - 2*s**2 + 2*s + 1. Let l be o(1). Let p = 945/4 - l. Do 1/3 and p have the same value?
False
Let s(l) = 2*l + 54. Let x be s(-23). Let b be (-247)/57 + x/6. Is b smaller than -1?
True
Suppose -16*u = 22*u - 22344. Is 588 at least as big as u?
True
Let i = 426 + -162. Is i smaller than 527/2?
False
Let v be (2/(-2))/(3/(-189)). Suppose 18 = 3*k + v. Is k greater than or equal to -16?
True
Suppose -7*c = -2*c. Suppose -5*l - 6*l - 1012 = 0. Let n = -551/6 - l. Is c >= n?
False
Suppose -g + 52 = -z - 17, -z - 5 = 0. Which is smaller: g or 65?
g
Let u = 0 - -1. Let p = 190 - 15388/81. Which is greater: p or u?
u
Let u be 55/(-154)*21/(-36). Is 1 at least as big as u?
True
Let o be 57/(-5) + 4/10. Suppose 2*v = 5*y - 174, 26 = y + 6*v - 2*v. Suppose 2*r - 10 + y = 0. Are o and r unequal?
True
Let y = 1.182 + -0.062. Let g = y + -0.12. Is 38/3 equal to g?
False
Suppose -6*f + 6 = -3*f. Suppose -f*o = 2 - 4. Suppose -20*r + 15*r + 33 = t, 0 = -5*r + 4*t + 18. Is o != r?
True
Suppose 5*a = -5*q + 2*a + 191, -a + 37 = q. Suppose 2*s + 99 = -3*j, 2*j = -4*s - 146 - q. Is s bigger than -44?
False
Let t(s) = 131*s**2 + 15*s + 1. Let l be t(-1). Are l and 117 unequal?
False
Let k be (-53 + 53)/(-2 - 0). Which is smaller: 2/197 or k?
k
Let d(l) = -l**3 - 8*l**2 - 10*l + 7. Let u be d(-7). Let v be (320/u + -4)/((-9)/(-21)). Which is smaller: 18 or v?
v
Let i = 944 - 1001. Is i > -52?
False
Let h be (1/2)/(13/624). Suppose 0 = b - h - 6. Let g = 45 - b. Are g and 16 unequal?
True
Let z be (-30)/10 - (-2 - 1). Suppose 4*m + 14 = -h, z*h = 3*m + 5*h + 19. Let o = m - -3. Is 3/7 >= o?
True
Let l = -29 - -21. Let t be 2/6*(l + 5). Which is smaller: t or -17?
-17
Let y(z) = 4*z + 29. Let h be y(-7). Suppose 0 = 5*c + 1 - h. Are 4/9 and c nonequal?
True
Suppose -3*x - 2077 = -g, 2*g - 1297 = x + 2872. Let l be 4/(-14) + g/98. Let w be 3/l*(-3)/12. Which is smaller: -1 or w?
-1
Let h be 1*(3 - 0 - -4). Suppose c = -5*d + 3*c + 21, -d + h = c. Suppose d*b - 9 + 34 = 0, -5*b = 3*q + 28. Is q less than 2/27?
True
Suppose 5*r - 37 = 38. Let s(i) = 2*i**2 + i - 1. Let y be s(-1). Suppose 7*p - 10*p - r = y. Is 1 <= p?
False
Suppose 4*n - n = 141. Which is greater: n or 48?
48
Suppose -11 = -0*x - 5*x - 2*a, 5 = -4*x + 3*a. Is x > 1/992?
True
Suppose 4*a + y + 75 = 5*a, y = 3*a - 225. Let j = -76 + a. Is j not equal to 47/4?
True
Let d = -174 - -201. Which is bigger: 29 or d?
29
Let i(m) = -5*m - 51. Let s be i(9). Let x = s - -97. Let b = 0 - 1. Is b at least as big as x?
False
Let o = -7 + 5. Let w be 24 - (-6)/(-3) - (6 + -2). Let z be w/(-72)*(-5 + 1). Do z and o have the same value?
False
Let j(t) = -16*t**3 - 12*t + 24. Let l be j(3). Which is bigger: -443 or l?
-443
Let q(a) = 9*a + 228. Let r be q(-27). Which is smaller: r or 1?
r
Let k be -4*(-60)/64 + 3 + -7. Which is smaller: 38.5 or k?
k
Let t = -47 - -32. Let f = 14 + t. Is 2/25 at least as big as f?
True
Let m be -3 + 5 + 74/2. Suppose -2*c - 2*v = -5*v + 26, 3*c + m = -4*v. Let f = -12 - c. Which is bigger: f or 3/7?
f
Suppose 0 = -4*c + 5*m + 41, -5*c - 2*m = -c - 62. Let f = -377 - -347. Let r be 2/c + f/(-35). Which is bigger: -3/17 or r?
r
Let s be (-10)/(-2) - (-18)/(-6). Suppose 2*n + 5*q - 31 = 0, 2*n - s*q = 76 - 24. Let g = n + -22. Is 8/13 less than g?
True
Let b = -9 - -22. Let x(w) = -w + 20*w**2 + 30 - 2*w**3 + w**3 - b. Let d be x(20). Which is smaller: 7 or d?
d
Let y = 10.029 - 0.029. Let q = 5 - 10. Let u = q + y. Do 2/7 and u have the same value?
False
Let w = -1 - -0.9. Let g = -0.1 + w. Let d = -47.6 - -46.6. Is d bigger than g?
False
Let v = -3 - -2. Suppose 2*d - d - 27 = 0. Suppose 0 = -3*l - 0*l + d. Are l and v unequal?
True
Let h = -8 - -11. Let u be ((-3)/(-2))/((-12)/(-32)). Let s be ((-48)/36)/(u/(-6)). Which is greater: s or h?
h
Let g = -1303 - -7835/6. Which is greater: 2 or g?
g
Let g = -2.678 - 0.022. Let w = g - -20.7. Let d = w - 18. Which is bigger: 9 or d?
9
Let q = 1 - -6. Suppose -7 = 2*y - 15. Suppose y*v - 15 - 5 = 0. Is q at least v?
True
Let w = 4294 + -4246. Let g be 2 - (-6)/4*30. Does g = w?
False
Let r be -6 + (1072 - 8)/14. Is 495/7 greater than r?
True
Let r(i) = -i - 7. Suppose 0*k - 10 = 5*k. Let p = -6 + k. Let f be r(p). Is 0 < f?
True
Let z = -1691 - -1692. Which is greater: z or -3/218?
z
Let b = 38.8 + -46. Let h = b + -1.8. Let x = h + 9.3. Is x not equal to -0.3?
True
Let v = -1 - -2. Let i = 1.963 - 4.663. Is i at least v?
False
Let l = -58708449/190 + 308991. Let d = l + 9/38. Suppose -25*c - 22*c = -48*c. Which is smaller: d or c?
d
Suppose 0 = 5*s - 8 - 2. Let c be s/(-11) + ((-344)/44 - -4). Is c > -11/4?
False
Let r = -2220 + 246422/111. Is -4 greater than or equal to r?
False
Let t be (-896)/84*(-3)/4. Which is smaller: t or 26/3?
t
Let p = -0.54 - -0.04. Let v = 4 - 2.5. Let g = v - 0.5. Which is smaller: p or g?
p
Let w be ((-1)/(-19))/((-1904)/32 - -15). Which is greater: -1 or w?
w
Let q = -52 - -574. Is q greater than or equal to 522?
True
Let l(y) = -y**2 - 5*y + 2. Let g be l(-5). Suppose 2*v + g*v = 36. Suppose -v = -5*t - 2*b - 2*b, -5*t = -b - 4. Which is smaller: 0.3 or t?
0.3
Let j be 4/6 + 70/(-78). Let q be (1 - 4)*(-9)/27. Which is bigger: q or j?
q
Let w(d) = 4*d**3 + 1. Let v be w(1). Suppose v*l - h = 2, 2*l + 2*l + 4*h = 16. Let p = 126 + -885/7. Is p at least l?
False
Let t = -2445.1 + 2318. Let d = -127 - t. Is d less than or equal to -5?
False
Let f = -2807 + 2993.3. Let g = f + -186. Let c be (-7)/(-4) + (0 - 2). Is g > c?
True
Let n = 3371 + -3370. Let m be 38/(-6) + (-2)/3. Let a = m + 47/7. Which is smaller: n or a?
a
Let p be (-64)/266 + (-112)/392. Is -2 at l