774.15 + 3774. Is r <= 0?
True
Let l be (-48)/(-54)*3/372. Suppose 5*m + 3*n - 5 = n, 3*m - 4*n - 3 = 0. Which is smaller: m or l?
l
Suppose -5*z - 11*i = -6*i + 35, -8*z = -4*i - 40. Is 400 greater than or equal to z?
True
Let l = 68.43 + -101.7. Let b = l - -33. Let x = -0.63 + b. Are x and 1/3 equal?
False
Let n(y) = -2*y**2 + 11*y - 5. Let m be n(4). Suppose 59 = m*l - 39. Which is smaller: l or 25/2?
25/2
Let d = 11 - 12. Let m = -497949 + 16435528/33. Let n = 292/3 - m. Is n >= d?
True
Suppose 52*d + 4320 = d + 321*d. Does d = 181/11?
False
Let u = -0.2 - 0. Let q = 0.8 - u. Let c = -6235 - -6249. Is c less than q?
False
Suppose -117*h + 1414 = -944 - 918. Which is greater: 26 or h?
h
Suppose -3*k + 3*z = -0*z - 3, -5*k - 4*z - 4 = 0. Suppose k = 14*t - 123 + 151. Which is greater: -178 or t?
t
Let f be 2*((-49)/7 - 15/(-2)). Let n be (2/(-241))/((-2)/3). Is f less than n?
False
Suppose 213*b + 16440 = -2943. Which is bigger: b or 0?
0
Let b = -34.794 + 34.47. Is b less than or equal to 0.4?
True
Suppose -5*v - 9*g = -7*g - 204, -198 = -5*v + g. Let b = v - 39. Which is greater: -4/47 or b?
b
Suppose 5*v = -4*x + 940, 7*x = -5*v + 5*x + 930. Suppose -40 + v = 8*l. Suppose -7*j = -18 + l. Do j and 3 have the same value?
False
Suppose -n = 3*n - 492. Let p(w) = -3*w**3 + 76*w**2 - 33*w + 130. Let z be p(25). Let v = z + n. Which is greater: 2/3 or v?
v
Let m = 0.0545 - 46.3545. Let p = m + 46. Let c be 8/(-20) + (-26)/(-90). Is p bigger than c?
False
Let p(g) = g**3 - 3*g**2 - 3*g + 3. Let v be -1*(-5)/(-2)*996/(-415). Let m be p(v). Is m > 92?
True
Let b(d) = -311*d + 1838. Let r be b(4). Is 587 at least r?
False
Let m = 20 - 21.02. Let x = 0.92 + m. Is -2/19 at least x?
False
Let g = 4/28615 + 882089/35597060. Which is smaller: g or 0?
0
Let q(c) = c**2 + 7*c - 4. Let h be q(-9). Let r be ((-8)/h)/(10/35). Let j be r/(4 - (-152)/(-36)). Is 8 bigger than j?
False
Let q = -50 + 43. Let l be -2 + (-15)/(-3) - q. Let s = -19 + l. Is s at most -10?
False
Let d(z) = -7*z**2 + 59*z - 108. Let w be d(6). Suppose 4*v + v + 51 = 3*b, -5*b = -5*v - 75. Which is smaller: w or b?
w
Let k = -7026 - -2480177/353. Which is smaller: -1 or k?
-1
Suppose 0 = -6*x - 0*x - 0*x. Let j = 24 - 30. Let n = x + j. Are n and -27/4 equal?
False
Let x = 1.887 + 0.113. Let p = -58 + 81. Let g = 25 - p. Is x != g?
False
Let y be (((-3)/(-6))/(6/16))/(4/(-6)). Is y smaller than 13?
True
Let o = 24211/7 - 24226/7. Suppose -j = -0*j + 2. Which is greater: o or j?
j
Let m = -414226/225 + 1841. Let k(b) = -13*b - 40. Let q be k(-3). Which is smaller: q or m?
q
Let j = -7588583/1921453 - -8/32567. Which is greater: j or -5?
j
Let i(k) = -2*k**2 - 40*k. Let v be i(-18). Let u be (-4)/v*20/85. Is 0 less than u?
False
Let d = -2257 + 2256. Are d and 4/6477 non-equal?
True
Let f = -9874 + 20502. Which is bigger: 10627 or f?
f
Let o be (-1)/(((-6)/(-2))/18). Let p(x) = 2*x + 16. Let i be p(o). Suppose 4*j + i = 3*u, 0 = -u + 3*j + 3 - 0. Is u less than or equal to 1?
True
Let u be (-6 + 17)*(-73261)/(-671). Is u not equal to 7213/6?
True
Let f be ((-8)/(-3470))/(1/(40/176)). Let s = f + -99260/34353. Are -4 and s nonequal?
True
Suppose -3 = -0*s + 3*s. Let y be 26*3/(-2)*s. Which is greater: 41 or y?
41
Suppose 4*q + q + 7 = 4*m, -3*q - 5 = -2*m. Let h(x) = 5*x - 38. Let j be h(7). Let o be -35*4/60*j. Which is smaller: o or m?
m
Let n be (2967/(-1548))/(2/(-6)). Let q be (20/(-6))/(4/(-6)). Are n and q nonequal?
True
Let z(i) = 120*i + 8. Let l be z(5). Is 606 smaller than l?
True
Let d be (-17)/117 - (-6)/27. Let u = -723/20 - -182/5. Is u at most as big as d?
False
Let z = -6526 + 6526.07. Let d = 0.93 - -0.07. Which is greater: d or z?
d
Let v be -1 + -11 + (-603333)/(-50310). Which is smaller: v or 0?
v
Suppose 0 = 4*o + 5*j + 15, 2*j + 35 = -5*o - j. Let l(g) = 2*g + 21. Let c be l(o). Which is smaller: c or -3/41?
-3/41
Let o(p) = -p**2 - 17*p - 18. Let k be o(-18). Let g = k + 42. Let x(n) = -n**3 + 4*n**2 + 11*n + 6. Let u be x(g). Is u < -1/61?
False
Let z be 3555/14*(-8366)/564. Let x = z - -3767. Which is greater: -1 or x?
x
Let c = 3.62896 + -0.02896. Is -36 bigger than c?
False
Suppose 5*s + 5 = -0. Let p(u) = 2*u + 6. Let b be p(-2). Suppose 3 = t - b*t. Are t and s non-equal?
True
Let t be 0 + 2 - 476/268. Let w = t - 4133/18760. Let a = w - 2803/840. Which is bigger: a or -3?
-3
Let k = 2090 - 2088.879. Is -0.3 greater than k?
False
Let j = 5398723 + -145749617/27. Let t = 589 - j. Which is greater: 1/3 or t?
1/3
Let b = 8338900/1617993 - 1/124461. Let c(t) = -t**2 - 7*t + 6. Let u be c(-7). Is b at least u?
False
Let k(i) = -17*i + 817. Let x be k(48). Let l be 1/6 + (-1)/3. Is l smaller than x?
True
Suppose -l - 4*u = -3, l + 536*u - 538*u - 3 = 0. Which is smaller: 84/25 or l?
l
Let b = -529 - -419. Let q = 0.24 - -40.76. Let u = q + b. Are 1/2 and u nonequal?
True
Let l = 664/975 - 28/75. Is -0.26 at most as big as l?
True
Let v be 43384/(-352) + (-1 - 5/(-4)). Let j be (2/2)/(3 - (-372)/v). Which is smaller: j or -34?
j
Let j = 672 - 93410/139. Let v = -0.194 + 0.135. Let o = 0.159 + v. Is j at least o?
False
Let j be 16686/(-126) + 13 + -8. Which is bigger: j or -126?
-126
Let s(h) be the first derivative of 2*h**2 + 4*h - 6 + 4/3*h**3 - 1/4*h**4. Let n be s(5). Do -3/2 and n have different values?
True
Suppose -4*l = 191*l - 975. Which is smaller: 1310 or l?
l
Let c be (-22)/(-10) + 4/(-20). Suppose -c*x + 8*x - 30 = 0. Which is smaller: 4 or x?
4
Suppose -5*o - 5*b = 10, 3*b + 1 = -o - 1. Let j be (-3333)/21 - (5 - 8). Let q = j + 20626/133. Are o and q non-equal?
True
Let o(f) = -f**3 - 9*f**2 - 7*f - 17. Let r = -151 + 143. Let v be o(r). Is -25 < v?
False
Let r = 163 - 133. Let m be r/45 - (-2)/(4 - -2). Which is smaller: m or 1/8?
1/8
Let s = -255 - -262. Suppose 3*l = s*l + 5*y + 20, 2*l - 20 = 5*y. Which is smaller: l or 1?
l
Let o be -2*5*(-108)/8. Suppose 0 = 6*u + o + 21. Let l(q) = -q**3 - 4*q**2 + 8*q - 11. Let d be l(-5). Is u greater than or equal to d?
True
Let v = 68508.9 + -68511. Let s be (1 + -2)/(2 - -2). Is s bigger than v?
True
Let i be (6/23955)/(312/(-520)). Which is smaller: -1 or i?
-1
Let x = 17 + -12. Let q(i) = 2*i**2 + i. Let r be q(2). Which is bigger: x or r?
r
Let f = 3350 + -3891. Is 15 less than f?
False
Let c = -2/97757 - -218084/1103187745. Is c at least 1?
False
Let w = -33 - -40. Suppose 8*a - w*a = 2. Suppose -a*h + 0*p = p - 19, 4*p - 48 = -4*h. Is 7 bigger than h?
False
Suppose -5*z - 40 + 50 = 0. Let t be z/4*(-6 - -10). Is t > 9?
False
Let z(p) = 339*p**2 + 229*p**2 - 20*p**2 - 6*p - 92*p**2. Let l be z(1). Let y be -3 - 445/l - -4. Which is greater: y or 1/3?
1/3
Let z = -254/7 + 36. Suppose -22*c + 28*c - 24 = 0. Let i be (15/c)/(120/144). Which is smaller: i or z?
z
Let l be (9*796/(-6))/(-6). Which is smaller: 3360/17 or l?
3360/17
Let o(r) = -18*r**3 - r**2 - 2*r - 3. Let d be o(-2). Let u = d - 96. Let y = u - 22. Which is greater: y or 4/7?
y
Let a(t) = 3*t**3 - 80*t**2 - 3*t - 178. Let j be a(22). Which is bigger: j or 0?
0
Let k = -1 - 0. Let i = -1234 + 1227. Let p(w) = -45*w - 422. Let m be p(i). Which is smaller: m or k?
m
Let b(d) = d**2 - 4*d + 17. Let a be b(0). Let h = 3 - 0. Suppose h*w = 6*w - 54. Is a greater than w?
False
Suppose 144 = g + 11*g. Suppose -4*t + 74 = 5*z, t - z - g = 2. Suppose -4*p + t - 12 = 0. Which is smaller: p or 2/9?
2/9
Suppose -48 + 18 = -3*l. Suppose l*o - 13*o + 69 = 0. Suppose -c = -o + 24. Which is bigger: c or 3/29?
3/29
Let l = -2.529 + -1.471. Is 65 less than l?
False
Let y = 0.24 - -111.76. Let g = y - 106. Let k = -1/28 + -1/4. Which is smaller: k or g?
k
Let f = 0.797 - 0.76. Let a = f + -0.036. Let z = a - -9.999. Is z <= -2?
False
Let p = 3 + 2. Suppose j + 30 = -j + 5*f, 5*f - 45 = p*j. Let c(k) = -k**3 - 5*k**2 + 13*k + 8. Let s be c(j). Which is greater: -2/3 or s?
-2/3
Let v(f) = f**2 + 20*f - 2217. Let l be v(-58). Is l at most 1059?
True
Let b = 0 + -51. Let n = 91 + b. Is 36 not equal to n?
True
Let j = -22.27 + 23.33. Is j bigger than -2/29?
True
Let m = -0.027 - -3.427. Let d = m + 9.6. Let w = d + -12.5. Which is bigger: 3/8 or w?
w
Suppose -36*r - 3*r = -78. Let m(a) = 2*a**3 + 2*a**2 + 4*a + 3. Let b be m(-3). Let v be ((-16)/6 + r)/(b/(-27