?
r
Let z = -10 + 10.15. Let w = z - -0.14. Are -2 and w unequal?
True
Let p(d) be the third derivative of -d**4/8 + d**3/6 - 4*d**2. Let s be p(1). Is s greater than or equal to 0?
False
Suppose -5*v - 7 = l - 5*l, -3*l + 9 = -3*v. Suppose 0 = -l*o + 14*o + 6. Is o greater than 1/4?
False
Let o(r) be the first derivative of r**4 + r**2/2 + 28. Let m be o(-1). Let u = 40/3 + -206/15. Is u greater than m?
True
Let v = 82 + -83. Let y be ((2 + v)*(-1 - 0))/1. Is -0.17 less than or equal to y?
False
Let m = 504 - 228. Is 277 at most m?
False
Let b(i) be the first derivative of -3*i**2/2 - 45*i + 2. Let n be b(-15). Is 21 bigger than n?
True
Let m = 17 - 12. Let s be (-2)/m + 282/30. Is s at most as big as 11?
True
Let h(d) = 76*d**2 + 8*d - 11. Let b(k) = -51*k**2 - 5*k + 7. Let c(n) = 8*b(n) + 5*h(n). Let m be c(-1). Which is smaller: -85/3 or m?
-85/3
Suppose 5*a + 2*z = -0 - 12, 0 = -2*z + 8. Let t(x) = x + 7. Let r be t(-8). Let n be r/2*24/(-18). Which is smaller: n or a?
a
Let d be (-448)/(-9) + (-16)/(-72). Which is bigger: 49 or d?
d
Let n = -19 - -15. Let f = n + -2. Let t = f - -6.2. Is -1 equal to t?
False
Let y = -1495 + 1494. Which is bigger: y or -1/944?
-1/944
Suppose -h - 12 = 172. Which is bigger: h or -183?
-183
Let d(c) = -c**3 + 4*c**2 - 5*c + 1. Let t be d(3). Let r = 3 - -9. Let f = t + r. Is 7 > f?
False
Let w(x) = x**2 - 2*x + 18. Let z be w(0). Suppose -i = -z + 48. Does i = -30?
True
Let q be (-917)/(-238) - (-10)/4. Are q and 6 equal?
False
Suppose 0 = -10*s + 12*s + 2*h - 2, 3*s + h - 3 = 0. Are s and -24/115 nonequal?
True
Let n = 2.2 - -11.8. Let c = -15 + n. Let s = 5 + c. Which is bigger: s or 0.1?
s
Let l = -124.5 + 114.4. Is l at most 0.1?
True
Let o = 2.3 - 32.3. Which is greater: o or -5?
-5
Let x = 0.32 + -13.12. Let c = x - -13. Let b = 55 + -273/5. Which is greater: b or c?
b
Let s = -93 - -94. Is s bigger than 1/110?
True
Suppose 19 = 6*p + 13. Which is greater: -9/41 or p?
p
Let g = -230 + 231. Is g bigger than -5/49?
True
Let t be (7 - -87) + 12/(-6). Which is smaller: t or 91?
91
Let o be 6/2 + 4 + -7 + -17. Suppose 2*t - 8 = 6*t. Let z(k) = -5*k**2 - k + 2. Let a be z(t). Is o greater than a?
False
Let h = -424.9 - -432. Do h and -1 have different values?
True
Suppose -8*z + 6*z - 439 = -3*f, 0 = -4*z + f - 893. Is z less than or equal to -223?
True
Suppose 12 = -4*r + 4*k, -r - 11*k - 12 = -15*k. Is r less than 0?
False
Suppose 9 = b - 6. Suppose -b = -a + 2*a + 3*v, 0 = -3*v - 12. Let q be (-48)/(-36)*a/(-7). Which is smaller: q or 1?
q
Let b(u) = -u**3 + 7*u**2 - 5*u + 5. Let h be b(6). Suppose 0 = -h*f + 7*f + 12. Are f and 4 nonequal?
True
Let z(s) = s + 11. Let i be z(-8). Suppose -i*x + 69 = 213. Let v be 2*(-1 - x/51). Which is bigger: v or -1?
v
Let h(y) = y**2 - 3*y + 11. Let j be h(6). Suppose -j - 3 = 2*x. Let q = -16 - x. Which is bigger: q or 9/8?
9/8
Let l(z) be the first derivative of -z**2/2 - 15*z - 17. Let b be l(3). Suppose 3*n + 51 = -6. Are b and n equal?
False
Suppose -5*z + 430 = 5*b, -3*z = 5*b - 137 - 121. Let t = z + -260/3. Is t at most 62?
True
Let d = 297 + -335. Which is smaller: d or -40?
-40
Let f be 5 + (-6)/3 + -17. Let x be (-16)/70 + (-4)/f. Let d = 31/70 + x. Does 2 = d?
False
Let t(j) = -3*j - 11. Let u be t(-13). Let x be ((-1)/(-4))/(1/u). Let h be ((-11)/x)/(-1) - 2. Does h = -1?
False
Let v = 6541/11 - 601. Which is smaller: v or -6?
v
Let x = 3 - 30. Which is smaller: x or -28?
-28
Let y = -45.46 + 46. Let s = 17.54 - y. Which is smaller: -2/5 or s?
-2/5
Suppose 18 = f - 4. Let h(m) = -2*m**3 - 2*m**2 + m - 1. Let z be h(-2). Suppose r - z*q = -22, -2*q + f = -5*r + q. Which is smaller: r or -3?
-3
Let o = -8/45 + -2/45. Let r = -2.6 + -2.4. Is o <= r?
False
Let g = 0.1327 + -0.2327. Is g greater than 1723?
False
Let g be -8 + 126/15 + (-413)/1045. Which is bigger: 1 or g?
1
Let u be ((-10)/6)/((-4)/84). Suppose -u = 11*d - 13. Let y be 14/(-4) - (-2)/4. Is d greater than or equal to y?
True
Let n be (34/(-119))/((-4)/28). Is n != 48/19?
True
Let q = 197666577/74 + -2672550. Let j = -1380 - q. Is 1 != j?
True
Let f = -1923565/746 - -5157/2. Which is smaller: -1 or f?
-1
Let u be 4/(-10) + 0 + (-5622)/(-180). Let q = u - 31. Let j(r) = r**2 + 3*r - 3. Let k be j(-4). Is k smaller than q?
False
Suppose -3*d - 5 = -2*p, -4*d + 2*p = -0*d + 8. Let x = -2 + 4. Let u = 2 - x. Is u less than d?
False
Let x = -1116 + 959. Are x and -157 non-equal?
False
Let i = 81 - 80. Let k = -1 + 6. Are i and k unequal?
True
Let d = -495 + 1211. Is 0 > d?
False
Let g = -59 - -115. Suppose 0 = 4*u + w - 41, -w + g = 4*u - 5*w. Suppose c - 5*k = -4*c + 5, 3*c + 4*k = -u. Do c and -3/13 have the same value?
False
Let a = 264 + -169. Let j = -2089/22 + a. Which is greater: 0 or j?
j
Suppose 4 = 2*r - 4*t - 0, -2*t = 8. Suppose g - k = 6*g - 16, 0 = 3*g - k - 8. Let d be g/r - (-10)/8. Is d bigger than 2?
False
Let u = -0.685 - 1.315. Which is smaller: -15 or u?
-15
Let q = -413 + 825/2. Let s be (-3 - -9)/(4/(-14)). Let y be (-6)/s + 2/(-7). Which is smaller: y or q?
q
Let p = 151.9 - 152. Which is bigger: -67 or p?
p
Let v = -32 - -6. Let q = 22 - v. Is q not equal to 1?
True
Suppose -196 - 704 = -9*u. Which is greater: 97 or u?
u
Suppose 0 = -12*d + 13*d - 124. Let h = -11 - d. Let s be h/18*4/5. Is -1/3 at least s?
True
Let f be 1/2 + (-171)/396. Which is smaller: f or 1?
f
Let g(l) = l. Let f(i) be the first derivative of -5*i**2/2 - 6. Let x(t) = f(t) + 4*g(t). Let s be x(1). Which is smaller: s or 1/4?
s
Suppose -5*h + o = -6 + 18, -9 = 2*h + o. Let a be ((-12)/(-88))/(h/6). Is a at most as big as 0?
True
Let c = 1765 - 1764.6. Let s = 3 + -2.9. Is s > c?
False
Let q be ((-144)/(-32))/(((-6)/(-4))/3). Suppose -8*g = -q*g - 4. Is g equal to -4?
True
Let n = -1132 - -1182. Which is greater: 48 or n?
n
Let o(k) = -19 + 3*k + 3*k**2 - 2*k**2 + 20. Let t be o(-2). Let y = 18.8 - 16.8. Which is bigger: t or y?
y
Suppose -596 = 12*n + 2128. Is -227 not equal to n?
False
Let y be 48 - (1 + 3 + 0). Suppose -5*d + d + y = 0. Which is smaller: d or 10?
10
Let d = 990 - 2969/3. Is d <= 0?
False
Let p be (-7)/35*(-60)/44. Are -15/7 and p equal?
False
Suppose 0 = 12*i - 36 - 60. Is i less than -0.2?
False
Let s(j) = 6*j + 61. Let z be s(-10). Let w be (0 - 6/288)/(z/(-3)). Which is smaller: w or 0?
0
Let g = 26.992 + 0.008. Let u = 27.1 - g. Let m = 5.91 + 0.09. Is m less than u?
False
Let v(g) = -g**2 + 22*g - 8. Let b be v(23). Are -29 and b non-equal?
True
Suppose j + 0 = 5. Suppose -j*t + 6 = -2*t. Do t and -6 have the same value?
False
Let n be 1 + 16/(-10) - -1. Let y = -12.18 - 24.82. Which is greater: y or n?
n
Let q(n) = -n**3 + n + 7. Let p be q(0). Let g be 22 - 3 - 12240/640. Which is bigger: g or p?
p
Let f be 8/(-12) + (-2624)/(-30). Let r = f - 86. Is r at most 2?
True
Suppose 0 = 50*x - 47*x - 30. Let p = 1 + x. Which is smaller: 10 or p?
10
Let w = -2364/13 - -19646/65. Let u = -120 + w. Which is smaller: 2/7 or u?
2/7
Let l(w) = 2*w. Let b be l(-1). Let q be (b - 1)*16/(-12). Which is smaller: 3 or q?
3
Suppose 4*p - 4*o = 3*p + 340, o = 4*p - 1390. Let n = -9743/28 + p. Which is smaller: n or 1?
n
Let t be (-28)/(-7) - (-7556)/42. Let k = t - 184. Is 1 < k?
False
Suppose 0 = t + 42 - 153. Which is bigger: 110 or t?
t
Let g(n) = n + 7. Let a be 2 - 2 - (-3)/(3/(-7)). Let t be g(a). Is t equal to -12/11?
False
Let w = -3.53 - -1.2. Let n = -0.33 - w. Let m = n + -1. Is m greater than 10?
False
Let t(l) = -213*l + 3. Let a be t(0). Let y(v) = -v**3 - 5*v**2 - 2*v - 6. Let n be y(-5). Which is bigger: a or n?
n
Suppose -7*b = -15*b + 112. Are b and 17 unequal?
True
Let z(x) = -x**3 - 7*x**2 - 8*x - 7. Let g be z(-5). Let f(a) = a**3 + 11*a**2 + a - 5. Let q be f(-11). Which is smaller: g or q?
g
Let y(s) = s**2 - 7*s - 173. Let n be y(24). Which is smaller: 234 or n?
234
Suppose 29*m = 26*m - 3, 0 = -q + m + 10. Which is greater: 35/4 or q?
q
Let z = -10 + 12. Suppose 3*t = z*w + 7, -6*t = -2*t + w - 13. Suppose 2*f = -f - t. Is f less than or equal to -2/9?
True
Let l be (4/(-30))/((-2)/10). Let s = 0.002 + -43.002. Let d = -42.8 - s. Which is greater: d or l?
l
Let p = 3/20 - 37/180. Let y = p + -2/207. Which is greater: y or 0?
0
Suppose 0 = -8*t + 7*t + 4. Let m be (1 +