327. Is s smaller than c?
False
Suppose -13 + 3 = -5*l. Let d = -7.6 + 1.7. Let q = d + 6. Which is smaller: q or l?
q
Let d = 116.9998 + 0.0002. Which is bigger: 1/3 or d?
d
Let v = -65 - -5. Let p = 65 + v. Which is bigger: p or -7?
p
Let m be (-2 - (-30)/18)/(50/465). Which is smaller: m or -4?
-4
Suppose -h + 2 = 4*m, 0*m + 2*m = -h. Let a = 10/943 + 3562/19803. Is a smaller than m?
True
Let z be (-1)/((-4)/(-16)*-2). Let d be (7/(28/16))/z. Let j be 4/8*-1*d. Is j at most -3/7?
True
Let j = -1249 + 1235. Is j <= -5?
True
Let z be 13/(39/(-8)) + (-4)/(-6). Let c be (-4)/(z + 2 + -2). Suppose 5*r - u = 3*u - 2, 0 = 2*u + 4. Is c at least as big as r?
True
Suppose -28*t - 187 = 1521. Is -60 greater than t?
True
Let i = 58 - 58. Is i at least 114?
False
Suppose -2*b - 16 = -3*b. Let f be (2/(-8))/((-12)/b). Is f > 2/57?
True
Let w(t) = 2*t**3 - 6*t**2 - 102*t - 7. Let u be w(-7). Which is smaller: -274 or u?
-274
Suppose 11*l = -5*l + 688. Is l equal to 43?
True
Suppose 0 = -34*b - 248 - 670. Is -245/9 bigger than b?
False
Let n = -383 + 382. Which is greater: n or -12/91?
-12/91
Let x be (-1 - -2)/((-4)/(-16)). Suppose 2*g + 2*r - 3 = 33, -60 = -x*g - r. Let q(k) = -k**3 - 2*k**2 + 4*k - 2. Let h be q(-4). Is h at most g?
True
Suppose 4*s + 35 = 5*g, -g + s = -2*s - 18. Suppose r - 2 = 2*w, 5*w - g*r + 6 - 3 = 0. Is -10/3 <= w?
True
Let u = 2/95 + -21/95. Let x(m) = -m**2 - 12*m - 1. Let k be x(-11). Let g = 11 - k. Is g < u?
False
Let t = -0.86 - -0.8. Let r(o) = o**3 - 18*o**2 + 24*o - 7. Let d be r(16). Let n = d + 135. Which is greater: t or n?
n
Let m = 0.1 + -0.4. Which is smaller: m or -3/40?
m
Let w = -0.071 + -49.929. Let y be (3 - 1)*3/(-12)*2. Is y less than w?
False
Let n be 575/(-550) + (-6)/(-11). Which is bigger: -332 or n?
n
Suppose -x - 1426 = -24*x. Does x = 62?
True
Let d(u) = -u + 6. Let k be d(10). Let z be -1 - k*3/6. Is z equal to -4/15?
False
Let u = -152 + 658. Let l be 6/(-12) + (-3 - u/(-140)). Is 1 greater than l?
True
Suppose -4*v - 23 - 1 = 0. Let n be v/8*((-21)/(-18) + -1). Is n not equal to -0.08?
True
Let u = 8 + -2. Let b be -4*3/u - -1. Let s be (-9)/11*(-6)/(-9). Which is greater: b or s?
s
Let k be (6/(-4))/(10 + (-2234)/224). Does -52 = k?
False
Let f be ((-148)/(-6))/(16/24). Let q = f + -36. Is q bigger than 0?
True
Suppose 6*g = 13*g + 70. Let x(z) = -z**3 - 9*z**2 + 9*z + 19. Let m be x(g). Is m > 30?
False
Let a(b) = 2*b - 3. Let p be a(1). Which is bigger: -2/253 or p?
-2/253
Let b be ((-5)/(-30))/(4/(-42)). Let d be 6/4*(-12)/(-9). Suppose 3*q - q + d = 0. Is q > b?
True
Let o = 10177/670 + -151/10. Which is smaller: o or -1?
-1
Suppose -2*r + 36 + 6 = 0. Let y be (-2)/14 - (-87)/r. Do 4 and y have the same value?
True
Let n be 0 - (1 + (-3 - 1)). Let x be 4/n*(0 - 2/(-40)). Which is greater: 1 or x?
1
Let k be 1*2*-2*1. Let c(i) = i**2 - 3*i - 13. Let p = 42 - 37. Let n be c(p). Which is greater: k or n?
n
Let k be 1/3 - 14/6. Suppose 4*r - 27 + 143 = 0. Let a = -91/3 - r. Which is smaller: a or k?
k
Suppose 1 = -4*f + 21. Let j be (-4 - -7)/(f - 2). Let v = 13 - j. Is v not equal to 12?
False
Let p = 0.24 - 43.24. Let m = p - -35. Is 1/4 bigger than m?
True
Suppose d - 25 = -q, -5*d + d - 110 = -3*q. Suppose -5*s = -3*t - q, -3*t = -3*s + 7*s + 57. Do -14 and t have the same value?
False
Let k = 501 - 500.9. Is -103 > k?
False
Let q be 4*(3/(-2) + 0). Suppose 0*x + 3*h + 25 = 5*x, -h - 15 = -5*x. Suppose 2*j = -x*j - 28. Which is greater: j or q?
q
Let v be (8 - 2)*(-13)/26. Which is greater: v or 0.005?
0.005
Let c be -1*4 - (91/7 + -108). Do c and 91 have the same value?
True
Suppose -2*b = -2*t + 48, 3*t = 5*t + 2*b - 28. Is t at most 17?
False
Suppose 4*h + 144 = 8*h. Suppose 4*b - 2*c - h = 0, 6*c - 75 = -5*b + c. Which is smaller: b or 10?
10
Let r = 190 - 189. Are 677 and r equal?
False
Let w = 47 - 45.6. Let x = w + 33.6. Which is smaller: 0.2 or x?
0.2
Let k be ((-2)/(-3))/(408/153). Is k != 10.9?
True
Let f = -0.0109 + 40.8109. Let v = 39 - f. Which is bigger: -0.1 or v?
-0.1
Let u = 22 - 22.02. Let x = 3 + -2.6. Is x < u?
False
Suppose -4*r - 45 = -2*z - 63, -2*z - r + 2 = 0. Which is smaller: z or -1/101?
z
Let d = -962/5 - -3363/20. Which is greater: -23 or d?
-23
Let o = 0.341 - 71.341. Do -3 and o have the same value?
False
Suppose 816 = -11*z - 40*z. Which is smaller: z or -19?
-19
Let m = 64 + -44. Let u = m - 2. Is u > 20?
False
Suppose s + 10 = 5*c - 4, s = -2*c + 7. Which is smaller: -16/41 or s?
-16/41
Suppose 0 = -2*t - v, t - 3*v + 3 = -11. Let j be (9/15)/((-70)/100). Is t less than or equal to j?
True
Let v = 29/96 + 1/32. Let h = 518.05 - 518. Is v equal to h?
False
Let n = 2476 + -2475. Which is bigger: n or -0.338?
n
Let l = -3.7 + -18.3. Let s = l + 21.9. Which is smaller: -14 or s?
-14
Suppose 3*b - 5*h = 218, -11*b - 334 = -16*b + h. Which is greater: b or 1/3?
b
Let j = -217.7 - -230. Let r = 1.3 - j. Let c(s) = s - 3. Let z be c(2). Which is smaller: z or r?
r
Suppose -3*k + 3 + 0 = 0. Suppose 0 = -4*u + k - 9. Let o = -15 + 8. Are u and o non-equal?
True
Let b be 162/(-9) - -7 - -511. Is b at least 499?
True
Let q = 621.05 + 10.95. Is -2/7 < q?
True
Let o be (-242)/(-56) + (-7)/28. Are o and 3 unequal?
True
Let t be 7/5 - (-5 - (-27)/5). Is 1/202 bigger than t?
False
Let t = -223.1 + 203. Which is bigger: -0.1 or t?
-0.1
Let x(o) = -o + 19. Let q(p) = 6*p - 20. Let g be q(6). Let j be x(g). Is 2 equal to j?
False
Let l(a) = a**3 - 10*a**2 - 13*a + 10. Let n be l(11). Suppose -4*j = -4*q - 48, 4*q = 2*j + 9 - 59. Is n < q?
False
Let y(d) = 2*d**2 - 4*d + 3. Let f = 2 + 0. Let m be y(f). Let j = -13.9 + 14. Do m and j have the same value?
False
Suppose -3*t - 29 = -4*s, 0 = 3*t - 4*t - 4*s + 1. Let q(o) = 4*o + 0*o**2 - 6 + 19 - o**2. Let b be q(7). Is b greater than t?
False
Let o(q) = -5*q**3 - 7*q**2 - 7*q - 18. Let g(b) = 3*b**3 + 3*b**2 + 3*b + 9. Let j(s) = 7*g(s) + 4*o(s). Let n be j(8). Let d = -153 - -3516/23. Is d < n?
False
Let n(q) = 0*q**2 + 6*q - 2*q**2 - 71 + 49. Let s be n(4). Which is bigger: -29 or s?
-29
Suppose 3*a + 16 = -l, 0 = 4*l - 5*a + a. Let j be 9/(-6)*l/6. Let z = 11/5 + -73/40. Is j bigger than z?
True
Suppose -12*b = 11*b - 16*b. Is b bigger than 0.0602?
False
Let z = -74/35 - -12/5. Suppose -4*k - 4*y + 4 = 0, 2*k = k + 2*y + 1. Suppose -4*a + k = -39. Which is greater: z or a?
a
Suppose -3*g - 34 + 13 = 0. Let p = 38 + -27. Suppose -13 - p = 4*q. Which is smaller: q or g?
g
Let v = -4.508 - -4.56. Are -1 and v non-equal?
True
Let j(x) = -12*x - 4. Let s be j(-2). Suppose -3*g + 10 + 2 = 2*p, 3*p + 5*g = s. Is -1/26 at most as big as p?
True
Let k = -5711/18 + 317. Are -0.1 and k equal?
False
Let z = -31 + -20. Let n = 52 + z. Is n less than or equal to -8?
False
Let z be 10/(1 - 2) + (-22 - -18). Suppose -5*s - 81 = -2*t, 0 = -s + 2*s + 5*t. Let i = z - s. Which is greater: i or -1/7?
i
Let h(u) = 6*u**2 + 6*u + 7. Let k be h(-2). Let j be ((-2)/(-2))/(k/10 + -2). Which is bigger: j or -9?
-9
Suppose 0 = 2*o - 7*o - 3*b - 9, -2*b = 2*o + 2. Let v(z) = -22*z - 112. Let p be v(-5). Is o at most as big as p?
True
Let z = 182 - 42. Is z bigger than 140?
False
Let v(i) = 9*i - 190. Let s be v(21). Which is smaller: s or 3/20?
s
Let m be -1*-1*(5 + 2). Suppose 0 = m*b - 9*b + 60. Suppose 3*q = -0*q + b. Which is bigger: q or 11?
11
Let x = 6 - -6. Let i(b) = b**2 - 5*b + 4. Let w(u) = -2*u - 1. Let r(n) = i(n) + 4*w(n). Let m be r(x). Is -12 greater than or equal to m?
True
Let d(w) = -140*w - 4. Let q be d(-7). Let z be (1/(-3))/(q/72). Let o = -212/61 + z. Which is smaller: o or -5?
-5
Let n be (-403)/(-540) + 12/(-16). Is 0 less than n?
False
Let a = 900 + -54902/61. Is 1 at most a?
False
Let y be 0/(0 + 1) + -11. Let s = 23 + y. Let b be 9/s*2/(-8). Is 1 at most b?
False
Let w = -13/5 + 41/10. Let x(m) = -m**2 - 18*m + 41. Let z be x(2). Is w >= z?
True
Let a = -41.69 + 42. Let l = a - 27.31. Let v = l + 26.98. Does v = 1?
False
Let h be (-16)/4 + 324/90. Is h greater than or equal to -735?
True
Let k be (88/(-16) - -6)/(-122). Is -1 != k?
True
Suppose 19 = -q - 5*t, -6 = -2*q - 2*t + 3*t. Let f(u) = -9*u - 2. Let n be f(q). Is -11 at most as big as n?
True
Let h(x) = x**2 + 12*x + 37. Let n be h(-6). Is 2/643 >= n?
False
Let y