s -1 = b?
False
Suppose 0 = 4*g + 30*g + 4*g. Which is smaller: -811 or g?
-811
Suppose -3*w + 4*g = -4, -5*w - 5*g + 47 - 17 = 0. Which is smaller: w or -4?
-4
Let l = 13 - 22. Let u = -10 - l. Which is smaller: 2/7 or u?
u
Let r = -662 - -685. Which is bigger: 13 or r?
r
Let g be (-6)/(-14) - 123/(-7). Let p be ((-1)/3)/((-14)/g). Suppose 3*c - 2*h + 7*h - 25 = 0, 2*c = -4*h + 20. Which is smaller: c or p?
c
Let c(d) be the first derivative of d**4/2 + 4*d**3/3 + d**2 - d + 3. Let l be c(-2). Let q be 4/(-14) - ((-936)/(-42))/6. Which is smaller: q or l?
l
Let o = 10 - 9. Let w be ((-7)/(-14))/(-30 + -1). Is w greater than or equal to o?
False
Let n = -23 + 27. Suppose -a - a = g - 4, 4*g + 8 = n*a. Which is greater: 1 or g?
1
Suppose -83*x = -87*x. Is 2/15 at most as big as x?
False
Let d(a) = 2*a**3 + 11*a**2 + 4*a. Let n be d(-5). Suppose p - 4*t = -4*p + 273, 0 = 5*p + n*t - 255. Which is greater: p or 54?
54
Let a = -1000.9 - -1001. Let k = -1010063/98 - -382856717/37142. Let d = 4/379 - k. Which is smaller: d or a?
d
Suppose -3*u = 5*v + 16, 4*v - 6*v - 10 = 0. Is 13/7 smaller than u?
True
Let k be 62/(2 - 0) - -2. Let s(a) = a**3 + 25*a**2 + 27*a + 38. Let f be s(-24). Let y = f + k. Is y at most -1/3?
True
Suppose -s - 2*a + 182 = 0, -s - 14*a + 176 = -10*a. Does 191 = s?
False
Let j(z) = 2*z + 28. Let w be (2/4)/(-5 + (-714)/(-144)). Let t be j(w). Is t != 5?
True
Let o(b) = -46*b**3 - b**2 + b - 1. Let m be o(1). Let k = -336 - -289. Is k greater than or equal to m?
True
Suppose -8 - 16 = -2*v. Suppose -47 = -w + v. Let y = 296/5 - w. Which is greater: y or -1?
y
Let y = 148 + -127. Suppose -4*r = -y + 25. Which is smaller: r or -2/89?
r
Let d be 2*1*(-13)/2. Let y = 16 + -15.2. Let m = 0.9 - y. Which is smaller: m or d?
d
Suppose 0 = -4*n + n + 6. Let v be (-804)/(-60) + n/(-5). Let j be (-15 + v)/((-4)/(-2)). Which is smaller: j or -12?
-12
Let n be (4/10)/((-12)/(-1500)). Let c be (30/n)/(0 + 1/10). Which is smaller: c or 7?
c
Suppose -q = -r, 7 = -2*r - 4*q + 25. Let c be (8/6)/((-11)/33). Let g be r/(-3)*(c + 3). Is 1/15 not equal to g?
True
Let q(l) = -3*l - 12. Let p be q(-5). Let f be 12/(-90)*9/p. Let z = 9/35 + f. Is z less than or equal to 0?
True
Let b be 0*3/6*1. Suppose 5962 - 887 = 5*o. Let i be 1 + (-7)/(o/135). Which is greater: b or i?
i
Let g(q) = q + 2. Let z be g(-4). Let c be (0 - -2) + 4/2. Suppose t + 6 = -u + 6*t, -1 = c*u + 3*t. Which is smaller: u or z?
z
Let j = 336 - 1674/5. Let i(z) = z + 1. Let c be i(-1). Which is bigger: j or c?
j
Suppose 30*q + 200 = 55*q. Which is smaller: q or 0.05?
0.05
Let d(z) = -21*z**3 - 5*z**2 - 86*z + 361. Let b be d(4). Which is smaller: -1408 or b?
-1408
Let x be (-100)/(-35) - (-3)/21. Suppose -5*p + 3*f - 3 = 7*f, x*f = -6. Is p at most -6/25?
False
Let t = 3.25 - -1.52. Let o = t - -0.23. Let f be 4/(-10) + (-12)/(-5). Which is bigger: f or o?
o
Suppose 5*d + 3 = 3. Suppose c - c - 13*c = d. Is c less than or equal to 0?
True
Let v = 1.32 + -7.52. Which is smaller: v or 0?
v
Let u = -68 - -78. Let z = -18 + 7. Let k = z + u. Is -0.4 at least as big as k?
True
Suppose -19 = -7*a + 51. Let g be a*(35/30)/1. Which is greater: g or 11?
g
Let y = 6 - -5. Let q = 13019 - 13019.1. Which is bigger: q or y?
y
Let m be 1/(-4) + 2/4. Let x = -4.8 - 9.7. Let o = x + 9.5. Is o at most m?
True
Let g be (-2)/10 + (-31775)/(-159500). Is 0 > g?
True
Suppose -5*t + 6 = 2*c - 3*t, -39 = -5*c + t. Let q be c/6 - (-39)/(-26). Which is smaller: -1 or q?
-1
Let u be 19*2*2/16. Let f = 7681/19200 + -1/19200. Is u < f?
False
Let w = 1009.957 + -1010. Are w and -3/2 equal?
False
Let l(d) = -d**3 - d**2 + d - 1. Let g be l(0). Let f be (-6)/(-4)*(-10)/15. Let x be -8 + 7 + f/1. Which is smaller: x or g?
x
Let n = -156 - -35. Let c = -111 - n. Which is smaller: 0.07 or c?
0.07
Let b = -63 - 21. Let d = 422/5 + b. Are d and -0.37 equal?
False
Suppose 5*a + 12 = i, -17 = -5*i + 2*a + 20. Suppose 0 = i*d + 18 + 3. Does d = -1?
False
Suppose 3*l - 54 = -4*i, -4*i - 4*l + 9 + 47 = 0. Is i less than or equal to 67/6?
False
Let i = 14 - -1. Let a = -822 + 835. Which is smaller: i or a?
a
Suppose 12 = 3*f + 4*v, -2*f + 2*v = -3*v + 15. Suppose f = -t - 3*t + 12. Suppose -i = 3*i - 12. Is t at most as big as i?
True
Let c be (6/4)/(15/80). Suppose -4*o - 36 = -3*k, 3*k + k - 16 = 0. Let f be (-177)/(-108) + o/c. Do 0 and f have different values?
True
Suppose 0 = k - 0*k - o + 2, -5*k = -2*o + 4. Let s be 8/(-10) + k + (-51)/5. Is s greater than -9?
False
Suppose -o = r + 12, 3*o + 2*o + 2*r = -54. Let x be ((o - -3) + 3)/((-4)/(-6)). Let j be 0 + 0 + -9 + 1. Which is smaller: j or x?
j
Let u = -1245/8 - -6669/40. Let d = -1161/110 + u. Let o = 0 + 1. Which is greater: d or o?
o
Suppose 4*p - 179 = -39. Suppose 5*c + 10 = p. Suppose 11 = 4*r + 3*i, c*i + 6 - 32 = r. Does r = 1?
False
Let l = -0.379 - -0.424. Which is smaller: l or -1?
-1
Suppose 207*h - 195*h - 6948 = 0. Which is smaller: 1 or h?
1
Let x(d) = -2*d + 38. Let m be x(18). Suppose -6*g - m = -14. Which is smaller: 3/2 or g?
3/2
Let y be ((-145)/(-25))/((-1)/(-5)*21). Let w = 12/7 - y. Is -6 at most w?
True
Let j = -127 - -73. Which is greater: j or -48?
-48
Let r(u) = -12*u - 16. Let p(b) = -b - 1. Let d(k) = -22*p(k) + 2*r(k). Let s be d(-5). Is s greater than -1/100?
True
Suppose -3*b = 3*f - 9, b + 0*b - 3 = -2*f. Let y(p) = 3*p**2 - 4*p. Let j be y(4). Suppose m - b*m = -j. Is 15 greater than or equal to m?
False
Let q = -0.728 + 0.848. Is 1/4 <= q?
False
Suppose -26 = -4*u + 14. Suppose -11*r - 17 = -u*r. Let v = -16 - r. Which is smaller: v or 3/7?
3/7
Let a(w) = 7*w - 1. Let q(d) = 20*d - 3. Let z(y) = -17*a(y) + 6*q(y). Let t be z(2). Let s = 0.05 + 0.05. Is s bigger than t?
False
Let r = -11/6 + 1/3. Let y = r - -2. Which is smaller: y or 2/13?
2/13
Let r = -185/6 + -11/3. Which is smaller: r or -36?
-36
Suppose -652*g + 2541 = -663*g. Which is smaller: g or 2?
g
Let q = -3 + 3. Let i = 57/44 - 8405/6556. Is i bigger than q?
True
Let h be (-175)/(-98) - 8/28. Let b be (-41)/13 - (2 + -5). Which is greater: b or h?
h
Let k = -915 + 922. Is 32 >= k?
True
Let j = -195 - -381. Is j bigger than 185?
True
Let n(l) = 3*l**2 - 20*l + 88. Let j be n(8). Is 120 <= j?
True
Let w = -68219702/73735 - -16/14747. Let j = 930 + w. Let x = j - 77/15. Which is greater: -0.1 or x?
-0.1
Let z = 1 - 0.8. Let i = 32.988 - 33. Let c = i - -4.012. Which is smaller: c or z?
z
Let c be ((-205)/10)/(2/(-4)). Let h = -40 + c. Which is bigger: -2 or h?
h
Suppose -3*p - p = 124. Let r = p - -19. Let y be r/7 - 2*-1. Is -1.1 smaller than y?
True
Let f = 1.9 + 2.1. Let q = f + -11. Let v be -2 + 2 + (-4)/10. Which is smaller: v or q?
q
Let i be 2361 - 0 - 161/69*-3. Is i bigger than 2368?
False
Let y be ((-112797)/8676 - -13)*(-24)/(-21). Which is smaller: 1 or y?
y
Let u(g) = g**3 + 3*g**2 - 4*g + 2. Let p be u(-4). Suppose 2*b + 15 = i, -7*b + p*b + 2*i = 38. Let k = b + 12. Which is smaller: k or 2?
2
Let j(h) = h**2 + 14*h - 18. Let n be j(-14). Let o be 4/n - (-332)/36. Let t = 13 - o. Which is greater: 2 or t?
t
Let w be ((-15)/(-10))/((-3)/(-6)). Suppose -3*a - 124 = -d, w*a - 4*a + 4*d - 23 = 0. Let y = -16 - a. Which is bigger: y or 26?
y
Let t(j) = -j**3 - j**2 + 2*j - 97. Let x be t(0). Is x != -100?
True
Let s be (2 + -4 - 1) + 39. Suppose -2*p = 2*p - s. Let j = -3 + 12. Is j >= p?
True
Let i(k) = 1. Let d(p) = p**2 - 6*p - 1. Let m(l) = d(l) - 3*i(l). Let b be m(4). Let w be (b/165)/(5/(-25)). Which is greater: w or -1?
w
Let d(i) = -i**3 - 10*i**2 + 10*i - 4. Let j be d(-11). Suppose -2*p + j = -o, -2*o - 8 = 2*o - 3*p. Suppose o = k - 1. Which is smaller: k or 0?
0
Suppose z + 2*k - 112 = 0, 3*k = 3*z + 4*k - 336. Suppose -2*c + z = -t - 0*c, 77 = -t - 5*c. Is -103 at most as big as t?
True
Let q = 4.5 + -0.5. Let l = 13/6 + -11/3. Is q at least as big as l?
True
Let l be (-4)/(-8)*(-9048)/(-7). Let q = l + -645. Is q equal to 0?
False
Let s = 140317/15 - 9351. Is 4 less than s?
False
Let f = -27 - -42. Let c be (3 + 6)*(-5)/f. Let b = 1 + c. Are 1 and b non-equal?
True
Let y = -44 - -60. Let i = -17.4 + y. Is -2/3 greater than i?
True
Let q = 443 + -446. Let u be (1 + 2 - -1)/2. Suppose -p = -2*p - 5*i - 17, -3*p = u*i + 25. Which is bigger: p