e
Suppose 623*r = 629*r - 6. Which is bigger: -1626 or r?
r
Suppose 5*b = 4*a - 6 + 1, -5*b - 40 = 3*a. Let t be ((-4)/((-4)/3))/1. Let v = -3 - t. Are a and v nonequal?
True
Let y(b) = -2*b**2 - 8*b - 4. Let z be y(-5). Let g be (-2)/(-7) - 10/z. Let k = -4.2 + 4. Are k and g non-equal?
True
Suppose -21*p + 30 = -6*p. Which is bigger: p or -273?
p
Suppose -6*z = -o - 3*z - 4, -2*o = -z - 7. Which is smaller: -55 or o?
-55
Let y = -351 + 17547/50. Is y less than -1/4?
False
Suppose -117 = -13*x + 4*x. Which is bigger: 59/5 or x?
x
Suppose 0 = -j - 3*n - n + 3, -4*n = -3*j + 9. Let b be (-9)/6*(75/(-9) + j). Let i be 1/(-4) - (-132)/16. Is i >= b?
True
Suppose 4*o - 58 = 4*j + 14, -2*j = -5*o + 93. Are o and -1 unequal?
True
Suppose 3*j = -139 - 194. Let p = j + 112. Which is smaller: p or 2/49?
2/49
Let c be 42/7*7/(-2). Let s be (-93)/62*(-3)/(c/2). Is s greater than -3?
True
Let a = -2 + 1. Let l be (-8)/(-12) + -8 + 2800/273 - 3. Do l and a have different values?
True
Let x(b) = -2*b - 11. Let l be x(-10). Let a = -8 + l. Suppose 0 = -3*k - 1 + 10. Is k smaller than a?
False
Let d = 2034 + -168825/83. Suppose -2*r - r - h = 0, r = 5*h - 16. Is r at most as big as d?
True
Suppose 224 + 339 = 2*a - j, -4*a + 4*j = -1116. Is 287 at least a?
True
Let l = 89 + -84. Suppose 31 = -l*d + 91. Is d less than or equal to 10?
False
Let m(d) = d + 5. Let h be m(9). Suppose -2*u + h = -2. Suppose -u = -k + 2*k. Is -8 not equal to k?
False
Let w = 215 + -216. Are 1/1471 and w nonequal?
True
Let h = 0.22 - 0.16. Let g = h - -19.94. Let b = g - 20.3. Which is bigger: 0.01 or b?
0.01
Let i(g) = 11*g - 12. Let j be (12/24)/(2/12). Let h be i(j). Suppose 4*s + 17 = -2*p + 7*s, -4*s + h = -p. Is -2 bigger than p?
False
Let p be -9 - (-9 + 41)/(-8). Which is bigger: -112/23 or p?
-112/23
Suppose -18 = -2*l - 0*l. Let p be 5/2 - l/18. Suppose p*u + 7 = u. Is u greater than -1?
False
Let q be -6 - 3*(-49)/21. Let g = -17 + 35. Is g bigger than q?
True
Let j = 31 + -28. Suppose q - 28 = -q - 3*n, j*n = -4*q + 44. Which is smaller: q or -1?
-1
Let j = 19 + -16. Are 2.8 and j equal?
False
Let q be ((-10)/30)/(185/1227666). Let g = q - -2212. Which is smaller: g or 0?
g
Let y = -60 - -32. Let u = 27 + y. Which is smaller: -1/13 or u?
u
Suppose 928 = -25*z + 9*z. Suppose -g = 3*r + 75 - 4, r = 4*g + 232. Does z = g?
False
Let w(z) = 6*z + 145. Let b be w(0). Suppose 20 + b = 3*c. Is 54 less than or equal to c?
True
Let x(p) = 7*p**2 + 19*p - 87. Let w be x(5). Is w at least 185?
False
Let w = -14 - -1. Suppose -2*v + 12 = 6. Suppose -7 = v*z - 4. Which is greater: z or w?
z
Let b = -16 - -82. Let p = b + -59. Which is smaller: 2/5 or p?
2/5
Let c be -4*(-56)/(-64)*(-12)/21. Suppose 2 = -k + 1. Let m = 2 - k. Is m > c?
True
Suppose 13*p + 3576 = 9*p. Let u = 209195/234 + p. Which is greater: 0 or u?
0
Let q = 20 - 18. Let x = 2814 - 95683/34. Let b = x + 185/238. Which is smaller: q or b?
b
Suppose -18 = 4*z - 34. Let t be z/(-8) + 0 - 14/4. Does -8/3 = t?
False
Let c(i) = i + 9. Let k be c(-5). Suppose 2*f = -k + 10. Suppose -4*b - 3*n + 0*n = 10, 0 = f*b - n + 1. Are -3 and b equal?
False
Suppose 4*s + 3*x = -43, 0 = 3*s + 3*x + 27 + 6. Let o = 18 + s. Suppose -5*n = k - 22, n + 3*n = 12. Which is bigger: o or k?
o
Let t = -788 + 787. Which is smaller: 11/106 or t?
t
Let n = -434 - 338. Which is smaller: n or -774?
-774
Let h = 164 + -69. Let y be 4/(-14) - h/35. Which is smaller: -11/5 or y?
y
Suppose -3*l = 16*q - 14*q + 2989, 0 = 4*q - l + 5971. Is q < -1494?
False
Let j = -139.9 - -142.9. Which is smaller: j or -3/77?
-3/77
Let z be -3*(-7)/((-35)/(-10)). Let i be (36/12)/(-1 + 1 + 1). Is i at least z?
False
Let a = 1 - 1. Suppose 0 = -5*k - a*k - 30. Let t(u) = u**3 - 7*u**2 + 25*u - 120. Let b be t(6). Is b equal to k?
True
Let x be (8/6)/(4/12)*50. Is x at least 201?
False
Let a = -1057/2 - -20029/38. Which is bigger: -1 or a?
-1
Let b = 13 + 10. Let l = 38 - b. Let x = 16 - l. Which is smaller: -0.1 or x?
-0.1
Let d be (5 + -3)/((-1)/4). Let f(z) = z**2 + 6*z + 4. Let k be f(-5). Let u be (k + 3)/((-6)/24). Is d greater than u?
False
Let o = -8821/18 - -490. Which is smaller: 3 or o?
o
Let m(s) = -s**2 + 9*s + 14. Let p be m(10). Let w be (-3 - -6)*(0 + 2). Is p at least as big as w?
False
Let r(w) = 2*w**3 - 30*w**2 + 27*w + 18. Let d be r(14). Let v be d + (-7)/(7/(-4)). Is 8 bigger than v?
False
Let l = -96 - 113. Which is bigger: -205 or l?
-205
Let h be (-3 - 156/(-54))*3. Which is smaller: -6.5 or h?
-6.5
Let d(z) = z**3 + 6*z**2 + 4. Let l be d(-6). Suppose -5*f = -4*g - 37, f = -l*f + 3*g + 34. Is 6 not equal to f?
True
Let a be -66*((-21)/2 - (-4)/1). Is a < 429?
False
Let v = -7.8 + 7.867. Let p = v + 0.933. Is 0.52 > p?
False
Let v = 50 - 14. Suppose 32*r - v*r = -36. Is 8 < r?
True
Let v = 835 - 832. Which is greater: v or 94/25?
94/25
Let l(d) = d**3 - d**2 - 2*d. Let n be l(2). Let p be -2 - n - (-10)/2. Suppose p*o - 5*f + 2*f = -9, -2*f = -8. Which is greater: 2 or o?
2
Let h = -36.381 + -0.719. Let i = h + 37. Which is smaller: -0.03 or i?
i
Let i(n) = n - 9. Let f = 21 + -17. Let l be i(f). Let o = -3 + 1. Are l and o equal?
False
Let s = 0.05 - -0.15. Let t = s + 1.3. Let p = t + -2.5. Which is greater: 8 or p?
8
Suppose -8 = 23*s - 25*s. Suppose 4*m - 31 = 3*k, -2*m - 2*m + s*k + 28 = 0. Is 9 equal to m?
False
Let g be 2 - (0 + 44/2). Let t = g + 26. Suppose 2*d = 5*d - 15. Which is greater: t or d?
t
Let i = -5/3 - -3/2. Suppose -5*a = 5*u - 5, 2*u + 3*a + 0 = 2. Which is bigger: u or i?
u
Suppose -592 = 5*a - 597. Is -6/307 != a?
True
Let w = 1 + -2. Let q = -19 - -13. Let k be -2 + 3/q - -2. Is w at most k?
True
Suppose 14 = 36*i - 43*i. Does -4/3 = i?
False
Let h = -66423/43 + 1545. Is h greater than 0?
True
Let k(f) = -f**2 - 5*f + 7. Let b be k(-6). Let l be (-21)/((-735)/(-200)) - -6. Do b and l have the same value?
False
Let h be (-1362)/(-308) + (-29 - 735/(-30)). Let p = 2 + -3. Is h at least as big as p?
True
Suppose 5*h - 2*h = 15, -t = -4*h + 11. Suppose 0 = -y - 11 + t. Which is greater: -12/19 or y?
-12/19
Let u = -8 - -17. Let x = 36 + -26. Let z = u - x. Is z greater than -2?
True
Let o = 11/7 + -163/28. Are -3 and o unequal?
True
Suppose 44*r + 20 = 40*r, 5*r - 855 = 2*h. Is h equal to 0.1?
False
Let d = 84.1 + -84. Let l = -1.6 + 1.588. Which is bigger: d or l?
d
Let b be 268/92*22 - -2. Let h = -66 + b. Which is greater: h or 0?
h
Let b = 98 - 86. Let q = -14 - 2. Let p = b + q. Do p and -1/5 have the same value?
False
Suppose -5*a = v - 2*v + 8, -2*v - 4*a + 16 = 0. Is v >= 8?
True
Let o = 21 + -12. Suppose 7 = -2*b - o. Let n be (-57)/36 + (-2)/b. Which is bigger: n or -0.2?
-0.2
Let o be (539/84 + -6)/((-2)/9). Which is smaller: -1 or o?
o
Let w be (-62)/10 + (-3)/(-15). Let n = -2 - w. Suppose 4*h - n*m = 12, -3*m = 2*h - h + 5. Which is bigger: 0 or h?
h
Let l = -409/2 - -206. Suppose 4*m = 29 + 19. Suppose 21 = 4*i - 3*n, 3*n = -2*i + 3*i - m. Which is greater: i or l?
i
Let j(f) = -2*f + 17. Let b be j(7). Suppose 5*h = -b*q - 9, -3*h = -2*q + 2*h + 19. Let k be (-2)/((-128)/10)*4. Which is smaller: q or k?
k
Let d = -35 - -35. Suppose -3*y + 3*f = 3, d*y + 2*y + 3 = f. Which is smaller: -8/3 or y?
-8/3
Let s = 3634/21 - 173. Suppose 23*h - 16 = 7*h. Which is smaller: h or s?
s
Let l = 4 - 5. Let y be (4/(-6))/(l/(-3)). Let r be 87/(-58)*(1 - (-1)/3). Is y bigger than r?
False
Let n = -28 - -27. Is n smaller than -2/1099?
True
Let o = -207 - -210. Let l be (-2)/6*8/8. Which is smaller: o or l?
l
Let c = -4 - -5. Let r = c + -9/7. Let j = 1 + 0. Are r and j equal?
False
Let j(r) = -r**3 - 6*r**2 - 14. Let q be j(-5). Is -40 greater than or equal to q?
False
Let g(d) = d**3 + 6*d**2 + 5*d - 6. Let v = 9 + -4. Suppose -v*h - 3*j - 34 = 0, 5*j = -4*h + 16 - 51. Let p be g(h). Is -7 greater than or equal to p?
False
Suppose 56*j = 55*j - 2. Let f = -3396 + 37326/11. Which is smaller: f or j?
f
Let a = -22 - 13. Is -35 smaller than a?
False
Let k = 0.9 + 3.1. Is k less than -9?
False
Let r be (3 + 0 - 484) + 0. Let f = 20685/43 + r. Let n(m) = -m - 4. Let z be n(-5). Which is smaller: z or f?
f
Suppose 14 = -15*x - 1. Let h = -14 - 9. Is x bigger than h?
True
Suppose 3 = 5*v - 7. Let a be 6*((-5)/v - -4). Suppose -