-3014 or d?
d
Let o = -1249/42 - -59/2. Let u = -2/21 + o. Is 21 >= u?
True
Let d = -4963/1019337 - -3/1343. Which is bigger: 16 or d?
16
Suppose 285 + 108 = r. Is 394 not equal to r?
True
Suppose -r - 212 + 216 = g, 0 = 3*g - 2*r + 18. Is -94/43 > g?
False
Suppose -7*j + 33 = -9*j - 5*f, 2*j = 2*f + 2. Let h be (-4)/((j/(-8))/(6/1)). Do -47 and h have different values?
True
Let m(o) = -o**3 + 28*o**2 + 113*o + 169. Let j be m(33). Which is smaller: -1548 or j?
-1548
Let q = -553 + 1031. Let w = 1454/3 - q. Is w less than or equal to -3?
False
Let s = 18044 + -16998. Which is smaller: s or 0.04?
0.04
Let z(d) = -d**2 + 3*d + 11. Let o be z(5). Let p be ((o - 3) + 5)*(-6)/27. Are p and -10 unequal?
True
Let r = -86330207/2589 - -33345. Is r greater than or equal to -1?
True
Let x be (-1*(-18)/8)/(-50*(-1)/40). Suppose 0 = -4*q + q + 9. Which is greater: x or q?
q
Let m = -3553 + 3563. Are m and -6/65 non-equal?
True
Let s(w) = -2*w**3 + 9*w**2 - 9*w. Let c be s(6). Let h = 305/2 + c. Is -9 smaller than h?
False
Let u = -30034/3 - -10011. Are 11784 and u equal?
False
Let u = -64/5 + 107/15. Let j be (-5)/4 + 1 + 789/4. Let r = j - 203. Is r at least as big as u?
False
Let k = 183 - 174. Let c = 29 + -20. Suppose -4*m = -41 + c. Which is smaller: k or m?
m
Let j = -2.49 + 0.97. Let l = -1.82 - j. Which is bigger: l or -34/5?
l
Let s = -1 + 3. Let a be (1070/(-165))/(2/(-3)) - (2 + 7). Is s <= a?
False
Let l be 13*(-4)/(-2)*1. Let g(o) = 10 + 2*o - l + 6 + o**2. Let p be g(0). Which is smaller: -9 or p?
p
Let x(p) = 23*p + 26. Let d be x(6). Let n(l) = l**3 - 11*l**2 - 10*l - 42. Let v be n(13). Is v != d?
True
Let p = -235.945 - 0.055. Let z = 233 + p. Is -17 at most as big as z?
True
Let c = 4703/215 + -72/43. Let g be (-2)/(260/(-2866)) + -2. Let r = c - g. Which is bigger: -1 or r?
r
Let q = -4170 - -2434. Is -1735 >= q?
True
Let y = 6002 + -6004. Which is smaller: 3539 or y?
y
Let s = 410 - 194. Suppose s = -9*g - 837. Is g greater than -117?
False
Suppose -160*w = -163*w - 4*y + 17, -4*w + 21 = 5*y. Which is smaller: 1/2050 or w?
w
Suppose -4*z = -d - 1465, -z + 258 = -d - 1213. Let l = d - -60397/41. Which is greater: 1 or l?
1
Suppose 11243 + 20460 = 7*z. Let n be (-6)/(-4) - z/(-14). Let f = 39326/121 - n. Is f at least as big as 0?
True
Suppose 0 = -k - 631 - 205. Let w be (-9)/36 - 595/k. Let m = w - 9/22. Which is bigger: m or 0?
m
Let u be ((-8811)/18)/((-6)/4 - -1). Let f = u - 620. Let a = -2537/7 + f. Is -2 equal to a?
False
Let p be (-468)/78*(-23019)/18. Is p <= 7672?
False
Suppose -17*v - 7 = -24. Suppose 8 = 9*s - v. Which is smaller: s or -3/146?
-3/146
Let n = 2913 - 2819. Which is greater: -17 or n?
n
Let j = 18.538 + -19.548. Is j less than 1.7?
True
Suppose 0 = -t + 2*u - 2, t + 2*u - 3 = -5. Suppose 5*s + 18*o - 10625 = 13*o, 8494 = 4*s + o. Let m = 12727/6 - s. Which is smaller: m or t?
t
Suppose 0 = -y + 4*b + 384, 0*y + 2*b = -5*y + 1898. Let z = -612 + y. Are -231 and z equal?
False
Let f = 651 - -279. Suppose 0 = -6*z + 174 + f. Are z and 184 non-equal?
False
Suppose -199*p + 209*p = -130. Let u = p - -51. Is 32 at most u?
True
Let j = -129 + 90. Let w = 26 + j. Which is smaller: 2/7 or w?
w
Let g be -26 - ((-66)/22)/((-2)/(-4)). Is 216 at most as big as g?
False
Suppose g + 0 = 5. Let d(u) = u**2 - 6*u + 7. Let n be d(g). Let b be 0 + (1 - (-63)/(-54))/(2/(-7)). Which is greater: b or n?
n
Let q be -3 - (3 + (-2)/(-1) + -10). Let r be (((-48)/56)/(-1))/(2/8). Which is smaller: r or q?
q
Let m = -12.868 - -12.49. Is -0.08 greater than or equal to m?
True
Suppose 3*l + 54 = -3*f, 7*f = 3*f - 5*l - 72. Is f != 77?
True
Let j = 2308.41 - 2297. Let m = j - 11.3. Is -4/5 >= m?
False
Let l = -272/9 - -440/9. Suppose -5*m - 2*u = -101, 3*u = 7 + 2. Is l greater than m?
False
Suppose -37*y = -42*y - g + 7, -4*y - 3*g + 10 = 0. Which is bigger: y or 3/3734?
y
Let c be (2 - -93 - -2)*4. Let w be 6992/c + 10/5. Let z = w - 20. Which is greater: z or -1?
z
Let k = -0.9 + 13.9. Let z = k + -13.11. Let y = -32.7 - -32.5. Which is bigger: y or z?
z
Let n = -1737/616 - 117/56. Let s = n - -470/33. Let p be (1 - -8) + (-7)/(-7). Which is bigger: s or p?
p
Let u = -27633 + 6493791/235. Is u at least as big as 0?
True
Let i = 2041508/3 + -26559649/39. Let b be (-2 - (-522)/4)*4. Let r = b + i. Is r < 1?
True
Let t = -141 - 6. Let i = -148 - t. Which is smaller: 1/34 or i?
i
Suppose 42*w - 38*w - 48 = 0. Suppose -5*l = -3*b + 14, -w = -13*l + 10*l - 5*b. Is l smaller than 8?
True
Let m be 3/24 + (4809663/269064 - 18). Is m bigger than 1?
False
Suppose 0 = -2*s + 6 + 10. Suppose -k - 3*c - 12 = 0, 3*c = s*k - 7*k - 12. Is 4/191 > k?
True
Let d be (446/(-3))/1*(-65)/(-26). Let x = d - -12205/33. Is -3 < x?
True
Let i = 115.7 + -114. Let u = i - 1.584. Is 1 at most as big as u?
False
Let x(r) = -9*r + 6*r + 4*r. Let a be x(3). Let t be (8/15)/(1 - a). Does 0 = t?
False
Let x = 390 + 42. Let o = 431.9 - x. Which is smaller: -224 or o?
-224
Let f be (-612)/3 + (86 - 102). Is -225 less than f?
True
Let q = 2/92165 + 940031/2396290. Which is bigger: q or 1?
1
Suppose 3*s + 10*s = 3*s - 0*s. Which is greater: -3/2006 or s?
s
Let k = -92.7 - -92.8. Which is bigger: k or -848?
k
Let o = -3075 + 3524. Which is greater: o or -3/7?
o
Let z be -6 + (-6225 + -7)/8. Let b = z - -784. Which is greater: b or -3/80?
-3/80
Let v = 8/55 - 1/22. Let r be 1*(-2)/4 - (72 + (-2900)/40). Is v less than r?
False
Let y(r) = -424*r**2 + 25*r + 4 - r**3 - 1 + 425*r**2. Let l be y(5). Are l and 113/4 non-equal?
True
Suppose -9*s - 2583 + 693 = 0. Let x be (-10)/35 + (2 - (-381)/s). Which is greater: x or 1?
1
Let r(z) = z**2 + z. Let b(y) = -6*y**2 - 26*y + 29. Let t(i) = -b(i) - 5*r(i). Let x be t(-16). Which is smaller: -108 or x?
x
Let t = -760 + 764. Let v be (426/36 + 5)/(t/24). Which is greater: 99 or v?
v
Let w be (-2)/5 + (-104)/(-10) + -6. Let v be 180/(-105)*(-14)/w. Suppose v = -4*d + 42. Do 4 and d have different values?
True
Suppose -1203 = -21*v + 1695. Let b be v/161 - 20/7. Let d be 0 + 1 - 7/3. Is d at most as big as b?
False
Let y = -2 - -4. Let j = -10.661 - 14.339. Is y at least j?
True
Let o = -18 - -14. Let r be (o/3344)/(15/(-159)). Let y = r + 3/220. Is 0 <= y?
True
Let v = -0.3039 + 2.3039. Which is bigger: v or 4/7?
v
Let z = -667.4 - 36. Let o = 671 + z. Which is bigger: o or -2?
-2
Suppose 26*d = 263 - 237. Which is smaller: -3/7339 or d?
-3/7339
Suppose 866 = 2*t + 4*b, 5*b + 461 = -5*t + 6*t. Let i = t - 6177/14. Is 0 smaller than i?
False
Let q be -2 - (-14)/4 - ((-3536540)/99624 - -37). Which is bigger: -1 or q?
q
Let i = -223.3 + 6217.3. Is 0 at least i?
False
Let i = 18.8501 - 18.8501. Let s = 889.653 + 0.347. Is s at most i?
False
Let o be (15/(-180))/((-1)/(16/(-42))). Let l(s) = -s**2 - 23*s + 19. Let h be l(-24). Let x be 3/(-8) - h/(-8). Is x >= o?
False
Let z = -1911 - -1889. Are z and -0.2 unequal?
True
Let z = -0.118808 - -411.870808. Let p = 412 - z. Which is smaller: p or -1?
-1
Let w be ((-219965)/(-670) - -1)*(-3)/70. Let r = 395/28 + w. Are r and 1 equal?
False
Let c = 51097 + -18394843/360. Let h = -1/120 - c. Let u = -2728/5 - -546. Is h smaller than u?
True
Let u = -1683.09 - -1671. Let o = 1.09 + u. Which is bigger: 0 or o?
0
Suppose -322 = 4*a - 5*t + 50, 5*a = -2*t - 465. Let b = -122 - a. Is b at least as big as -26?
False
Let g = -20/229 - 46427/687. Suppose 15*a = -719 - 286. Is a equal to g?
False
Let r = 177 + -182. Let m be (-2 - r) + (-388)/20. Which is smaller: m or -15?
m
Let s = -38 - 24. Let t = s + 373/6. Let v be 0 - 1*2/(-2). Is v > t?
True
Let f = -5.86 - -8.86. Let y = -1 + 1. Do f and y have the same value?
False
Let p = 516347/5 - 103272. Suppose -w - 16 = 3*d, 2*w + 3*d = -0*d - 20. Which is bigger: p or w?
p
Let n be 5 + (-456)/88 - 4144/77. Is -1.7 >= n?
True
Let g = 884 + -883.8. Which is smaller: g or -27?
-27
Let p(i) = -48*i - 16. Let o be p(-3). Let v = 117 - o. Are -13 and v non-equal?
True
Let o = -6 + -70. Let j = 86 + o. Is j less than or equal to -0.09?
False
Let m = 1.32 + -1.28. Let z = -11 - -11.16. Let o = z + m. Is -2 at least as big as o?
False
Let n be (64506/(-117))/((-22)/(-33)). Which is smaller: n or 3/4?
n
Let t be 9/126*(-4)/(-3) - 1070/9471. Is t at most as big as 1