reater: d or -1859?
d
Let k = -1283 - -3851/3. Is k < 1631?
True
Let r = -67138884/1058777 + -2/62281. Is -63 smaller than r?
False
Suppose 11*d + 9 + 2 = 0. Let n be 6/(2/d) - 266/(-98). Let j = -4 + 20. Which is greater: j or n?
j
Let b = 5882/10269 - 2/1467. Suppose 1 = -3*a + 2*c, -2*a + 0*a + 2*c = 2. Which is bigger: b or a?
a
Suppose 8*g - 278 + 246 = 0. Suppose r - 5*f = -127 + 27, -g*r = f + 316. Is r <= -81?
False
Let d be ((-25300)/80)/(35/(-56)). Which is bigger: 503 or d?
d
Suppose -3*b + 4*b = -5*l - 37, b = -2. Let t(k) = -7*k - 7. Let y(j) = -2*j - 2. Let p(o) = -5*t(o) + 21*y(o). Let m be p(0). Is l >= m?
True
Let q(p) = p**2 - 2*p + 2. Let t be q(6). Let b(o) = 8*o**3 - 2*o**2 - 14*o + 3. Let k be b(-5). Let r = 1003 + k. Is r at most as big as t?
True
Let w = 801 - 801.076. Which is smaller: w or 2?
w
Let g be 376/6 - 24/(-18). Suppose 5*l - 4*o - g = -0*o, 23 = 2*l + o. Suppose -7*f = 79 - 149. Does f = l?
False
Suppose 3 = -28*s - 13 - 12. Is 0.015 greater than s?
True
Let m(v) = 8*v - 43. Let j(a) = -4*a + 21. Let i(t) = -13*j(t) - 6*m(t). Let c be i(5). Let q be (6/(-24))/(c/28). Which is greater: q or -2?
q
Let p(y) be the second derivative of 17*y**3/3 + 153*y**2 + 2*y + 8. Let b be p(-9). Which is smaller: b or 1/118?
b
Let s = 3829.9 - 3994. Let x = s - -164. Which is greater: 2/23 or x?
2/23
Let i = 249 + -27. Let g = i - 221.97. Which is bigger: g or 0.22?
0.22
Let v = 25 - 17. Let h = 3 + v. Suppose z - 2*b + 0*b = 7, -z + h = -3*b. Is z at least as big as 2/37?
False
Let k = 2118 - 2118.271. Is -2/77 >= k?
True
Let q = -7/211 - 3863/10761. Is 1 at most q?
False
Let r be 10351/4 + (-1)/(-16 + 12). Suppose -r*s + 2592*s = -108. Is -20 < s?
False
Let f = 36468 - 36484. Which is smaller: f or -9.2?
f
Suppose 14*t - 11*t = -9. Let d be (-12)/18*(t - (18 - 0)). Suppose -u = 6*u + d. Is u less than or equal to -2?
True
Let y = 75/677 + -270837/2408089. Which is bigger: y or -1?
y
Let w(s) = -222*s + 584. Let p be w(10). Which is smaller: p or -1634?
p
Let n(z) = -2*z**2 + z + 16. Let v be n(10). Let x be (173/2)/(23/690*-15). Is v >= x?
False
Let z = 14/2521 + 21808/612603. Is z < -1?
False
Let c be (-5 - 45/(-9))*(-2)/4. Suppose -4*p - 3*d + c*d = 13, -3*d - 6 = -3*p. Is 1/167 != p?
True
Suppose -7 = 2*j + 5*i, -4 = -0*i + 4*i. Let m be (-8 - -5)/(-4 - 7). Is m != j?
True
Let h = 59 - 89. Let a = 125008 - 125040. Are a and h equal?
False
Suppose -4*s + 3*a + 289 = -2*a, -s + 72 = -a. Let z = s - 3761/53. Let r be 48/80 + (-505)/175 + 2. Which is greater: z or r?
z
Let w be (8/10)/((-325)/645125). Is w at least as big as -1588?
True
Let o = 4405/39 + -113. Let q = -53/273 - o. Is q greater than 10?
False
Suppose -2*t = s - 404, -14*s + 1176 = -11*s - 3*t. Is 394 less than or equal to s?
True
Let r = 965/12 - 242/3. Let c = 0.03 - 0.36. Is c at most r?
True
Suppose -48*j + 16*j - 77663 - 74305 = 0. Is j < -4749?
False
Let i(m) = m**2 - 192. Let b be i(-15). Is 30 less than or equal to b?
True
Let m = 9561 - 104966/11. Which is greater: 18 or m?
m
Let c = 17782 + -8927. Which is greater: 8854 or c?
c
Suppose -38 = -5*j - 13. Suppose 0 = 5*p - j*r - 2810, -p = -2*r - 549 - 18. Let z = p - 6131/11. Which is bigger: z or 0?
0
Let b = -20674 + 23550. Is 2874 <= b?
True
Let l(i) = i**2 + 5*i + 4. Let n be l(-4). Let j be (271/(-3))/((-35)/105). Let a = j - 2171/8. Which is greater: a or n?
n
Suppose -4*n + 8 = 0, -9*n + 9628 = 2*q - 11*n. Let f = -245120141719/50896916 + 321/266476. Let i = q + f. Which is bigger: -1 or i?
i
Let a = 2.03 + -0.03. Let g = 90.51 + -0.51. Let w = 92 - g. Is a < w?
False
Let v(y) = y**2 - 2*y - 20. Let u be v(6). Suppose -5*p = 3*o + 2*o - 475, -u*p = -2*o + 214. Let q = o - 133. Which is bigger: -36 or q?
q
Let y = -0.0088 + 0.0241. Let o = 0.9847 + y. Which is bigger: 199 or o?
199
Let c be (-81)/(-6)*(176 - 86). Is c greater than 1214?
True
Let z be ((-666)/(-999))/(2/(-2)). Which is bigger: 674 or z?
674
Let n be 1801/(0 - (-259)/21). Let o = n + -146. Do o and 1 have the same value?
False
Suppose -11 = 4*u - 5*u. Let k be 11/(u/(-6)) - -3. Let m = -1213/546 + -5/78. Is m < k?
False
Suppose 0 = 9*d - 9. Let v be ((-4)/d)/16*1/5. Let j = 1/4 + v. Is 0.2 less than or equal to j?
True
Let z = 45360 - 45361. Which is smaller: z or -35/1361?
z
Let g = 0.3278 - 0.4178. Are 0.6 and g nonequal?
True
Let r be 13929/18636 + (-168)/224. Are r and 0 unequal?
True
Let i be -5*(-1)/(-3) - (-704)/48. Let z = 12 - 7. Suppose -i = -2*m + z. Is m != 10?
True
Let r = -877 + 876.633. Let d = r - -9.367. Which is smaller: d or -1?
-1
Let p(u) = 11*u**2 - 396*u - 145. Let g be p(35). Are g and -536 equal?
False
Let l be (-3)/(-9) - -5*(-4)/60. Suppose -154 = -l*s - 7*s. Let p be s/(-3) - (-6)/(-9). Which is smaller: -4 or p?
p
Let y(o) = 10*o**2 + o**3 + 8*o**2 - 6*o**2 - 3 + 31*o. Let p be y(-5). Which is smaller: p or -0.2?
-0.2
Let d = 63738 + -383665/6. Which is greater: d or -205?
-205
Let q(b) = 9*b**2 + 2. Let v be q(1). Let r be 6 - v - ((-25)/3 + 2). Let n be 23/(-2) + 3/(-2). Do r and n have different values?
True
Let f(g) = -99*g**2 - 4 + 2*g**3 + 98*g**2 + g**3. Let d be f(2). Suppose -13*i - d = -9*i. Which is smaller: -4/11 or i?
i
Let h be 0/(1*(0 - 1)). Suppose d + 3*a + 4 = 0, -5*d + 4*a = -h*a - 18. Suppose d = b + 3. Is b < -43?
False
Let d = -1 + 3. Let u be d/(-2) + 34/36. Suppose -4*a + 16 = -5*q - 8*a, -3*q = -a - 4. Do u and q have the same value?
False
Let y = -15820.457 - -15814. Let m = y - -6.5. Let p = -1.357 - m. Is -2/9 less than p?
False
Suppose -4 - 4 = -8*c. Let g = 26.4 - 24. Let y = g + -2.5. Which is greater: c or y?
c
Let v = -5370 - -4734. Is -639 at most v?
True
Suppose 63*x + 3*s + 39 = 65*x, -s = -1. Which is greater: x or -97?
x
Let v = -3854 - -3677. Does -2 = v?
False
Let m = -449 - -659. Suppose 2*i + 3*i = 5*h + 175, m = -5*h - 2*i. Which is greater: -35 or h?
-35
Let j = 16.125 + -16.7. Let l = j - -0.075. Let t = 13 + -8. Which is smaller: l or t?
l
Suppose -5*d - 9363 = 11*w - 5*w, 0 = 2*d - 2*w + 3732. Does d = -1868?
False
Let g be -7 + -3 + 10 + -1610. Are g and -1611 nonequal?
True
Let b(q) = -q**3 + 12*q**2 + 28*q - 20. Let i be b(14). Let x = -56 - -125. Suppose -4*s - x = -1. Which is bigger: s or i?
s
Let t be -5239 + 0 - 25*(33/(-55))/3. Are t and -5233 non-equal?
True
Let v = -27.73 - -28.9. Let x = v - 0.44. Is x not equal to 0?
True
Let d be -1 + 6322/(-20) - 39/(-26). Let t = -316 - d. Is t smaller than 0.1?
True
Let c be 66/264 + 2/(40/395). Which is greater: c or -2/5?
c
Let a = -175 + 265. Is a greater than 90?
False
Let m = -31113939/2420 - -12857. Which is bigger: 1 or m?
1
Let p = 356 + -624. Let v = 267.93 + p. Is v greater than or equal to -1?
True
Let c = 123 - 124. Let m = -556977/902 + 1235/2. Are m and c equal?
False
Let o = -1.2426 + 0.672. Which is smaller: o or -1?
-1
Suppose 2*f - 1 = 9. Suppose -5*p - 10 = f*y + 5, 3*y = 5*p - 25. Suppose -9 = -4*t + 2*u - 3, -3*t = 3*u. Which is bigger: t or p?
p
Suppose u - 5*p + 4 = 0, 3*u - 22 = -0*u - 2*p. Suppose -698 = u*z - 140. Which is smaller: z or -95?
-95
Let z = 284 + -286. Let m be (-1)/z*(-2)/(126/(-49)). Is m <= 0?
False
Let k be ((-18)/45)/(1/(-125)). Let a = k - 49. Do 3/88 and a have the same value?
False
Let o = -7790 - -11896. Which is smaller: 4105 or o?
4105
Let y = -2.38 + 0.18. Let h = y - -2.3. Let f = -0.02 - 17.98. Are f and h equal?
False
Let a = 48 + -49. Let r(y) = -y - 2. Let h be r(a). Which is bigger: h or 7?
7
Suppose 5*w + 4*i = -88, 5*w + 34*i = 38*i - 72. Let t be (0 - -1002)*w/(-24). Is t at least as big as 669?
False
Suppose -107 - 5 = 4*t. Let l be -6*(3 - 72/27). Let c(x) = -7*x**2 - 3*x - 6. Let q be c(l). Is t <= q?
True
Let m(d) = 35*d**3 - d**2 - 3*d - 2. Let a be m(-1). Let k = -33 - a. Suppose 4*r = -k*x, -2*r = 5*x + 4 + 4. Is -2/87 at most as big as r?
True
Let i = -3/15899 + 31855/302081. Let l = 757/28 + -107/4. Is l greater than i?
True
Let t = 245.2 + -228.2. Is t bigger than -40?
True
Let d = -61/21 + 239/63. Let n = 15 - 15. Which is bigger: n or d?
d
Let g be (498/4)/((-204)/11016). Is g <= -6722?
True
Let n be (100/(-10))/150*5/(-12). Is 1/25 at most as big as n?
False
Let b(k) = -k + 21. Let i be b(20). Let w = 1011/4076 - -2/1019. Is i gr