igger: 0 or w?
w
Let w = -8 + 6. Let p = -73 + 215. Let o = -146 + p. Which is smaller: o or w?
o
Let x = 161 - 146. Which is smaller: -3 or x?
-3
Let o = -59/5 + 176/15. Let b be (2/4)/((-1)/(-12)). Suppose -5*i - b*y - 17 = -2*y, -10 = i + 3*y. Is o <= i?
False
Let b = -274 - -149. Let r = b + 1389/11. Which is smaller: 2 or r?
r
Suppose 0 = 16*n - 103 + 87. Which is greater: -1 or n?
n
Let b be 6/16 + (42840/64)/15. Which is greater: 41 or b?
b
Let n = 3 - -1. Suppose -n*t + 4 - 3 = y, -y - 3 = 0. Which is bigger: t or 2?
2
Let y = -37.71 + 38. Let i = 0.19 - y. Which is smaller: -3 or i?
-3
Let d = 13 + -8. Let c be 1/(-1)*d/(-5). Let z be 6/(-33) - (-333)/1287. Are z and c non-equal?
True
Let k be 10/3*(-1)/(0 + 14). Suppose -5*m + 0*m = 5. Is k > m?
True
Let s = -892.18 + 892. Which is smaller: s or -18?
-18
Let v be -3*(7/3 - -3). Let n be 2690/v + (-2)/(-16). Let k be n/15 - (-2)/10. Do k and -12 have the same value?
False
Let u(b) = b**2 + 27*b + 141. Let f be u(-7). Let a = 2 + 1. Let d be (2/((-8)/(-3)))/a. Is d greater than or equal to f?
False
Let z(h) = -154*h + 43. Let a be z(-8). Let s be ((-6)/(-25))/(30/a). Which is smaller: s or 11?
s
Let q be 1176/(-56)*-1*(17 + 2). Is 398 smaller than q?
True
Let z = -76 + 97. Suppose 7*n = 178 - 45. Which is smaller: n or z?
n
Let a(g) be the first derivative of -g**4/4 + g**3 - g**2/2 + 2*g + 7. Let t be a(3). Let i be 0/2 - (-1 + t). Which is smaller: 0 or i?
0
Let o = 465/8 - 58. Is o < 1?
True
Suppose -6*p + 60 = -p. Let r be 1 + 1 - p/5. Let u(k) = -k**3 + 9*k**2 - 20*k + 21. Let w be u(7). Is w < r?
True
Suppose -z = 2*d - 7*d - 25, -d = 3*z + 5. Let m be 10/d + -9*(-12)/63. Is m greater than -3/26?
False
Let a(k) = -k**2 - 46*k - 293. Let z be a(-9). Is z > 20?
True
Suppose 0*w + 2*q = w + 18, 0 = 4*q - 16. Suppose 3*n - 39 = -3*p, -p + 4*n + 1 = n. Let t = w + p. Is t at most 2/3?
True
Let q = 16 + -46. Let x be ((-18)/q)/(2/1830). Let a = 11531/21 - x. Is a less than or equal to -1?
False
Let z be (-37 - 11)/(2/(-2)). Let a be (32/(-24))/(2/z). Which is smaller: a or -33?
-33
Suppose -2*w + 5 = -3*w. Let f be (w/(-10))/((-10)/(-52)). Is f bigger than 3?
False
Let u be 1 + 1/1*1. Suppose 3*a + a = 4*x + 8, u*x = -a - 4. Let t = 584/7 - 6403/77. Do t and a have the same value?
False
Let m(g) = -g**3 + 7*g**2 - 6*g - 4. Suppose 6*l = 2*l + 20. Let y be m(l). Let i = 14 - y. Which is bigger: -3 or i?
i
Let d be 10/(-14)*(-2 + 5 + -4). Suppose -4*a - 1 + 9 = 0. Which is greater: a or d?
a
Let y(i) = -13*i**2 + 42*i + 42. Let g be y(-1). Is g less than -81/7?
True
Suppose -5*z = -o + 197, 0*o - 3*o = 5*z + 189. Let g = -9 - 29. Which is bigger: z or g?
g
Suppose 8*r = -162 + 178. Suppose 0 = 5*y - 7 - 3. Are r and y equal?
True
Let k be (12/(-10))/(4/750). Is k bigger than -225?
False
Let y = 23 - 21. Let h be (-3)/9 + -2*(-1)/6. Are y and h equal?
False
Let t = -4 - -4. Suppose 0 = -k - 0*k. Let s be 2/(-8) - (k + 3)/36. Which is bigger: s or t?
t
Let n be ((-2728)/21 + (-148)/(-259))/6. Are -21 and n equal?
False
Let h = -3 - -3. Suppose -4 = 4*j - k, -5*k = -2*j - h*k - 20. Which is bigger: j or 1/28?
1/28
Let c = 1503 - 1507. Let b be -2 + (0 - (-38)/(-12)). Are b and c non-equal?
True
Let s = 936/7 + -133. Let i = -11 + 18. Let x be i + -4 + 26/(-10). Is s at least as big as x?
True
Let u = -1.3 - -0.3. Suppose 5*h - 26 = 4*i, -3*i + 4*h = 3*h + 14. Let t be (3/(-6) - -4) + i. Which is smaller: u or t?
u
Let f(i) = -2*i**3 - 27*i**2 - 15*i - 26. Let j be f(-13). Which is smaller: 7 or j?
j
Let d = 529 + -421. Is d greater than or equal to 3/5?
True
Let r = 12 - 51. Let n be 5 + -2 + r/15. Let b be (1/5)/(6/(-15)). Is b less than or equal to n?
True
Let i = -30.4 + 3.4. Let c = i + 27.25. Let h = c - -0.25. Which is greater: 2 or h?
2
Let z be (-3 + 6 - -8) + 2. Which is smaller: z or 11?
11
Let n(g) = -10*g + g**3 - 46*g**2 - 29*g**2 + 61*g**2 - 16. Let q be n(15). Is q < 61?
True
Let i be ((-12)/56)/(40/(-7)). Let c = 623/6 + -25007/240. Let p = i - c. Do p and -1 have the same value?
False
Let z(y) = -5 + y**3 - 2*y**2 - y - 1 + 4. Let w be z(3). Suppose -4*d - w*p = 12, 6*d - 2*d + p = 0. Which is greater: d or -3?
d
Let c be (-3 + 12/3)/((-3)/9). Let a be 0 - (-2 + 1)*9. Suppose l - a = 4*l. Are l and c nonequal?
False
Suppose -4*s = s + 3*t - 55, 2*t = -4*s + 42. Let g be ((-1 + 0)/1)/(2/(-16)). Are s and g equal?
True
Let a = -102/365 - 3/146. Which is smaller: 3/7 or a?
a
Let d(n) = n**3 + 4*n**2 - 3*n - 9. Let o(r) = r + 1. Let p(l) = -d(l) - 5*o(l). Let h be p(-4). Let x be 75/(-20)*h/10. Is -6 at least x?
False
Let i(g) = -72*g + 465. Let z be i(7). Which is smaller: -77/2 or z?
z
Let n = 11 - 9. Are n and -8.1 non-equal?
True
Let o = -147.9 + 154. Let x = o + -7. Let p = x + 0.8. Is p < -1/2?
False
Let h = -0.033 + 2.033. Let w = -26 + 18. Let z = w + 12. Is z <= h?
False
Suppose -4*y + 2*y - 48 = 0. Let h be (-2 + 15/5)*-23. Is h != y?
True
Let u = -278 + 613. Is u <= 335?
True
Let o be 14/(-4)*624/117. Is -19 < o?
True
Suppose 33*j - 31*j - 3*f - 71 = 0, 0 = 5*j + 4*f - 120. Are 143/5 and j equal?
False
Let d = 0.031 + -0.001. Which is bigger: d or 7?
7
Let h = 693/103 - 11783/1751. Which is smaller: h or 1?
h
Suppose -5 + 9 = -2*s. Let o be (-60)/35 + (-1)/((-7)/s). Is o at most as big as -7/3?
False
Let g = -365 - -368. Which is greater: g or 15?
15
Let u = 15.212 + -0.012. Let d = u - 11.2. Let q = -2 + 1. Which is greater: d or q?
d
Let b(g) = 2*g**2 + 2*g + 1. Let l(n) = -n - 11. Let p be l(0). Let o(w) = w + 10. Let u be o(p). Let k be b(u). Do -3 and k have the same value?
False
Let d be (-6)/(-29) - 0 - (2 - 2). Which is smaller: 1 or d?
d
Suppose -4*y + 0*y + 5*b = -32, -22 = -2*y + 4*b. Let r be (-3)/(-2)*(-2)/y. Which is smaller: r or 14?
r
Suppose -2*p = 4*n - 1141 - 331, 2*n + 4*p = 736. Let k = n - 1828/5. Suppose -2*h = -3*u - 8, u + u + 4 = 0. Which is bigger: k or h?
k
Let j(b) = b + 36. Let n be j(-17). Is 24 >= n?
True
Let h = 1.55 - -0.15. Let d = 1.8 - h. Is -7 at least d?
False
Suppose 4*j - 37*j = 0. Which is smaller: -3/13 or j?
-3/13
Let k = 25/64654 + -133866557/1163772. Let m = 115 + k. Which is greater: m or 0?
0
Suppose 0 = 4*m + 5*y + 29, -5*m + 4*y - 1 = -16. Let c = 5098/51 + -100. Which is greater: m or c?
c
Let p be (-3392)/(-160) + (-2)/10. Is p not equal to 24?
True
Let h be 382/14 - (-4)/(-14). Let q be (-63)/h - (-2)/6. Let d be 6/(-18) - q/6. Which is greater: 7/5 or d?
7/5
Let o(s) = s**3 + 11*s**2 - 5*s + 64. Let t be o(-12). Are t and -18 nonequal?
True
Let r be (-6 + 5)/((-1)/(-41)). Which is bigger: -42 or r?
r
Let r be (-64)/32*(-58)/4. Suppose 7*w - r*w = -176. Which is greater: 7 or w?
w
Let v = 32.5 + -30. Let a = v + -2.2. Which is greater: a or -1/3?
a
Let p = -196 - -198. Suppose -4*u + p*m = -60, 16*u - 19*u = -4*m - 35. Suppose 0 = 3*a + 2*d - 20 - 20, 16 = -4*d. Is u < a?
False
Let b(z) = -z**2 - 3*z + 4. Let r be b(-4). Suppose 90 = 3*v + 4*i + 23, r = v - 5*i - 54. Does v = 29?
True
Suppose 55 = -2*a + a. Let n be 3 + 494/(-10) - 9. Let l = a - n. Is l < -2?
False
Let k(a) = -a**3 + 11*a**2 - 19*a - 39. Let v be k(8). Let j be (-360)/1554 + (-2)/(-7). Which is smaller: v or j?
j
Let s be (-10)/4*18/15. Let v be 4 + (1 - (s + 341)). Let q be (-1)/(-3) + 93/v. Does 1 = q?
False
Let r = -0.148 + -9.152. Let n = r + -0.7. Let g = -9 - n. Which is smaller: 0.9 or g?
0.9
Let b = -20 + 21.52. Let z = -1.52 + b. Is -23 < z?
True
Let p = 2350 - 2352. Is -37/11 < p?
True
Let d = -3202 - -3202. Let l = -19 + -1. Let t = -12 - l. Which is smaller: t or d?
d
Let g be (2 - 221) + 3/((-9)/(-6)). Let n = -1089/5 - g. Which is smaller: n or -2?
-2
Let g = -184 + 182. Which is smaller: -0.2 or g?
g
Let d = 8825 - 8808. Suppose 2*f = -3*f + 90. Is d <= f?
True
Suppose 2*q = -3*x - 0*x, -19 = -2*x + 5*q. Let n be (-4)/22 - 78/(-66). Which is greater: n or x?
x
Suppose 3*s + 6 = -2*k, 0 = 3*k - 2*k + 3. Which is smaller: s or -1/3?
-1/3
Let m(f) = f + 19. Let t be m(-15). Suppose -4*i + d - 3*d - t = 0, -3*d = 6. Suppose 0 = w + 2*v - 12, i = -2*w + 3*w - 5*v - 12. Which is smaller: 11 or w?
11
Let w = -226 + 225.92. Is 2/41 smaller than w?
False
Let l = -27 - -29. Suppose 0 = l*d + 3*d - w + 1, -d = 2*w + 9. Which is bigger: -0