6/27. Is -1 not equal to n?
True
Let r = -41 + 42.12. Let s = 273 + -272.88. Let p = r - s. Which is bigger: 7 or p?
7
Suppose 13*c + 841 = 3454. Which is bigger: 200 or c?
c
Let f = -1792/85 + 106/5. Which is bigger: 1/4 or f?
1/4
Let j(b) = 5*b**2 - 139*b - 41. Let t be j(28). Let u(z) = -2*z + 3. Let r be u(7). Is r less than or equal to t?
False
Let z = 10 - 76. Let u = z + 62. Is -36/7 at least as big as u?
False
Let b = -6 - -84. Let i = 82 - b. Is i < 15?
True
Let b be 3*(38/(-42) + 1). Let a = 233.87 + -232. Let l = a - -0.13. Do b and l have different values?
True
Let p be 19055/65345 + (-2)/7. Let u = -68452/106419 - p. Let c = u - -6/19. Which is smaller: 1 or c?
c
Let k = -32 + 37. Suppose 3*j + 3*u - 225 = 0, k*j + 3*u - 411 = 7*u. Do 79 and j have the same value?
True
Let p be 12/(-17)*(-5)/(-10). Suppose 3*h = -5*y + 15, 2*y + 0*y + 5*h = 25. Do y and p have the same value?
False
Let a(y) = -y**3 - 5*y**2 - 3*y - 13. Let p be a(-3). Let i(k) = -k - 25. Let w be i(p). Is w > 0.12?
False
Let r = 3/224 - -61/224. Let f = 0.24 + -20.24. Is r <= f?
False
Suppose -q = 5*n - 5, 11*n + 25 = 13*n + 5*q. Does -4/97 = n?
False
Let t(z) = z**2 + 15*z - 8. Let m be t(-16). Let y = m - 9. Which is greater: y or -2/47?
-2/47
Let f(s) = -2*s - 15. Let g be f(-9). Suppose 0 = -c + 1 + 3. Suppose -g*q = -j - 2, -j - c = -2*q + q. Is 2/19 at most q?
False
Let n = -40 + 39.75. Let g = 18.75 - n. Is 1 at least as big as g?
False
Let k(g) = g**2 + 18*g + 31. Let z = -3 + -13. Let j be k(z). Are j and 2/9 equal?
False
Let q(v) = -v**2 + 5*v - 3. Let w be q(1). Let z be w - (-1 + 6)/5. Which is smaller: z or 9?
z
Let n = -7493 - -7502. Let i = 0.3 + -0.5. Is i equal to n?
False
Let s = -3.4 + -18.6. Let u = s + 38. Let h = u - 16.1. Does 2 = h?
False
Let t(v) = -60*v + 62. Let k be t(1). Let z be (-1 - 11)*3/(-32). Are z and k unequal?
True
Let b = 1100 + -1097. Is b equal to 0.114?
False
Let v(n) = -n**2 + 8*n + 1. Let c be v(8). Suppose s - 5 = -c. Let p be (-170)/260 - s/(-26). Which is smaller: 0 or p?
p
Suppose 5*r - 2 = 23. Let h be ((-75)/(-125))/(((-2)/(-10))/1). Suppose h*q = 2*q - 4*i + 4, 0 = -2*i. Which is smaller: q or r?
q
Let w be 1*(2 - 1*12). Let i = 108 + -119. Is w less than i?
False
Let g = 23/284 - 5191/16756. Which is smaller: g or 0?
g
Suppose 5*o = -3*v - 0*v + 1517, 4*o + 982 = 2*v. Is v not equal to 499?
False
Let z be ((-205)/37)/(-5) + -2 + 1. Which is smaller: z or 1?
z
Let o = 54 - 21. Let z be (-1)/2 + o/63. Let x = 10/21 + z. Is x <= 0?
False
Let x = -409 + 151. Are x and -258 nonequal?
False
Let p(f) = f**2 - 5*f + 10. Let n be p(6). Suppose -3*i - q = -i - n, 18 = 5*i - 3*q. Is 9/2 less than i?
True
Suppose 4*b + 12 = -2*h - 0*b, 2*h + 5*b = -13. Let m(z) = 6*z + 19. Let j be m(h). Which is smaller: -3 or j?
j
Let t = 0 + 7. Let i(v) = -v**3 - 39*v**2 - 240*v - 509. Let x be i(-32). Which is bigger: x or t?
t
Let x be (2286/105 + -1)/((-4)/(-10)). Let h = -52 + x. Is 1 bigger than h?
True
Suppose 5*a - 92 = 68. Let j be 10/(-4)*(a/20)/(-2). Is j at most -2?
False
Suppose 0 = 21*z - 19*z + 20. Let r be 12*((-60)/(-16))/(-5). Which is greater: z or r?
r
Let f(w) = w - 12. Let y(t) = t - 25. Let n(q) = 5*f(q) - 3*y(q). Let s be n(0). Suppose -s = b + 3. Which is bigger: b or -17?
-17
Let a = 65 + -89. Let v = 20 + a. Is v > -1/3?
False
Let y = -7 - -6. Let m = y - 5. Let h be (-1)/7 - (-3)/21. Is m less than or equal to h?
True
Let q = 6 + -10. Let c be (10/(-6))/(10/(-36)) + -3. Suppose t + 12 = -c*t. Is t smaller than q?
False
Let k be (-3)/(-2) + (-15)/(-6). Let s be (-2)/k + 45/(-6). Let m = -7 - s. Which is greater: m or -2/17?
m
Suppose 5 = -4*o + 3*o - 2*h, 5*h = 2*o + 19. Let k be 14/o + 1 + 1. Let x = k + -1. Which is smaller: x or -6/7?
x
Let t = -82.2 + 82.2. Is 62.1 greater than t?
True
Suppose 2*y + 423 - 89 = 0. Are -169 and y equal?
False
Let p be (-3 - -3) + -1 + 28. Suppose 64 = -5*o + 4*y, -7*o = -5*o - 3*y + p. Let w = o - -12. Which is bigger: w or 4/11?
4/11
Suppose -4*v - j - 59 = 2*j, 0 = -5*v + 5*j - 30. Which is smaller: v or -166/15?
-166/15
Let y = -43/9 - -437/99. Is y equal to -16?
False
Let q be (2/4)/((-84)/3576). Let d = q - -21. Let k = 1 + -0.8. Which is bigger: k or d?
k
Let n be 3 + (1 - 9/((-54)/(-112))). Is n greater than -15?
True
Let u(a) = -4*a - 24. Let c be u(-11). Suppose 4*f = 4*n - 32 + 12, 0 = 4*n - c. Is 2/73 greater than f?
True
Suppose 27 = -9*a + 54. Is -24 at most a?
True
Let d = -470 - -56871/121. Is 1 at least as big as d?
True
Let l(i) = -89*i + 76. Let d be l(4). Is d != 0?
True
Let j(n) = -7 - 5 + 3*n - 2*n - 5*n. Let q be j(-3). Let i be (-3 + (-113)/(-38))*-6. Is q smaller than i?
True
Let j = -3721/810 + -1/162. Suppose -b - 8 = -o + 3*b, -b + 13 = -4*o. Is j at most o?
True
Let k = 124 - 121. Is k != 7?
True
Let r = -54.32 + 52. Which is smaller: 0 or r?
r
Let i = -374 + 379. Let n = -4 + 1. Let s = n - -1. Which is smaller: i or s?
s
Let j = -4301 - -17427/4. Which is greater: j or 57?
57
Let a(b) = 17*b + 5. Let q be a(-2). Suppose 12*k - 30 = 13*k. Which is smaller: k or q?
k
Let t = -7854 + 7855. Let x = 11/48 - 115/432. Does x = t?
False
Let x be 4/(-48)*(-3 + (-37)/(-1)). Let i = x + 211/66. Which is bigger: 1 or i?
1
Suppose -3*c = -4*s + 9, -4*c + 4*s - 7 - 1 = 0. Let w(z) = -z**2 + z - 1. Let h be w(0). Let r be (15/7 - 2)*h. Are c and r unequal?
True
Let d = 0.024 - -0.056. Let p = -20.08 + d. Which is bigger: -2 or p?
-2
Let n = 684 + -683.4. Suppose -5*o + 18 = -c, -o - 3*o = -3*c + 1. Which is greater: c or n?
c
Let q = -83.89 - -84. Which is bigger: 1/13 or q?
q
Let y = 155 + -137. Let p(u) = 3*u - 62. Let v be p(y). Which is bigger: -9 or v?
v
Let a = -583/372 - 63/62. Let t = -9/4 - a. Is -1 bigger than t?
False
Let b(j) = -j**3 + 2*j**2 + 5*j. Let w be b(4). Let m = w + 9. Which is greater: m or -4?
m
Suppose 3*k + 111 = 3*a, 49 = -3*a + 5*k + 158. Do a and 38 have different values?
False
Let s = -483314/49 - -9864. Which is smaller: s or 0?
0
Let i be -1*(-2 + 1)*(2 - 2). Is i bigger than -6?
True
Let k(s) be the first derivative of -s**2/2 + 6. Let g be k(-3). Suppose -g*w = -0*w - 3, 2 = -2*u + 2*w. Is u >= -1/14?
True
Let f be 3/(-12) + 31/(-4). Let g = f - -12. Suppose -g*d = -5*d. Which is smaller: d or 1/19?
d
Let v = -13126 - -144224/11. Which is smaller: -16 or v?
-16
Let z = 2813 - 2759. Which is greater: z or 1/20?
z
Suppose -20*h - 4089 = 9*h. Is h less than or equal to -708/5?
False
Suppose 0*g + 21 = 3*g. Suppose 2*z + 35 = g. Let t(c) = -2*c**2 - 6*c - 5. Let h be t(-4). Is h greater than z?
True
Suppose 0 = i + 3, -59 = -m - i + 10. Let k = m + -39. Which is smaller: k or 32?
32
Suppose -6*g + 2*g = 28. Suppose -40 = 3*a + 2*a. Which is bigger: g or a?
g
Let c = 144 - 143.9. Which is bigger: 0.076 or c?
c
Let k = -7.1 - -7. Let r = 730.59 - 725. Let s = r - -0.41. Which is bigger: k or s?
s
Let q = 7.24 - 7.34. Which is greater: 1/379 or q?
1/379
Let c be 66/(-110)*14/(-6). Which is smaller: c or 2?
c
Let w(x) = -23*x + 41. Let q be w(2). Which is smaller: q or -0.5?
q
Let a be -3 + 3354/322 - 0. Let r = a + -210/23. Suppose l = 4*t + 10, 0*l + 5*l = 3*t - 1. Which is greater: r or l?
r
Let p = 2 - 87. Let u = 1531/18 + p. Which is smaller: 0 or u?
0
Let y(j) be the first derivative of 3*j**2/2 + 20*j - 21. Let h be y(7). Is h less than 42?
True
Let k = -24.58 - -0.58. Let n = k - -25.5. Let z = n + -2.5. Is z less than 0?
True
Suppose -3*d = -3*i - 150, 2*i - d = -56 - 44. Are i and -50 nonequal?
False
Suppose 0 = -5*h + 7*h - 12. Let z(f) = 5 + 5*f + 2 - h*f. Let s be z(9). Which is bigger: -8/3 or s?
s
Suppose -8 + 1 = -i. Suppose -4 = -9*n + i*n. Suppose 6*d = n*d - 4. Which is smaller: d or 2/15?
d
Let b = 3463/15 - 231. Let u be ((-3)/4)/(6/(-16)). Suppose u*s - 2*t = -3*s, 4*s - 4*t = 0. Is b at least s?
False
Suppose -57 = -68*f + 11*f. Which is bigger: 19 or f?
19
Let j = 3.1 - 2.86. Which is smaller: -5 or j?
-5
Let q = 1 + 0.2. Let o = -0.7 + q. Let v = o - 0.6. Which is bigger: v or 2/3?
2/3
Let f = -1/2134 + -862133/6402. Let r = -128 - f. Which is greater: 8 or r?
8
Suppose -3*q + 58 = 3*j + 13, 0 = -2*q - j + 25. Let u = -8 + 4. Let r = q + u. Are 5 and r unequal?
True
Let i be (7/(-2) + 4)*24. Suppose -6 = 2*