0. Which is smaller: i or 0?
0
Let j be 3/(-15) + 6680/34000. Which is bigger: j or 1?
1
Let a be 89/2 + 7/14. Suppose -a = 4*i - 597. Let k be (-8)/(-24) - 70/i. Which is smaller: k or -1?
-1
Let v(f) = -f**3 - 4*f**2 + 4*f - 1. Let u be v(-5). Let n be (u/(-2))/(0 - -2). Which is smaller: n or 2/197?
n
Let t(c) = 4*c - 7. Let o be t(3). Let d = 83 + -86. Is o at least d?
True
Suppose -l + 20 = -5*l. Let a be (-1)/5 - 42/(-60). Do l and a have the same value?
False
Let n(b) = -b**2 + 8*b + 16. Let c be -1 + 3 - (-1 + -5). Let x be n(c). Let h = -17 + x. Are h and -2/13 equal?
False
Suppose -5*x + 6 = -24. Let j be (-15)/30 - x/4. Suppose y = 0, 2*b - 5*y = 4*b. Is j greater than b?
False
Let k(u) = u**3 + 5*u**2 + 2*u - 7. Let b be k(-5). Let m(c) = -13*c + 23. Let l be m(2). Which is greater: b or l?
l
Let y = -63/65 + 10/13. Which is smaller: y or -4/19?
-4/19
Suppose -3*q = 2*q - 5. Let f be (-1 + (-50)/(-30))*(-30)/(-88). Is q at most f?
False
Let x(h) = h**2 - 8*h + 5. Let z be x(8). Let k(i) = 3*i**2 - 1. Let q be k(-1). Suppose j - s + z*s = -8, -4*j - q = s. Which is smaller: j or 1/33?
j
Let p = -719 + 720. Is p not equal to 129?
True
Let n be 1/(2 + (-5)/2). Let o = 52 - 94. Let w be 219/o + 4 - 2/7. Is n less than w?
True
Let p = 1.9 - 2.08. Let j = 2.15 + -4.33. Let b = j - p. Which is greater: 0 or b?
0
Let u = 0 - -2.5. Let j = -4 + u. Which is smaller: 1/4 or j?
j
Let x be (2492/16)/(-7) - -7. Are -2 and x equal?
False
Suppose v = -0*v + 4. Suppose 0 = -0*l - 2*l - 2*s + 6, -v*l + 2 = -s. Let i = -83/10 + 681/70. Is i != l?
True
Let f = -8 - -14. Suppose 2*k = f*k - 44. Let c = -7 + 18. Are c and k unequal?
False
Suppose 0 = 4*u + 4*u + 5*u. Suppose u*o - 8 = -4*i + o, 5*i + 4*o = -11. Is i equal to 2.8?
False
Let d(m) = m**3 - 8*m**2 + 18*m - 3. Let o be d(4). Let k be ((-1)/(-2))/(2/16). Suppose -o*y = -y - k. Is y greater than 0?
True
Let v = 0.21 + 1.39. Let q = v + -15.6. Let z = q + 12. Is z <= 1/15?
True
Suppose -49*f = -47*f - 54. Let h = 7 - f. Are h and -21 non-equal?
True
Let b = -14 + 10. Let l(g) = -g**2 - 2*g + 5. Let o be l(b). Let j = 0.08 + -4.08. Is j >= o?
False
Let q(c) = c**2 - 19*c - 45. Let z be q(22). Suppose 11 = -4*u + u + 2*f, 0 = -u + 5*f - z. Let w be (-4)/18 - 0/(-2). Are u and w unequal?
True
Let r(g) = g**3 - 16*g**2 - 14*g - 56. Let s be r(17). Which is bigger: s or -58/11?
s
Let x(l) = -l - 5. Let p be x(-7). Let a be (-1)/((-1)/p*(-3)/(-5)). Let b = -9 + 8.9. Which is smaller: b or a?
b
Suppose -9*t - 170 = -4*t. Let i be t/66 - 8/(-44). Which is smaller: i or -1?
-1
Let h be 2/(-14) - 18/168. Let z = 3 + -2.92. Is h greater than z?
False
Let v be ((-5)/(-1))/(2 + -1). Let z = 7 - v. Let p be (1/z)/(12/(-48)). Is 0 at most as big as p?
False
Let m be (-16)/(256/(-12))*(-4)/(-3). Is m >= -3/391?
True
Let m = 37.3 + -6.3. Let j = 30 - m. Which is bigger: j or 1?
1
Let i = -43 + 42.9. Let m = 0.5 + -0.51. Let v = 0.01 + m. Which is bigger: i or v?
v
Let m = 9354 - 271299/29. Is -1 smaller than m?
False
Let m = -29 - 95. Are -124 and m nonequal?
False
Suppose -5*z - 2*y - 88 = -0*y, 100 = -5*z - 5*y. Let b be z/600*10/(-8). Suppose 2*a = -4*o + 8, -4*a = -o + 4*o - 16. Is b bigger than o?
True
Let r(b) = -4*b**2 - 2*b + 3. Let q be r(2). Let a = 24 + q. Suppose 2*v + v - 2*f + 16 = 0, -v + f = a. Is v less than 1?
True
Suppose -5*d = -3*d. Let m be (-8 + 13)*(-2)/(-5). Which is greater: m or d?
m
Suppose -37*t - 66 = 82. Let s = 3 + -4. Let q = s + 1. Is t greater than q?
False
Let p(r) = -77*r + 12 + 163*r + r**2 - 74*r. Let u be p(-11). Is 5/21 at least as big as u?
False
Let p = -220424/9 - -24448. Is -45 at least as big as p?
False
Let a = -8 + 12. Suppose 2*i = -3*f + i + 4, -i + a = -f. Which is smaller: f or 1?
f
Let b = 31 - 28. Let h be (4 - b/1)*-1. Are h and 1/27 nonequal?
True
Let h(f) = 32*f + 204. Let k(i) = -11*i - 68. Let y(v) = 6*h(v) + 17*k(v). Let u be y(-13). Let g = -8 - -11. Does g = u?
True
Let s = -1251 + 71309/57. Let m be 4*(1 + (-444)/(-16)). Let v = m - 116. Is s at least as big as v?
True
Suppose 5*b = -5*n + 10, -2*b = -4*n + 2*b + 40. Suppose n*l = 2*l - 96. Let y be ((-4)/12)/(2/l). Are y and 5 nonequal?
True
Let v be 165/(-99)*(-6)/10. Let u = -47 - -143/3. Which is smaller: u or v?
u
Let s = 6316 + -56744/9. Is 12 equal to s?
False
Let v = -27986/2533 + 314/149. Is v < -10?
False
Let u(v) = v**3 + 3*v**2 - 12*v - 4. Let k be u(-8). Let d be 6/(-2) - 378/k*2. Which is greater: d or 1?
1
Let f = 5.9 - 6.21. Let z = 0.09 - f. Which is greater: -0.3 or z?
z
Let b = -511 - -256. Which is greater: b or 0.1?
0.1
Let w = 1735 - 1735. Let c be (-34)/(-40) - (0 - -1). Which is bigger: c or w?
w
Suppose 2*m - 4*m = -30. Suppose 217 + 295 = 32*x. Which is smaller: x or m?
m
Suppose -5*u - m + 51 = 0, -5*u - 3*m + 43 = -0*u. Let z = -18 - u. Let r = 40 + z. Which is greater: r or -0.2?
r
Let m = -1.5 - -1.5. Let j = 7 + -25.2. Let o = -3.2 - j. Which is smaller: o or m?
m
Let r be 7*(1425/35 + -1). Let h = 3620/13 - r. Let s(l) = l + 7. Let y be s(-7). Which is smaller: h or y?
y
Suppose -3*f - 1 - 8 = 0. Let c be 1 + (-1)/f + (-8)/(-12). Which is greater: c or 1?
c
Suppose 5*f + o - 238 = 0, f - 3*f = 2*o - 100. Let c = 36 - f. Is -13 > c?
False
Let d be ((-8)/36)/((-1)/386). Let h = 5987/72 - d. Which is bigger: -3 or h?
h
Let t be (226/14)/((-18)/(-126)). Is t < 115?
True
Let k = 222 - 222. Is k equal to -15/7?
False
Let h = 21 - 20. Let z = 15 - -2. Which is bigger: h or z?
z
Let m = -746 + 727. Which is smaller: m or 7?
m
Let t = 0.86 + -0.6. Let i = 0.16 - t. Let z be (-12)/54*(-5)/2. Which is smaller: z or i?
i
Let u = 4668/5 - 937. Let p(t) = -133 + 262 - 11*t - t**2 - 119. Let m be p(-12). Is u smaller than m?
True
Suppose -12 = -5*o + 8. Let z be 37/(-77) - o/(-8). Let t = z - -589/1386. Which is smaller: t or 1?
t
Let a = -34837/3 + 11438. Which is bigger: a or -173?
-173
Let x be 5*(53248/13320 - (-2 + 6)). Is -1 <= x?
True
Let p be (-96)/(-84)*(7 - 0). Let b(q) = 9 + 0*q - 3*q + q. Let v be b(p). Are -7 and v unequal?
False
Let n = 191 + -148. Is n less than 42?
False
Let z = -0.07 - 1.33. Let c = z - -0.4. Let i be 2 + -2*(-10)/(-8). Is c != i?
True
Let w(o) = -o**2 + 33. Let h be w(8). Which is greater: -400/13 or h?
-400/13
Suppose -192*t + 202*t - 340 = 0. Which is smaller: 26 or t?
26
Let y be (-308)/(-4)*6/21. Is -8 at most y?
True
Let j = 7.5 - 2.5. Let a = 44 - 43.9. Are j and a equal?
False
Suppose -5*i + g = -0*i + 1298, 0 = i - g + 262. Is i > -259?
False
Let l = -3/2854 + 6473/727770. Does 0 = l?
False
Let h(t) = t**3 - 7*t**2 + t - 8. Let d be h(7). Let c be (2 - d)/(4/4). Let x be (12 + 2)*c/6. Which is smaller: 5 or x?
5
Let f be 110/(-18) - 1/(-9). Is f less than or equal to -5?
True
Suppose 1910 = 34*x - 198. Are 60 and x nonequal?
True
Let q = -3372/5 + 674. Suppose 3*k = t + 1, k - 2 = -4*t - 6. Is q less than t?
False
Let r be (-142936)/15912 - ((-9 - 0) + 0). Let w be (-4)/3 - (-1)/3. Is r not equal to w?
True
Let r = 5140 + -113031/22. Which is smaller: 3 or r?
r
Let h = 40.67 + -41. Let l = -165 - -166. Which is greater: h or l?
l
Let u(n) = 59*n + 22. Let w be u(17). Suppose -5*t + 740 = 3*b, 4*b - 2*t = -t + w. Let i be (3 + 2)*6/b. Which is greater: 0.2 or i?
0.2
Suppose 0 = -139*b + 144*b - 5. Is b != 2/745?
True
Suppose -c + 110 = -2*m, m = 2*c - 0*c - 211. Let u be 3*c/102 - 3. Let q be 0 - (4 + 6/3 + -6). Which is bigger: q or u?
u
Let i = -34.851 + 0.851. Let c = 40.79 - -0.21. Let g = c + i. Which is bigger: 1/4 or g?
g
Let z be 270/(-180)*(-686)/(-3). Is -343 bigger than z?
False
Let u = 28 - 28.9. Let m = -0.15 + u. Let i = m + 0.05. Is 1 > i?
True
Let u be 4284/(-85)*(-3)/(-3). Which is smaller: u or -50?
u
Let f = 1379 + -1319. Which is smaller: 2/17 or f?
2/17
Let i = 419 + -419. Is -20/41 not equal to i?
True
Let w = -430 - -2156/5. Which is smaller: w or 0?
0
Let l(f) = 3*f**2 - 9*f + 19. Let g be l(7). Is g greater than 103?
False
Let o = 1/53 - 117/583. Let f = 217 - 216.885. Let y = f + -0.165. Which is smaller: o or y?
o
Let v be (-2)/3*(-9)/(-12816)*4. Which is greater: -1 or v?
v
Let m = -13 + 20. Let t = m + 0. Let i be -3 + (t - 3) + -1. Is i > -2/7?
True
Let q = 5 - 6. Let p be (0/2 - -3) + 69829/(-69). Let a = 