 Is 795 at least y?
True
Let p be (-83)/249 - (5 + -2 + -3). Which is bigger: -549 or p?
p
Let d(j) = -57*j**2 - 135*j - 90. Let h be d(5). Which is bigger: -2189 or h?
-2189
Let y = 119 + -120. Suppose s = 3*n - 10, n = 2*s - 6*s - 14. Let c be n/6*(-4)/18. Which is smaller: y or c?
y
Suppose -17*n + 88791 = -28203. Let w = n + -2566992/373. Which is smaller: 1 or w?
w
Let a(u) = 13*u**2 - 12*u - 111. Let v be a(-4). Which is greater: 149 or v?
149
Suppose -4*l = -9*l - 70. Let i = -138 - -158. Let u be (i/50)/(1/(-30)) - 1. Is u < l?
False
Suppose 13*u = 14*u - 3. Suppose -u*z + 4*z = -10. Let k be 3/(-15) + (-642)/z. Do 65 and k have different values?
True
Suppose 0 = 2*s + 5*l - 20, -12*l + 9*l + 12 = 3*s. Suppose s*o = -o + 1. Is 21 at most o?
False
Suppose -10 = t - m, 0*t + 3*t - 2*m = -34. Let a(v) = -v + 4. Let b be a(1). Suppose y + 50 = -b*f, y - 10 = 6*y. Are f and t equal?
False
Let o = 3670 + -3666. Is -2/9 != o?
True
Let f = -7922 - -7975. Is 52 greater than f?
False
Let i = -1888.571 - 14.429. Are 7 and i non-equal?
True
Let z = 0.1 - 2.1. Let x = -1054.54 + 1054. Is x greater than or equal to z?
True
Suppose 41*y - 15286 = -72112. Is y greater than or equal to -1385?
False
Let c = -38 + 108. Suppose 2*u - c = 7*u. Let n(s) = s**3 + 15*s**2 + 17*s + 20. Let j be n(u). Is 0.2 greater than j?
True
Let v = -23 + 14. Let b(p) be the third derivative of -p**6/120 - 2*p**5/15 + 13*p**4/24 + 13*p**3/3 + 4*p**2. Let y be b(-9). Which is greater: y or v?
v
Let i(z) = -3*z - 316. Let v be i(-72). Let l be 254/((-1)/1*-2). Let m = l + v. Which is smaller: m or 24?
24
Let t be 347*((31 - 27) + -1*1). Let x = t - 833. Which is smaller: 2/5 or x?
2/5
Let m be 1 + 5 + (-92)/23. Suppose -m*q + 354 = 4*o, -91 = -6*o + 5*o - q. Is 86 <= o?
True
Let l(v) = 2*v**2 - 17*v - 584. Let n be l(22). Suppose -18 = -3*w - 2*y, 0*y = -5*w - 3*y + 29. Let a be w/(-10) - (-579)/60. Is n smaller than a?
False
Suppose -101*p - 7744 = -37*p. Which is smaller: -1 or p?
p
Suppose 1 + 3 = -f - 2*y, 4*f - 44 = 4*y. Let v be 225/f*4/(-3). Let i = v - -100. Are i and 50 non-equal?
False
Let z(u) = u**3 - 17*u**2 + 13*u - 683. Let l be z(19). Which is greater: -1/2 or l?
l
Suppose -724 = 15*y - 349. Is -480/19 at most y?
True
Let h(s) = 102*s - 282. Let t be h(1). Which is smaller: -74 or t?
t
Suppose 117*n - 112*n = 30. Suppose g + n*g = -g. Is g greater than 5/31?
False
Suppose 3*u + 3*p + 4485 = 0, -p - 58 + 64 = 0. Is -1502 greater than or equal to u?
False
Let x = -2147 - -2027. Which is bigger: x or -121?
x
Suppose 0*x - 2*k = x + 13, 19 = -2*x + 3*k. Let m = -16 + x. Let g = m + 72. Is 45 greater than g?
False
Suppose 0 = 23*q - 112541 + 112840. Suppose -5*z - 4*g + 9*g = 60, -g - 3 = 0. Are q and z unequal?
True
Suppose 42 = -16*p - 134. Which is bigger: p or -279?
p
Let a = 5715 - 6591. Is -878 at most as big as a?
True
Let s = 263 + -245. Suppose -4*j + 4*k = 16, -4*j + 2*k - s = 2. Which is greater: j or -68/13?
-68/13
Let p(o) = -3*o + 25. Let d be p(10). Let s = 10 + d. Suppose 3*k = s*j - 8, 2*j - 2 = 3*k + 3. Do j and -1/46 have the same value?
False
Let z be 116 + 0 + (-4)/2. Suppose -2*p - 34 = -z. Let w be (249/(-2) - 132/(-88))/(-3). Is w at least as big as p?
True
Suppose 7959 - 1472 = -14*o - 12427. Which is smaller: o or -1353?
-1353
Let u be (-1)/(2 - 15/6)*(-63)/1734. Which is smaller: u or 0?
u
Let j be (-22)/(-8) + (-21)/28. Suppose -r + 75 - 6 = 2*c, -j*r = 2*c - 138. Let q be ((-138)/(-2))/(-1 + 2). Is q less than or equal to r?
True
Let u = -2924/37 + 79. Let q = -766 + 771. Let b(t) = -t**3 + 5*t**2. Let r be b(q). Is u at most as big as r?
True
Let h be (80/6)/((-11)/33). Let v = -838/21 - h. Which is smaller: -1 or v?
-1
Suppose -22*x + 90 = -21*x. Let p = x + -92. Let m be (-3)/(-12)*p*(-12)/(-9). Is m >= 0.13?
False
Let g(q) = -6*q - 22. Let i be g(-7). Let f be (-5 - -3)*1 + i. Suppose -2*w = 4*p + 4, -5*w - 6 = -4*p + f. Which is smaller: p or 1/5?
1/5
Let c(v) = 2*v**2 - 26*v + 74. Let r = 241 - 227. Let j be c(r). Suppose -2*n - 5*l + 217 = 0, -2*l + 5 = -1. Is j smaller than n?
False
Let f(y) = -60*y + 686. Let h be f(18). Is -394 <= h?
True
Let a = 9091 + -9092. Is a bigger than -6466?
True
Suppose -4*i = 3*u - 2*u + 1, -5*u - 5 = 3*i. Suppose -2*x + 14 = -4*g, i*x + 4*x - 19 = 5*g. Let y be (-6)/(-12) + g/2. Is -6/17 at most y?
False
Let o = -2116 - -2108. Is o <= -112/15?
True
Suppose 2*p + 2*a + 380 = 0, -3*p - 2*a = 329 + 243. Let z = -79 + -113. Is p > z?
False
Suppose -86573 + 4118 = 23*n. Is n > -3584?
False
Suppose -4959 = 14*j - 815. Let t = 329 + j. Which is greater: t or 31?
t
Let r(u) = u**3 - 47*u**2 - 22*u + 132. Let c be r(44). Are -6644 and c nonequal?
False
Let o be ((-1)/(-2))/(36/48)*-3. Let h = 0.151 + -0.401. Is o < h?
True
Suppose -5*m + 29 = -5*d - 1, -d - 2*m + 9 = 0. Let u be -5 - d*4/4. Suppose 19*t - 1171 + 1304 = 0. Which is bigger: t or u?
u
Let y be 10*-1*640/(-1600). Which is smaller: 12 or y?
y
Let n = 159375 - 159385. Let r = 3.283 - -0.017. Let m = r + -0.3. Is n greater than m?
False
Let f = 37.11 - 91.25. Let c = -3.14 - f. Which is smaller: -9 or c?
-9
Let d = 44.533 - -0.267. Let m = d - 44. Let r = m + -1.8. Which is smaller: 93 or r?
r
Let i be (-11 - -3 - 3)/((-1)/1). Suppose m - 2*c = -16, -5*m + 4*m - 3*c = i. Which is smaller: -5 or m?
m
Let i be (-302)/14 + -10 + 16. Is -16 at least i?
False
Let t = 15250.1 - 15250. Which is smaller: t or 78.1?
t
Suppose 2*d + 13 - 3 = 0. Let y be (-4902)/2150*50/20. Is y greater than d?
False
Let s = -13/155 + 2447/10695. Is 1 greater than or equal to s?
True
Let r = 17.5 - 20.3. Let u = r + 1.9. Let a = -5 + 1. Which is greater: u or a?
u
Suppose 0 = 3*g - 3*a - 273, -117*a + 119*a = g - 87. Are g and -0.04 non-equal?
True
Suppose -20*y - 162 = -23*y. Suppose 0 = y*d - 57*d - 156. Let n = -51 - d. Which is greater: 14/15 or n?
n
Suppose 0 = 7*a - 5*a + 4*a. Suppose a*j = -9*j. Is j less than -14/37?
False
Let v = -16.355 - -16.455. Suppose x = 2*x - 56. Which is greater: x or v?
x
Let y be 6/(-4)*(-32)/(-24). Let t be y/(-1) - (-420)/15. Let j be (144/t)/((-2)/(-15)). Which is smaller: j or 35?
35
Let o be (630/15)/((-5)/8 + 1). Let m(i) = 8*i + 95. Let n be m(-12). Which is bigger: n or o?
o
Let d be 33600/147*49/7. Is d > 1602?
False
Suppose -19 = -y - p - 22, 5*y - 15 = 5*p. Let t be (-5 + y)/20*-1. Are t and -2 non-equal?
True
Let q = 3617 + -2279. Which is smaller: 1339 or q?
q
Suppose -13*k + 15*k + 6 = 0. Let d be (k/(-9))/((-10)/(-390)). Is d greater than -2?
True
Let x = 18 - 19.47. Let r = -1.53 + x. Is -2/65 not equal to r?
True
Let h(q) = q**2 - 171*q + 1761. Let z be h(11). Which is greater: z or -1/783?
z
Suppose -2*g + g = -5, -4*g = -2*p - 22. Let h be (-5 - -9) + 17/p. Let o(m) = m**3 + 13*m**2 + 2*m + 16. Let v be o(h). Which is greater: -9 or v?
-9
Let u(r) = 35*r - 48. Let t be u(2). Suppose 6 = m - 31. Let p = -15 + m. Is p > t?
False
Let u = 862 + -1219. Let y = -348 - u. Is y greater than 0.03?
True
Let j = 726 + -2015. Which is smaller: j or -1290?
-1290
Let o(s) = s**2 - 12*s - 13. Let x be o(-9). Let c = -35283/4 - -8998. Which is smaller: x or c?
x
Let t = -3431 - -3431. Is -5/356 at most t?
True
Let n be ((-4)/230)/(1/(-6)). Suppose 64 = -71852*r + 71856*r, 2*f + r - 16 = 0. Is n less than f?
False
Let u = -2/175 - 7509/1400. Which is smaller: u or -1/2?
u
Let n(v) = v**2 + 243*v + 1. Let p be n(0). Let j(m) = -16*m + 2. Let g(q) = -q + 1. Let f(x) = -g(x) - j(x). Let o be f(p). Does 14 = o?
True
Suppose -18*l = 11*l + 3915. Let x be ((-45)/l)/(2/(-12)). Do x and -36/35 have the same value?
False
Let t = 76086/19 - 1349257/380. Let a = 454 - t. Which is smaller: a or 5?
a
Suppose 3*r - 5*u + 149 = 0, -r + 0*r - 3*u - 73 = 0. Let l = r + 82. Let t be ((-16)/l)/(1/12). Is -2 >= t?
True
Let w(b) = 39*b + 229. Let x be w(-6). Let i be x + 5 + (-132)/3. Which is smaller: -41 or i?
i
Let a(u) be the second derivative of u**4/12 - 7*u**3/2 - 29*u**2/2 - 96*u. Let t be a(15). Which is greater: -121 or t?
t
Suppose -30*b = 15*b - 55*b + 730. Which is smaller: b or 78?
b
Let u(h) = 20*h**2 + 3*h + 3. Let z be u(3). Let y = 2/258983 - -348850087/1812881. Let s = z - y. Which is greater: s or 3/5?
3/5
Let o = 201 - 183. Suppose 