r p?
2464
Let q(s) = 2*s**2 - 5*s - 20. Let l be q(5). Suppose -2*a = -3*w - 131, -l*a - 15 - 6 = w. Which is smaller: w or -40?
w
Let g be ((-35)/(-210))/((-546)/1390). Let y = g + -1/234. Is -7 smaller than y?
True
Let r(y) = 30*y + 219 + 542 + 6*y - 1121. Let f be r(10). Let m be 9/2*12/153. Which is greater: f or m?
m
Let c be 24/(-4) - (-85)/5. Let u be 2/c + (-315)/(-385). Is u < -4/493?
False
Suppose -2*u = -3*u - 7*u. Suppose -l + 4*l + o = -1, u = -4*l + 4*o - 12. Let d be 17/60 - (-2)/(-8). Is d < l?
False
Let s = 40 + -37. Suppose -p + 8 = 3*p - 5*f, -s*f + 6 = 3*p. Suppose 5*n = p*b, 0 = -6*b + 3*b + 2*n. Which is bigger: b or 3/11?
3/11
Suppose -5*u - q = 1441, -22*q = 3*u - 17*q + 869. Is -292 smaller than u?
True
Let y = -87 + 43. Suppose -307 = 60*s - 56*s + b, -5*s = -3*b + 388. Let k = s - y. Are k and -33 non-equal?
False
Let y(b) = b**2 + 28*b - 29. Let f = 121 + -30. Suppose 0 = -3*z - 4*j - f, 94 = -3*z + 4*j + 11. Let t be y(z). Which is smaller: -24 or t?
-24
Let y = -59 + 36. Let p(a) = 20*a**3 + a**2 - 4*a. Let q be p(2). Let o = q - 180. Are y and o equal?
False
Let j = -259 + 81. Let a = 200 + -379. Which is smaller: a or j?
a
Let d be 4/14 - (-3211)/(-91). Let y be 0*((-15)/(-18))/(d/(-21)). Is -11 <= y?
True
Let j be 2 + -10*(-26)/(-4). Let d be (8 + 280/(-16) - -9)/(3/(-372)). Let h = j + d. Is 2/99 greater than or equal to h?
True
Let x be 7280/(-78) + 1/3. Is x smaller than -87?
True
Suppose -2*x - 903 = -d + 834, -2*x + 1741 = d. Let a = 6989/4 - d. Is 8 at most a?
True
Suppose 35 = 2*y - 121. Suppose y - 290 = -3*z + 5*h, 5*z = -h + 316. Let f = 90 - z. Is 25 bigger than f?
False
Let b(s) = -s**3 - 16*s**2 - 20*s + 4. Let m be b(-14). Let h be m/(-30) + 1/(-5)*-2. Let p be (-2)/h - (-3)/7. Is p < 0.4?
True
Let b = 4 + -1. Let z be b - (1859/26 + 2/(-4)). Let t be (-2 - z/30)/((-6)/15). Which is smaller: -27 or t?
-27
Let b(y) = -y**3 - 2*y**2 - 2*y - 3. Let x(a) = -2*a**3 - 2*a - 2. Let g be x(-2). Let n = -20 + g. Let d be b(n). Are -2/47 and d unequal?
True
Let g(f) = 15*f + 32*f + 5 - 46*f. Let r be g(-9). Which is smaller: -2 or r?
r
Suppose 2*f - 3*f = 5*k - 2550, 5*k = -4*f + 2535. Let u = -511 + k. Is u less than -17/15?
False
Let j = 11.7 + -12.8. Let s = 12 - 10.7. Let d = j + s. Which is bigger: d or -0.07?
d
Let w = 270.4 - 29.4. Let o = -240.7 + w. Which is smaller: 7 or o?
o
Let c be (-184)/410 + 2/5. Suppose 136 - 96 = -4*p, -3*d + 3*p = -27. Are d and c equal?
False
Let m = -5324 - -5308. Which is smaller: -180/11 or m?
-180/11
Let m = 329.37 - -95.53. Let b = m + -425. Is 63 less than b?
False
Let x = -19.7 + 22.7. Which is smaller: -770 or x?
-770
Let w be ((-189)/(-210))/(975/2500). Let t(a) = a - 4. Let d be t(4). Let f(q) = q**3 + 3. Let m be f(d). Which is greater: m or w?
m
Let t(o) = o**3 - 6*o**2 + 6*o - 4. Let f be t(5). Let i = 289.7 + -313. Let m = -23.1 - i. Which is greater: m or f?
f
Suppose -3*f + 7*n = 2*n - 15, -4*f + 3*n + 20 = 0. Suppose f*g + 3*y = 12, g - 5*g + 12 = 3*y. Let q be (g - 14/3)*15/(-50). Is 1 at most as big as q?
True
Suppose -4*x + h = 301, -3*h = -x - 60 - 18. Suppose 52069*g - 52052*g + 1258 = 0. Is g at most x?
False
Let z = 44 - 40. Suppose -z*b + 16 = 32. Let i be (2*b/28)/(3/2). Is i at least as big as 1?
False
Suppose d = 5*a - 14, -d = -5*a - 6*d - 10. Let h(f) = -2*f + 42. Let m be h(19). Let l(p) = p - 1. Let w be l(m). Which is smaller: a or w?
a
Let r be (-546)/(-336)*1*1*-2. Let t = 0 - -2.3. Let c = t + -2.35. Which is smaller: c or r?
r
Let n = -81851/122781 - 1/40927. Let q(f) = -2*f + 3. Let c be q(2). Which is bigger: n or c?
n
Let m = -3932 - -1772. Which is smaller: -2159 or m?
m
Let s(i) = -13*i**3 - 2*i**2 + 3*i - 2. Let j be (-2)/(-4) + (-1)/(-2). Let r be s(j). Suppose 0 = v - 2 - 3, n - 2*v = -21. Is n >= r?
True
Let n be (-1)/(-3) - (-6)/9. Suppose -l = -6 + 2. Suppose -l*u + 3*v + 8 + 1 = 0, -3*v = 9. Which is greater: u or n?
n
Let d(j) = j**2 - 206*j + 205. Let y be d(1). Which is smaller: y or -29/27?
-29/27
Let b = -0.1 + 0.147. Let a = b - -0.053. Suppose 5*z + 235 = -5*f, 0 = -5*f + z - 141 - 118. Is a < f?
False
Let s = 23595 - 542349/23. Which is smaller: 14 or s?
14
Let m(i) be the third derivative of i**4/24 + 11*i**3/6 + 6*i**2 + 3. Let w be m(-5). Do 20/3 and w have different values?
True
Let t be 1223/(3 - 16170/91) - -7. Is 1 less than t?
False
Let t be (-3 - -1)*(-19)/1102. Let i(d) = d**2 - 14*d + 33. Let c be i(10). Let a be (3/9)/(c/21). Is t less than a?
False
Suppose 2*x = -14 - 20. Let j = x + 47/3. Suppose -3*q + 4 = v + 5, 0 = -5*q + 3*v - 25. Which is smaller: j or q?
q
Let r = 37810 - 37808. Let w = -193.9 + 203. Which is smaller: r or w?
r
Let g = 780.54 - 2.54. Let v = g - 779. Let s = -21 + 7. Is v < s?
False
Suppose -2*c - 2*t - 152 = -4, -c - 71 = 2*t. Do c and -59 have different values?
True
Let l = 1913 + -1924. Let b = 0.05 + -0.05. Let a = b - 0. Which is bigger: a or l?
a
Let m be -20 - -19 - (12/(-3892) + -1). Is 0 > m?
False
Suppose 4*p - 48 + 30 = 5*p. Is 6 less than p?
False
Let i(r) = -r**2 - 12*r + 34. Let d be i(-14). Suppose 21 = d*z - 27. Suppose -z*n + 11 + 29 = 0. Which is greater: n or 9?
9
Let y = 2227 + -31175/14. Which is smaller: -9/5 or y?
-9/5
Let g = 12 - 65. Let b = 43 + g. Is -10 equal to b?
True
Let o(i) be the first derivative of i**4/4 - 7*i**3/3 + 5*i**2/2 + 7*i - 5. Let j be o(6). Let p be (-87)/(-78)*4 + -4. Is p < j?
True
Let k = -355.8 - -356.8. Do -6702 and k have different values?
True
Let w be (-508)/(-500) + (17 - 6)/(-11). Is 2/5 at least as big as w?
True
Let f = 9348 - 9893. Is f at least -546?
True
Let k be 2 - (0/(-1) + 5). Let y = 8 + k. Let t = -173 - -1073/6. Is y < t?
True
Suppose -98*v = -23*v + 85*v - 25440. Is 3000/19 <= v?
True
Let j(y) = 11*y**3 + 78*y**2 - 7*y + 4. Let q be j(-7). Let m(z) = 2*z + 7. Let u be m(6). Suppose u*f - q = -919. Is -43 at least as big as f?
True
Let a = -0.049482 - -0.049482. Let p = -71.927 - -72. Which is greater: p or a?
p
Suppose 406*u + 89*u + 171150 = 6*u. Does -383 = u?
False
Suppose -37 = 10*b - 27. Let i be 126/38 - 4 - 2/2. Which is greater: i or b?
b
Let s = -3185.4 + 3256. Which is greater: s or 0.1?
s
Suppose 4*t - 65 = -5*g, -2*g + 5*t - 6*t = -23. Let v be (-5)/4*2*(-36)/g. Do -10 and v have different values?
True
Let t be (-4)/(-8) - 54/4. Let a = -21 - -61. Suppose p + 3*p = -5*c - a, -2*c = 0. Which is smaller: t or p?
t
Let t = 75 - 73. Let l be (20/(-8))/((-5)/4). Let i be 45/((l + t + 2)/4). Which is greater: 29 or i?
i
Let x = -5094 - -5094. Which is greater: x or -35/31?
x
Let i be 23715/425*(-2)/(-24)*14/(-6). Which is bigger: -12 or i?
i
Let i(l) = 3661*l + 14580. Let d be i(-4). Is d at most as big as 59?
True
Let h = 2909 - 11637/4. Which is smaller: -0.256 or h?
-0.256
Let h(k) = 16*k - 162. Let v be h(13). Suppose v*q + 6 = 44*q. Which is greater: 0 or q?
0
Let o = 7296 - 7370. Let s be (1184/80)/(2/(-10)). Is s < o?
False
Let c = 4.06 - 0.26. Let h = c + 35.2. Let j = -62 + h. Which is bigger: -1 or j?
-1
Let f(z) = -z + 601 - 9*z**2 - 644 + 8*z**2. Let n be f(15). Which is bigger: -284 or n?
n
Let h = 19396/2561895 + -32/2711. Which is smaller: -1 or h?
-1
Let n be 0 + ((-8)/5)/((-4)/10). Suppose 2*l + 18 = -n*l. Let y be (l - 12/(-8))/((-4)/104). Is 38 smaller than y?
True
Let a be (1/3)/((-118)/(-6) - 20). Which is bigger: a or -9/242?
-9/242
Let o = 8 - 2. Let u = -32.84 - -32. Let c = u + 0.64. Is c at least o?
False
Let q be (-106)/795 + (-639206)/30. Which is smaller: q or -21308?
-21308
Let f = 31504 + -28889156/917. Which is bigger: -1 or f?
f
Let p = 101 + -99. Let i(d) = d**2 + 3*d - 9. Let v be i(p). Which is smaller: -1/38 or v?
-1/38
Let a = 432551 + -432681. Suppose -n - 53 + 178 = 0. Suppose -4*v - 641 = -n. Which is greater: v or a?
v
Let h = -3275 - -153931/47. Let d be 99/(-329) - (-1 + 1). Let q = h - d. Is q at least 0?
True
Let l = 29426 - 29426. Let h be (1 - 8)*(-6)/7. Let m be (h/16)/(-5 - 1). Which is bigger: m or l?
l
Let n be 4*(-9 - (-259)/28). Which is smaller: n or -25/282?
-25/282
Suppose -6 = -y - y. Suppose u + 0 = 4*w - 6, -3*u = y*w - 12. Suppose w*d + 13 = d - 2*g, -3*d - 4*g - 31 = 0. Are d and -4 equal?
False
Let h be 13707/(-60) + 2/10. Let y = 237 + 