+ 4*z, -p - 9 = x*z. Which is greater: p or g?
p
Let q = -287 - -597. Let r = -300 + q. Is -41 at least as big as r?
False
Suppose 4*v - 4*w - 18 = 22, 5*v + 2*w = 43. Suppose a = -5*i + 2*a - 25, 3*a + v = i. Let q be -14 - (-3)/i*-8. Which is smaller: q or -39/4?
q
Let j be 63/14 - 3/6. Let h be j/6 - 262/(-3). Suppose 6*a + 110 = -h. Is a at most as big as 0?
True
Let s(m) = -m**3 + 25*m**2 + 94*m - 649. Let y be s(12). Is y smaller than 2351?
False
Let w be (342/90)/(-19)*0. Let q be 5986/(-272) + -1 + 1. Let s = q - -177/8. Which is smaller: w or s?
w
Let t be 16/(-24) + 58/6. Let l be 6/60 - (-3)/10*13. Suppose -22*j + 260 = l*j. Which is greater: j or t?
j
Let y be (-276)/(-14) - 12/(-42). Suppose 0 + 12 = 3*l. Suppose l = -14*r - 10. Which is greater: r or y?
y
Let t be (-4 - (-7 + 9)) + 623/21. Let q = 7 - 9. Let s be (-2)/q*(-175)/(-7). Which is bigger: t or s?
s
Let o = -5941 + 5442. Do -497 and o have the same value?
False
Let b = -4750 + 6236. Which is smaller: -0.2 or b?
-0.2
Let b = -2495 - -2498. Which is smaller: -1149 or b?
-1149
Let w = -1088 - -997. Which is smaller: -93 or w?
-93
Let s = 1929.2 - 2021.2. Which is bigger: -43 or s?
-43
Let x(t) = t**2 + 2*t - 1. Let i be x(1). Let w be ((-21792)/1200 - -18)*22/(-4). Is i less than w?
False
Suppose -2*o + 3*m - 4*m + 28 = 0, -o + 3*m + 28 = 0. Let s(y) = -y**3 + 16*y**2 + y - 14. Let w be s(o). Let i be (-9 + 8)*w/(-7). Which is greater: -1 or i?
i
Let n(r) = 272*r + 1. Let z(v) = 67*v. Let a(q) = 2*n(q) - 9*z(q). Let x be a(1). Is -58 < x?
True
Suppose 5*b + 2*c + 2497 = 0, 19*b - 18*b + 10*c = -509. Which is greater: -506 or b?
b
Let s(n) = 3*n**2 - 2. Let w be s(-2). Let d(l) = 0*l + 3*l + 1109 - 562 + 10*l - 607. Let g be d(w). Which is smaller: 69 or g?
69
Suppose -2*l - 7*n + 8*n = -822, 2*n - 4 = 0. Which is smaller: l or 410?
410
Let g = -2036/5 - -406. Let b = -236/45 + g. Which is greater: b or -7?
b
Let s = -8 - -16. Let q = 79 - 80. Let t be ((-9)/12)/(q/16). Is t < s?
False
Let a = -368.2 + 376. Let b = 7.3 - a. Is -2/7 equal to b?
False
Let x be 42/3 + (1 - 2). Suppose -x*r - 18 + 44 = 0. Suppose 4*p - 4*y + 92 = -12, -r*y = -5*p - 142. Is p less than or equal to -29?
True
Let d = 83 - 82.854. Let n = 0.246 - d. Which is bigger: n or 18.8?
18.8
Suppose -117 = -3*a - 3*b - 99, 0 = -2*a + 5*b - 2. Is 180/37 less than or equal to a?
False
Suppose 8 = -4*j, 1262*z = 1259*z - 4*j + 448. Is z > 1065/7?
False
Let b be (-60)/(-54) + (-39797)/153. Is -260 at least as big as b?
False
Let m = 99 + 9. Let y = m - 94.9. Let f = y + -13. Which is smaller: -7 or f?
-7
Let u be 4/(-16) - (-49122)/72. Which is smaller: 681 or u?
681
Let p(z) = 4*z + 3. Let y(q) = -3*q - 3. Let j(b) = -5*p(b) - 4*y(b). Let x be j(-1). Suppose 10*f = 5*f - 2*n - 14, x*n + 6 = 2*f. Which is greater: -3 or f?
f
Let m = 34 + -33. Let i be m/(0 - -1)*(-2)/30. Let b = 11/15 + i. Is -2 > b?
False
Let y = -41 - -47. Suppose 2*r + 192 = y*r. Suppose -2*s = -n + 14, -3*n - 2*s + r = 14. Are n and 1 nonequal?
True
Let b = -8.55 + -0.45. Let w = -112.57 + 112. Let f = -0.87 - w. Which is greater: b or f?
f
Suppose -2*b = -6 - 2. Let u = 7747/22 - 3846/11. Is b less than u?
False
Let g = -2880 - -3454. Which is smaller: g or 576?
g
Suppose -3*y = 3*o + 6372, 29*o + 4230 = -2*y + 33*o. Which is greater: -2120 or y?
-2120
Let t(c) = 8*c**2 + 22*c - 1 + 4*c - 9*c**2 + 3*c**2. Let j be t(-13). Is j less than 9?
True
Let g = 6718328062269/15211 + -441675634. Let l = g - 2/2173. Is 15 > l?
True
Let m = -10080 - -52567198/5215. Which is greater: 0 or m?
0
Suppose -5*h + 3*l = -0*l + 22, -4*h = -5*l + 28. Let b be (h - -1)*(-2)/(-6)*-3. Let y be (39/(-43) - -1)/2. Which is smaller: b or y?
y
Suppose -g - 4*h + 16 = -54, 3*g - 4*h = 194. Let k be (-2 - -3)/((-3)/(-201)). Let d = g - k. Which is smaller: d or 15?
d
Let v(q) = -q**2 + 64*q - 236. Let f be v(4). Suppose -47 = c - 46, 0 = f*g - 5*c - 1. Let x be (-1)/3*(-102)/(-14). Which is smaller: g or x?
x
Let n be 16/2 + -4 + 0. Suppose 2*s + 18 = 4*b, 5*b - 18 = 6*b + n*s. Suppose -16 = -4*l - 4*k, -b*l + 0*l = 4*k - 10. Is 11/6 bigger than l?
False
Let z be (1/42)/(987/846). Are z and -0.18 equal?
False
Let y be (-40)/8*(2 - 4 - -1). Suppose 7*b - y - 2 = 0. Let f be (-5 - (-4 + 1)/b)/89. Do f and -1 have the same value?
False
Let a = -2554 - -804. Let s = -173248/99 - a. Suppose 0 = -3*g - 3*v, 21*v - 25*v + 4 = 0. Which is greater: g or s?
s
Suppose -85*d + 94*d - 3987 = 0. Let p = d + -499. Is -52 greater than or equal to p?
True
Let n = 5934/25175 - -3/2650. Let b = 12 - 12. Which is smaller: b or n?
b
Suppose 10 = -2*n, -3*a - 15 = 4*n - n. Let f be 9*35/21 - -1. Let p be -1 + ((-12)/(-963))/(f/1272). Are p and a nonequal?
True
Let o = -0.276 + 0.516. Which is bigger: 3/5 or o?
3/5
Let l = -157837/18456 - -8/769. Which is smaller: l or -9?
-9
Suppose 0 = 3*r - 7*r + 232. Let d(t) = 50*t + 1411. Let h be d(-27). Is h bigger than r?
True
Let w be ((-1053)/273 - (1 + -5))*-7. Which is smaller: 7/746 or w?
w
Suppose -d - s - 2*s = 6, 4*d - 20 = -s. Let u be 11272/924*3/6. Let t = 18/77 + u. Which is smaller: d or t?
d
Let p = -11330 + 11502. Is 1202/7 >= p?
False
Let n = 0 - -0.1. Let l be 27/6*(-86)/258. Which is bigger: l or n?
n
Let w(n) = n**2 - 3*n - 1. Let o be w(-1). Suppose -o*v = -6, 50 = -4*x - 22*v + 23*v. Is x less than or equal to -13?
False
Let k(i) = -2*i**2 + 20*i - 15. Let j be k(9). Let m be (j - (2 - 0))*0/(-2). Is -9/52 at most as big as m?
True
Let r(s) = -16 - 20 + 65 - 26 - 28 + s**2. Let p be r(-5). Is 373 less than p?
False
Let b be 2/(-6)*-3 - (-1 - 0). Let k = b - -2. Let a be 2 + 25/(-4) + k. Which is smaller: a or 6?
a
Suppose 6*z + 60*o = 63*o + 25965, -3*o = -z + 4340. Which is greater: z or 4326?
4326
Let q(g) = g**3 - 2*g**2 + g + 2. Let m be q(2). Suppose 5*n + 29 = y - 0*y, -m*n - 24 = -y. Suppose -6 = k - 4*k, y*k - 8 = 4*i. Is i equal to 1/3?
False
Let f = -15 - -19. Suppose 0 = -2*p - 3*i + 15, 7*p + i = f*p + 19. Let w be (-49)/3*57/(-133). Which is smaller: p or w?
p
Suppose -9 + 31 = 4*t - 3*i, 4*t + i + 2 = 0. Is 2/1221 equal to t?
False
Let c = -2107 + 2107.13. Which is bigger: 88 or c?
88
Let h be 416 + -2 + 2 - (-4 + 3). Let i = h + -349. Let n be 65 - (-6 - (-5 - -2)). Is n at most as big as i?
True
Let t = 459 + -409888/893. Which is smaller: 0.1 or t?
t
Let u(n) = 32*n + 26. Let o = 66 + -61. Let q be u(o). Let a = -2419/13 + q. Is a smaller than -2/3?
False
Suppose -50 = -2*w + 2*f, -4*w + 5*w - 2*f - 30 = 0. Suppose 15*o = w*o + 240. Is -46 at most o?
False
Suppose 98*f = 53*f + 180. Let y(g) = g**2 + 5*g - 1. Let b be y(-6). Suppose f*m + 251 = 3*l, -b*l - 25 + 436 = -3*m. Are l and 80 equal?
False
Let r = -8231 - -7739. Is r less than -493?
False
Let t = 11 - 36. Let m = 442 + -421. Let i = t + m. Which is greater: i or 2/5?
2/5
Suppose x = 3*i - 119, 0 = 9*x - 6*x + 4*i + 409. Let d = x + 130. Which is greater: -22/15 or d?
d
Let i be ((-85)/(-3))/5 - (-4)/12. Suppose -8 = i*s - 2. Let y be 72/(-56) + (s - -2). Which is smaller: y or -0.23?
y
Suppose 4*d + u - 680 = 0, 177 = d - 5*u - 14. Suppose 3*w = 2*z + 4*w - 85, 4*z = -w + d. Let v = 51 - z. Are v and 10 non-equal?
True
Let r = -5745142/35 - -164175. Let h be 4 - ((-596)/28 - 1). Let w = h - r. Which is bigger: -1 or w?
-1
Let g be 64931/20416 + 64/(-88). Which is greater: g or 3?
3
Suppose 120 = 2*i - 22*i. Let p be 2 - (-276)/(-32)*i - -2. Which is greater: p or 56?
56
Let q = -0.27824 + -23.78276. Let u = q + 24. Let l = u - -0.131. Is l at least 0?
True
Suppose l - 2 = v - l, -2*v = -5*l + 5. Let r be -5*(-1 - v)*48/(-12). Which is bigger: r or -21?
r
Suppose 4*n + 6 = -5*t, -2*t - 3*n = 4 + 4. Is 96/25 > t?
True
Let c be (-4)/10 - 5*20/(-50). Let w = -13/10 + c. Which is smaller: -3/5 or w?
-3/5
Let l be (-7 + 10 + -5)*1/(-2). Let o be ((-106)/l + -2)/(4 - 3). Are -215/2 and o non-equal?
True
Suppose -2*i = -4*r - 7*i + 20, -2*i - 25 = -5*r. Suppose 3*p + 4 = -r. Let y be (p/(-1))/(2 + -1) - 43. Which is smaller: y or -41?
-41
Let l(k) = 10*k + 70. Let o be l(17). Suppose 15*x - 19*x = -o. Suppose -3*f = -2*f - 60. Is f at most as big as x?
True
Let h = -10029 - -10029. Are h and 74/193 unequal?
True
Suppose 0 = -5*c - 9 - 16. Let d be ((-4)/c)/