- -34.6. Which is bigger: -2 or w?
w
Let h = -3147 + 2653. Which is greater: h or -490?
-490
Let f = -31 - -48. Let r = f - 32. Let j(p) = 1572*p - 14148. Let y be j(9). Which is smaller: y or r?
r
Let r(g) = -g**3 - 3*g**2 - 2*g + 1. Let i be r(-1). Let a be (-3*(-1)/3)/(i/1). Suppose -3*w + 4 = -w. Which is smaller: w or a?
a
Suppose -4*u = -4*v + 2556, v = -4*u + 919 - 290. Which is greater: v or 633?
v
Suppose 4*v = -4*c + 28, -33 = -8*v + 4*v - 5*c. Let o be 1 + (-5)/v + (-1393)/(-930). Is o greater than -1?
True
Let k = 5584 - 5584. Is -3200 equal to k?
False
Suppose -3*n = 4*z - 2191, 2*z + 1608 = 3*n - 559. Do 728 and n have different values?
True
Let a = -563 + 575. Let k be (1 - (-6)/a)/3. Which is bigger: k or -10?
k
Let d be ((-14)/28)/((-1)/(-3))*-6. Suppose i - d = -1. Suppose 0 = 16*r - 17*r - i. Is -8 less than or equal to r?
True
Let y(n) = -5*n - 85. Let m(s) = 6*s + 85. Let i(l) = -2*m(l) - 3*y(l). Let p be i(13). Which is smaller: p or 122?
122
Let o = 200 + -214. Let k be 92/(-56)*-52 - (-6)/o. Which is smaller: k or 86?
k
Suppose 27 + 63 = -3*a. Let x = a - -36. Let n be (-1)/(-5)*(-2 - (-15)/x). Which is greater: -3 or n?
n
Suppose 14*w = 62*w - 4752. Are w and 81 equal?
False
Suppose 265 = 5*g + 5*s, -4*g + 235 = g - s. Suppose 0*l = -6*l - g. Is l greater than or equal to -15?
True
Let g(y) = y**2 + 14*y - 88. Let w be g(-19). Suppose 13*t - w*t + 216 = 0. Is -38 greater than or equal to t?
False
Let n(v) = 4*v + 1. Let f be n(2). Let s be (f/66)/(2/(-8)). Let h(c) = -234*c - 1171. Let i be h(-5). Which is bigger: i or s?
s
Let s = 27728 + -16292. Is s bigger than 11437?
False
Let k = -7635 - -30735/4. Which is smaller: 49 or k?
k
Let i be -12 - 24/(-72)*20589/572. Suppose -2*k - 3*k = 5. Which is smaller: i or k?
k
Let a(i) = i**2 + 4*i - 412. Let k be a(-22). Which is greater: -35 or k?
k
Let i = 446.9 - 447.1. Which is bigger: -2/559 or i?
-2/559
Let f be 24/4 + 6 + -9. Let h(o) = 4*o - 17 - 12 - 2 - f*o. Let l be h(6). Is -26 equal to l?
False
Let p = -0.226 + 2.226. Let u = 3.3 - p. Let f = 2 - 4. Which is smaller: f or u?
f
Suppose 4*m - 90 = m. Suppose -6 = 12*y - m. Suppose 2*t = -y*h - 108, t - 2*t = -5*h + 60. Which is smaller: -56 or t?
-56
Let x be (-24 + 3850/20)/(((-45)/12)/3). Is -136 less than x?
True
Let q = 2031 + -2031. Is q less than or equal to -2/977?
False
Let o be (-61745)/(-6058)*(-24)/(-10). Is 25 smaller than o?
False
Let b(r) = -r**3 - 6*r**2 + 2*r + 13. Let o be b(-6). Let d be (36/(-6))/6*o. Which is smaller: -24/17 or d?
-24/17
Let x = -16766/5 + 3318. Is x smaller than 1?
True
Let t be 204/16*(-260)/195. Are -2 and t unequal?
True
Suppose 1192 = 19*x - 15*x. Let t = -1189/4 + x. Which is smaller: 2 or t?
t
Suppose 8*w + 115 = 3*w. Let m be (0/(4/(2 - 4)))/(-2). Let r be 345/10*(m + 4/(-6)). Is r at least w?
True
Suppose 10 = 3*u - 6*u + 5*d, u - 5*d = -10. Let h be (-112)/(-16) - (-113789)/(-56). Let g = h - -2025. Are u and g non-equal?
True
Let q = -117 + 111. Let c be (94/(-6))/(-3 - 16/q). Which is smaller: c or 48?
c
Let g = -3919 + 4927. Which is greater: g or 1019?
1019
Let q = -3916 + 3918. Is q equal to -2686?
False
Let k = 278 + 35. Suppose -k = -13*d + 818. Do 86 and d have different values?
True
Let m = -4891 + 4858. Which is greater: 71 or m?
71
Let f = -2335193392087/13175 - -177244280. Let l be (2/34*-6)/(-62). Let m = f - l. Which is greater: -1 or m?
m
Let k be (-29 - -2) + (3 - 1). Let r = -332 + 377. Let w be (3 - r/3)*2. Which is greater: k or w?
w
Let o = 568 - 388. Let h = -195 + o. Which is greater: h or 14?
14
Let h = -1972.5 - -1972. Is h < -127?
False
Let d(f) = -f**3 - 2*f**2 - 5*f + 7. Let z = -132 - -135. Let v be d(z). Is -54 equal to v?
False
Let i = 95 + -85. Suppose -7*s = i*s - 476. Which is smaller: 115/4 or s?
s
Let f be (47/(-3))/((-11)/33) + 1. Let z = f - 45. Are z and -11/6 unequal?
True
Let o(a) = a**3 - 10 - 4 - 1273*a + 1303*a + 20*a**2. Let t be o(-16). Are 529 and t equal?
False
Let b(m) = -m**3 - 7*m**2 - 5*m + 5. Let s be b(-6). Suppose -5*o = f - 6*f - 135, -o - 3*f = -39. Let t be ((-2)/o)/((-12)/(-15)). Which is bigger: t or s?
t
Let f be 46/(-24) - 35/(-21) - 25/(-20). Let p be 5/67*(-6)/15. Which is smaller: f or p?
p
Let i = -255 - -254.524. Let s = 0.176 + i. Let u = -10.1 + 9. Is u greater than or equal to s?
False
Let b = 10.0922 + -0.0922. Let c = 4.64 - -0.36. Is b at least c?
True
Let x = 80287/945 + -1274/15. Which is smaller: x or 1?
x
Let l = -1.91 - -1.33. Let b = -0.78 - l. Is -55 smaller than b?
True
Let p = 282 + -281.06. Let n = -36.2191 - -0.2791. Let h = n + p. Which is smaller: 0.1 or h?
h
Let c be (-4)/((-64)/168 - 2/7). Let l be c/(-45) - (-3962)/(-210). Let a(x) = -x**3 + 2*x**2 - 4*x. Let g be a(3). Is l <= g?
False
Let t = 535 - -88. Suppose -7*q = -14*q + t. Which is smaller: q or 88?
88
Suppose 1 = -2*n - z, 4*z - 6*z + 4 = n. Let r be -9 + 10 - (-2 - 16). Let q(k) = k**2 - 16*k - 58. Let h be q(r). Does h = n?
False
Let x = 2536 + -2593. Which is smaller: x or -76?
-76
Suppose 19910 = -28*c + 6*c. Are c and -904 non-equal?
True
Let j be (-1)/2*(-8)/6. Suppose 12*v - 21*v + 207 = 0. Suppose 2*u + 47 = -v. Which is bigger: j or u?
j
Let g = 0.04943 + -0.07313. Do -1/4 and g have the same value?
False
Let z = -23588 + 23601. Which is bigger: 684 or z?
684
Let f = -16 + 17. Let x = f - -30. Suppose -2*k + 76*k - 2146 = 0. Which is smaller: x or k?
k
Let w(p) be the first derivative of p**4/4 - p**3/3 + p**2/2 + 35. Suppose 3*t + 5 = 2*f - 0*f, 4*t + 1 = -3*f. Let g be w(f). Is g at most 0?
False
Let f = 186.9 + -150. Let c = 13.36 + -50.36. Let z = f + c. Is 1.3 at least z?
True
Let o be -1 + (4 - (0 + 0)). Let u = 0.079 - 10.779. Let z = 17.7 + u. Which is smaller: o or z?
o
Suppose 15*m - 810 = 41*m + 1218. Are m and -33 equal?
False
Suppose g + 31 = 2*g. Let a(x) = -x**2 + 32*x - 43. Let i be a(g). Which is smaller: 4 or i?
i
Let r be (-21 + 23)/((-21)/(-23) + -1). Let k = -38 - r. Let i be (0/(-5))/(k/(-5)). Is i > 1/66?
False
Suppose 1782*f - 1857*f = -57375. Which is smaller: 760 or f?
760
Let z = 470 + -467. Suppose -4*k + 13 = 3*s, z*k + 4*s + 3 = 18. Let i be 2/3 + 848/(-1236). Does i = k?
False
Suppose -816*u = -802*u - 2156. Which is smaller: u or 151?
151
Suppose -90*g + 8940 = -75*g. Is 593 at most as big as g?
True
Suppose 3*f + 12*y - 16*y + 8045 = 0, -4*y - 4 = 0. Do -2682 and f have the same value?
False
Let a(m) = 13*m**2 + m + 28. Let w be a(3). Which is bigger: 169 or w?
169
Suppose 0 = -a + 9 + 4. Let j be 1/2*(2 - 4). Let t be 7 + j + -7 - -10. Is t at least a?
False
Let u be (-11)/33*(-2 + 2 + 6). Let w(n) = 2*n**2 + 3*n - 1. Let b be w(u). Which is smaller: -2/9 or b?
-2/9
Let c = 29 - 25. Let m be (-2)/c - 760/16. Let k be (-3)/(1*-9) - 444/9. Which is bigger: k or m?
m
Suppose -131*u + 121*u = -99360. Which is bigger: 9935 or u?
u
Let n be 8/21 + 2/7 + 280/(-231). Which is smaller: 0.0376 or n?
n
Let t(s) = -s**3 - 43*s**2 + 183*s + 83. Let d be t(-47). Is -0.11 <= d?
True
Let o(z) = -z**3 - z**2 + 8*z - 3. Let c(h) = -6*h + 218. Let d be c(36). Let l be o(d). Which is greater: 4/195 or l?
l
Suppose 83*d = -121*d - 109*d - 50080. Which is bigger: d or 66?
66
Suppose -4*t + 0 = -h - 2, -3*t - 5*h = 10. Suppose -42*j + 45*j + 939 = t. Let q = -10643/34 - j. Which is bigger: q or 0?
0
Suppose 29036 = 18*t - 24*t + 2*o, -t - 4821 = -4*o. Is t bigger than -4840?
False
Let l = 10519 + -10532. Do l and 0.0328 have the same value?
False
Suppose 131*w = 151*w - 20. Is w equal to 7/67?
False
Suppose -530 = 5*a + 8*b - 4*b, -3*a - b = 318. Let r be 1/(-2) - a/(-12). Suppose -49 = 5*x - c, c + 56 - 5 = -5*x. Are x and r unequal?
True
Suppose 0 = 4*c + 78 + 366. Let n = c - -72. Let g be 466/(-12) - (-35)/42. Which is smaller: g or n?
n
Suppose 0 = 176*w - 179*w - 3*q - 195, 2*w + 4*q + 134 = 0. Are w and -185/3 nonequal?
True
Let a(h) = 145*h - 580. Let x be a(4). Is x at most as big as 2/2765?
True
Let x(u) = 24*u**3 + u - 1. Suppose -232*o + 230*o = 2. Let v be x(o). Is v at most -5?
True
Suppose -3742 = -11*n - 11508. Are n and -705 equal?
False
Let l = -1/51 + 6/17. Let j = 109405 - 331433/3. Let b = 1073 + j. Is l < b?
False
Let o(q) = q**2 + 5*q - 6. Let z be (-4)/(-16) + 2 + (-2)/8. Let c 