: -10 or y?
y
Let d(f) = f**2 - 2*f - 25. Suppose 0 = -32*x + 35*x + 18. Let g be d(x). Suppose 5*v + 21 = -3*w, 0*v = 5*v + 4*w + g. Which is bigger: -2 or v?
-2
Let b = 20421 + -428843/21. Is -0.153 less than b?
True
Let d = 6577.595 - 6578. Which is smaller: d or 8?
d
Let w(o) = 35*o + 565. Let x be w(-17). Let c be 2*2*350/(-40). Are x and c non-equal?
True
Let c = 11741 - 11742. Is c < -11/907?
True
Let v = 84 - 84. Suppose -5*o = -5*j - 70, v*j = -4*j + 16. Suppose -b = -10*b + o. Which is bigger: 3/5 or b?
b
Let l = -5.985 - -6. Let k be (-5 - -1)*((-147)/(-150) + -1)*5. Which is smaller: l or k?
l
Let g = 283 + -235. Let m = -206 + g. Are m and 0 unequal?
True
Let v be (3353/(-35))/((-24)/(-5) + -5). Is v at least as big as 473?
True
Let y be 1*(-5 + 0) + 108953/6032. Is 12 at least as big as y?
False
Suppose 2 = -27*z + 29*z. Suppose 3*l - z = 5. Suppose 0 = 2*o + l*o - 48. Which is smaller: o or 25/2?
o
Suppose -f = 922 + 2140. Let p be (-2700500)/882 - (-2)/(-9). Let n = p - f. Do -1 and n have different values?
True
Let r(q) = 15*q - 26. Let i be r(2). Let n(h) = -h**3 + 6*h**2 - 3*h - 18. Let j be n(i). Which is bigger: j or 14/11?
j
Let m(t) = -t**2 + 26*t - 19. Let a be m(25). Suppose -n + 0 - a = 3*c, 24 = -3*n - 3*c. Is n greater than -11?
True
Let o be (-2)/(-3)*(442 + -16). Let a = 325 - o. Is a less than 40?
False
Suppose n + 3*m - 14 = 0, -4*n = n - 5*m - 10. Suppose -40 = -3*v - 5*j, -22 = 4*v + n*j - 67. Suppose 17*l - 18*l - v = 0. Is -5 less than l?
False
Let r(t) = 2*t**2 + 1173*t - 14. Let s be r(17). Which is smaller: 20504 or s?
20504
Let n = 9.293 - 9.3. Let j = 125.993 - n. Let o = -126.5 + j. Do o and 1/3 have the same value?
False
Let d(u) = u**2 - 5*u + 5. Let q be d(4). Let l = q - 2. Let x = -450 - -449.94. Is x at most as big as l?
False
Let s = -0.15 - 0.55. Let q = s - -0.5. Let b be (-19)/((-19)/21) + (-8)/2*-1. Is b at least q?
True
Let g(m) = 2*m**3 + 45*m**2 - 31*m + 58. Let c be g(-23). Suppose 0 = -a - c + 293. Which is greater: a or 59?
59
Suppose -u + 10*u - 18 = 0. Let z be (0 - u)*3/(-6). Which is smaller: -67 or z?
-67
Let q = -23/3 + 8. Let o(v) = 5*v - 77. Let k(x) = -x + 13. Let p(j) = -34*k(j) - 6*o(j). Let u be p(-5). Which is smaller: q or u?
u
Let x be (4/(-3))/((10/225)/((-23)/(-345))). Which is greater: x or -102/67?
-102/67
Let q be 1038/(-21) + 4/(-7). Let v be -11 + 13 + q/21. Let l be (-608)/(-532) + (-2)/14. Which is smaller: l or v?
v
Let o be 4 - 671 - ((1 - -1) + -2). Which is bigger: o or -669?
o
Let b = -2054 - -2093. Which is smaller: b or 119/3?
b
Let c = 0 + 3. Let w = -2.1936 - -2.2306. Which is greater: c or w?
c
Suppose -3*s + n = -964, -2*s + 0*s + 626 = -4*n. Let v be ((-6)/8)/(s/(-228)). Do v and 2 have the same value?
False
Let v be (36/(-1449))/(5/(-5)). Is 1 > v?
True
Suppose -9*g + 13*g = 5*b + 944, 5*b - 211 = -g. Let d be 1/(-2) - (-99)/g. Which is smaller: 5 or d?
d
Let x = 95 - 111. Let b = x + 13. Let h be b/4 - 34*5/(-120). Which is greater: h or -43?
h
Let y = 837 + -854.4. Which is greater: 1/11 or y?
1/11
Suppose 5*k - 5*o = k, 2*k + 5*o = 0. Let y be 4/(-3) - (2/(-6) - k). Which is smaller: -32 or y?
-32
Let l be (-6 - (-5 - 1)) + 32 + 5. Is -36 <= l?
True
Suppose -123*y = -4586 - 17677. Which is greater: 77 or y?
y
Let j(r) = -r**3 - 10*r**2 - 129. Let b be j(10). Which is smaller: -2130 or b?
-2130
Suppose -54*b = 92*b - 32*b - 19494. Let d = 11 + 161. Which is bigger: d or b?
d
Let m(p) = -p**3 + 15*p**2 - 2*p + 16. Let v be m(15). Let c be 0/1*7/v. Which is greater: 5/39 or c?
5/39
Let o(r) = r**3 - 25*r**2 - 25*r - 17. Let t be o(26). Suppose 9*q - 6*q - t = 0, -2*l = 4*q - 14. Which is greater: -0.3 or l?
l
Suppose -4 = 2*y - 4*p, 0 = 2*y + 4*p + 1 - 13. Let i be 1/(4/24*y). Let k = -597 - -597.3. Is i greater than k?
True
Let n be (-6 + -1)/(-5*(-10)/(-1050)). Suppose -3*t = -4*s - t + 182, -4*s - 5*t = -n. Are 41 and s equal?
False
Let s = -2526 + 5706. Is s at most as big as 3180?
True
Suppose -5*o = q + 190, 0 = -8*q + 3*q - 2*o - 1019. Is q greater than or equal to -213?
True
Let q = 13735 + -13562. Which is greater: -0.4 or q?
q
Let p(t) = -t**3 - 4*t**2 + 9*t + 9. Let g be p(-6). Suppose 6066 = 24*l - 2694. Let a = l - 339. Is g bigger than a?
True
Suppose -p = z + 1, -4*p = -2*z + 4*z - 6. Suppose -10 = p*y - 3*f + f, 0 = -3*y + 3*f - 6. Let m be (9/(-30))/(y/8). Which is greater: -3 or m?
m
Let w be (10/10)/(24/(-24)). Is 5/252 not equal to w?
True
Let l = -573 + 594. Suppose -l*n - 1517 = 3796. Is n bigger than -254?
True
Let q = -272 - -274. Suppose -v + 5 = 0, -4*c = -q*v - v + 43. Is -4 at least as big as c?
True
Let q = 124 + -125. Let g be (-1246)/(-616) - (1 + q + 2). Let k = 12 + -12. Which is greater: g or k?
g
Let v = 74 + -182. Let t = v + 115. Let z be -2*8 - (3 - -1 - t). Is z < -13?
False
Let w = 0 + -1. Let c = -0.04461 + 33.04461. Is c smaller than w?
False
Let a(g) be the first derivative of -g**4/4 + 2*g**3 + 3*g**2 + 6*g + 12. Let n be a(7). Let m be (-25)/19 - 0 - n. Which is smaller: 1 or m?
m
Suppose -r - n = -0*n + 6, -9 = 4*r + n. Let g be 3 + -4 - (r + 3). Let i be g + (3/(-18))/((-1)/29). Which is smaller: i or 3?
i
Let c(s) = 255*s - 538. Let i be c(3). Which is bigger: 3 or i?
i
Let m = 968 - 282. Let c(s) = 684*s**2 + 530*s - 528. Let j be c(1). Is m >= j?
True
Let r(t) = t**3 + 4*t**2 - 13*t - 10. Let a be r(-6). Let f(s) = -s**3 - 3*s**2 + 3*s - 6. Let i be f(a). Let z be (i + 10/(-5))/19. Is 0 not equal to z?
True
Let s(f) = -57*f + 2112. Let r be s(-4). Are r and 2340 equal?
True
Let z be ((-1)/(-19))/(1/(-2)). Let k = -120 - -152. Suppose k*s + 40 - 8 = 0. Which is smaller: s or z?
s
Let a(o) = -o**2 + 26*o + 84. Let t = -491 + 520. Let w be a(t). Let n = -2244 + 29142/13. Is w != n?
True
Suppose 3*y = -2*q - 2, -4*q - q = -y - 12. Let a be (-2 + 15/6)*(2 - q). Suppose 0 = u + 5*o - 11, 4*o - 8 = -a*o. Does u = 2/93?
False
Suppose 8*p - 3*p = -4*z - 42, 2*p = -5*z - 61. Let n(v) = -3*v + 7. Suppose -16 = -r + h - 7, 0 = -3*r + 5*h + 33. Let d be n(r). Is d >= z?
True
Suppose -539 = -2*c + 3*p + 723, 0 = -c - 4*p + 620. Is 629 < c?
False
Let w be 2/(-1)*66/12. Let o = -2 + 106. Let u = -115 + o. Is u at least as big as w?
True
Let i = -296 + 310. Which is bigger: -142 or i?
i
Let j = -224 - -218. Let l be 28/((220/(-30))/(4/j)). Is l not equal to 2?
True
Let l(n) = -2*n - 91 - 2*n + 222. Let o be l(33). Which is smaller: 3/70 or o?
o
Suppose -15*r + 279180 = -7*r + 14*r. Which is smaller: r or 12689?
12689
Let c be 4/((22/4)/(-11)). Suppose 3*i - 2*u - 9 = -23, i + 3*u - 10 = 0. Let y be 2/(i + (-5)/(-3)). Which is smaller: y or c?
c
Let a = -156554221171/695638595547 + 1/109325569. Let r = a - -2/707. Which is smaller: r or 4?
r
Let i be (7/((-42)/3))/(5/(-26)). Which is greater: i or 2/107?
i
Let k = -2599 + 2721. Which is smaller: 2/15 or k?
2/15
Let f be -1 + (264/(-220))/(9/255). Which is greater: -118 or f?
f
Let a be (14 - (-646)/(-38))/(106/78). Which is smaller: a or -3?
-3
Suppose -5 = -4*v + 5*v. Suppose -a = -6*a + s + 121, 0 = -2*a + 2*s + 50. Suppose -a = 5*l - r, -2*l + 6*r - 7 = 3*r. Do l and v have the same value?
True
Let t(o) = -o**2 - o + 11. Let x be t(-10). Let p = 18504 + -18585. Is x not equal to p?
True
Let d = -11 - -8. Suppose 4*g - 113 + 185 = 0. Let u be 5 + 69/g - 5. Which is smaller: u or d?
u
Let o(h) = -h**3 + h**2 + 6*h - 1. Let u be o(5). Let f = 784 - 780. Let i be 3/f + 8/(160/(-1415)). Which is bigger: i or u?
i
Suppose 2*i + 3*f + 315 = 0, 5*i - 23*f = -28*f - 775. Which is bigger: i or -148?
-148
Let j be (3 - 1546) + (-45)/(-63)*7. Are j and -1533 unequal?
True
Let z be 0 - (-3)/(-1) - (-20 + 10). Suppose -z*i + 280 - 245 = 0. Are 7 and i equal?
False
Let w = -8.1 + -2.6. Let n = -45 - -34.4. Let b = w - n. Which is smaller: b or -2/19?
-2/19
Let k be 4*(21/6 + -4). Suppose -o - 11 = 3*b, 8 = 3*b + 2*o + 21. Let h be (k/b)/((-6)/(-297) + 0). Is 33 greater than h?
False
Let n(l) = -l**2 + 19*l + 21. Let q be n(20). Let f(o) be the first derivative of -32*o**3/3 + 2*o**2 - o - 6. Let s be f(q). Is -27 > s?
True
Let x = 415 + -405.22. Let p = 0.78 - x. Let h = 2.6 - 7.6. Is p greater than or equal to h?
False
Suppose -399*t + 404*t - 12045 = 0. Suppose t*s - 2407*