+ -4. Suppose 3*c = i*c - 2*h + 6, -3*h = 3*c - p. Which is smaller: 1/16 or c?
c
Let t = -2830 + 2686. Is t less than -138?
True
Let j = -19 + 4. Let s be 2/j - 1752/360. Which is smaller: 0.1 or s?
s
Let s = -5605/9 - -5677847/9117. Is s > -1?
True
Let h be (-1)/3*(15 + -12)*263. Which is bigger: -264 or h?
h
Suppose -3*k = 3*k - 210. Which is bigger: 39 or k?
39
Let h = -170 - -2895/17. Is h < 1?
True
Let l = 1074 + -1852. Is l bigger than -2/5?
False
Let m be ((-33)/(-66))/(6668/6672 + -1). Is -836 smaller than m?
True
Let s(v) = 6*v**3 + 5*v**2 - 4*v + 4. Let x = -18 + 22. Let z(p) = -p**3 - p**2 + p - 1. Let a(b) = x*z(b) + s(b). Let l be a(-1). Which is smaller: 2/7 or l?
l
Suppose 2938 = -7*n + 3407. Is n less than or equal to 66?
False
Let v(q) = -q**3 + 5*q**2 - 15. Let o be v(4). Which is smaller: o or -2?
-2
Let l(o) = -4*o**2 - 25*o + 19. Let w be l(-7). Which is bigger: w or -6?
w
Let u be 7 + -27 + 18 + 1678/842. Which is smaller: 0 or u?
u
Let f = -1845/629 - -6597915/13838. Suppose -2*i = -3*o + 1430, -2*o - o = 2*i - 1414. Let w = o - f. Which is bigger: 0 or w?
w
Let i = -18 + 12. Let x be (-2)/7*(-2)/i. Let d be 1/6*(11 - 5). Which is bigger: d or x?
d
Let w = -77 - -76. Let h be ((-13)/55)/w - 36/60. Are 1 and h nonequal?
True
Let i(y) = y**2 + 21*y - 45. Let x be i(-23). Let p be 2 + -3 + (21 - 4)*x. Which is smaller: p or 14?
14
Let u be (-295)/(-5) + 7 - (-2 + 7). Is u > 60?
True
Let v = -5894/239951 - -2/1387. Does v = 1?
False
Suppose 141 = 5*t + 31. Let k be 50/t - (-4 + 6). Which is smaller: 0 or k?
0
Let t(k) = -k**2 + 18*k + 4. Let m be t(18). Suppose -m*p - 5*o + 8 = -3*o, -p + 8 = 2*o. Which is smaller: 1/18 or p?
p
Let c(t) = 3*t + 8. Let u be c(-6). Let q be 4/u - 96/(-15). Suppose -q*m = -5*m + 7. Is -8 bigger than m?
False
Let h be (-2 - 1) + (-73920)/(-24651). Which is greater: -1 or h?
h
Suppose 6*j - 8*j + 48 = 5*h, -25 = -j - 3*h. Is j less than 94/5?
False
Let m be 1*(2 - 16)/7. Are m and 23 equal?
False
Suppose -5*z + 57 - 1053 = -3*j, -2*z + 2*j = 400. Which is smaller: -197 or z?
z
Let o = 2055.57 - 2051. Which is smaller: o or 2?
2
Suppose 3*r = -3*b + 15, -5*r + 2*r + 6 = 0. Suppose g - 10 = -b. Suppose -5*j - 3 = -38. Do g and j have the same value?
True
Let p(l) = -l**2 - 15*l + 59. Let o be p(-18). Suppose -o*s - 13 = 8*s. Which is smaller: 1/23 or s?
s
Let l = -2 + 5. Suppose 0 = -3*d + 5*f + 49, -f - f - 26 = -2*d. Suppose 3*o = 14 - d. Is o greater than or equal to l?
False
Let g be (13 - -1)/(((-770)/(-147))/10). Is 27 != g?
True
Let g be 36/(-135) - (12/(-20) + 0). Are g and 0.72 non-equal?
True
Let r be -5 - -2 - 11 - -2. Let w = 12 + r. Let t be w/(2 + 2) - 2. Which is smaller: -3 or t?
-3
Suppose -g + 0 = -16. Suppose 4*v + 0*v = -3*t + 28, -5*t = -v - g. Suppose -t*h - 3 + 31 = 0. Is 7 != h?
False
Let y = -65 - -41. Let b = -22 - y. Suppose 3*g = -p - 2 - 1, -p + 2*g + 7 = 0. Is p at most as big as b?
False
Let i = -16.921 + 17. Let q = 18.079 - i. Which is greater: q or -1/3?
q
Let f = -208.8 - -209. Which is bigger: 2.9 or f?
2.9
Let q = -1099 + 1040. Which is bigger: q or -62?
q
Let r be -1*4*(-3)/3. Let d = -233.9 + 234. Does r = d?
False
Let w be (1 + 2)/(3/8). Let i(h) = h**3 + 6*h**2 + 4*h - 7. Let j be i(-3). Let m = j - w. Is m not equal to -1/11?
True
Let k = -632 + 629. Is 65 not equal to k?
True
Let w be (-1)/((-3)/(-2)) - 228/(-18). Suppose 4*a - w = h - 1, 4*h + 14 = a. Do -36 and a have different values?
True
Suppose 6*z - 1403 = -17*z. Suppose 43 = -3*m + z. Suppose 0 = 3*a - 2 - 19. Are a and m non-equal?
True
Let n = 1.055 - -4.835. Let d = n - -0.11. Let o = 71/44 - 15/11. Is d less than o?
False
Let h = 250/159 + -22807/2067. Which is bigger: h or -10?
h
Let k = 30 + -28. Let m be 8/k*90/(-20). Let u be (4/m)/(16/24). Which is greater: u or 0?
0
Let b = 800 + -26402/33. Which is smaller: b or -1?
-1
Let b = 68 + -113. Let w be ((-15)/(-25))/((-1)/b). Which is smaller: w or 26?
26
Let o be 4 + 3184/(-24) - -6. Are o and -124 unequal?
True
Suppose -4 = -5*g - 3*t + 6, 4*g - 2*t = 8. Suppose 4*i + 7 - 5 = -x, 6 = -3*x - g*i. Let p be x*(21/(-12) - -2). Do p and 0.08 have the same value?
False
Let o = -1403.1 + 1403. Suppose 0*q + 24 = 4*q. Let i(h) = -h**2 + 9*h - 3. Let z be i(q). Is z >= o?
True
Suppose 20*d - 226 = 18*d. Is 110 > d?
False
Suppose 4*g - 778 = 446. Is 306 not equal to g?
False
Suppose 4*y = -2*n + 13 - 5, 0 = 2*y - 2*n - 10. Suppose -i = y*r, r = -2*i + i + 2. Which is bigger: i or -2/13?
i
Let j be (34 + -29)*(0 - 74). Are j and -370 non-equal?
False
Let n be -3*(-11)/6*(-2)/1. Suppose t + 1 = -3. Is t at least as big as n?
True
Let r be 0/(4*5/(-10)). Let t be -1 + (-4 - r) - -2. Are -3 and t unequal?
False
Suppose 848*m = 842*m - 96. Is m < -18?
False
Let d be 1/(-2) - 21/(-2). Let n be ((-2)/d)/((-6)/(-15)). Let h = 216 + -219. Do n and h have different values?
True
Let q(m) = -m + 4. Let j be q(5). Let c be ((-20)/6)/((-2)/(-6)). Let s be ((-8)/c)/(40/(-4)). Is s at most as big as j?
False
Let j = -4.332 + 2.354. Let x = -0.022 + j. Let y = -3 - -4. Which is smaller: x or y?
x
Let x(d) = -d**2 + 9*d - 6. Let h be x(8). Let k be ((-42)/(-20) + -2 + 0)*h. Which is smaller: k or -0.1?
-0.1
Let q(i) = 2*i**3 + 2*i**2 - i - 1. Let w be q(1). Which is smaller: w or 14?
w
Let c = 5.6 + -19.2. Let h = -16 - c. Let g = -2.4 - h. Is g at least -1?
True
Let w = 18.051 + -0.051. Let x = w + -18. Let k = 0.3 - 0.4. Which is smaller: k or x?
k
Suppose -6 = -4*f + 2*b, 2*f = -0*f - 3*b - 1. Is f at most as big as 16/29?
False
Suppose 3*b = 3*q, 3*b - 32 = -5*q - 0*q. Suppose -4*o = -5*n + 8, o - 3 = b*n - 5. Let v be ((-6)/(-4))/(9/5). Which is smaller: v or n?
n
Let l(g) = -g**2 + 3*g + 1. Suppose -a + 5*a = 8. Let p be l(a). Let x be (-6)/(-9) - (-4)/p. Which is smaller: 2/19 or x?
2/19
Let r = -268 - -271. Which is greater: r or -1/13?
r
Suppose 4*j - 25 = 27. Let d = j + -29. Are d and -15 non-equal?
True
Let u = 503 + -488. Is 4 >= u?
False
Let q = -5 + -1. Let s be ((-2)/8)/(q/48). Which is smaller: -1 or s?
-1
Let r be ((-4)/(-8))/((-1)/(-2)). Suppose -l - 4*h - h - 3 = 0, -2*l = 3*h - r. Suppose 0 = g - 5*v - 0*v + 5, 5*g - l*v + 2 = 0. Is g > -2?
True
Let y = 20 - -19. Let p = -40 + y. Is p equal to 11?
False
Let w(k) = -2*k - 7. Let n be w(-6). Let h be (n/2)/((-5)/10). Let g = -9 - h. Which is smaller: -3 or g?
g
Let r be (15/(-7))/((-1)/(-11142)). Let y = -23804 - r. Let u = -72 + y. Is 0 < u?
False
Let h = 96.15 - 99. Let p = h + -0.15. Let a = 0 - 0.1. Which is smaller: a or p?
p
Let u = 28/5 - 6. Let l be (-84)/(-10) - (-2)/(-5). Which is smaller: l or u?
u
Suppose 2*g - 3111 = -3*p, -5*g = -3*g + p - 3117. Let a be (-1)/4 + g/(-32). Is a >= -48?
False
Suppose 16*t - 13*t = -3*i - 9, -4*t - 12 = i. Are i and -2/77 equal?
False
Let w = -364 + 360. Which is bigger: -54/19 or w?
-54/19
Let h = 0.07 - -0.93. Let b = -1.1 + h. Let l = b - 0.4. Is l smaller than -1?
False
Let t = 943 - 2795/3. Let b = -23/2 + t. Let l be ((-10)/25)/(14/10). Do b and l have the same value?
False
Suppose 6 = 3*u, 2*u = 4*c - 3*u + 18. Let j = c + 2. Let k be 15 + j - (9 - 11). Are 17 and k non-equal?
False
Let p = -142 - -145. Let k(u) = -u**3 + 5*u**2 + u - 5. Let x be k(5). Suppose p*v + x*v = -6. Are -4/7 and v non-equal?
True
Let x = 29 - 14. Let v be (4/10)/((-122)/(-3965)). Is x bigger than v?
True
Suppose x + 2 = 0, 6*q + 2*x + 4 = 11*q. Does q = -3/86?
False
Let l be (1/5)/((-1)/2). Let v = 0.11 - -1.73. Let a = v + 0.16. Which is bigger: a or l?
a
Suppose 4*h - 1068 = 2*v, -4*h + 1080 = -6*v + v. Let z = h + -2913/11. Is 1 >= z?
True
Let n be (-250)/(-15) + (4/(-6) - 0). Let a(y) = -y**3 + 17*y**2 - 15*y + 25. Let j be a(n). Is 40 smaller than j?
True
Let q be 10/(-4)*(-3)/15. Let m = 2.71 + -0.31. Let k = m - 4.4. Is k at least as big as q?
False
Suppose 3*z + 543 = -5*c, -369 + 1305 = -5*z + 2*c. Let v be (-2)/1 - 2027/11. Let o = v - z. Which is bigger: o or -1?
o
Suppose 0 = -t + 47 + 17. Let v be (-2)/8 + (-2)/(t/(-1256)). Is v less than 79/2?
True
Let s(y) = -23*y + 45. Let w be s(-2). Is 93 less than or equal to w?
False
Let z = 351 + -351.0545. Which is greater: 1 or z?
1
Suppose 0 = -7*y - 0*y + 35. Suppose 0 = -m + 3*t - 8*t - 20, 5*t = y*m - 20. W