 Which is smaller: a or -105?
-105
Let q = 198 + -82. Let c = 40 + -39. Is c at most q?
True
Let b = -117 + 109. Is b greater than or equal to -1?
False
Let k = -93 + 78. Does -17 = k?
False
Let b = 1970 + -1969. Is b smaller than -5/263?
False
Suppose 2*b - 5*b = -12. Let w be b/(-10) - 420/(-50). Suppose -u = 2, -2*f - 4*u + w = -u. Are 7 and f non-equal?
False
Let q = 12.5 - 8. Let o = q - 1.5. Let u = -3 + 3.2. Is u > o?
False
Let n = -7610 - -114094/15. Is n less than -1?
True
Let d be -2*2*5/(-10). Suppose -d*w = -6*w + 20. Suppose -b = -z - w, -2*b + 1 + 10 = -3*z. Which is smaller: z or -2/17?
z
Let y be (-1)/3 + 20/6. Let v(u) = 6 + 8*u - 3*u**2 + y*u**2 - u**2. Let i be v(9). Which is smaller: -4 or i?
-4
Let v be 2 - (-8 - -3)*-1. Let j = v - -2. Let h = 143/1176 + -8/49. Which is bigger: h or j?
h
Let s = -3 + 8. Let i = 13.4 - 26.3. Let r = 13 + i. Is s < r?
False
Let q be (-3)/(-46)*(-249)/9. Let d = 7/23 + q. Which is bigger: d or -1?
-1
Let x = -1382 - -1393. Which is greater: x or 28?
28
Let n = -49 + 52. Let r(t) = -t**3 + 3*t**2 - 2*t + 5. Let z be r(n). Which is bigger: 4/19 or z?
4/19
Let f = -1514/3 + 18163/36. Is f bigger than 0?
False
Let f(r) be the second derivative of -r**5/20 - r**4/4 + 5*r**3/6 + 5*r**2/2 - r. Let d be f(-4). Let a be (1/d)/(3/18). Which is bigger: 7 or a?
7
Let u = 61 + -58. Let l = 2.9 - u. Which is smaller: l or -7?
-7
Let p = -10733/24054 - 19/422. Is p > -1?
True
Let d = 38/157 - 6440/4553. Let k = 706/899 + d. Which is smaller: k or 0?
k
Let y be 10*-5*3/(-6). Let x = -26 + y. Which is smaller: x or -3?
-3
Let l = 619 + -619.1. Is -4 at most as big as l?
True
Let y = 26.7 + -26.9. Is y <= -67?
False
Let t = -414 - -411. Which is greater: -14/9 or t?
-14/9
Let g(q) = 9*q - 2. Let r be g(1). Suppose 0 = 2*y, 2*c - 105 = 5*y - r. Let m be (14/c)/(11/7). Which is bigger: m or 1?
1
Let b = -5.5 - 32.5. Let a = b + 33. Let r be ((-12)/8)/(10/4). Do a and r have the same value?
False
Let f be (-25)/(-3) + 34/51. Is f at least 61/6?
False
Let p = 14892/5 - 2960. Let v = p + -1942/105. Is 0 smaller than v?
False
Suppose -3*s - n = -3*n - 22, s - 5 = 3*n. Suppose -2*u + 18 = -2*r, 3*r = -4*u - 3 + 4. Let o = 5 + r. Is s at most o?
False
Let h = -36 - -37.2. Let v = 0.2 - h. Is -7 at least v?
False
Let i be (-179)/(-6) + 2/12. Let j = 50 - i. Let g be (1/4)/(15/j). Which is smaller: g or 1?
g
Let o be 1*(-4 + (1 - -3)). Let m = -79 - -72. Is m < o?
True
Let t = -1417703/21415 + 6/4283. Is t bigger than -66?
False
Let f(n) = 2*n - 23. Let m(g) = -g**2 + 10*g - 10. Let d be m(7). Let t be f(d). Which is smaller: t or -1/4?
t
Suppose 3*x + 6 = -15. Let p(z) = z**2 + 7*z + 5. Let w be p(x). Suppose -w = 3*g - 8*g. Which is bigger: -1/11 or g?
g
Let o = -0.4 + 0.5. Let c = o + -0.2. Let y = 0.76 - 0.84. Is c greater than y?
False
Let j(t) = -t**3 + 20*t - 1 + 2*t**2 - 29*t + 18*t + 6*t**2. Let z be j(9). Which is bigger: z or 13?
13
Let b = -9.87 + 9.9. Which is bigger: b or -2?
b
Suppose 7*a + 5520 = 5*a. Let n be 1/2 - (-1428)/a. Is n not equal to 0?
True
Let k = -311 - -16481/53. Is k greater than or equal to -1?
True
Let o = -0.0529 - 0.0471. Which is greater: -2/269 or o?
-2/269
Suppose -5*f - 25 = -k - k, -3*k - 15 = 3*f. Is k bigger than 0?
False
Let r = -11/45 - 1/180. Let t be (-2 - (-9)/6)*-4. Is r at least t?
False
Let y be -3*52/18*3. Let q = y - -16. Let c be -3*(-9)/(81/(-30)). Is c < q?
False
Let p = 891 + -892. Are p and -11/226 unequal?
True
Let m = 25 - 47. Let k = m - -23. Which is smaller: 3/4 or k?
3/4
Let r = 18.09 + -18. Let l = 24.5 + -25.59. Let b = r + l. Is 1 bigger than b?
True
Let n = 50 + -46. Let w be (-5)/10*(n - 2). Is w equal to 1?
False
Let f be 16/(-6)*186/8. Which is smaller: -1/4 or f?
f
Let w be (5/(-400)*5)/(-4 - 121/(-30)). Suppose 2*o + 13 = 5*y + o, -5*y - 2*o + 19 = 0. Suppose -5*j - 2 = y. Is j < w?
False
Let o = 11 + -6. Let m = 4.5 - o. Let t = -14 + 16. Which is greater: t or m?
t
Let y(v) = v**2 - 18*v + 34. Let j be (-3)/(-18)*-3 + (-33)/(-2). Let a be y(j). Are a and -1 non-equal?
True
Suppose -k + 0*k - 16 = 0. Suppose 0 = 5*w + 43 - 23. Let t be (-210)/18 + w - 6/(-9). Which is smaller: t or k?
k
Let l = 9.23 - 0.23. Let r be 0*(114/171)/(6/(-9)). Which is smaller: r or l?
r
Suppose 0 = -m - 3*m + 48. Let p be m/9 - 3 - -1. Suppose 1 = -2*z + 4*k - 1, -z - 1 = -5*k. Is z not equal to p?
True
Let m = 329 - 443. Is m bigger than -114?
False
Let v be (136/(-204))/((-1)/1473). Is v at least as big as 983?
False
Let r be (-12)/(-30)*(4 + (-2)/(-2)). Let i = 11 - 5. Let n be (2 + 1)*8/i. Which is smaller: r or n?
r
Suppose -15 = -2*n - n. Let p be 8/(2 - (-3 - -7)). Let j be 1 + (-1)/(p/10). Which is greater: j or n?
n
Suppose 5*t + 0*t - 140 = 0. Suppose 0*y + y = -t. Let g be (-7)/y - 3/(-4). Which is greater: -3 or g?
g
Let z = -994 + 927.3. Let d = z - -70. Which is greater: -0.1 or d?
d
Suppose 23*x - 28*x - 4*l - 38 = 0, 2*x + 2*l = -14. Which is greater: x or 13/4?
13/4
Let s be 0/5 + 8/(-36). Which is smaller: s or -60?
-60
Let l(t) = t**3 + 24*t**2 + 24*t + 23. Let u be l(-23). Suppose -2*a = 3*f - 37, -4*a + 37 + 17 = 2*f. Let n = -15 + a. Which is smaller: u or n?
n
Let s = -15 - -13. Let l = 10.33 + -10.53. Which is bigger: s or l?
l
Let s = -715500677/10484109636 - -6/1757899. Let a = s - -1/84. Which is smaller: 1 or a?
a
Let n(a) = a**2 + a + 1. Let u be n(-1). Let r be -5*(-9)/10*4/6. Suppose -3*b = -2*v + 2, -v = -r*b - b - u. Which is smaller: 1/12 or b?
b
Let x be ((-446)/8 + (-22)/88)/(-3). Is x greater than 18?
True
Let m be (-67)/(-1) - (2 - 5). Suppose 2*u = 8 + m. Suppose 35*w - u = 32*w. Are 13 and w equal?
True
Let q = -5 - -9/2. Let d = -0.0491 + 271.0491. Let t = 244 - d. Which is greater: q or t?
q
Let w be 1/2 + 0 + 12/24. Which is smaller: w or 1/16?
1/16
Let q = -0.11 - -15.11. Let k = q + -34. Let y = 19 + k. Is y less than 0.5?
True
Suppose 0*n + 10 = 2*n. Suppose -3*f = a + n, -5*f - 17 + 4 = -3*a. Let q = -34 + 308/9. Is q bigger than a?
False
Let k(q) be the first derivative of -q**3/3 + 5*q**2 - 6*q - 1. Let h be k(5). Is 15 >= h?
False
Let y(u) = -u**2 + 51*u - 662. Let c be y(0). Is -660 >= c?
True
Let r be 1 + -12*(-114)/336. Is 5 not equal to r?
True
Suppose 1 = -3*y + 7. Let n = y - 2. Suppose -4*g - 4 = -g + 4*w, 4*g + 2*w = -2. Is g greater than or equal to n?
True
Let r = 6685.85 - 6551. Let j = 132 - r. Let q = j + 2.7. Is -1/2 bigger than q?
False
Let g be 1*-2 + (5 - -9). Let d(v) = v**3 - 13*v**2 + 12*v + 2. Let u be d(g). Suppose 4 = -2*i + u. Are i and -1 equal?
True
Let i(j) = 24*j**3 + j**2 + 0*j**2 - 35*j**3. Let z be i(-1). Suppose 2*b = 6, -3*a + 0*b - 5*b = -45. Which is greater: z or a?
z
Suppose -5*x + 0*x + h = 28, x + 14 = -4*h. Let b(o) = 2*o**3 + 6 - 3*o**3 - 2 - 7*o**2 - 5*o. Let p be b(x). Which is greater: p or -1?
-1
Let a = 1.08 - 1. Let i = -77 - -77.28. Let l = i - a. Is 5/2 at least as big as l?
True
Let c be (-9 + 627/71)*(-1)/(-3). Let z = 1 + -1. Which is greater: z or c?
z
Let d = -1681 - -1050. Is -630 < d?
False
Let n = 0.0078 - -77.9922. Which is greater: 8 or n?
n
Let q = -41 - -45. Suppose 5*b + 47 = q*w, -3 = -w - 4*b - 7. Is 8 equal to w?
True
Let r(z) = -z**3 + 10*z**2 - 16*z + 1. Suppose 0*t + t - 3 = 5*c, 4*t - 30 = 2*c. Let h be r(t). Which is greater: h or -2/15?
h
Let d be (-20)/30*(-21)/2. Let u be (-3 + d)*(-6)/(-8). Let g be -2 + (4 - (u - -5)). Which is smaller: g or 1?
g
Let t = 4.109 - 3.109. Do t and 707 have the same value?
False
Let n = -121.27 - -135.6. Let j = n - -0.67. Is j less than or equal to 0?
False
Let d(i) = 9*i**3 - 4*i**2 + 4*i + 2. Let c be d(4). Suppose c = 3*n + 5*g, 3*n - 3*g = -2*n + 906. Let a be 7/(-9) - 40/n. Which is smaller: -1/5 or a?
a
Let y = 455 + -455.2. Which is greater: y or -11/3?
y
Let i = -27 - -31. Suppose b = 3*k - 3, -2*k + i*b = b - 9. Are k and 2 nonequal?
True
Let p(n) = -n**2 + 10*n - 25. Let d be p(6). Which is smaller: -157 or d?
-157
Let j be (-2)/(-10) + (-792)/(-1540). Is -4/33 at most j?
True
Suppose -5*z + 37 + 13 = 0. Let o = 6.4 + -1.7. Let m = -2.7 + o. Which is greater: m or z?
z
Let k be (-3)/(-12) + 1*(-5)/100. Suppose -3*v + 9 = -0. Let u be 6/3 + -1*v. Is k >= u?
True
Let i = 74 + -73.79. Let t = 0.31 - i. 