
True
Let g = -16/41 + -216/287. Which is bigger: -1 or g?
-1
Let g = -26 + 46. Suppose -5*x - g = -x. Let k = 1 + -4. Which is smaller: x or k?
x
Suppose -2*s + 10 = t, -3*t = 4*s - 6*t - 30. Let h be 28/s*(-576)/756. Is -1/3 at most as big as h?
False
Let z = -8 + -1. Let t(c) = -c**3 - 9*c**2 - c - 6. Let y be t(z). Suppose 0 = f - y. Is 7/2 at least f?
True
Let y(v) = 61*v - 9. Let f be y(-6). Let d be 4/f*460/(-6). Let j = d + -21/25. Is j != -1?
True
Let r be (42/18 + -4)*9. Is r >= -37?
True
Let z be 0/(3 + (-5 - -3)). Is z at least 3/185?
False
Let x(j) = j**2 - 10*j - 15. Let r be x(12). Let c = -12 + r. Let h be 1 + (c - (-87)/42). Which is smaller: 0 or h?
0
Let o be -2*((-19)/10 + 8/20). Let f be 28/(-8) + (o + 0 - -1). Is f at least 1/10?
True
Suppose 9 + 141 = 3*a. Suppose -80 = u - 2*u - 5*d, a = u - 5*d. Which is bigger: 66 or u?
66
Let c be 2/(-3) + -4 + (-520)/(-15). Suppose -5*q + 3*k - k = 38, 4*q - 2*k = -c. Is q greater than -9?
True
Let q = -0.23 - -0.14. Let f = 10.91 - q. Let b = f - 13. Is b greater than or equal to -1?
False
Let j = -107/18 - -1067/234. Let y = j + 49/26. Which is bigger: 0 or y?
y
Let h = 154.3 - 155. Is h smaller than -0.5?
True
Suppose 23*v = 21*v + 4*h + 14, 5*h = 3*v - 25. Which is bigger: v or 1/15?
v
Let r(w) = 3*w + 7. Let l be r(7). Let o = -19 + l. Let t be o/(-4)*(-8)/60. Is 1 < t?
False
Let k(w) = -2*w**2 - 23*w - 54. Let d be k(-6). Which is bigger: -0.5 or d?
d
Let v = -206 + 247. Which is smaller: v or -1?
-1
Suppose -3*y = 0, g - 3*y - 16 + 1 = 0. Let p = -13 + g. Suppose -4*b = 2 + p. Are b and -3 equal?
False
Let v = 64 - 63.95. Suppose 6 = 4*y - y. Suppose -y*g + 3*w - 2 = 2*w, -w = -3*g - 1. Is g equal to v?
False
Let h be (8 + 0)/(-2) - 106/(-16). Which is smaller: 3 or h?
h
Suppose -13*a = -23*a + 10. Is 45 bigger than a?
True
Suppose -2*i - 2*i = 0. Suppose i = -q - 3*x + 2*x - 6, -4*x = 20. Let d = q + 0. Which is smaller: d or -1/5?
d
Let j(g) = -8*g - 8. Let t(v) = 1. Let s(o) = -j(o) - 12*t(o). Let i be s(2). Let d be (-7)/(-14) - 2/i. Is d > -1/5?
True
Let b = -21 - -21. Let k be (-4)/42*(5 - 2). Which is smaller: b or k?
k
Suppose -90 - 344 = -n. Do 434 and n have the same value?
True
Let i be (100/(-16) - -6) + 11/92. Do 1 and i have the same value?
False
Let b = -703 + 429. Which is smaller: -275 or b?
-275
Let p be 70/34 + (-1 - -12). Which is bigger: 13 or p?
p
Let l be 2368/(-74)*((-13)/(-3) - 2). Is l equal to -75?
False
Let f = -5 - -9. Suppose -20 = -f*d - 0. Let h be 66/(-12)*(-48)/44. Which is bigger: d or h?
h
Let g be ((-26)/(-6) - 5)*6/(-16). Which is bigger: g or 2.46?
2.46
Suppose -29*w + 5*u = -25*w - 4791, -2*w = -3*u - 2393. Is w bigger than 1203?
True
Let n(f) = f**2 - 11*f + 5. Let w(g) = g**2 - 11*g + 6. Let t(z) = 4*n(z) - 5*w(z). Let o be t(7). Let r = o - 18. Is -3/14 != r?
True
Let g(k) = k**3 - 7*k**2 - 2. Let z be g(7). Let j(q) = -3*q**2 - q + 2. Let n be j(z). Let o be (-4)/n - 18/(-4). Are o and 5 non-equal?
False
Let w be (-2)/((4/148)/(-1)). Let q be w/14 + (-6)/21. Suppose -q*z = -2*z. Which is smaller: 1/7 or z?
z
Let w = -11.2 - -9.7. Which is greater: 0.02 or w?
0.02
Let v = 7 + -12. Let y(x) = -13*x**2 - 15*x - 40. Let q(w) = -3*w**2 - 4*w - 10. Let l(i) = -9*q(i) + 2*y(i). Let u be l(v). Is u bigger than 7?
False
Let x(u) = -u**3 - 14*u**2 + 4*u + 21. Let l be x(-14). Which is smaller: l or -37?
-37
Let m = 17 + -21. Let j = m - 1. Which is smaller: 1 or j?
j
Let r be ((-4)/(-6))/((-20)/(-90)). Suppose 3*t + r = -0*t. Is -4/13 <= t?
False
Suppose -w + 49 = -4*r, -r = 2*r - 5*w + 58. Let x be (-4)/18 + (-141)/(-27). Let b be (-11)/((-3)/(2 - x)). Is b > r?
False
Let w(p) = -p**2 - 12*p - 24. Let v be w(-12). Is -1/6 at most v?
False
Let t be (-78)/(-8)*(-24)/9. Suppose -3*c = -13*c - 260. Are c and t nonequal?
False
Let o be (-1 - 0)/(5/(-35)). Let m(t) = -2*t - 8. Let l(v) = 3*v + 9. Let g(j) = 4*l(j) + 5*m(j). Let u be g(o). Which is greater: u or 8?
u
Let l be (28/6)/((-320)/(-54) + -6). Is -1 equal to l?
False
Suppose 0 = -3*z + 12 - 12. Let r(b) = b**3 + 7*b**2 - 10*b - 12. Let y be r(-8). Let d be ((-6)/y)/(-8 + 2). Which is smaller: z or d?
z
Let z(p) = p**2 + 11*p - 42. Let f be z(-13). Let d(g) = -g**3 + 5*g**2 - 2*g - 6. Let o be d(5). Is f less than o?
False
Suppose 16*z - 9 + 41 = 0. Which is bigger: 55 or z?
55
Let v be ((-2)/(-1556))/(-1 - (0 - 2)). Is 0 <= v?
True
Let d = 0 - 2. Let z = 198 - 188. Is d not equal to z?
True
Let u(n) = 9*n - 23. Let m be u(14). Let z = -121 + m. Is z at most as big as -16?
True
Let g = -14 + 5. Let b(t) = -t**2 - 14*t - 14. Let h be b(-12). Suppose -h*o + 9*o = 8. Is o at most g?
False
Suppose 4*s + 4*q = 12, 0 = -s - s - 3*q + 1. Let z = -4 - -13. Are s and z non-equal?
True
Suppose -4*p - 236 = -2*u, -u - 3*u + p + 451 = 0. Suppose 0 = i - 5*b + 27, 3*b - u = 5*i + b. Let k = -18 - 3. Which is greater: i or k?
k
Suppose -k = -5*k. Suppose 5*v - v = 3*w, k = 5*w + 2*v. Let h(b) = 27*b + 25. Let t be h(-1). Which is smaller: t or w?
t
Suppose 5*s - 3*j = -21, 4*s + 4*j + 3 = -1. Let q be (s/6)/(3/90). Are q and -16 equal?
False
Let v be (-78)/4*8/(-6). Let q(u) = -u**2 + 4*u - 4. Let w be q(2). Suppose w = 5*o - v + 16. Is 5/4 not equal to o?
True
Let c be -534 - (-5 - -3)*(-4)/(-8). Let o be (c/65)/(1/(-5)). Are o and 42 equal?
False
Let u(f) = -f**3 - 10*f**2 + f - 8. Let m be u(-10). Let k = 21 + m. Suppose k*w - 4*r = -38, 2*w + 3*r - 36 = 5*w. Which is smaller: w or -11?
-11
Suppose -18 - 60 = -3*d. Let m(v) = v**3 - 13*v**2 - 14*v + 10. Let z be m(14). Let l be 5/(-5) + d/z. Which is smaller: 1 or l?
1
Let y = 853/2541 - 2/847. Let x = -0.1 - -0.3. Let b = -0.4 + x. Is y > b?
True
Let o = -46937 - -46957.019. Let a = 0.019 - o. Let w = 20.1 + a. Do w and 2 have different values?
True
Let b = 378 + -291. Which is greater: b or 85?
b
Suppose k + 0*s = 5*s - 4, -12 = 3*k + 2*s. Let f be ((-224)/(-12))/(-4) - k. Is f >= -1?
True
Let o = -0.005 - -0.865. Let j = 16.14 - 16. Let y = o + j. Which is smaller: y or -0.18?
-0.18
Let p be ((-276)/115)/((-4)/685). Which is smaller: p or 413?
p
Let a = 5701/354 + 27/118. Let m(q) = q + 8. Let i be m(11). Let z = a - i. Is -2 bigger than z?
True
Suppose 146 = 2*a + 282. Is a at most as big as -68?
True
Let d = -29/12 - -5/2. Is -5 at most d?
True
Suppose 38 = 2*b - 0*z + 2*z, 69 = 3*b - 3*z. Suppose m - 2*y = 8, -3*y + b = -0*m + 4*m. Let l be 52/9 - 6/(-27). Is m < l?
False
Let d be (-3)/2*(-104)/1218. Let p = d - 12/29. Let y = -0.03 + 0. Does p = y?
False
Let y = 3 + -10. Let w be (y - 1)*45/20. Let g be w/(-12)*4/30. Is g at most as big as 1?
True
Let m = -0.01 - 0.05. Let g = 1.85 + 0.21. Let y = g + m. Is y bigger than 1/5?
True
Let j(v) be the second derivative of v**4/12 - 8*v**3/3 + 9*v**2/2 + 12*v. Let m be j(14). Suppose -4*o + 2*o - 40 = 0. Which is greater: o or m?
m
Let l(r) = r**2 - 3*r - 6 + 2*r - r - 6*r. Let m be l(9). Let g = 5 - m. Are g and 3/4 non-equal?
True
Suppose 5*h + 4*i - 22 = 0, -i = -3 - 0. Suppose -3*b - 1 = h. Which is smaller: b or -1/6?
b
Let i(p) = 7*p - 26. Let z be i(4). Is 5/7 less than z?
True
Let n be (-1)/((-2)/(-14)*-1). Let c(z) = 3*z**3 + 9*z - 2*z**3 - 485*z**2 + 1 + 477*z**2. Let a be c(n). Which is bigger: a or 16?
16
Suppose 0 = 3*z - 75*z + 13176. Which is smaller: z or 367/2?
z
Let o be -1*(1*-1 + -4). Suppose 15 = 3*z, 13*w - 2*z + 25 = 10*w. Let p = w - o. Which is greater: p or -0.2?
-0.2
Let a = 33.67 + -31.8. Is 0 >= a?
False
Let q be (48/18)/((14/24)/7). Let f be 31 + 3 + -6 + 3. Is f equal to q?
False
Let n(k) = k**3 - 5*k**2 + 5*k - 1. Suppose j = 3 - 2. Let c be n(j). Does c = -11/12?
False
Let b = -471 + 508. Is 35 < b?
True
Let q be 2088/(-54)*(9/(-2))/3. Is 60 equal to q?
False
Let i be 30/(-20)*((-1620)/(-548) + -3). Which is greater: i or 0?
i
Suppose 0 = 47*r - 38*r - 81. Is r not equal to -12?
True
Suppose -169 - 202 = -7*i. Is 49 smaller than i?
True
Suppose i - 3*i = -38. Suppose 8 = -18*c + i*c. Is -1 <= c?
True
Suppose 0 = -5*k - 4*b + 18 + 32, k - 10 = 2*b. Suppose -27 = k*n - 7. Is n < -6/7?
True
Let c = 55 + -17. Let f = -115/3 + c. Let v = -118 - -118. Is f bigger than v?
False
Let b = -139.2 - -139. Is 79 at least b?
True
Let f = -13 + 87. Let g = -73.93 + f. Is g les