*x - 2 - 2, -x = -f. Is x smaller than -7?
False
Suppose 1750 + 4960 = 22*b. Which is smaller: 306 or b?
b
Suppose -4*j - 3*z - 2*z = 31, -2*j = -5*z + 53. Is j greater than or equal to -16?
True
Let d = 60/11 - 153/22. Let l(a) = 9*a**2 + 15*a - 9. Let v(n) = -4*n**2 - 8*n + 4. Let r(j) = -3*l(j) - 7*v(j). Let w be r(-11). Is w > d?
True
Let r be (5 - (3 - 1))*-1. Suppose -2*x - 88 = -4*o, -4*x = 18 - 2. Suppose 2*m + 9 - 1 = 3*q, 0 = 5*m + 5*q + o. Which is greater: m or r?
r
Suppose 12*s - 17*s = -5. Are 2/403 and s non-equal?
True
Let q = 91 - 92. Which is bigger: 5/31 or q?
5/31
Suppose 5*u + 330 = 3*b, 2*u - 310 = -5*b + 271. Let k = -631 - -746. Is k less than b?
False
Suppose 4*r - 8*r = 28. Let n be (-54)/2*2/8. Which is bigger: r or n?
n
Suppose -43 - 89 = 12*z. Let y(l) = 3*l**2 + 4*l + 4 + 3 - 4 + l**3 - 1. Let s be y(-2). Is z bigger than s?
False
Let l = -112 + 101. Is -2 smaller than l?
False
Let c = 36 - 37. Let x(b) = 32*b**3 + 4*b**2 + 3*b. Let d be x(-2). Let v = d - -1971/8. Which is smaller: v or c?
c
Let k(v) = -23*v + 126. Let x be k(12). Is -150 less than x?
False
Let g be 144/16 - 7 - 17/9. Suppose -5*o = -4*j - 25, 5*o - 12 + 2 = j. Which is smaller: g or o?
g
Suppose -5*m - 3*l + 6 = 2, 4*l = m - 10. Is 34/13 not equal to m?
True
Suppose 5*g + 389 + 35 = -3*j, 5*g - j = -432. Is -87 not equal to g?
True
Let c be (5 - 4 - -2) + 8. Suppose 3*l = r + c, -2*l = -2*r - 2*r + 6. Suppose -d - d + 10 = k, -4*k + r*d + 4 = 0. Is 2 at most k?
True
Let o be (-96)/26 + 3 + 1. Which is smaller: o or -1?
-1
Let t be (4 - -4) + -6 - (-22)/(-4). Which is smaller: -5 or t?
-5
Let j(c) = 2*c + 12. Let p be j(-10). Let f = 11 - 29. Let l be (-22)/f - p/(-36). Are l and 0 equal?
False
Let u = -4/437 + -1/23. Suppose 4*a + 30 = 6. Let j be (-4)/(-4) + a - -4. Which is smaller: j or u?
j
Suppose 20*q - 10*q = -60. Which is smaller: 5 or q?
q
Let g = -39 + 53. Let v be 24/g - (-12)/42. Is v <= 5/8?
False
Let l be 10/(-3)*(-12)/8. Let y be (l/(-20))/(2/(-8)). Is y > 25?
False
Let r be (104/(-39) - (-2)/3)*2. Which is smaller: r or -19?
-19
Let n be (1/(-2))/(2/(-8)). Suppose 0 = 5*g + n*d + 80, 7*g + 2*d + 32 = 5*g. Which is smaller: g or -15?
g
Suppose 5*g - 9*g = r + 18, -r = 3*g + 13. Suppose 0 = -5*a - 3*v + 313, -r*v = -5*a - 6*v + 309. Is 65 greater than a?
False
Let v be (-2 - -2)/(-2 + 0). Let d(j) = -j**3 + 6*j**2 - 6*j + 7. Let a be d(5). Let w be a + (-46)/20*1. Is v less than or equal to w?
False
Suppose -r + 4*o - 68 = -5*r, 4*o = 5*r - 121. Let s be ((-8)/(-12))/(r/(-9)). Which is smaller: 0.07 or s?
s
Suppose 0 = 5*y + y - 11*y. Which is smaller: 5/247 or y?
y
Let p(j) = 5*j**2 - 2*j + 5. Let d(o) = o + 14. Let z be d(-8). Let y be p(z). Let g = y - 359/2. Which is smaller: -7 or g?
-7
Let s(p) = p**3 + 8*p**2 + 6*p - 7. Let m be s(-6). Suppose -4*q - 2*r = -120, q - 30 = 2*r - 0. Which is bigger: m or q?
q
Let z(g) = -g**2 - 6*g + 8. Let w = 18 - 25. Let p be z(w). Suppose -5*d = -3*h + 10, -h = -2*d - 6*h + 27. Is p != d?
False
Let r be ((-7)/14)/(((-1)/(-2))/1). Is -5/34 equal to r?
False
Let p be (-39)/(-189) + (-9)/21. Let b = 8/45 - p. Which is smaller: b or -2/5?
-2/5
Let c(k) = -k**3 - 37*k**2 + 2*k + 75. Let j be c(-37). Which is greater: 10/27 or j?
j
Let s = -79 + 76. Which is smaller: s or -1?
s
Suppose 0 = 10*x - 11*x + 3. Let m be (1/(-2) + 2)*(-36)/x. Does -16 = m?
False
Let w(v) = -v**3 - 3*v**2 - v + 1. Let g be w(-2). Let t(y) = y**2 + 2*y + 1. Let r be t(g). Let h be -4 - (-230)/(-45)*-1. Which is smaller: h or r?
r
Let u = 2 - -6. Let o(j) = j**3 - 7*j**2 - 9*j + 11. Let k be o(u). Suppose -3*r - 8 = 2*b, k*r + b + 3 = -4. Is r at least as big as -1?
False
Let x be 4/10 - 1884/510. Which is bigger: -3 or x?
-3
Let x be 8 + 1168/(-1320)*9. Is x at least as big as 2?
False
Suppose -8*s + 36 = -4*s. Suppose 0 = 3*o + 15 + s. Let l = o + 12. Are 4 and l non-equal?
False
Let x be -3*((-280)/12)/(-7). Let t be ((-4)/x)/((-7)/35). Which is bigger: 2.6 or t?
2.6
Let m = -10 - -6. Suppose -3 = j, -s + 2*j + 2 = -9. Suppose -3*y - 4 = s. Which is smaller: m or y?
m
Suppose 5*d + 90 - 15 = 0. Let x = -16 - d. Which is smaller: x or 2?
x
Let y(z) = z - 3*z - 2 + 0*z**2 + 3*z**2 - 5*z**2. Suppose 7*p - 4*p - 5*x = 12, x = -2*p - 5. Let m be y(p). Is m greater than or equal to -1?
False
Let q = 48 - 30. Let z be q/(-24)*(-11)/(-3). Is z smaller than 0?
True
Suppose 0 = -q - 2*q + 15. Suppose -4*w - 31 = -m, -q*w + 6*w + 16 = 3*m. Let j be (1 - (-9)/w) + 0. Do j and 0.3 have different values?
True
Let j(r) = -r - 1. Let y(z) = 5*z + 5. Let m(l) = -9*j(l) - 2*y(l). Let u be m(-2). Let v be u*-3*(7 + -6). Are 0 and v equal?
False
Suppose -21*i - 5 = -26*i. Let q be (-2 - 0) + 0 + i. Which is bigger: q or 1/4?
1/4
Suppose -5 = -4*g + 5*f, 2*f - f = -1. Suppose g = -2*j + 8. Let c(o) = 4*o**2 + o - 32. Let h be c(-3). Which is greater: j or h?
j
Let p(w) = -6*w + 114. Let q be p(19). Which is smaller: q or -2/599?
-2/599
Let i be -4 + (3 - 1) - -1. Let k be 29*(i + 2) - -1. Suppose -k = -7*c + 12*c. Which is bigger: c or -4?
-4
Let h be -1*3/(-5)*(74 + -9). Suppose p - 15 = 24. Is p equal to h?
True
Suppose 14*b - 4 = 12*b. Suppose b*q = 5 - 21. Which is smaller: q or -11?
-11
Let o = 9 + -8.2. Let z = o + -0.7. Suppose 0 = -5*p - 10 - 0. Is z at least as big as p?
True
Suppose -35 = s + 3*w - 13, 3*s + w = -82. Is -3 > s?
True
Let d be (-5)/(-33) + 2/11. Suppose 0 = 3*b + 9 - 21. Suppose -b = t - 3. Is t less than d?
True
Let d be ((-133)/285)/7*6. Suppose 3*n + 2 = n. Is n bigger than d?
False
Let x(k) = -k**3 + k**2 + k + 8. Let a be x(0). Let z = a - 20. Let b be 3/z*(-24)/(-27). Which is smaller: 0 or b?
b
Suppose z + 66 = -138. Is -203 greater than or equal to z?
True
Suppose 0 = -q + 4, -5*o - q = -o + 40. Let c be ((-13107)/(-1285))/(18/(-20)). Is c at least as big as o?
False
Suppose -45 = -5*p - 40. Is -1/354 smaller than p?
True
Let n(c) = 10*c**2 - 4*c - 6. Let h be n(-1). Which is bigger: 15/2 or h?
h
Let g = -42 + 45. Let j = 2 + 15. Let y = 14 - j. Which is bigger: g or y?
g
Let b(g) = g**3 + 10*g**2 - 6*g + 55. Let c be b(-11). Are -314 and c equal?
False
Let l = 852 + -958. Which is greater: l or -103?
-103
Suppose 0*g = -5*g + 25. Let y be (2/(-52))/(1 - (g + -2)). Which is bigger: y or -1?
y
Let t be (1/4)/(8/(-24)). Suppose -n - 36 = -4*n. Suppose -5*q - n = -2. Which is bigger: t or q?
t
Suppose 0*b - 2*b + 4 = 0. Let w be -16 + 245/10 - (-1 - -8). Is b at most w?
False
Let w = -376 + 321. Which is bigger: w or -45?
-45
Let z = -200 + 154. Is z smaller than -0.1?
True
Let f be (2 + 14/(-3))*9/(-6). Let i be (-6)/f + (-5 - -2)/(-3). Which is smaller: i or 7/4?
i
Suppose g = 0, -2*a + 3 = a - 3*g. Let o be ((-4)/5 - -2) + ((-1220)/100 - -17). Is a <= o?
True
Let r be -1 + (420/148)/3. Suppose -7 = 2*s - 21. Suppose -3*l - 4 + s = 0. Is r > l?
False
Let w(r) = 0*r**2 - 2*r**2 + 38 - 51 + 12*r + 2*r. Let x be w(6). Is x smaller than 3/20?
True
Let o = -0.11 + 5.11. Is o greater than or equal to 0?
True
Let u(a) = -4 + 4 + a**2 - 1 + 7*a. Let c be u(-8). Are 6 and c unequal?
True
Suppose -w = 3*i - 2, 2*i = -2*i + 4*w - 24. Are -2/1845 and i equal?
False
Suppose 0 = 3*h + 2*u + u - 9, -h + u = -13. Suppose -3*j = -2*p - h, p = 5*p - 2*j. Suppose 5*w + p*w + 14 = 0. Does -4 = w?
False
Let z = -651/13 + 50. Let n(u) = -2 + 6 - 6 - u. Let d be n(-3). Is d less than or equal to z?
False
Suppose 0 = -7*t - 17 - 4. Let i be ((-22)/t)/((-2)/(-3)). Let o be i/66 - (-29)/6. Which is bigger: o or 13/3?
o
Let r be 3/4*(-32)/(-54). Suppose 0 = 4*u + 18*u + 12*u + 19*u. Do r and u have the same value?
False
Let j(i) = i + 6. Let w be j(-12). Let r be (-32)/w - 12/(-90)*5. Which is bigger: 5 or r?
r
Let y be -6 + (-886)/(-138) + 32/(-368). Is y equal to 2.7?
False
Let d = 22 - 21.95. Let n = 4.95 + d. Is n less than -4?
False
Let h = 9319/12 - 777. Let d = -65 + 65. Is h at most as big as d?
True
Let m(j) be the third derivative of j**4/24 + 10*j**3/3 - j**2. Suppose 14*a + 66 = -4*p + 16*a, -5*a + 37 = -2*p. Let r be m(p). Is r > 4?
False
Let f(i) = -13*i - 4. Let y be f(-3). Let b be ((-12)/(-20))/(1/y). Let q be b/(-7) + 9/4. Which is bigger: q or -1?
q
Let v(o) = o**3 + 9*o**2 - 9*o + 13. Suppose 2*h + 16 + 4 = 0.