eater: 64/491 or f?
64/491
Suppose 0 = 2*d + 2*r + 532, -91*d = -86*d + r + 1334. Which is smaller: d or -2/43?
d
Let x(q) = 3*q**2 + 14*q + 33. Let p be x(-7). Let w = 73 - p. Which is greater: -8 or w?
-8
Let z = 4711 - 4717. Is -7/11 bigger than z?
True
Let r = -3627897312 - -1135533558870/313. Let h = 5432 - r. Which is smaller: h or 0?
0
Let f = -47.7 + 44. Let k = f - -0.7. Let g = -3.2 - k. Which is greater: -17 or g?
g
Let v be 10174*(234/52)/(-9). Does -5086 = v?
False
Let u be -3*(-206)/(-10) - (-32)/40. Let h(s) be the first derivative of 10*s**2 + 3. Let j be h(-3). Does u = j?
False
Let z = 17 - 14. Suppose 7 = 5*b - 3*t - 3, b + z*t = 20. Suppose 4*o + 20 = -5*d, o + b = d + 2*d. Is -2/17 less than or equal to d?
True
Let o = -2226.4 + 4015. Let x = o + -1750.542. Let v = 0.058 - x. Are 0.2 and v non-equal?
True
Let w = 21903 - 21925. Is w less than -1006/47?
True
Let r = 940367/8 + -117889. Is r at least -342?
False
Let k = 207 + -209. Let v be (k - 0)/((12/(-2))/6). Is 25/8 at most as big as v?
False
Let a = 2026.1 - 1857. Let u = -169 + a. Is u < 127?
True
Let p be (-14)/(32984/(-9139)) + (21/4)/(-3). Is p less than 2?
False
Suppose 34 = a - 13. Suppose 0 = -2*m + o - 0*o + a, m = -3*o + 13. Let n be (m/10 + -2)*4/4. Do n and 1/5 have the same value?
True
Suppose -3*y + 17957 - 17828 = 0. Let o be (-1*2 - -2) + 45. Is o bigger than y?
True
Let j be (-2 - (-70)/25)*5 + -1. Suppose -4*b + 13 = -j*g - 6, 0 = 3*b + 2*g + 7. Which is bigger: 4/21 or b?
b
Let g be (20 + 4)/(-1 - (-45)/43). Suppose -2*q = -8*q + 114. Suppose g = 13*l - q*l. Is l at least as big as -86?
True
Suppose 3*x + 5*r = -287, -468 = 14*x - 9*x - 2*r. Which is smaller: 18 or x?
x
Suppose 0 = 5*f - f - j - 451, -5*j + 97 = f. Suppose 0 = 4*b + 3*r - 464, 2*r = -227*b + 224*b + 346. Is b < f?
True
Let c be ((-2)/5*-3)/(16/120). Let d be 0 + (63/c - -142). Are d and 149 non-equal?
False
Let u = 23.6947 + -0.2247. Let n = u + -24. Let y = -0.7 - n. Which is greater: -0.1 or y?
-0.1
Let i = 51 + -83. Let a = 25 - 58. Which is smaller: a or i?
a
Let c(q) = -373*q + 3978. Let x be c(44). Is 2 smaller than x?
False
Let r(z) be the third derivative of 22*z**5/15 + z**4/8 + 2*z**3/3 + 64*z**2 - 2*z. Let o be r(-2). Is o less than or equal to 351?
True
Let h = -18 - 202. Let r = h - -219.9. Is -13 greater than r?
False
Let s(n) = -n**3 - 5*n**2 + 6*n + 1. Let d be s(-6). Let x = -20664 - -8306929/402. Which is bigger: x or d?
d
Let s = 135233261/4262 - 31730. Which is smaller: 1 or s?
s
Let v be (-1 - 5794/(-9)) + (-42)/(-189). Let a = v + -860. Is -219 at most a?
True
Let a be (102/12)/(11223/(-1260) + 9). Which is bigger: 91 or a?
a
Let x(l) = -l + 2. Let w be x(-18). Suppose 5*z + 30 = w*z. Which is greater: z or -8?
z
Let x = -843485 - -34851956717/41319. Is x < 1?
True
Let z = -187.84 + 22.74. Let h = z + 165. Are -19.5 and h nonequal?
True
Let j be 1/((72/32)/9) + (9 - 12). Which is greater: j or -3/22?
j
Let d = -6 - -17. Suppose 0 = 4*t, -2*t + 55 = 5*g - 4*t. Let f = -14 + g. Is d greater than or equal to f?
True
Let x be 2280/(-50) + 47 - (-2)/(-10)*2. Are x and -12/233 unequal?
True
Let v(m) = m**3 - m**2 + m + 9. Let f be v(0). Suppose -5*o + o = -3*o. Let p be (2 + o)*(-129)/(-86). Do f and p have different values?
True
Let y = 0.03403 + 1.96597. Let k = 30/481 + -140121/2405. Let w = -58 - k. Which is greater: w or y?
y
Suppose 4156 + 2168 = -17*j. Which is smaller: j or -374?
-374
Suppose 0 = 16*m + 288 - 272. Is m smaller than 24.6?
True
Let z be (-612)/168 + (20/14)/5. Are -3 and z equal?
False
Suppose -17*z - 485 + 190 - 419 = 0. Are z and 53 unequal?
True
Suppose -16109 = -5*u + 208*r - 212*r, -3*u = -3*r - 9687. Which is smaller: 3227 or u?
u
Let w = 1121/4 + -282. Let q = -24.03 + 0.03. Let m = q + 23. Is m at least w?
True
Let g(t) = -t**2 + 4*t. Let u be g(2). Suppose -x + u*j - 2*j = -76, 0 = -2*x + 5*j + 156. Which is smaller: 69 or x?
x
Let k be (-2)/(-5) + 6/(-15). Let c be 49/833*(-1)/3. Is c at least as big as k?
False
Let x be (-1 - -1) + 17 + (-9142)/434. Is x <= -4?
True
Let l = 38.829 + -1.629. Is -3 not equal to l?
True
Let s be (6 + 264/(-40))/(3/(-75)). Suppose -s*l + 9*l = 114. Is -88/5 < l?
False
Let h be ((-44560)/(-8))/(73/(-10)). Let u = h - -763. Suppose 0 = 5*o + 5*p - 25, 5 + 10 = -5*o + 3*p. Which is smaller: u or o?
u
Let b be (((-129960)/(-925))/(-12) - -4) + 8. Which is greater: -1 or b?
b
Suppose -10*t + 206 = 66. Suppose -11*w = -t*w + 9. Suppose 0 = -w*d - 5 - 10. Which is smaller: -24/5 or d?
d
Let u = 0.9662 - -0.0338. Which is smaller: u or -3/1556?
-3/1556
Suppose 7565 = -4*q + 3*w - 842, 0 = 3*q - 3*w + 6306. Is q bigger than -2100?
False
Let k = -123.201 - -123. Let d = k - -2.201. Which is smaller: d or -1?
-1
Let n(u) = 14*u**2 - 46*u - 35. Let s be n(4). Which is smaller: s or 708?
s
Let n be (-83)/(-5) + 2/5. Let v(j) = 17*j**2 + 12*j - 18. Let b be v(3). Suppose -2*u = -11*u + b. Are u and n unequal?
True
Let y be (1 - -3 - -1) + -1. Let d = -1400265 + 11185835/8. Let v = -2033 - d. Is v less than y?
True
Let h = -22 + 37. Let u = -1.02 + 17.02. Let m = h - u. Is 1/4 smaller than m?
False
Suppose 4*p + 2 = 2*p. Let i(g) = 21*g - 1. Let b(u) = 61*u - 3. Let r(z) = 6*b(z) - 17*i(z). Let y be r(p). Is -3 at most y?
False
Let k(x) = 24*x**3 - 2*x - 1 + 2*x**2 - 9*x**3 - 4*x**2. Let n be k(-1). Let z be 1 + -18 - ((-6 + -1 - 5) + 9). Which is smaller: n or z?
n
Let v = 7927/910 + -87/10. Let p = -162 - -163. Which is bigger: p or v?
p
Let g(u) = -2*u**3 + 2*u**2 + 6*u + 7. Let x be g(-5). Let j = -188 + x. Let q = -55 + j. Do q and 34 have the same value?
True
Let n = 1 + -1.1. Suppose -21*k - 9 = -24*k. Suppose -k*p = -7*y + 3*y - 27, 5*y + 9 = p. Which is bigger: p or n?
p
Let b be (63 - 57)*((-117)/9)/(2 + -1). Let y = -7 - 68. Which is greater: y or b?
y
Let a(h) = -h**2 - 15*h - 2. Let l(o) = 5*o**2 + 20*o - 5. Let j be l(-4). Let y be a(j). Let d = 115 + -68. Do d and y have the same value?
False
Let r = 603 + -602. Let y = 1524151/44525 + -445/13. Let g = 164/685 + y. Which is smaller: r or g?
g
Let c = -433 + 33. Let h = -397.55 - c. Which is bigger: 0.1 or h?
h
Let l = -3.7 + 3.75. Let x = l + -0.02. Suppose 4*v - 2*i + 4 = -4, -3*i = -3*v. Which is bigger: v or x?
x
Let d = -7073 - -6947. Which is smaller: 3 or d?
d
Let s = 5.35 - 4.35. Let b = -31.237 - 0.263. Which is greater: s or b?
s
Suppose -23*c + 424 = -1738. Let s = c + -117. Is -5 smaller than s?
False
Let u = -0.29 + -0.38. Let g = 112.53 - 113.53. Which is smaller: g or u?
g
Let g = 1644 + -1096. Let t = g + -548. Are 222 and t nonequal?
True
Let h = 32 + -31. Let x = 257 - 305. Is x < h?
True
Let j = -20002 + 20002.4. Is 420 less than j?
False
Let c = 613 - 911. Let n = c - -300. Let g = 2/167 + 324/835. Which is greater: g or n?
n
Suppose -5*v = -25, 4*d = -3*v - 0*v - 777. Let r be 1036/d + 3 + (-116)/36. Is r at most as big as 2/13?
True
Let v be (-1 - -7) + ((-25)/(-6))/((-216)/324). Which is greater: v or 13.7?
13.7
Suppose -4*p + 4*w = -804, 362 + 257 = 3*p + 5*w. Let o = -229 + p. Is o smaller than -26?
False
Let p = -845165/266898 - 2/44483. Which is smaller: p or 3/47?
p
Suppose 6887 = 132*t - 2749. Which is greater: t or 942/13?
t
Suppose -51*c = -39*c - 66*c + 31752. Which is bigger: c or 584?
c
Let a be (-1)/(1 - 56/57). Let w = a - -47. Let s be (-7)/((-28)/(-8))*w/(-44). Which is smaller: s or -1?
-1
Let p be -2*(-4)/(-4)*-1. Suppose 5*h - 75 = p*b, -3*b - 55 - 48 = 2*h. Let a be ((-2)/(-18))/((-5)/b). Are 1 and a unequal?
True
Suppose -8*d - 90 = -10. Let m be (-2)/16*(-4)/d. Let w = -38 + 75/2. Which is greater: m or w?
m
Let s = 0.181 - 35.181. Let t = -35.08 - s. Is t greater than or equal to -9?
True
Let l be 47/(-517)*(1167/591 - 2). Which is bigger: 1 or l?
1
Let v = 3488 + -3669. Is -1992/11 equal to v?
False
Let q = 20731 - 22413. Is -1680 <= q?
False
Let c be (-15)/12 - (-2*(-128187)/(-204984) + 0). Is -1 bigger than c?
False
Let o = 259.2 - 259.4. Is -2/635 != o?
True
Let w be (6 + 456/(-72))/((-1)/(-10047)). Is w equal to -3349?
True
Let x = -1.6975 + 21.6975. Which is smaller: x or -2/741?
-2/741
Suppose -3*m = -4*x, -22 = -0*x + 2*x + 4*m. Let k(b) = -3*b + 4*b - 4 - 2 - b**3 + 12*b + 12*b**2. Let g be k(13). D