ual to -361?
True
Let s be ((-62)/10)/(-3*(-9)/(-270)). Is 68 smaller than s?
False
Suppose -10*f = -5*f - 50. Suppose -2 = -3*p + f. Suppose 2*a - 24 = a - p*s, 0 = -5*a + s + 36. Which is smaller: a or -2?
-2
Let f = 22.5 + -10.5. Let r = -1.95 + -0.05. Let w = r + f. Which is smaller: w or 0.2?
0.2
Let i(b) = -b**2 - 9*b + 16. Let f be i(-11). Let s be (2/f)/((-3)/54*-148). Is 0 at most as big as s?
False
Suppose 10*s = -0*s - 20. Let p be 4/16*(s/5)/(-1). Is 1 equal to p?
False
Let j = 22 - 17. Let i be (-2)/j - 4/(-10). Suppose 3*o + i*o - 21 = 0. Which is bigger: o or 6?
o
Let i = -519/80 + 63/10. Which is greater: 1 or i?
1
Let t be 44/22 - (2 - -38). Let b be (-372)/10 - 1/(-5). Which is smaller: b or t?
t
Let w = 10 - 8. Let k = w + -1.8. Let z = k - 0.4. Is z less than 0?
True
Let a = 317.9 + -318. Which is smaller: a or 65?
a
Let g = 6 + -6. Let u be g + 0 + 3 + -5. Let v be (-9)/(135/(-26)) + u. Which is smaller: v or -1?
-1
Let o(j) = j + 17. Let a be o(-11). Let c(q) = q**2 - 2*q - 17. Let v be c(a). Is v < 25/3?
True
Let s(t) = -6*t + 1. Let x be s(-2). Let z(n) = -n + 19. Let u be z(x). Suppose 4*j - u = 34. Is 12 less than or equal to j?
False
Let c = -17/1841 - 99031/1038324. Let u = 116 + -5453/47. Let y = u - c. Is -1 < y?
True
Suppose -5 = -p, p - 29 = -0*t + 4*t. Let l(z) = z**2 + 6*z - 12. Let g(q) = 2*q**2 + 11*q - 25. Let i(m) = -6*g(m) + 13*l(m). Let s be i(-12). Is s at least t?
True
Suppose 34*x = 154 + 458. Which is smaller: 23 or x?
x
Let m be (8 - 3325/3311) + -7. Is m <= 2/7?
True
Let c(z) = -z + 14. Let u(g) = -g + 14. Let q(w) = 2*c(w) - 3*u(w). Let y be q(13). Let m = 73/30 - 17/6. Is m smaller than y?
False
Let c(l) = -117*l**3 - l**2 + l. Let v be 6/9*6/4. Let m be c(v). Let n = m - -821/7. Is 1 less than or equal to n?
False
Let s = 62/9 + -133/18. Let c = -7 + 13. Is c at most s?
False
Let k(u) = 5*u + 101. Let s be k(-20). Which is smaller: s or -1/91?
-1/91
Let s(o) be the second derivative of o**3/6 + 13*o**2/2 + 5*o. Let n be s(-7). Suppose -4*m - 4*f + 2*f = n, -5*m - 3*f = 10. Which is smaller: -6 or m?
-6
Let o = 19.96 - 19.941. Which is smaller: o or -11?
-11
Let x = 37 - 62. Let j = x - -6. Is 0 equal to j?
False
Suppose -2*o + 35 = 63. Is 1 <= o?
False
Let w = -194176/75 - -2589. Let s = -1 - -1. Is s at least w?
True
Suppose 53 = 12*f + 65. Which is bigger: f or 2/315?
2/315
Let u(a) be the third derivative of a**5/60 + a**4/4 - 9*a**3/2 + 7*a**2 - 2. Let k be u(-9). Is -12/37 at least k?
False
Let n = 3.65 - 0.15. Let l = -3.62 + n. Let y be (-10)/(-35) - 6/(-28). Is l equal to y?
False
Suppose 3*l + 32 = 2*f, f + 31 = -2*l - 2. Which is smaller: l or -113/8?
-113/8
Let u be (0 - (-3)/9)*3. Let m(x) = -x**3 - 3*x**2 + 5*x + 3. Let v be m(-4). Let f be (-2)/8 + (-1)/v. Is u at most as big as f?
False
Let z be (-2 + 5 + -3)/(-1). Let w(h) = -h**3 + 3. Let p be w(z). Suppose 3*s - 29 = -4*n, -5*n - s + p*s = -19. Which is greater: 7 or n?
7
Let s(w) = -w**3 + 6*w**2 - 5*w + 4. Let i be -4*((-5)/4 + 0). Let u be s(i). Let b be (49/14)/(3/u). Is b greater than or equal to 5?
False
Let i = 72.1 + -0.1. Let g = -49 + i. Which is smaller: 2 or g?
2
Let o = 348.6 + -348. Which is smaller: -9 or o?
-9
Suppose 10 = 3*g - 2*t, 0 = g - 3*t - 7 - 1. Let d(p) = -12 - g + 2 + p. Let b be d(12). Do b and 3 have different values?
True
Let c be 60/(-105) + (-7356)/14. Which is smaller: -1049/2 or c?
c
Let g = -8286 - -8286.1. Let k = -56 + 58.7. Which is bigger: g or k?
k
Let t(d) = 22*d + 347. Let r be t(-54). Which is bigger: -842 or r?
r
Suppose -3*k + 1 + 5 = 3*f, 2*f - 5*k = -10. Suppose -4*m - l - 16 = f, -5*m = -2*m - 2*l + 1. Is m bigger than -3/2?
False
Let b be (77/266)/(3/12*2). Is b <= 1?
True
Suppose 4*l + 20 = 0, 2*w = 5*l - 2*l + 15. Suppose 2*j - 10 = -w*j. Suppose -8 = -j*o - n, -2*n + 2 = -5*o + o. Are 8/5 and o nonequal?
True
Let r(b) = 3*b**3 + b - 3. Let f be r(1). Let l = 1 + -2. Let s be 9 - 9 - f/l. Is s > -4/9?
True
Suppose 2*n = -3*m - 254, -5*n - 11 = 9. Let a = m - -48. Which is greater: -35 or a?
a
Let h = 10962 + 1504. Let q = 299239/24 - h. Let l = -21/8 + q. Is l smaller than -0.08?
True
Let w be (-3)/30*(-2 - -26). Let x be (4/(-12))/((-1)/(-6)). Is x > w?
True
Let q = 4/1337 - -2622/17381. Is -77/4 equal to q?
False
Let k be ((-119)/49 + 3)/((-116)/(-14)). Suppose -29 = -5*l - 4. Suppose -5*z = -0 + l. Which is smaller: k or z?
z
Let b = 2 + -1. Suppose 0 = 2*g + 2, 5*c + 2*g - 3*g - 26 = 0. Suppose b = -2*j + c*d, -6*j + 2*j - 13 = d. Is -1 at most j?
False
Suppose 5*p = 2*p. Let n be 4/3 + ((-992)/(-360))/(-2). Is p >= n?
True
Let i = 407 + -406. Let x = -45 - -136/3. Which is bigger: x or i?
i
Let y(o) = 9*o**2 - 26*o - 82. Let j be y(-4). Which is greater: 0 or j?
j
Let y be -14 + 12672/(-189) - (-4)/(-14). Is y at least 2?
False
Let a = -8 - -25/3. Let u be (6/(-4))/(27/(-342)). Let m = u + -34. Which is bigger: m or a?
a
Let s(a) = a**3 - 3*a**2 - 5*a + 6. Let n be s(4). Suppose -n*r - r + 5 = 2*m, -3*m - 2*r = -5. Which is greater: -4/19 or m?
m
Let i(g) = 10*g + 2. Let s be i(3). Let h be (-1 - 0)/(7/(-21)). Suppose h*k - 2*r - s = 26, 5*k + 5*r = 130. Are 22 and k unequal?
False
Let r = 1.35 + -18.25. Let u = -17 - r. Let a = 2.9 - u. Which is smaller: a or 1?
1
Suppose 0 = y - l - 4, 14 = 4*y - 2*l - 2. Suppose 0*q - 229 = 5*q - y*d, -3*q - 5*d = 167. Is q greater than or equal to -49?
True
Let m = 5 + -8. Let n be (m*1/6)/((-7)/(-8)). Which is smaller: n or 0?
n
Let c = -327 - -326. Which is smaller: 2/67 or c?
c
Let i = -497/2196 + 1/244. Which is greater: -8 or i?
i
Suppose -13 = -2*o - 3. Let d(k) = -k - 8. Let n be d(-6). Let j be (n/(-6))/((-80)/(-912)). Is j at least o?
False
Let r = 670.88 - 647. Let g = r - 24. Let h = -0.02 - g. Is h at most as big as 0.6?
True
Suppose 239*c - 243*c = 3*g - 110, c - 172 = -5*g. Let w = 68 + -34. Is w >= g?
True
Let g = -499/3 + 165. Suppose -i - 3 = 0, 0 = a - 4*i + i - 8. Are a and g non-equal?
True
Let m = 5401/162626 - 5/5246. Let c = 1 + -0.9. Which is smaller: c or m?
m
Let u be (-2)/(-4) + (-3)/2. Let w be (10 - -19)/(u*1). Is w at least -29?
True
Let c = -991/28 - -246/7. Suppose 4*f + 5*q + 9 = 0, f + 5*q + 29 = 2*f. Let u = f + -9. Which is bigger: u or c?
c
Let q = 2 - 2.08. Let g = q - -2.08. Is -2/3 greater than g?
False
Let z = -8590 + 8590.2. Let r = -0.22 - -0.39. Which is bigger: z or r?
z
Let b = -2799/2 + 361079/258. Does b = -1?
False
Suppose 8*p - 4*z + 170 = 6*p, 2*p = -z - 145. Which is smaller: p or -147/2?
p
Let b = 363 - 363. Is 1/36 != b?
True
Suppose g = 3*n - 3 - 0, -5*g + 15 = 0. Suppose i - 4*a + 8 = 0, -a + 0*a + 2 = -n*i. Which is bigger: i or -0.3?
i
Let f = 69.44 + -36.38. Let c = -33 + f. Let m = 3.1 + -3. Is m < c?
False
Let p = -278 + 277. Which is greater: p or 2/203?
2/203
Let b = -351 - -356.07. Let x = b - 0.07. Let i = 5/9 - 2/9. Are i and x non-equal?
True
Suppose 4*s - 18 - 74 = 0. Let h be (-1)/4 + 7395/(-324). Let x = s + h. Which is greater: x or 1?
1
Let a = 0.098 + -0.298. Let w = -0.4 - -0.3. Let f = w - -0.3. Which is greater: f or a?
f
Let w = 223338 + -224327.01. Let a = w - -979. Let p = a - -10. Which is smaller: p or -1/2?
-1/2
Let m = 3339 + -2701253/809. Which is smaller: -1 or m?
-1
Let i = 52 - 56. Is i less than -3?
True
Let f = -2257/49 - -46. Is f != 1?
True
Let f = 1462.608 + 3.392. Is f bigger than -0.1?
True
Suppose 4*a + 69 = 3*j, 0*a - 3*a = 9. Let u = j - 19. Is u <= -5?
False
Let d = 25 + -5. Suppose -133 + 127 = 4*n + 5*x, 2*n = -3*x - 4. Are n and d non-equal?
True
Let s = 5.44 - -0.56. Let z = s + -6.1. Which is bigger: z or 55?
55
Let h = 6935/4 - 1716. Are h and 0 equal?
False
Let l = 1339 - 1340. Is 1/2553 at most as big as l?
False
Let f = 815356/14255 + 6/2851. Let o = -56 + f. Which is greater: o or 1?
o
Let i = -51.5 + 51.1. Are i and 17 equal?
False
Suppose -2*j - 4*r = 3 - 1, 9 = j - 3*r. Let t = 1.86 - -0.34. Let h = t - 2. Is j > h?
True
Let t = -140.85 + 137. Let a = -4 - t. Let x = a - 0.45. Which is bigger: x or -2/7?
-2/7
Suppose z = -3, 0*f = -3*f - z. Suppose 11 = -2*n + j - 6*j, -n + f = -4*j. Let y = -1 + 1. Which is smaller: n or y?
n
Let q = -50273/1345 + -6/269. Let l = q - -38. Is l at most -0.02?
False
Let l = -120 + 119. Let