 = -13 + 24. Let g be (-12)/(-5) + -2 - m/(-10). Which is bigger: 1 or g?
g
Let o(f) = 3*f + 22. Let d be o(-6). Which is greater: 3 or d?
d
Let v be (4 + 25/(-5))*3*2. Let s(z) = -z**2 - 4*z + 6. Let m be s(v). Suppose l + 0 = 3*h + 1, -4*h - 2*l + 2 = 0. Is m bigger than h?
False
Let a = 21 - -30. Let c = 708/23 - 3494/115. Which is smaller: a or c?
c
Let c(i) = i + 19. Let t be 5*(-1 + 2) + 2. Let f be c(t). Which is smaller: 28 or f?
f
Let c = 0.238 + -124.238. Let x = c - -101. Does 1 = x?
False
Let s = 51 + -55. Let y be 2/s + (-36)/408. Is y greater than 0?
False
Let n(x) = -2*x - 75. Let z be n(-30). Let s(c) = c**3 + 15*c**2 + 3*c + 34. Let w be s(z). Are w and -10 non-equal?
True
Suppose -3*c - 22 + 73 = -3*y, -5*c + y + 73 = 0. Which is greater: 5 or c?
c
Let o be (-5 + (0 - -3))/2. Let w = 123/14 + -65/7. Which is greater: w or o?
w
Suppose 2*v - y = 3*v + 5, 0 = -5*v - 2*y - 28. Suppose 4*n - 5*g = -2*g + 39, 3*g + 33 = 3*n. Suppose 4*a - 10 = n*a. Is v >= a?
False
Let m = 42 + 3. Let l(c) = c**3 - c**2 + c + 44. Let p be l(0). Is p smaller than m?
True
Let i(q) be the second derivative of -q**4/12 - 5*q**3/6 + 4*q**2 + 3*q. Let j be i(-6). Let s = j - 8. Is s at least -6?
True
Suppose -3*h + 120 = h. Suppose o - 6*o - h = 0. Let k be (1*o)/3 - -3. Is 1/9 >= k?
False
Let u = -1.984 + 0.064. Let y = -166 - -166.08. Let b = y - u. Which is greater: -6 or b?
b
Let a(p) = 23*p + 22. Let t(k) = -4*k**2 - 14*k + 5. Let d be t(-4). Let n be a(d). Which is smaller: -46 or n?
n
Suppose 0 = t - 91*q + 93*q, 0 = 2*t + 3*q + 3. Suppose -n - 16 = n. Do n and t have the same value?
False
Let g = 120295 + -2525645/21. Let s = -3080/3 - -1052. Let a = g - s. Which is greater: a or 2?
2
Let z be 44/110*(270 + 0). Which is smaller: 109 or z?
z
Suppose 0 = -177*s + 193*s - 14352. Is 1 at least as big as s?
False
Let l = 53 + -61. Let z = -8.4 - l. Which is greater: 5 or z?
5
Let q = -1.5 - -4.5. Which is bigger: q or 0.7?
q
Let k be (-112)/6*-2*(-15)/20. Which is smaller: -29 or k?
-29
Let m = 1185 + -1723. Is m > -537?
False
Suppose -3*i = 2*i - 30. Let q be (i/15)/((-9)/(-5)). Let l = -1 + 1. Which is smaller: q or l?
l
Let c = 0.6 - -17.9. Let r = c + -22. Do -1/4 and r have different values?
True
Suppose 2*w - 5*s = -s + 40, 5*w = -4*s + 30. Suppose 2 - 2 = w*v. Which is smaller: 23 or v?
v
Let o = -4 + 4. Suppose o = -3*v - 2*v - 5. Let n = 865/7 - 124. Which is bigger: n or v?
n
Let k = 0.045 - -0.955. Let f(t) = 2*t + 84. Let w be f(-20). Are k and w equal?
False
Suppose 5*l = 4*b - 3*b - 15, 0 = 5*l + 15. Suppose -12*x = -b*x + 288. Is x > -21?
False
Let w be (-4)/(-5) - (-2)/(-10). Which is smaller: w or 0?
0
Let d = 21 - 15. Suppose -5*w + 3*l = 135, 3*w - l + d*l + 47 = 0. Let s be (-6)/w + (-15)/(-4). Do 4 and s have the same value?
True
Let b = -130 + 261/2. Do -1 and b have the same value?
False
Let b = 67 + -96. Let a = b + 63. Is a greater than 34?
False
Suppose -11*a + a = 320. Let b = a + 19. Which is bigger: b or -10?
-10
Suppose 0 = 10*m - 3 - 57. Suppose 4*q - 2 = -4*p - 10, 3*p + m = 3*q. Is q < 7/15?
True
Let m = 5 + -3. Suppose m*q + q - 6 = 0. Let z be 33/(-9)*(1 + q). Is z <= -11?
True
Let s(x) be the third derivative of -11*x**4/24 + 7*x**3/6 - 37*x**2. Let b be s(-3). Which is smaller: 38 or b?
38
Let b = 8 + -33. Let u = b + 18. Let x = -3 + u. Which is bigger: 0 or x?
0
Suppose 0 = -0*p + 2*p, 2*p = 5*i - 15. Let n be (6/i + 1)*18/(-20). Are -4 and n nonequal?
True
Let j = 187/520 + -39/40. Which is smaller: j or 0?
j
Let l = -0.43 - -3.43. Which is smaller: 0.045 or l?
0.045
Let g(m) = -m**3 - 5*m**2 + 2*m + 2. Let b be g(-5). Let r be 1 - (2 - 3) - -1. Suppose 4*a - 5*o = -r, -1 + 2 = -3*a + 4*o. Are b and a nonequal?
True
Let h = -22 - -117. Which is smaller: 96 or h?
h
Let z be (93/21 + -1)*(-3255)/150. Is z >= -75?
True
Let x be -3*(-2 - (0 + 7/(-3))). Is x > -18?
True
Suppose 221*g - 6 = 222*g. Let u(k) = k - 2. Let j be u(-2). Does j = g?
False
Let u = 55 + -149. Let c = 95 + u. Suppose -x - 64 = 5*r, 3*r - 12 + 40 = 2*x. Is r bigger than c?
False
Suppose -4*w - 45 = -m, -3*w = -3*m + 32 + 4. Which is greater: w or 3?
3
Suppose 63*j - 65*j + 8 = 0. Suppose -4*k - 36 = -2*x + 5*x, -k = -5*x + 32. Which is smaller: k or j?
k
Let o = -12/83 - 746/581. Let i be (-24)/(-30) - (-4)/(-5). Suppose i = -0*b + 3*b - 5*a + 20, -b + 5*a - 20 = 0. Is o >= b?
False
Let s = -14106 - -4810142/341. Which is bigger: 1 or s?
1
Let c(i) = -6*i**2 - 33*i - 38. Let b be c(-4). Let m be -3*1*4/15. Which is greater: b or m?
m
Let l be (-6*(-2)/8)/(-3). Let a = -6 + 13. Let p = -5 + a. Is p bigger than l?
True
Let u be -6*(1 - (-43)/(-3)). Suppose 4*d + 20 = u. Suppose v + 2 = -s + 3, -5*s = -5*v + d. Do s and 2 have the same value?
False
Let b = 0.004 - -1.996. Let c be (-4)/(-18) + 16/9. Suppose -5*j + 2*a - 13 = 0, -c*a - 3*a + 21 = -j. Is j at least as big as b?
False
Suppose 3*m + 7 = -8. Let d(u) = u**3 + 4*u**2 - 4*u + 6. Let x be d(m). Let k = 0.0777 - 0.0877. Are k and x non-equal?
True
Let t(p) be the second derivative of 1/6*p**3 - 17/12*p**4 - p**2 + 8*p + 0. Let v be t(1). Is 0.1 < v?
False
Let q(i) = 9 + 0*i - 2*i**2 + i**2 - 5*i. Let l(z) = 8*z + 1. Let o be l(-1). Let k be q(o). Do -1/3 and k have the same value?
False
Let y be -2 - -1 - (-6 - 0). Suppose -25 = y*w - 5. Let k(x) = -x**3 - 2*x**2 + 6*x + 1. Let f be k(w). Is -0.1 bigger than f?
False
Let i = -14 - -23. Let y(f) = 3*f**2 + 6*f - 1. Suppose -2*g + 4 = -4*m, 5*g + 5 + 21 = -2*m. Let t be y(m). Which is smaller: t or i?
t
Let g be (16/20)/(14/(-1435)). Let u be g/287 + (-562)/(-7) + -1. Is u at most 79?
True
Let x = 91 + -64. Let f = 29.6 - x. Is f at least -1?
True
Let o = -7 + 9. Suppose 5*j - 3*x = 3 - 47, 54 = -5*j - o*x. Suppose f + 4 + 0 = 0, -f + 36 = -4*p. Are j and p nonequal?
False
Let a = -1 + -6. Let z = a - -5. Let s = 38.01 + -38. Is s at most as big as z?
False
Let k be 1 - 2/3*3. Let b be k + 2 + 1/2. Is -2 > b?
False
Let p(j) = -j**3 - 3*j**2 - j + 2. Let s be p(-3). Suppose 0 = s*o + 14 - 49. Let u(w) = -w**3 + 7*w**2 - 2*w. Let f be u(o). Is -14 greater than f?
False
Suppose 0 = -5*t - 81 + 36. Is -35/4 smaller than t?
False
Let q be (-1)/6 - (-52)/24. Let j be -1 - (3 - q)*-3. Let t be (-15)/(-111)*j/5. Do 0 and t have the same value?
False
Let v = 3 + -3.1. Let t = -1296 + 1285. Which is smaller: v or t?
t
Suppose 2*v + 4*x = 5*v + 7, -3*v - x - 32 = 0. Suppose -4*r = 32 + 8. Is r smaller than v?
True
Suppose 4*n + 4*a + 43 = 115, -n = -3*a - 6. Let j be 2/((-18)/n)*-3. Which is greater: 1/7 or j?
j
Let s(p) = -18*p**3 + p. Let y be (-6)/9 - (-15)/9*1. Let q be s(y). Which is greater: q or -1?
-1
Let c(z) = -z**3 - 6*z**2 + 4*z - 23. Let d be c(-7). Suppose 0 = 6*w + 15 + 15. Do w and d have the same value?
False
Suppose -3*f = 3 - 9. Suppose -s - 15 = -2*q + f*s, s = 5*q - 5. Let h be q/(-3 - (3 - 5)). Which is greater: -4/7 or h?
h
Let x(c) = -4*c. Let j(a) = -a. Let t(m) = 12*j(m) - 4*x(m). Let q be t(3). Suppose -q = -o + 5*i + 2, -5*o + 2*i + 1 = 0. Which is bigger: -1/32 or o?
-1/32
Let x(o) = -o - 3. Let n be x(5). Let l = 5 + n. Suppose 5*v - 2 = 3. Which is smaller: l or v?
l
Let v = -199 - -199. Suppose -10 = -4*x - 2. Let f = x + v. Is f not equal to 5/8?
True
Let h be 2090/(-280) - (1 - 9). Are 0 and h equal?
False
Let c(q) = q**3 + 4*q**2 - 21*q - 21. Let f be c(-6). Let k be (8/6)/((-2)/(-51)). Suppose -k*z + f*z = -8. Is z greater than 9?
False
Let t be 0/(-6) - 4 - -2. Which is bigger: t or 0.67?
0.67
Let k(a) = 5*a + 3. Let m be k(0). Let z be (1 - 124/66) + (m - 2). Which is greater: z or 0?
z
Let z(m) = m**3 + 20*m**2 + 19*m + 1. Let g = -119 - -100. Let a be z(g). Let v = -1 + 0.8. Are a and v non-equal?
True
Let w = -748/29 + 406222/15747. Let l = 913/2172 - w. Are l and -1 nonequal?
True
Let k = -497 + 496.9. Which is smaller: k or 108?
k
Suppose 5*u + 712 = -12*a + 8*a, -3*a = -3*u + 534. Is -178 >= a?
True
Let f be (-12)/(-78) + (-97517)/364. Is f < -269?
False
Let b(f) = -f + 2. Let n be b(0). Let h = -9 - -7. Let y = n + h. Which is bigger: y or -1/12?
y
Let k be (-4)/((-2)/2)*(-18)/24. Let z be -1*(17 + k) - -1. Is -2 less than or equal to z?
False
Let h = -2/317 + 321/634. Which is bigger: 0.2 or h?
h
Suppo