 less than or equal to 637?
True
Let a be (28/(-36) - -1) + (-50)/(-18). Suppose -p = 2*p + a*k - 6, 5*p + 4*k - 11 = 0. Let w(m) = 4*m - 15. Let j be w(p). Which is greater: j or -14/5?
-14/5
Let a(g) = 4*g**2 - 411*g + 423. Let h be a(105). Which is bigger: h or 1367?
h
Let x be -33 + (-1)/(2/(-4)). Let v(g) = -164*g - 5743. Let p be v(-35). Is x greater than p?
False
Suppose -469 - 534 = -17*d. Let h = 75 - d. Suppose 72 = 8*v + h. Which is greater: 11 or v?
11
Let g(o) = -4*o + 1. Let y be g(1). Suppose -65*a = 47*a + 120*a + 232. Do a and y have the same value?
False
Let k(s) = 30*s - 17*s + 43 - 18*s. Let r be k(10). Which is greater: -8 or r?
r
Let m = -340/3 - -113. Let x = -98 - -72. Is x at most as big as m?
True
Let w(d) = 17*d**2. Suppose 198 = 8*p + 6. Let i = -25 + p. Let h be w(i). Is 17 equal to h?
True
Let g = 4.02385 + -3.89385. Suppose -11 - 59 = 5*u. Is u at most as big as g?
True
Let w be 2/(-8)*(-52)/3. Let u(q) = -49*q**3 - q**2 - 4*q - 2. Let h be u(-1). Let l be 1/(((-25)/h)/(-1 - 1)). Which is bigger: w or l?
w
Let n be 2/((-4)/14) - (-722211)/98889. Which is bigger: -1 or n?
n
Let a = -14685/3302 + 91/127. Is a < -5?
False
Let x be (-1)/(-7) - 1887466/13169730. Do 0 and x have different values?
True
Let p(c) = 810*c - 2735. Let r be p(-14). Which is smaller: r or -14076?
-14076
Suppose 3231 = 5*f + 2*d, -26*d = 2*f - 24*d - 1296. Let s = f + -644. Is s less than 2/127?
False
Suppose 87 = 4*b - 29. Suppose -b = 3*n - 5. Let h = n + -10. Which is smaller: -19 or h?
-19
Suppose 0 = 43*q + 19*q + 10230. Let h be (1/(-2))/((-3)/(-982)). Let g = q - h. Which is smaller: g or 3?
g
Let a = -0.108 - 21.892. Let n = -22.1 - a. Which is bigger: n or -10.8?
n
Let z be ((-2)/2965)/((-3078)/(-285)). Which is smaller: z or 1?
z
Let q = -0.146 - -0.046. Let l = -1627 + 1626.504. Is q greater than l?
True
Let h(o) = o**2 - 17*o + 62. Let u be h(24). Let z = u + -164. Is z bigger than 66?
False
Let h be (-8)/(-4)*2*4. Let y be h/(-6)*(-27)/9. Suppose a = 5*a - y*a. Is -1/9 < a?
True
Let h(b) = -39*b - 327. Let m be h(-14). Which is smaller: m or 217?
217
Suppose 0 = -4*t + 4*i - 924, t - 9*i + 7*i + 236 = 0. Let x = 137 + t. Which is smaller: -91 or x?
-91
Let r = 161646161/3898 - 41469. Is r <= -1?
False
Let w = -138 - -481. Let y = 344 - w. Which is smaller: y or 7/5?
y
Let y = 211 - 207. Suppose -135 = p - 6*p + 5*h, y*p - 114 = h. Is p >= -4?
True
Let n = -3 + 2.94. Let j = -12872/95 - -2544/19. Which is greater: n or j?
n
Let a be 444/(-10878) - (-17448)/98. Which is greater: a or 357/2?
357/2
Let y be 7/(-3)*(-2)/(-7). Let n = -1907 + 1910.0014. Let r = n + -0.0014. Is y bigger than r?
False
Suppose 0 = -5*x - 5*t - 3270, -4*t = -8*t + 28. Which is smaller: -656 or x?
x
Suppose n + r - 7 = 3*r, -n = r - 22. Let v be 164/14 + ((-36)/21 - -2). Suppose -79 = -5*i - 4*k, -v = -k - 11. Which is smaller: i or n?
i
Let q = -0.6801 + -0.3199. Let y = 2.2 + -2.38. Let t = y + 0.36. Which is smaller: q or t?
q
Let t be 2/((-836)/(-247) - -11). Which is smaller: t or 1?
t
Let h be (-9)/(-21) + ((-1555218)/351134 - -4). Which is smaller: -1 or h?
-1
Let q = 3449845201/20671 - 166893. Which is greater: 0 or q?
0
Let f be 181784/(-155)*7/(-4). Which is greater: f or 2052?
f
Let i = -316.3 + 326. Let k = 14.7 - i. Is -4 greater than or equal to k?
False
Suppose -9 - 162 = 19*y. Let b(t) = -t**2 - 4*t + 15. Let c be b(-7). Let o(z) = -z**2 - 6*z - 8. Let m be o(c). Which is smaller: m or y?
y
Suppose -1 = 12*x - 25. Let q be (-5)/(x/(5 - 3)). Is q smaller than -5?
False
Let a = 8538/47978399 + -5/11797. Which is smaller: a or 0?
a
Suppose 4*h = 5*t - 11, -5*h + 2 + 3 = 0. Suppose 9 = b - t*g - 16, -b + g + 33 = 0. Suppose 352*a - 144 = 348*a. Which is greater: b or a?
b
Let a = 4185.2 + -4188. Are 20 and a equal?
False
Let z be ((-31)/(-7))/((-2)/(-14)). Suppose -4*d = z - 15. Which is smaller: d or -54/17?
d
Suppose -4*z - 2*c + 18 = -2*z, -4*z + 3*c = -1. Suppose 2*a - 8 = -z*y, a - 7 = -a - 5*y. Let k = 3 - -3. Is a at most as big as k?
True
Suppose 0 = 111*q - 107*q + 2432. Is q less than -606?
True
Let v = -60.4 - -4.4. Let y = -29 - v. Let u = y + -27.1. Which is bigger: u or -7?
u
Let s be ((-20376)/(-28))/(306/(-1428)). Is -3393 equal to s?
False
Let m = -19.138 - -11.138. Let r = -467 + 462.94. Let z = r + 0.06. Are z and m nonequal?
True
Let c be (5 - (-384)/(-80) - 404/(-10)) + 3. Is 44 < c?
False
Let t = -22535 - -22536. Which is smaller: t or 6052?
t
Let q be 10859820/2240537 + 4/26 - 5/1. Is -1/4 > q?
False
Let c = 13 + -13. Suppose c = -3*s - s + 4. Let q be (2 + 0)*s/(-2). Is q bigger than -2/29?
False
Let r(b) = b**3 + 10*b**2 - 19*b - 18. Let w be r(-12). Let i(m) = m**2 + 55*m + 335. Let y be i(-9). Which is smaller: w or y?
y
Let i = -1572 + 1570. Let r be (2/56)/((-3)/6). Is r < i?
False
Let s(t) = 9*t + 10*t - t**3 - 3 - 9*t - 9*t**2 + 4. Let q be s(-10). Let u be (1 + 0 - q)/2*-1. Which is greater: -67 or u?
u
Let j = -680 + 2261. Which is bigger: 0 or j?
j
Let q = -602 + 602. Suppose q = -44*t + 5734 + 3022. Is 199 at most t?
True
Let n = -1.56 - 74.44. Let d = -196.2 - -120. Let t = d - n. Is t <= 11?
True
Suppose 2*q - 2 = 4*q. Let c(o) = 15*o**2 - 8*o. Let z be c(-4). Let p = -270 + z. Is q != p?
True
Let y be 410/(-24) + (-214)/(-2568). Let w = -6096/35 + 1110/7. Is w greater than or equal to y?
True
Let x be ((-22 - -10)/(-12))/(-7 - 9991). Which is smaller: -1 or x?
-1
Let d = -22800 + 33802. Which is greater: d or 11000?
d
Suppose -t = -5*f + 35 + 9, -5 = -f + 4*t. Let p = -33 - -33. Let s = 3 + p. Which is greater: s or f?
f
Let k(x) = -977*x + 10932. Let t be k(23). Is t at most -11540?
False
Suppose 10*h = 5*h + 80. Let s = h + -16. Suppose -3*z + 0*z = -4*u + 64, s = -5*u + 3*z + 83. Which is smaller: u or -1?
-1
Suppose -37*a - 75 + 112 = 0. Which is greater: 1/142 or a?
a
Let y = 1161287/177 + -6561. Is 0 greater than y?
True
Let r be (4 + 70/(-18))/(7/(-210)*-10). Which is greater: 3733/2 or r?
3733/2
Let i(f) = -90*f**2 + f - 1. Let o be i(1). Let u = o - 20. Let c be (-470)/u - (-4)/(-1). Does c = 2/3?
False
Let m be 5 + 0/3*-1. Suppose m = 7*l + 12. Which is smaller: l or 0.02?
l
Let a = 4.4 - -15.6. Let x be 8 + -6 - 40/16. Is x not equal to a?
True
Suppose -106*g = -214*g - 143*g + 3514. Let b(p) = p**3 - 3*p**2 - 8*p + 5. Let x be b(5). Is x less than g?
False
Let c(g) = -g - 7. Suppose -7 = -3*h + 4*h. Let b be c(h). Suppose -37*d + 36*d + 29 = b. Is d less than 28?
False
Let t = 0.365 + 0.055. Let z = 0.28 + t. Let a = -0.09 - -0.19. Which is bigger: z or a?
z
Suppose -10*i + 8*i - 299 = -o, -5*o + 2*i = -1511. Let t = 299 - o. Which is greater: t or -41?
t
Let l(n) be the first derivative of -3*n**2/2 + 46*n + 37. Let x be l(13). Let a = x - 17. Which is smaller: -11 or a?
-11
Let z be (-1965)/15*(-42)/6. Which is greater: z or 916?
z
Let m = -0.269 - 0.063. Let s = -0.432 - m. Which is greater: s or -170?
s
Let i = 62 - 112. Let j(f) = -f**3 - 21*f**2 + 47*f + 28. Let l be j(-23). Suppose -4*x = -l*r - 251, -3*r = -4*x + 23 + 126. Which is greater: r or i?
i
Suppose -4*g + 1468 = -2*m, -4*m - 5*g - 3020 = -6. Is -746 at least m?
True
Let s = 5874 + -41120/7. Is 592 at most as big as s?
False
Suppose -8*t - 35 = -t. Let p be 5 + (-4 - -5)*t. Which is smaller: p or 2/353?
p
Let v = -249754918/2013 + 124071. Does v = 0?
False
Let t be (548/(-3))/(48/(-360)*5). Which is smaller: t or 1908/7?
1908/7
Suppose -36*w = -149*w + 226. Which is smaller: 6 or w?
w
Let t be 4/18 - 586/369. Suppose 31 = -271*v + 268*v + 5*m, -5*v + 30 = 8*m. Which is bigger: v or t?
t
Let t(v) = -v**3 + 8*v**2 - 6*v + 6. Let w be t(6). Let p = 1395 + -1353. Is w < p?
False
Suppose -5*o + 850 = 3*w, -339*w = -343*w + 5*o + 1145. Which is smaller: 284 or w?
284
Let u = 15 - 15.32. Let c = -0.68 + u. Let k = 34 + -29. Which is greater: c or k?
k
Let i = -0.04 - -4.04. Let h = 218.9 - 236. Let v = h + 14.1. Which is greater: i or v?
i
Let g be (-19382)/(-99) + 2/36*4. Let x = 250 - g. Which is smaller: 55 or x?
x
Suppose -5 = m - 4, 4*o - 32 = 4*m. Let b(v) = 23*v**2 + 3 + 0*v - 22*v**2 - o - 4*v. Let w be b(-3). Are w and 17 nonequal?
False
Let v = -51 - -12. Let p be 3/1 - v/52. Suppose -6*r = -12*r + 30. Is p != r?
True
Let 