eater: 1 or w?
1
Let r = -199 + 204. Suppose r*y = -3*x - 54, 4*y - 3 = 9. Is x at least -23?
True
Let f = -280 - -285. Suppose 8*c = -f*c + 13. Which is smaller: c or 23/10?
c
Suppose 93*l = 96*l + 6, 2*l + 2350 = -3*h. Is -6 greater than or equal to h?
True
Suppose 34*f + 56 = 6*f. Let n = -42722/19 - -2246. Which is bigger: n or f?
f
Let l = -128 + 128. Let m = 192 - 391. Let g = -3185/16 - m. Which is bigger: l or g?
l
Let g(w) = w**2 - 19*w - 16. Let s be g(19). Let i = s - -29. Which is greater: 10 or i?
i
Suppose 18 + 14 = 5*o + a, -2 = -o + 2*a. Let y(r) = -r**3 + 7*r**2 + 7*r - 2. Let v be y(o). Let m be 18 + 1 + -25 + 1 + 81. Are v and m non-equal?
False
Let a(c) = 8*c + 41. Let d be a(-20). Which is greater: -0.2 or d?
-0.2
Let y = -62 + 78. Suppose y = 4*r, -2*c - 4*r = r - 218. Suppose 0 = 24*a - 21*a - c. Is a at most as big as 31?
False
Suppose -4*i - 2*k - 2 = 0, -3*i + 0*i + 5*k = -5. Suppose -3*b - 12 = -3*g, -5*b + 3*g - 1 - 13 = i. Let j be 2 + b + (-15)/(-5). Which is bigger: j or 2?
j
Let f = 126282.043 + -126178. Let m = f + 0.957. Is -3 at least as big as m?
False
Suppose 680 = -397*d + 431*d. Is 429/23 < d?
True
Let m(w) = -2*w - 5. Let r = -30 - -33. Suppose r*c = -c - 8. Let b be m(c). Which is smaller: b or 2/17?
b
Let s = -24 - -9. Let a be (-6)/((-10)/(-2)*6/s). Suppose -j - a*n + n - 2 = 0, 3*j = n + 1. Is 2/107 > j?
True
Let z be 81*195/(-6)*(-12)/(-30). Does z = -1053?
True
Let v = -8844 - -11229. Which is smaller: 2386 or v?
v
Let y = -47 - -51. Let n be (-194)/70 - (y + (-96)/21). Which is smaller: -2/11 or n?
n
Let v be (13 - 4)*(2 + 4 + 0). Let a be (312/v - 6) + (-156)/27. Which is smaller: a or -48/7?
-48/7
Let g(c) = c**3 + 3*c**2 - 4*c - 1. Let i be g(-4). Let u be (8 + -11)/(4719/(-242)) - (-791)/(-5226). Is i greater than or equal to u?
False
Suppose -6*b = -3*b + 93. Let a = -8 - b. Let m(t) = -t**2 + 4*t + 27. Let p be m(5). Which is smaller: a or p?
p
Let j = -65 - -95. Let n be (-2)/23 - (14/(-2) + 190076/26404). Is j < n?
False
Let k be (-640)/(-1376)*4/(-24). Let i(a) = a**3 - 12*a**2 + 12*a - 12. Let t be i(11). Is k at least as big as t?
True
Let h = 15/26 - 1049/286. Which is smaller: 1/3 or h?
h
Suppose -6*q = 300 - 132. Let d = q + 14. Which is smaller: -15 or d?
-15
Let b be 18*5/6*(-36)/90. Let u be (6/8)/(b/288). Is -35 at least as big as u?
True
Suppose 42*a - j - 10239 = 37*a, 4*a - 5*j - 8187 = 0. Does 2053 = a?
False
Suppose 0 = 594*s + 600*s - 1179*s - 60. Let n = -435 + 3081/7. Is s smaller than n?
True
Let r be 2/(-5) + 6/(-10). Let l be (-245)/35 - (-4)/(252/447). Is l smaller than r?
False
Suppose -5*y - 3 = -28. Suppose 2*t - y*f + 659 = 0, 5*t - 2*f + 0*f = -1616. Let i = t + 2915/9. Is 1 bigger than i?
False
Let q be 13/40 + (-4)/10. Suppose 0 = 10*r - 37*r. Is r <= q?
False
Let r = -20 - -38. Let l be 14228/(-66)*r/(-24)*2. Let i = l + -323. Are 1 and i non-equal?
True
Suppose 19*m - 30*m = 1837. Which is greater: m or -164?
-164
Let w = -0.1 + 0.097. Let k = -0.0035 - 276.9965. Let f = k + 277. Which is smaller: w or f?
w
Suppose -103*p = 139*p - 480 - 2182. Let c = 142 - 241. Let l be c/(-10) + 1/2. Which is bigger: p or l?
p
Suppose -335*s + 54 = -333*s. Let h(p) be the third derivative of p**6/40 + p**5/60 - p**4/24 + p**3/6 - 8*p**2. Let x be h(2). Is s >= x?
True
Suppose 0 = 96*x + 40*x. Let c(m) = -m**3 - m**2 - m + 50. Let p be c(0). Let w be (-81)/p - (-9)/6. Is x greater than w?
True
Let k be 207/(-6) + 2 - (2 + (-24)/16). Is k at least -14?
False
Let y = -785 - -772. Is -117 >= y?
False
Let i be 117/(-90883)*28/(-42). Which is smaller: 0 or i?
0
Let b = -7878 + 23602/3. Suppose -10*v - 70 = -3*v. Is b at least as big as v?
False
Let n be 77/385*1220*1. Do n and 235 have the same value?
False
Suppose 0 = 5*z - 4*z + 2*f - 109, -z - 5*f + 100 = 0. Let b = -92683 + 1573662/17. Let y = b + z. Do y and 1 have different values?
True
Let w(b) = -5*b + 24. Let l be w(0). Suppose 2 = d + 4*q + 3, 5*q = 2*d - l. Which is greater: 9 or d?
9
Suppose -207*l + 209*l = -1474. Let x = l + 1012. Is 273 > x?
False
Suppose 3*t = 5*c - 12 + 14, 4*t - 16 = 0. Let r be 2/c + (-656)/165 + 3. Is -1 at least as big as r?
False
Let m = -21.913 + 22.2. Let v = m - 0.477. Which is greater: 1/4 or v?
1/4
Let r(n) = n**3 - 12*n**2 - 3. Let b be r(12). Let p be (-40)/(-25) - b/(-5). Suppose -5*a + p = -3*c, 3*a + 15 = -2*a - 5*c. Do a and 0.2 have the same value?
False
Let y(b) = -b**2 + 7*b + 38. Let d be y(11). Let s be -5 - (17*d)/(-6). Which is smaller: s or -1?
s
Suppose 4*w + 6 = -2*b, 156*b - 159*b - 4 = w. Which is greater: 51/277 or b?
51/277
Let f = 21761 + -21761. Is -1/14946 > f?
False
Let g(d) = -18*d - 2. Let v be g(-3). Let l = -4072 + 4071. Is v equal to l?
False
Let o(g) = -10*g. Let p be o(-3). Let c be 2/(-10) + (14166/p - -4). Let u be (1 - c/8)/6. Is -9 less than u?
False
Let z = 3929 + -3900. Which is smaller: -1 or z?
-1
Let t = 6.8141 - 0.1841. Which is bigger: t or 0.4?
t
Let w be (-17 - -1 - -4)*6/(-8). Suppose 4*j = 3*g + 14, 6*j - 27 = 4*g + w*j. Is g bigger than 16?
False
Suppose -108*y = -57*y - 69207. Are 1357 and y nonequal?
False
Let o be 2*(2 + (-19)/2). Let c = -105484/3 - -35145. Which is smaller: c or o?
c
Let s(v) = 52*v**3 + 11*v**2 - 68*v + 64. Let d be s(5). Is 6498 at least d?
False
Suppose -7*b + 2*b - 2*m = -5, -4*m = 5*b - 5. Let l(u) = -3*u**3 + 3*u**2 + 4*u - 1. Let g be l(-4). Let d = 6914/31 - g. Is d <= b?
True
Let k = 399.5 - 318. Let r = k - 0.5. Which is smaller: 0 or r?
0
Let m = 1501/4413 + -10/1471. Which is greater: m or 54.46?
54.46
Suppose 4373 + 39727 = -20*y. Which is smaller: y or -0.1?
y
Let f = -3135 - -2395. Which is greater: f or -2/5?
-2/5
Let n(w) = 5*w**3 + 10*w**2 - 3*w + 29. Let j(u) = u**3. Let t(o) = -6*j(o) + n(o). Let i be t(10). Let k = -34 - -168/5. Which is greater: k or i?
k
Let b = 11.434 - -0.066. Let v = -8.2 + b. Let h = 0.7 + v. Is 0.5 > h?
False
Let b(x) = -x**2 + x + 12. Let r be b(-3). Is 664/3 less than r?
False
Suppose 221100 = 600*b - 550*b. Which is bigger: b or 4425?
4425
Let r(x) = x**3 + x**2 - 114*x + 1100. Let f be r(10). Is f greater than 1062?
False
Suppose -199 = -70*v + 73*v - 2*l, 179 = -3*v - 2*l. Which is smaller: v or -34?
v
Suppose -13*x - 103 = 1. Let k = -524 + 501. Which is smaller: k or x?
k
Let o = 143 - 129. Let t(c) = c**2 - 14*c + 35. Let k be t(o). Is k at most 33?
False
Suppose -2*r + 3*r + 5*d = -4, 0 = -2*r + 5*d + 7. Suppose -7*q - 5*a - 68 = -4*q, q = -5*a - 16. Let j be ((-1)/(q/(-6)))/(-3). Is j bigger than r?
False
Let y = 1/15450 + 27817/47632350. Is 1 at most as big as y?
False
Suppose 2*v = -v + 3. Let o be (-33 - -26 - -13) + 615*(-2)/206. Which is bigger: v or o?
v
Let x = 40 - 39. Let q be ((-7)/819)/(((-202)/(-690))/x). Let j = 10/101 - q. Is j bigger than 0?
True
Suppose -33*y + 9350 = -9213 - 9091. Is 838 greater than or equal to y?
True
Suppose 0 = -83*c + 74*c - 72. Let u be (c/12*1)/(-37). Is u <= -1?
False
Let v = -1/39 + 29/117. Let a = -0.968 - 0.052. Let k = a - 5.98. Is v not equal to k?
True
Suppose p = 221 - 13. Let a = -105 + p. Let m = -85 + a. Are 92/5 and m unequal?
True
Suppose 0 = 5*d + y + 8737, -3502 = 2*d + 37*y - 33*y. Are d and -1746 equal?
False
Suppose 8*z - 1162 = z. Let j = -179 + z. Which is smaller: -14 or j?
-14
Let m be (78 - 0)/(-4*45/24 - -9). Suppose -5*i - 10 = -35. Suppose 0 = -i*n - 2*u + 253, -4*u + u + 99 = 2*n. Which is smaller: n or m?
n
Let c(h) = 13*h + 127. Let d = -420 + 414. Let m be c(d). Are m and 0 unequal?
True
Let l = 240097 + -239790.619. Let p = 0.381 - l. Is -0.1 > p?
True
Let r = 128742365/38 - 3388603. Let f = 646 + r. Which is greater: 0 or f?
0
Let w be ((-20)/(-240)*-12)/((-14)/3930). Is w at most as big as 282?
True
Let t = -822 + 823. Let f be ((-6)/(-15))/(1/65). Suppose f*r - t = 25*r. Is r < -2?
False
Let f = -25 + 42. Suppose 3*q + 5 = -2*s, -3*s + f = q - 7*s. Is q less than or equal to 2?
True
Suppose 0 = -3*j + 88 - 421. Let t = 276 + -139. Let y = j + t. Which is greater: -2/9 or y?
y
Let m = 1.818 - 1.6. Let b = -0.318 + m. Is b equal to 160?
False
Let u = -9 + -89. Let v be (-4)/3*(-21)/u. Suppose 4 = -s - n, 7*s - 5*s = -5*n - 20. Does s = v?
False
Let i be 3/27*3*-201. Let p = 6 - i. Is 76 >