?
False
Let n be -14 + -21063 + 17 + -24. Is -21084 at most as big as n?
True
Let l be 7 + -3 - (-96612)/244*12/(-1188). Which is bigger: 0 or l?
l
Let y be (-80)/(-6) - 2/(-3). Let g be 4/(-5 + 7)*y/4. Let v(x) = 3*x - 15. Let w be v(g). Which is bigger: w or -0.2?
w
Suppose 4*l = -20, -137 = -3*y - 3*l - 8. Suppose -2*h + 48 = y. Let p be -2 + (-5)/(-2) + 0. Which is bigger: p or h?
p
Let z = -121 + 136. Suppose -8*x = -z*x - 9*x. Is x bigger than 18/67?
False
Let q = -58907/99 - -595. Let g = 160 + -159. Is g bigger than q?
True
Suppose 0 = m + 2*l - 4, 7*m = 6*m - 3*l + 4. Let c be 0 + 8/((-4)/2). Let w be (19*c/20 + m)*-1. Is 2 >= w?
True
Let z = -942 + 510. Let x be ((-3)/z*4)/(2/(-1714)). Let d = -95/4 - x. Which is smaller: -1 or d?
-1
Let f be (6 + -9)*(-4)/6. Let y be (-21 - (f - -2))*(1 - 2). Is 25 smaller than y?
False
Let s = -189 + 189. Suppose 3*y - 2*f - 50 = s, 3*f - 10 = f. Is 24 greater than y?
True
Let d(p) = -31*p + 775. Let f(v) = 14*v - 387. Let o(l) = 2*d(l) + 5*f(l). Let m be o(48). Is m greater than -9/53?
False
Suppose d + 5*d - 6 = 0. Let t be 29341/39260 + (-6)/8. Is t < d?
True
Suppose 2775 = -3*u + 4*i, 4*u = i - 4019 + 293. Is -934 bigger than u?
False
Let r = 33857 + -33726. Which is bigger: r or 1.4?
r
Let s = 187 - 181. Which is bigger: 50/7 or s?
50/7
Let x = 36045 + -36586. Is -540 greater than x?
True
Let d be -2 + 4 + -1 + -2. Let a = -708925/33 - -21483. Is d equal to a?
False
Suppose -17*b + 160 = -129. Suppose 3*m + 2*m = 25, 5*k - 2*m - 90 = 0. Suppose b*r = 12*r - k. Which is smaller: r or -2?
r
Suppose w + 13*s + 536 = 17*s, 0 = -2*s + 2. Which is smaller: w or -533?
-533
Let w be ((-1768)/546)/(1 + (-8)/6). Let r(t) = t**3 - 11*t**2 - 12*t + 9. Let s be r(12). Which is greater: w or s?
w
Let b = -1/797 + 4001/12752. Let y = 33/208 - b. Let d(t) = 10*t**2 - 484*t + 180. Let n be d(48). Which is smaller: y or n?
n
Let g(f) = -f**3 + 13*f**2 - 12*f + 2. Let v be g(12). Let i be 3/9*6*(3 + -2). Is i equal to v?
True
Let p(t) = -t**2 + 16*t + 72. Suppose 135*m - 24 = 138*m. Let a be p(m). Is a at most -120?
True
Let j(n) = -42*n**3 + 4*n**2 + 10*n + 12. Let z be j(-3). Let k be 1296/z*(22/3 + 0). Let b = -12 - -21. Is b > k?
True
Let t = 12025543/1051 - 11442. Let q = 1201/1335112 - 3208996689/217496420360. Let z = t + q. Do 1 and z have the same value?
False
Let w(t) = t**3 - 4*t**2 - 14*t. Let x be w(6). Let c(a) = -17*a - 298. Let s be c(x). Which is smaller: s or 2/11?
s
Let h = 2 - -4. Suppose 0 = 4*y - 4*r - 176, -4*y + 181 = r - h*r. Suppose -5*u - w = -305 + 115, -2*w = u - 47. Which is bigger: u or y?
y
Let m = 0.692 + 31.608. Let u = 6985 + -6986. Is u <= m?
True
Suppose 0 = 11*r - 14*r - 2*t + 2024, 5*t - 2045 = -3*r. Is r at least 8?
True
Let l = 77.13 + 4.87. Let y = 81.997 - l. Is -2 less than or equal to y?
True
Let d(u) = u**3 + 15*u**2 - 34*u + 15. Let b be d(-17). Let z be 33/b - 23/115. Is -11/27 greater than z?
False
Let d = -697 + 724.68. Let g = d - -3.22. Let b = -31 + g. Is b != -12?
True
Let x = 0.77 + -42.77. Let y = x + 41.9. Let r = -279 + 287. Which is greater: y or r?
r
Let r = -66872/23161 - 74/437. Is -2 >= r?
True
Let f be 278*2/164 + -3. Suppose -46*y + 67*y - 14*y = 7. Which is smaller: y or f?
f
Let n = -0.3 - -45.3. Let s = -128 + 90. Let o = n + s. Is -1/4 >= o?
False
Let n = -1121 + 1123. Which is bigger: n or -29?
n
Let w = 133.64 - 134. Let q = w + 12.36. Let o be 22/(-30) + (-4)/(-10). Is o >= q?
False
Let q = -2088 - -1483. Let z = q + 596. Is -11 greater than z?
False
Let f = 12 - 7. Suppose 0 = i - 3*a + 18, 518*a = -5*i + 515*a - 36. Which is bigger: f or i?
f
Let b be ((-218)/4)/(91/(-28)). Which is smaller: b or 17?
b
Suppose 0 = 8*f + 13139 + 3037. Is f equal to -14152/7?
False
Let p(g) = -g**3 - 2*g**2 - 651*g - 4589. Let r be p(-7). Do -35 and r have different values?
True
Let f = 4.10945 - 0.10945. Which is bigger: f or 40.5?
40.5
Let j be (-41)/(41000/(-9504)) + (2 - 16/2). Is 3 >= j?
False
Let f(l) = -30 + 34 + 5*l - 3*l - 2*l - 7*l - 4*l**2. Let a be f(3). Which is smaller: a or 5?
a
Suppose 3141 = -107*o - 242*o. Which is smaller: o or -1142?
-1142
Let o(q) be the second derivative of q**4/12 - 5*q**3/6 - 5*q**2/2 + 3*q. Let f be o(6). Let z = -45736 + 14864198/325. Which is smaller: z or f?
z
Suppose -3*d = 9 - 24. Suppose -d*m = 4*o - o - 12, 4*o + 2*m - 2 = 0. Which is bigger: o or 2/237?
2/237
Let l = 0 - -13. Suppose l*d - 9*d = -0*d. Which is greater: d or -7/20?
d
Let y = -84 + -363. Let q = 446.24 + y. Is -1 greater than q?
False
Suppose -t - 4*q = -0*q + 3, -5*t - 15 = -4*q. Suppose -16 = 15*s - 19*s. Suppose 0 = s*b - 12, -4*b + 14 = g + 5. Are g and t nonequal?
False
Suppose -11 = h + y, -17 = 39*h - 38*h + 3*y. Which is smaller: -648/89 or h?
h
Suppose -o = 4*y - 7, -o + 3 = o - 3*y. Suppose 5*d - 75 = 2*r, 2*r - o*d = -d - 60. Let q be 2*((-250)/4)/5. Is r less than or equal to q?
True
Let p(n) = -n**2 - 28*n + 1764. Let z be p(31). Is -138 equal to z?
False
Let d = -0.01464 - -159.01464. Which is bigger: d or -10?
d
Suppose 8 - 1 = -m. Let p = -11 - m. Let z = -8377 + 8372. Is z smaller than p?
True
Let u = 330.91 + -331.6. Let z = -0.271 + -0.019. Let o = u - z. Is -9 at least as big as o?
False
Let y = -35 - -29. Let i = y - -12. Let f = -7 + i. Is -4 less than f?
True
Let p be (8 - 372/48)/(2/8). Let m be ((-38)/(-95))/(p - 286/290). Is 24 equal to m?
False
Let y be 256/(-7) + 1/((-21)/9). Let v be 20/(14/4*(-18)/126). Which is bigger: y or v?
y
Let c be (-16 - 15829)/(5/(-8)*48/12). Is c smaller than 6338?
False
Suppose -r = 3*s, 6*r + 2*s = 4*r + 4. Suppose -3*i - 24 = -3*v, -2*v - 8 = -v + r*i. Suppose 8*n = v*x + 6*n, -2*n = x + 5. Which is smaller: x or 9?
x
Let a be 8 - 30/(36/6). Suppose -a*y = -5*j - 7, -j = 2*y - 0*y + 4. Which is greater: y or -2/243?
-2/243
Let v(q) be the second derivative of q**5/10 - q**4/6 + q**3/2 - q**2/2 + 6*q. Let o be v(1). Suppose 5*u = -15, -u - u = o*b + 16. Is -2 greater than b?
True
Let d = 54 + -53. Let n = 0.15 + -0.24. Let p = n + 0.39. Are p and d non-equal?
True
Suppose -2*o + 2*i + 24 = 0, -3*i - 2*i = 0. Suppose -2*k - q = -50, -2*q - q = o. Suppose -5*j = m - k, -3*j + 20 = j. Is 4 not equal to m?
True
Let o be ((-16)/12)/(2/(-39)). Let k(z) = -30*z**3 - 9*z**2 - 5*z. Let n be k(-1). Are n and o equal?
True
Let o = 19 - 33. Let w = 13 + o. Let j be (35/(-10))/(6/12). Is j <= w?
True
Let s be (6 - 9) + (-2 - -12830). Let l be (6/(-3) - -3)/(s/(-881)). Let w = l + -1/675. Is -1 less than w?
True
Let l be 24/15 + -2 - 3888/(-45). Suppose -3*c - 4*p - 348 + 69 = 0, c - p + l = 0. Let r = 66 + c. Is -22 bigger than r?
True
Let h(p) = p**3 + 34*p**2 - p + 18. Let k be h(-34). Let c be (5/k)/(6/(-36)). Which is greater: c or -1?
c
Let k(b) = -17*b - 617. Let r be k(-31). Do 2 and r have the same value?
False
Let z be (-24 - 3240/(-140))/(33/(-7)). Let x = -0.66 - -0.6. Let g = x + 0.1. Which is greater: g or z?
z
Suppose -5*x = -3*c + 16, c + 3*c + 3*x - 2 = 0. Let i be 76 + -87 - -1*c*1. Which is bigger: -8 or i?
-8
Let z be (-4540)/(-4516) - (1 + 0). Let j = -81246/7903 - z. Let a be 6/1 - (60 + 23 + -66). Which is bigger: a or j?
j
Let o(w) = -w**2 + 6*w - 10. Let t be o(5). Let z be (-2 - t/3) + 24/36. Let v = -18.04 - -18. Is z < v?
False
Suppose 22 = 9*p + 4. Let o = p - -39. Is -2 at most as big as o?
True
Suppose 0 = 4*a - 276 + 248. Let j be (-364)/18 - (-1 - -5 - a). Which is greater: j or -18?
j
Let r = 214 + -875/4. Suppose 4*a - 3*u + 8*u + 45 = 0, -2*a - u = 15. Which is bigger: r or a?
r
Suppose 142*b - 140*b = 36. Let m be 87/b + 0*(-6)/42. Are 4 and m nonequal?
True
Suppose 0 = 2*o + 5*d - 23, -o - 4*d + d = -9. Let f be 4 + 3 - -1 - 7*(-23)/161. Which is greater: o or f?
o
Let j(b) = -b**2 + 0*b**2 - 45*b**3 - 301 - b + 299. Let s be j(-1). Is s at least as big as 5?
True
Let z be (95*1 - -1) + -1. Suppose 5*j + 0*j - z = -5*c, -15 = 5*j. Let q be 2/((-4)/(-30)*477/636). Which is greater: c or q?
c
Suppose 0 = -41*u - 50 + 9. Which is smaller: 2/1065 or u?
u
Let d = 613 + -613. Which is greater: -7/928 or d?
d
Suppose 13 = -5*b + 8. Let f be -45 - 2/b*1. Let i = f + 1. Does i = -42?
True
Let i be 2/4*-2*24. Let w = 29 + i. Suppose 3*r = w - 41. Do r and -13 have diff