
False
Suppose 5*y + 3 + 12 = 0, -4*y - 12 = a. Suppose -3*c - 10 = -4*m, a = -4*c + 3*m - 1 - 3. Is 1/2 equal to c?
False
Suppose 5*j - 1425 = -4*s + 8*j, -1787 = -5*s - 2*j. Are s and 357 nonequal?
False
Suppose -5*a - 15 = -3*o + 854, 4*o + 2*a = 1176. Is 292 greater than or equal to o?
False
Let w = -262 - -202. Is -58 less than or equal to w?
False
Suppose -6*s + s - 165 = 0. Let o = s + 31. Which is smaller: o or -6/11?
o
Suppose -80*q = -78*q + 10. Is q at least -5?
True
Let s(z) = -z**2 + 17*z - 20. Let k be s(16). Let j(v) = v**2 + 2*v + 5. Let x be j(k). Is 14 >= x?
True
Suppose -d - 5*b = -19, -6*b + b = -5*d + 5. Let c be ((-284)/(-4030))/(d/(-8)). Let x = -2/155 + c. Is -1 greater than or equal to x?
False
Let h = 17 - 18. Which is bigger: -16/25 or h?
-16/25
Suppose -5*o + 7*o - 42 = -4*h, 3*o + 1 = 2*h. Is 9 not equal to h?
True
Let g be 28/(-6)*3 + 2. Let z = g + 40. Suppose -19*q + 652 - 120 = 0. Is q <= z?
True
Suppose 40*m + 19 = 21*m. Which is smaller: 1/16 or m?
m
Let x = 7 + -2. Suppose -2*b - x*b + 14 = 0. Let c be b/(-16) + (-45)/24. Is -3 less than c?
True
Suppose -2*a = 8*a - 50. Let s be (-14)/(-91) - -6*a/(-26). Which is smaller: s or -1/30?
s
Let g = -0.24 - -0.12. Let r = g - -0.18. Let s = r + 0.14. Is s bigger than 2/11?
True
Let y be ((-3952)/(-6510))/((-30)/(-9)). Let a = y + 2/175. Is 0 greater than a?
False
Let d = 24 + -4. Let y = d + -21.2. Let l = -1.4 - y. Is l greater than or equal to 0?
False
Suppose -5*u = -9*u + 80. Suppose -20 = 5*w - l, u = -w + l - 4*l. Which is smaller: w or -4?
w
Let c(d) be the third derivative of -d**5/60 - 3*d**4/8 - 8*d**3/3 - 2*d**2. Let i be c(-7). Is -9/5 greater than i?
True
Let l(m) = 2*m - 13. Let p be 36/(-10)*15/(-6). Let g be l(p). Suppose -3 = -g*n + 2. Is -1 bigger than n?
False
Let o = -0.234 - -0.234. Which is smaller: o or 0.4?
o
Suppose -3*m = 24 + 3. Let i = -28/3 - m. Suppose -5 = 3*g + 2*g. Which is smaller: g or i?
g
Let f = 670 - 715. Is -133/3 at least f?
True
Let u = -4 - 7. Let f = u - -39. Is f > 28?
False
Suppose -3*t + 21 = -2*a, 10*a + 59 = 5*a + t. Let w be (a/10)/(18/(-60)). Let p(x) = x**3 - 6*x**2 + 3*x + 7. Let m be p(w). Is -12 at most as big as m?
False
Suppose 0 = -4*u + 5*s + 11, -10*u + 7*u - 3*s = -15. Suppose 4*o - 12 = u*g, -4*g = -2*g + o - 6. Which is smaller: g or -1?
-1
Suppose 4*m + m + 35 = 0. Let f be (m/(-14))/(1/(-2)). Suppose -15*g = 2*g + 34. Which is greater: f or g?
f
Let r be (-2)/4*(3 - 7). Suppose -3 = -h - 3*j, r*j = 2*h + 6 - 36. Suppose h*b - 4*b = 16. Are 3/5 and b equal?
False
Let a be (-2)/(-4)*(16 + -12). Suppose -a*d + 4 - 28 = -2*i, 0 = 2*i + 4*d - 36. Let s be ((-7)/(-21))/(i/12). Which is greater: s or 1?
1
Let k = -8 - -10. Suppose -3*l - 16 = 5*v, -k*l + 4*l + 5*v = -19. Suppose -l*x = 4*q + 6, -4*x = -4*q + 3 + 5. Which is greater: q or 2/43?
2/43
Let n(a) = 17*a**2 - 17*a**2 - a - a**3 + 2*a + 3. Let l be n(-2). Let y = 28 - 19. Are y and l equal?
True
Let g be (-1)/(2/(-2) + 2). Let l = -1/48 - 17/48. Is g smaller than l?
True
Let i = -101 + 99. Let p be 7 + -1 - (-1 - i). Suppose 4*n - 4 = 16. Is p > n?
False
Let c be (1 - 2)/((-2)/22). Let o(h) be the first derivative of h**2/2 - 21*h - 5. Let s be o(c). Is s != -10?
False
Let b be -1*31/(-11) + 84/462. Which is smaller: b or 13?
b
Let z = 923 - 895. Is z at most as big as 3/5?
False
Let i(j) = 2*j**2 - 9*j - 8. Let h be i(7). Let z be ((-15)/36)/((-2)/h). Let d = z - 1289/232. Which is smaller: 1 or d?
d
Suppose 4 = n - 0. Suppose -3*m + n = -8. Suppose -2*p = g - 3*g - 12, -m*p + 19 = g. Is 22/5 <= p?
True
Suppose 4*n - 4 = 0, -n + 0*n + 25 = -3*z. Let y be (-3)/(-6) - (-28)/z. Is -2 bigger than y?
True
Let g = 57 + -65.8. Let v = g + 7.6. Which is bigger: 1/7 or v?
1/7
Let k be (-18 - -9)/((-3)/2). Let g(t) = -t**2 + 5*t + 6. Let n be g(5). Let u = k - n. Are -1/9 and u nonequal?
True
Let y be (-6)/(-39) - (-212)/(-26). Which is greater: y or -47/5?
y
Let r = -251.3 - -237. Let z = r + -0.7. Let a = z + 14.8. Do a and 0.1 have different values?
True
Let f = -0.57 + 0.77. Is f != -0.04?
True
Let l = -561.7 - -563. Does 1/12 = l?
False
Suppose -2*r - 3*y + 18 = -2, 2*y = 3*r - 4. Suppose 6*i = r*i - 4*i. Suppose -3*o - 2 = -o. Are i and o equal?
False
Suppose -12*v = -10*v - 6. Suppose 11 + 58 = v*j. Which is bigger: 22 or j?
j
Let u(i) = i**3 + 3*i**2 + i. Let v be u(-2). Suppose v*g = g. Suppose -4*l + 6*d - 2*d = g, 5*l + 5*d = 10. Which is smaller: l or 3?
l
Let y = 140953 + -1270163/9. Let t = y + 176. Which is greater: t or 1?
1
Suppose 0 = -5*z + 4*r + 44, -5*z + 67 = 4*r - 9. Let t = z - 3. Let w = t - 10. Is 1 greater than or equal to w?
True
Let x = 11 - 11.01. Let b = 5.99 - x. Let s = -5 + b. Which is smaller: s or 0.2?
0.2
Let c be (-3108)/520 + 4 + 2. Is 0 equal to c?
False
Let x = 12 + -5. Let c(p) = 2*p**2 - 13*p - 6. Let k be c(x). Which is smaller: 2 or k?
k
Let u be (-4)/((-8)/210) + (1 - 2). Let k be (3 - u/16) + 0 + 4. Which is bigger: 0.17 or k?
k
Let i = 1/266 - -4/19. Is i at least as big as -1?
True
Suppose 4*o = 8*o - 2*q - 14, o = -3*q. Let w = 31 - -4. Suppose -30*u = -w*u + 20. Which is greater: u or o?
u
Let g = 2.1 - 2.8. Let l = g + 20.7. Is -1 bigger than l?
False
Let c be 6 - 5 - 5/(5/42). Let q = -59 - c. Is q smaller than -18?
False
Let h = -0.269 - 24.731. Let p = 23.996 - -0.004. Let g = p + h. Is 11 at least as big as g?
True
Let r = -1 - -0.85. Let c = 0.05 + r. Do 4/19 and c have different values?
True
Let f be 615/(-660) + (-9)/(-12). Is 1 bigger than f?
True
Suppose -5*w + p = -90, -4*w + p - 43 = -6*w. Is 25 bigger than w?
True
Let q = 22 + -40. Let p = -20 + -39. Let o = p + 59.1. Which is smaller: o or q?
q
Let x(u) = u**2 - 6*u + 2. Let b be x(8). Suppose -2*c + 0*g - b = 2*g, c - 2*g = 0. Is c at most as big as -8?
False
Let b(u) = -u + 13. Let o be b(9). Suppose 5*h + o = h. Let i = -8121/23 + 353. Is h greater than or equal to i?
False
Let u = 11/7 + -17/7. Let f = 7 + 0. Suppose 0 = 4*h - f*h - 6. Is u < h?
False
Let t(i) = 2*i + 19. Let w be t(-10). Let a be 6*w/(1/1). Which is greater: a or -0.1?
-0.1
Let v = -1035 + 1042. Which is bigger: v or 90?
90
Suppose -4*l + 24 = 2*m, 5*m + 3*l - 17 = 4*m. Let g be m/(-9) + ((-42)/(-27) - 1). Is 0.53 not equal to g?
True
Let f(y) = y**2 - 12*y + 27. Suppose 2*v = 2*d + 18, -45 = -5*v - 0*d + 3*d. Let c be f(v). Are 0.46 and c non-equal?
True
Let m = 219.42 - 267.5. Let u = m - -48. Let k = 8 + -15/2. Which is smaller: k or u?
u
Let b = -180 - -195. Which is greater: b or 1?
b
Let a be (-7)/(-3) + -1 + 770/(-645). Which is greater: a or -1?
a
Let a(b) = -b**2 - 4*b + 8. Let q be a(-6). Let g(y) = -4*y - 3. Let t be g(-3). Let h = -12 + t. Is q >= h?
False
Let h = -1045 + 1019. Which is bigger: -0.9 or h?
-0.9
Suppose -48*x - x = -38171. Is 778 smaller than x?
True
Let x be 88/396 + 25/9. Is x <= 22?
True
Let v(l) be the third derivative of l**5/60 - 5*l**4/24 + l**3/6 - l**2. Let u be v(5). Let o be ((-36)/56)/((-6)/(-3) - 8/28). Is u at least as big as o?
True
Let b = -84 - -88. Suppose b*l - 77 = -37. Suppose c = -2*c. Do c and l have the same value?
False
Suppose 0 = 6*n - 5 - 1. Let m(z) be the second derivative of -z**4/6 - 2*z**3/3 - 2*z**2 - 4*z. Let w be m(-4). Is n greater than w?
True
Let m = 1021/7 - 145. Suppose 5*o - 25 = 4*h, 3*h = 4*h + 4*o - 20. Let w be h*(-3)/(-12)*-1. Is w smaller than m?
True
Let j = -21 + 21.1. Is 10/3 equal to j?
False
Let v be (-776)/10 - (-2)/(-5). Let z be v/(-81)*69/(-7). Let f = z + 68/7. Is f < 1?
True
Let h = 0.02 - -1.18. Let j = 1.5 - h. Which is smaller: -0.1 or j?
-0.1
Let n(c) = c**3 - c**2 - c + 42. Let m be n(0). Let t = m + -23. Suppose 3*w - t = -d, 15 + 1 = 4*w. Is d > 9?
False
Let f = 947 + -934. Let u be (-4)/((-12)/(-9))*-2. Suppose 0 = 4*d - 42 - u. Which is greater: f or d?
f
Let b = -15 - -21. Suppose -2*o - 3*z = b - 1, 0 = -4*o - 3*z - 7. Let l be 1*(5/1 + 143/(-26)). Which is bigger: l or o?
l
Let k = 0.0801 - -496.9199. Which is smaller: 0.1 or k?
0.1
Let q be 1/53*(-23 - -5). Which is smaller: 1 or q?
q
Let m = -194 + 199. Which is bigger: m or -2/15?
m
Let n = 0.981 + 1.019. Is 3/187 greater than or equal to n?
False
Let n be 10*(3 + (-213)/72). Let k(s) = -2*s**3 + s**2 - s + 1. Let d b