 Which is bigger: 31 or k?
k
Let w = -3.1 - -3.34. Let s = 0.27 - w. Is 0 not equal to s?
True
Suppose 6*m + 55 = 11*m. Suppose -5*i = -5*q - 45, 0 = 3*q + m + 4. Which is smaller: i or -2/7?
-2/7
Suppose 0 = -16*l - 12*l + 112. Let h(p) = p**3 + 2*p**2 - 3*p - 3. Let z = 4 - 6. Let v be h(z). Which is greater: l or v?
l
Let n = -2.363 - -2.3. Let a = -0.063 - n. Is 0 smaller than a?
False
Let p = -248/5 + 7207/145. Let k = -190 - -189. Is p equal to k?
False
Let l be 4 + -3 - 222/4. Let k(c) = c**3 + 20*c**2 + 20*c - 33. Let h be k(-19). Let p = h - l. Is 3 equal to p?
False
Let u = 247/15 + -34/5. Let y(l) = -l**3 - 9*l**2 - 21*l + 2. Let v be y(-3). Is u < v?
True
Let u = -56 + 167/3. Which is smaller: u or -297?
-297
Let x be 249/(-252) + 8/14. Let k = -151.9 + 152. Which is bigger: k or x?
k
Let j = -309 + 187. Is j greater than or equal to -124?
True
Let m be ((-8)/(-6))/(26/(-39)). Let z be (-3)/m - 11/(-22). Which is smaller: 2/3 or z?
2/3
Suppose g = -2*b + 4, -5*b - 4*g + 4 = -6. Suppose 3*p - d = 24, -b*d = -4*p + 2*d + 32. Which is smaller: 6 or p?
6
Let m be (-6)/(-158)*-2*9. Let o = 344/1659 + m. Which is smaller: o or 0?
o
Let y = -135691/186288 - 3/3881. Let z = 57 - 173/3. Let v = y - z. Which is greater: 0 or v?
0
Let r = 0.04 + 0.26. Let t = 3.7 + r. Let g = -152 - -1061/7. Which is smaller: g or t?
g
Suppose 2*x + 0 + 4 = 0. Let q be (6/(-3) - x)/(-2). Which is bigger: q or -1?
q
Let t be (-2)/(-3)*(14/4)/(-7). Which is smaller: t or 5?
t
Suppose 0 = -4*l + g + 730, g - 3*g = 4*l - 724. Suppose -11*s - 39 = -l. Is s <= 9?
False
Let s(w) = -5*w. Let y be s(0). Suppose y = -4*j + 36 + 28. Let g be 146/9 - 2/9. Is j at most as big as g?
True
Let m be (-7)/(23 + 5)*(-28)/(-106). Is m less than or equal to -1?
False
Suppose -8 = n + 2*p, 6 = -n - n - 2*p. Suppose -3*x = -5*i + 286 + 1033, -n*x - i - 875 = 0. Let y be (-22)/(-33) - (-304)/x. Is y > 1?
False
Let c = -0.3 + 0.3. Let p(z) = -z**3 + 20*z**2 - 85*z - 2. Let d be p(6). Is d smaller than c?
True
Let j = -0.76 + 0.609. Let x = 0.051 + j. Let r = -0.3 + 1.3. Are r and x equal?
False
Let k = 17 + -26. Let f = -9.6 - k. Let i = -1.5 - f. Which is bigger: -0.2 or i?
-0.2
Let b(d) = -2*d**3 + 9*d**2 - 7*d + 9. Let g be b(4). Let v be -1*(1/g + (-68)/(-51)). Which is smaller: 2/273 or v?
v
Let n(w) = 0 - 6 + 1 + 8*w - 16. Let c be n(3). Is c at most 6?
True
Let m be (12 - 24)*1/2566. Is m less than or equal to 1?
True
Suppose 7*f - 3*u = 6*f - 13, 5*f - 3*u + 29 = 0. Which is smaller: -50 or f?
-50
Let c be 410/18 - 8/(-36). Suppose -c = -o - 2. Is 0 != o?
True
Suppose -d + 672 = 6*d. Let q = 96 - d. Is q equal to -4/59?
False
Let y = -3751/7 + 538. Let r = -13 + 14. Which is smaller: r or y?
r
Let n = -101 + 100. Is n greater than or equal to 4/43?
False
Suppose 4 - 1 = 3*d. Let x be -1*d*(-2)/6. Let j be (-1 - 1)*(-15)/(-50). Which is greater: j or x?
x
Let o = -3/422 - -853/1266. Let u = 8/47 - -37/611. Which is smaller: o or u?
u
Let n = -124.6 + 130.3. Which is bigger: -3 or n?
n
Let l(n) = 4*n**2 + 41*n - 12. Let j be l(-10). Which is smaller: -12 or j?
j
Suppose z = 5*h - h - 39, 0 = -5*z + 25. Suppose 2*q - h = 3*q. Do -11 and q have different values?
False
Suppose -47*a + 4144 = -19*a. Which is bigger: a or 152?
152
Suppose -858 = -43*z + 1292. Which is smaller: z or 57?
z
Let i be (-24)/18*(-3)/50. Let c = 18 - 8. Let f = 10 - c. Which is greater: f or i?
i
Let z = -0.08 - 2.92. Let h = z - -3.4. Let m = 7.8 - 8.8. Which is smaller: h or m?
m
Let l = -112 + 111.9. Is l at most -8/9?
False
Let h = 292 + -1404. Is h greater than or equal to -1112?
True
Suppose 5*g + c + 34 = 0, -3*g - 11*c + 7*c = 17. Suppose -2*y = -4*l + 4, 4*l + 5*y - 4*y = 10. Let k be 1/(l - 37/17). Do k and g have different values?
True
Let l = 68/7 - 634/35. Let c(m) = -m**3 - 8*m**2 - 5*m + 6. Let w be c(-7). Which is smaller: w or l?
l
Suppose 0 = -k - 2*k - 45. Let u = 17 + k. Suppose -u*d = 2*z + 24, 4*d - z - 4 + 27 = 0. Is d not equal to 0.2?
True
Let z = 0.088 + 2.912. Which is smaller: 1.1 or z?
1.1
Let d = 68 - 67. Let t = -1594/1017 - -4/339. Let r = -8/9 - t. Which is bigger: r or d?
d
Let y(g) = g**3 - 5*g**2 - 6*g + 2. Let t be y(6). Suppose -k - 2 = -t*k. Suppose 4*n - 1 = -3*o + 13, 0 = o + k*n - 8. Is -3 at most o?
True
Suppose 0 = -22*p + 17*p - 3290. Is p <= -660?
False
Suppose -4*d = -4*b - 1976, -d - 4*d + 1480 = -3*b. Let m = -14357/29 - b. Which is bigger: m or -1?
m
Let f be (1 - 1)/((-4)/(-1)). Suppose f = 4*x - 3*x - 5, -3*x = 3*i + 3. Which is greater: -7 or i?
i
Let w = 3 - 45. Let k = -19 - w. Is k greater than or equal to 2/3?
True
Let g(p) = p**3 + 8*p**2 - 10*p + 2. Let z be g(-9). Suppose w - 3*f - 3 = 6*w, z = -w + 2*f. Let v be (7 - -1) + (-3 - w). Are 4 and v equal?
False
Suppose -y = 4*a + 1860, 2*y - 1410 = 3*a - y. Which is greater: a or -465?
-465
Suppose -4*n - 4*f - 7765 = -2245, n + 1396 = 3*f. Let j = 23510/17 + n. Which is greater: j or -2?
j
Let j be (-4)/(-72) - 28/126. Let r = -228382/95 + 2404. Let l = -176/665 + r. Which is smaller: l or j?
l
Let a = 464.28 - 464. Let c = 0.12 + 0.6. Let s = a + c. Are s and 1/6 nonequal?
True
Let f = 0.129 + -0.099. Let d = 3.04 - 3. Let x = 0.06 + d. Which is bigger: x or f?
x
Suppose 4*z = 10 + 10. Suppose -z*j - 4*y = -51, 5*j + 5*y - 63 = -13. Is 5 less than j?
True
Let v = -29 + 42. Let f be (-14 + v)*(1 - 9). Suppose j = 4*k - k - f, -2*k + 5 = -j. Is -1/3 < j?
True
Suppose 9*q + 57 = 21. Suppose -6*a + 24 = -3*a. Suppose a*p + 27 = 3. Is p >= q?
True
Let p be (-85)/(-4)*(-14)/175. Which is bigger: -2 or p?
p
Let q = -441 - 30. Let m = q - -12719/27. Let t = 9 - 10. Which is greater: m or t?
m
Let d be (1 - 1)/(-3 - -10 - 8). Let x(c) = -c**2 - c. Let q(o) = -o**2 - o. Let y(j) = 4*q(j) - 3*x(j). Let b be y(-1). Is d less than b?
False
Let n be (0 - 9) + 855/95. Let i be ((-170)/(-57) + -3)/(-2). Is n at least i?
False
Let b = -1189 + 1131.7. Let p = -57 - b. Which is bigger: p or 3/11?
p
Suppose 9*z + 1133 = -1531. Which is smaller: z or -295?
z
Let j be 0 - -4 - (-1 + -2). Let z = 2 - j. Which is bigger: z or -7?
z
Let x be (27/(-21)*-6)/((-40)/(-42)). Let b = -17/2 + x. Which is smaller: -0.43 or b?
-0.43
Let u be (1 - 492/(-9)) + 8/(-12). Is 70 smaller than u?
False
Let z = 0.865 + 59.035. Let c = 60 - z. Which is greater: c or 3?
3
Let g = -4/11 - -9/55. Let j = 28 - 25. Suppose -5 + 15 = -2*y, j*b - 2*y - 10 = 0. Which is smaller: b or g?
g
Let x be ((-928)/(-132))/(51/18) - 2. Let l = x + -4/11. Do l and 0.1 have the same value?
False
Let z = -123 + 489/4. Let o(k) = -k + 2. Let i be o(-4). Let s be (i/4 - 1)*0. Do z and s have different values?
True
Suppose -s = 4*s + 30. Let p(o) = o**2 - 2*o - 17. Let w be p(s). Let t = -23 + w. Is 7 at most as big as t?
True
Let n be ((-3)/(-27))/((-303)/9). Which is smaller: -1 or n?
-1
Let w be (-464)/(-56) - (-4)/(-14). Let d be (-32)/2*(-8)/w. Let c be (2 - 4)/(d + -1). Is -1 less than c?
True
Let v be ((-1)/(-5))/(-12 - (-29512)/2465). Which is greater: -0.2 or v?
-0.2
Let q = 3 + 0. Suppose -3*i + 4 = 13, -i - 120 = q*z. Let v be (-256)/(-10) + z/65. Is v >= 25?
True
Let u = 29.9 + -30. Let j = 0.34 - -1.66. Which is greater: u or j?
j
Let c be 54/(-45)*(6 - 1). Let p be 8/c + -2*(-5 - -6). Which is smaller: p or -4?
-4
Suppose 3*m - 14 = -b - b, -m + 3 = -b. Which is smaller: -1/366 or b?
-1/366
Suppose -8*y - 839 = 33. Which is smaller: -1/4 or y?
y
Let j = -1.3 - 3.7. Let o = j - 3. Let z = o - -13. Is z smaller than 0.1?
False
Let b be ((-8 - -7) + 3)/((-4)/(-6)). Suppose 5*j + 2 = b*j. Are j and 46 unequal?
True
Suppose -d = 3*d. Let o(n) = 2*n - 2. Let g be o(d). Suppose -5*h - 2*q - 18 = 0, 5*q + 0 = -h + 1. Which is greater: g or h?
g
Suppose 0 = -5*h - 2 + 17. Suppose -v + h = 19. Let g = v + 20. Which is greater: 6 or g?
6
Let m = 1 + -9. Let i be 5/((-5)/m) - 0. Let u = i - 7. Which is smaller: -2/5 or u?
-2/5
Let t = -12.098 + -5.902. Let s(w) = w**3 - 3*w**2 + 1. Let n be s(1). Is n at most as big as t?
False
Let i(p) = 2*p + 24. Let z be i(-5). Is 17 greater than or equal to z?
True
Let y be (-94)/(-18) - 4/18. Suppose -52 = -y*b - 57. Which is bigger: b or -1/14?
-1/14
Let l = 603 - 597. Which is bigger: l or -9?
l
Let v = 52294/35 - 149