t be (q/(-69))/(2/(-1478)). Let a = t - 225. Is a greater than or equal to 1?
False
Let s(j) = 5*j - 26. Let i(q) = 6*q - 26. Let v(n) = 4*i(n) - 5*s(n). Let u be v(24). Is -1/19 at most as big as u?
True
Let g = -1659 + 1659. Suppose -5*h = -15 + 5. Suppose g*u - 14 = -u - 5*p, -h*p = -2. Are u and 5 equal?
False
Let x = -1.29 + 1.37. Let a = x - -0.12. Is -6/7 less than a?
True
Let g = 200 + -204. Let o be (-5)/(-2) + 6/g. Which is bigger: 27 or o?
27
Suppose -7*m + 3*m = 5*k + 24, -4*k - 30 = 5*m. Which is bigger: 35/516 or k?
35/516
Let r = -1437504/61 + 23567. Is r >= 1?
True
Let r = -0.2614 - -6.2614. Which is bigger: r or 1/380?
r
Let k = 631165/61 + -10347. Suppose 4 = 3*t + 10, -1 = 3*f + 2*t. Is k less than f?
True
Let t(s) = -25*s + 2. Let y be t(3). Let l = y - -82. Let m = -20 - -29. Is l <= m?
True
Suppose 3*y + 7 = 28. Suppose a - y = 5. Suppose -15 = -3*i + i + 5*s, -i + 4*s + a = 0. Is -2 at most as big as i?
True
Let d = -1430 + 1415. Suppose 6*v = 3*v + 6, -5*z + 73 = 4*v. Let i be (z/(-2))/((-2)/(-4)). Is i at most as big as d?
False
Let v(q) = -2*q**3 + 3*q**2 - 2*q + 3. Let z be v(3). Let j be (-1*3)/1 + z/10. Let b be (-4 - -2 - -6)/(-1). Which is smaller: j or b?
j
Let i = -221/183 + 94/61. Let q = 1079 + -729. Are i and q equal?
False
Let z(b) = 45*b + 427. Let t be z(-24). Let j = t + 653. Which is smaller: 10/21 or j?
j
Let v = -467 + 445. Let u be v/(-4)*(6 - (3 + -1)). Is 21 less than or equal to u?
True
Let l(s) = -s**3 - 15*s**2 - s - 16. Let i be (-3)/((-9)/3) + -18 + 2. Let a be l(i). Which is smaller: -7/6 or a?
-7/6
Suppose 5*a - 3755 = 5*o, 3*o = -2*a + 1313 + 194. Is a less than 755?
True
Let g = -0.051 + 47.051. Let b = -187.86 + 234.8. Let n = b - g. Are n and 0.2 nonequal?
True
Let j be (-8)/(16 - 8)*(-1*1)/(-1). Is 5459 less than j?
False
Let x = 0 - -30. Let w(y) = 34*y**3 + 375*y**2 + 10*y + 15. Let c be w(-11). Is x less than or equal to c?
False
Let a = -18 - -17.966. Let k = 4.134 + a. Let x = 4 - k. Is 7/6 not equal to x?
True
Suppose -5 = -g, 0 = 2*u + u - 5*g - 209. Let k = 52 - u. Let y = -25 - k. Is 2/19 less than y?
True
Let j be 6/9*(111/18)/(-37). Which is bigger: j or 266?
266
Let c = -24120 - -97141/4. Which is smaller: c or 165?
165
Let q = 5400 + -5402. Which is smaller: 2771 or q?
q
Suppose 3*h + 348 = 4*c, 0 = -2*c + 12*h - 16*h + 152. Let l be (3/97)/(126/c). Is l at most as big as 1?
True
Suppose -k - 24 + 6 = 2*w, 0 = w - 2*k + 9. Which is smaller: w or 1299?
w
Suppose 2*x = -0*x + 2*o + 320, 2*x = 3*o + 324. Suppose -9*i - 312 - x = 0. Is -51 bigger than i?
True
Let f(j) = -j**2 - 4*j - 4. Let m = -183 - -183. Let r be f(m). Is r greater than -0.18?
False
Suppose 18*f + 1080 = 28*f. Let a = 100 - f. Which is bigger: -7 or a?
-7
Let i = 3510 + -7311328/2083. Is 1 at most i?
False
Suppose -15*n - 81 = 47*n + 19*n. Which is smaller: -4/313 or n?
n
Let q(d) = d**2 + 18*d. Let b be q(-20). Let p = b - 24. Let n(r) = -r + 21. Let m be n(p). Is 5 at least as big as m?
True
Suppose 4*i + 12 = 5*n, -3*n - 4 = -i - 14. Suppose -i*y - 5*x + 12 = 0, 14*x + 8 = 18*x. Which is smaller: 145 or y?
y
Let d = 5051 + -5448. Is d greater than -396?
False
Let q(t) = -24*t - 94. Let b be q(-3). Let g be 12/16*(-5)/((-35)/b). Is -2 bigger than g?
True
Let w(d) = 621*d**2 + d + 1. Let x be w(-1). Let f be (-3)/(x/416) + (2 - 0). Is -1 at least as big as f?
False
Suppose 2*f - f + 2*c = 235, 0 = f - c - 241. Suppose -231 + f = -2*w. Which is smaller: -26/7 or w?
w
Let s(u) = -57*u - 48. Let m = 103 - 89. Let h be s(m). Let r be h/(-12)*2/(-3). Is r less than -47?
False
Let a be (-3 + 6)/(2 - (6 + -3)/3). Which is bigger: a or 97/31?
97/31
Let i = 199 + -197. Let l be 16/3 - (-2)/(-6). Let g = l + i. Is 8 equal to g?
False
Let s = -0.5 + -0.15. Let f = -0.45 - s. Let n = -1/29 + 206/87. Which is smaller: f or n?
f
Suppose -4*y + 104 = -4*c, 2*y = 4*y + c - 49. Suppose -29*g + y*g = 60. Let t be 10/28*(g/(-2) - 4). Which is greater: -2 or t?
t
Let y be ((-9)/2)/(4 - (-75)/(-20)). Let w be (y - -20) + (-560)/284. Is w smaller than 1/4?
True
Let c = 1/31 - 75/4247. Let a(p) = -10*p - 189. Let n be a(-19). Which is smaller: c or n?
c
Let b = -278 + 3056/11. Let n(g) = 6*g + 138. Let c be n(-22). Is b <= c?
True
Let s = -2531/220 - -1/220. Let b(d) = 5 + 10 - 7 - 11*d - d**3 + 3 + 0*d**3 + 9*d**2. Let g be b(8). Which is smaller: g or s?
g
Let x = -64.8 - -42.4. Let b = x + 21.4. Which is smaller: 1.36 or b?
b
Let i be (-1)/(-5) + (-156)/30. Let x be 2 + 9/(-3 - -2). Let s be (-44)/77 + 30/x. Which is greater: s or i?
s
Let t = -4657 + 27865/6. Let j(y) = -13769*y - 13783. Let h be j(-1). Which is smaller: t or h?
h
Let o = 1/314 - -1334/157. Suppose -21*q = -382 - 38. Suppose q = 171*g - 169*g. Does g = o?
False
Let b be ((-6)/4)/(10/420). Suppose 0 = -2*m - 3*x + 503 + 1496, 2966 = 3*m - 2*x. Suppose -12*d = -28*d - m. Which is bigger: d or b?
d
Suppose 29*v + 9*v + 5*v = 0. Which is greater: -7/125 or v?
v
Let p = 455434.796 + -455435. Let s(t) = -2*t + 3. Let z be s(2). Which is smaller: p or z?
z
Suppose 16*o + 3599 - 605 + 542 = 0. Let v(m) = m - 223. Let g be v(0). Which is bigger: o or g?
o
Suppose 0 = 42*b + 4350 + 12954. Is -413 smaller than b?
True
Let n(k) = 91*k - 60*k + 10*k**2 - 10 + 76*k. Let a be n(-11). Is 17 bigger than a?
False
Let m = 78389/2730 + -201/7. Let g = m + 419/1092. Let j = 2/15 - g. Which is smaller: -15 or j?
-15
Let d(v) = 46*v**2 + 11*v + 10. Let j be d(-1). Let i = -54 + j. Is i bigger than -10?
True
Suppose 0 = q - 5*f + 4, -159*q - 3*f = -154*q - 36. Let o = 399/88 - 3/88. Which is smaller: q or o?
o
Let o(t) = -3*t + 19. Let h be o(6). Let f be (21/6 - h)*32/20. Let j be f - 75/39 - 2. Is 3 > j?
True
Let u = -40454/9835 - -80/281. Let h = -3/7 - u. Which is bigger: h or 3?
h
Let q = -215 + 316. Let i = -1565.9 + 1465. Let o = i + q. Do -2 and o have the same value?
False
Let t be ((-36)/189)/((-2)/(-34572)). Let w = 3276 + t. Is w bigger than -18?
True
Let c = -4.94 - 0.06. Let k = 5.04 + c. Let q = -93 + 97. Is q at most as big as k?
False
Let v be 71/42 - (-4)/(-20). Let k = 32/21 - v. Suppose -4*w - 3 = -7. Is w < k?
False
Suppose -32*c + 44 = -10*c. Suppose 0 = c*y - 10, 59*y - 61*y = 3*m - 220. Which is smaller: 71 or m?
m
Let n = -233/104 - -21/13. Suppose -3*o - 141*j + 146*j + 42 = 0, 3*o + 21 = -2*j. Which is greater: n or o?
n
Let n = 644.9784 - 645. Let j = n + -0.0784. Is 0.018 <= j?
False
Suppose 4*v - 2*c + 1184 = 0, 5*v = -c - c - 1471. Let l = -17107/58 - v. Let x = -137/2088 + l. Is x >= -1?
True
Let q(y) = 4*y**3 + 6*y**2 - 4*y - 2. Let c(d) = -5*d**3 - 5*d**2 + 3*d + 1. Let n(l) = -2*c(l) - 3*q(l). Let p be n(-5). Is p > 114/5?
True
Let m = 9.538 - 0.138. Let g = -9.2 + m. Let b = -10 - -1. Is g greater than b?
True
Let s be (-4 - 352/20)/(66/(-28)). Which is smaller: 8 or s?
8
Let s = 548 - -264. Let x = s + -810.7. Is x >= -9/2?
True
Suppose 88*t - 87*t + 5*a = -14, 0 = -3*t + 4*a + 15. Is t <= -1/2102?
False
Let n = -6 - -6. Let c = 0.1 - n. Let b = -1414 - -1411. Is b <= c?
True
Let b = -3096 + 3095. Let h = 9/1010 - -493/35350. Do b and h have the same value?
False
Let w be ((-5)/10)/((-2691)/126 + 0). Which is smaller: -1 or w?
-1
Let t(v) = -220*v - 66. Let o be t(-3). Suppose 89*z - 67*z + o = 0. Do -27 and z have different values?
False
Suppose -3*u + 4585 = 4549. Which is smaller: u or 57/5?
57/5
Suppose 0 = -8*d - 173 + 197. Let k be (-189)/(-21) + (d - 10). Do k and 22/39 have different values?
True
Let j(y) = 6*y + 1. Let a be j(-1). Let w be 6 + a - 3/(-9)*-2. Is 23 less than w?
False
Let q be ((-11)/(-22))/(-1 - 27/(-24)). Let w be (q/(-2))/((-18)/1485*1). Is w < 165?
False
Let t = 382 + -629. Suppose -68*v + 87*v + 4693 = 0. Are t and v unequal?
False
Let x(c) = -c**2 + 4*c - 1. Let r be x(4). Let q = 70/5847 - -29195368/380055. Let k = -383/5 + q. Is k at least r?
True
Let i be (-2)/35*5 + (-12)/7. Suppose -5*k + 22*z = 24*z + 22, 5*k - 4*z + 46 = 0. Are k and i equal?
False
Let f(n) be the first derivative of 3*n**3 + n**2/2 + n + 3. Let w be -4 + 8 + (3 - 4 - 2). Let d be f(w). Are d and 11 non-equal?
False
Let m = 5952 - 41764/7. Is m bigger than -3/14?
False
Let z be ((-1)/2)/((-5)/10). Which is bigger: z or 5/314?
z
Let t(o) =