 + 128. Let a(q) = -2*q**3 - 24*q**2 + 274*q + 149. Let f be a(-19). Is t smaller than f?
False
Let c = -705 + 686.95. Let s = -22 - -4. Let r = s - c. Is -1 at least as big as r?
False
Let s be (-3)/(-6) + (-3)/18. Let q = -19.9 + 181.9. Let t = q - 157. Does s = t?
False
Let s(t) = 3*t**2 - 110. Let j be s(-13). Let f = -963 + 1361. Which is bigger: f or j?
f
Let z be (-16)/(-332)*(-2)/(-4). Let d(l) = 4*l**3 - l**2 + l - 6. Let q be d(-4). Let s = 282 + q. Which is smaller: z or s?
s
Suppose 5*v - 3*y = y - 14, -y - 1 = v. Let a be v - ((-27)/1236)/(3/274). Is 0 equal to a?
False
Let h = -65744/11 - -394519/66. Let o = -8 + 6. Which is smaller: h or o?
o
Let i(t) = -29*t + 58. Let q be i(9). Let o = 251 + q. Which is greater: -1/4 or o?
o
Let n be (-4)/26*5*2. Let x(h) = -66*h**2 + 5*h + 3. Let g be x(-1). Let b be (-3)/(-9) - g/(-51). Is b not equal to n?
True
Let n(y) = y**2 - 8*y - 12. Suppose 5*u + 20 = -5*s, 2 + 6 = -4*s + 4*u. Let r = s + 12. Let h be n(r). Is h greater than -1?
False
Let w(q) = -q + 24. Let p be w(-7). Let v = p - 27. Suppose -v*z + 3 = -1. Which is greater: 2/23 or z?
z
Let k = -21680 + 48194641/2223. Is 0 greater than or equal to k?
False
Let i = -1155/2 + 19631/34. Which is smaller: -116 or i?
-116
Let n = -3649074/110712551 - -2/182393. Which is bigger: n or 0?
0
Suppose -143*v + 94*v = -980. Which is greater: 223/12 or v?
v
Suppose -a - 375 = -3*u, 2*u - 615 = -3*u + 5*a. Let i be (45/(-21))/(468/u). Is i at least -1?
True
Suppose 18 = -2*p + 2*q, 2*q - 20 = -32. Is p greater than or equal to 24?
False
Let p = -12885 + 12884. Let t be (2/8)/((-5)/4). Which is smaller: t or p?
p
Let m be ((-357)/140)/17*(-1 - 3). Is 319 greater than m?
True
Let m be 225/(-536) + (-294)/(-784). Suppose 12 = 3*x + 5*o, 0 = 2*o - 3*o + 3. Which is greater: m or x?
m
Let o be (2/((-4)/10))/((-2)/(-4)). Let p be 12*5/141*(-4)/o. Which is smaller: p or 0?
0
Let z = 48 + -70. Let w(r) be the first derivative of -r**4/4 - 19*r**3/3 + r**2 + 17*r - 30. Let h be w(-19). Which is smaller: z or h?
z
Let r = -7465 - -8590. Is 1121 != r?
True
Let d(p) = 101*p - 705. Let f be d(7). Is -6/221 less than f?
True
Let v = -0.4797 + -0.5203. Which is bigger: -1949 or v?
v
Let a(p) = p**2 - 690*p + 8874. Let w be a(13). Let t be 1/2 - 3/(-6). Is w at least as big as t?
True
Suppose 38*m = 23*m. Is m smaller than -1/534?
False
Let g = -3013/3 - -1015. Let p = 37 + -25. Is p < g?
False
Let t = -5463 - -5463. Is t at least as big as -21/95?
True
Suppose -3*y = 5*g - 67, 8*g - 5*g = -3*y + 57. Let f be (-2)/(-6)*(y + -14) + 1. Let h be f + (1 - (4 + -1)). Which is bigger: h or -2?
h
Let v = 567 + -785. Let r = -132361/2070 - 21263/138. Let c = r - v. Which is bigger: c or 0?
0
Let u(k) = k**3 + 4*k**2 - 3*k - 1. Suppose -h - 4 = -2*d, 0 = 2*d - 5*d - 2*h + 6. Suppose -d*g - 14 = -4. Let l be u(g). Which is greater: -9 or l?
-9
Let t = 3100.33 - 3087. Let m = 13 + -0.3. Let v = m - t. Which is smaller: v or 0?
v
Let w = 188.2 - 180. Let m = w + -4.2. Which is bigger: -2 or m?
m
Let a = 1214/5 - 243. Let s be (4/(-189))/((-34)/(-51)). Which is smaller: a or s?
a
Let h = 488 - 259. Suppose 0 = 18*v - h - 257. Let f = v - -6. Is 34 at least f?
True
Let l = -212.66 - -215.66. Is -541 greater than l?
False
Let l = -11971 - -11970.9571. Is -1 less than or equal to l?
True
Let a = 5995 - 4889. Which is smaller: a or -0.2?
-0.2
Suppose -5*k = 4*j, 5*k = j - 10 + 35. Let z(t) = 3*t + 39. Let m be z(-12). Let b be (2 + -2)/(-1 - (-2 + m)). Is b at least k?
False
Let i be (-2 - -156)/(0 - -2). Suppose 259*k + 1950 = 284*k. Is k smaller than i?
False
Suppose 0 = -4*m - 4*r - 24, -5*m - 2*r + 12 = -6*m. Let b be ((-682)/m)/11 - 1*-1. Let d = b - 253/28. Is -36 less than or equal to d?
True
Suppose -3*y + 12 = -2*k - 2*y, 0 = -5*y. Let p be (((-279)/(-1085))/((-3)/(-17)))/((-1)/5). Which is smaller: k or p?
p
Let c be 64/40 - (-9)/(-15). Let q be 6/(-33)*c*(-44)/16. Let a = -0.5 - -8.5. Which is bigger: a or q?
a
Let n(v) = 9*v + 31. Suppose -11*b - 197 = -120. Let s be n(b). Is -30 bigger than s?
True
Let w = 77326 - 78640535/1017. Are 1 and w unequal?
True
Let a = -534 + 534.05511. Is a > -1/3?
True
Let t be 43*((-8)/10 - 1/5). Let d = 45 + t. Suppose -d*o = -3*p + 8, -3*p - p = -3*o - 10. Is 3/5 at least o?
False
Let b be -540*((-792)/(-44055))/(12/10). Is -8 <= b?
False
Let n = -4979/18 - -2440/9. Is n less than or equal to -5/9?
True
Let n be 429/(-443) + -7*(-5)/(-9 - -44). Which is bigger: n or -1?
n
Suppose 3*v + 5*c = -7, 4 = -v + c - 3*c. Let y be v/5 + 3591/(-2730). Is 1 greater than y?
True
Suppose 2*h = -6, -37*u - 3*h - 327 = -36*u. Is -318 <= u?
True
Let t be 1230*3*8/(-36). Is t less than -819?
True
Let y be 2537/(-7) - (20/(-4) - -2). Which is smaller: y or -360?
-360
Suppose -4*r + 86 = 5*z - 160, -10*r = -4*z - 714. Is r > 5?
True
Let z(l) = -l**2 - 84*l + 2689. Let a be z(-116). Is a at least -1020?
False
Suppose i + 5 = -3*f, f = 3*i - 9 + 14. Let v = 41127/11 + -3735. Which is bigger: v or i?
v
Let g = 32182 - 32281. Which is smaller: g or -203?
-203
Let m be 1 - (56/(-98) + (-66)/7). Which is bigger: m or 41?
41
Let z = -4497 + 4500.3. Which is greater: -5.7 or z?
z
Suppose -c + 5*f = -133 - 199, -2*c - 3*f = -612. Is c at most as big as 312?
True
Suppose -43 = -3*v + 5*j, 159 = -23*v - 5*j + 142. Let n = 9029 + -3837322/425. Are n and v nonequal?
True
Let p(h) = -4*h - 5. Let j be p(-8). Suppose 42*x - 990 = j*x. Is x != 66?
False
Let b be 115/273378*8/5. Is b at most -1?
False
Suppose 5*z + 282 = -38. Let y = z + 25. Let p = -59 - y. Is -18 >= p?
True
Suppose -4*w = 45 + 15. Let y be 6 - 7/(-490)*-1526. Which is bigger: y or w?
w
Let a(v) = 81*v - 169*v + 83*v - 7 - 12. Let p be a(-8). Suppose -13*b - 40 = -p*b. Is b < 1?
False
Let c be 26*(-8)/((-20)/(-5)). Let u be (-2)/(-11) + (2296/22)/(-2). Are c and u non-equal?
False
Let a be 8/6*(4 + -1). Suppose 0 = q + 3*x + 8, -6*q = -q - a*x + 78. Suppose 5*n = -11*y + 15, 2*y - 5*n = -10 - 5. Are q and y equal?
False
Let l be (-52)/(-78)*(4 + 52/(-40)). Let z = 1.94 - -0.06. Which is smaller: z or l?
l
Let z = 6.7 + 18.3. Let x = 31 - z. Is x at least 6?
True
Suppose c = 3*r - 4, -3*r + 1 = -c + 3*c. Let f = -38 - -40. Let o be f/(4 + -2)*-2. Is c bigger than o?
True
Let u = 19 - 12. Suppose -3*s + 4*s - 30 = -2*i, i = -3*s + 15. Suppose i*k + 7 = 16*k. Is k less than u?
False
Let i(q) = -4*q**2 + 77*q + 40. Let f be i(24). Let a be (-332)/f - 9/(-72). Is 2 greater than a?
True
Suppose 0 = 2*x - 4*g + 737 + 2279, 5*g = 3*x + 4529. Which is smaller: -1516 or x?
x
Let i = 0.0022 - 0.0232. Is -14 > i?
False
Let v = 672.1292 - 0.1292. Let f = v + -672.3. Which is smaller: 3/53 or f?
f
Let w = 7238 + -7238.2. Which is smaller: 461 or w?
w
Suppose m + 2*c = 4, 2*m + c - 2 - 3 = 0. Suppose -m*t - 3*d = -349, -3*t + 2*d = -2*d - 549. Which is smaller: t or 181?
t
Let h = 1.0787 + -0.0787. Let i(o) = 5*o + 29. Let p be i(-11). Is p greater than h?
False
Let r = -10117 - -10117. Which is greater: -2/123 or r?
r
Let z = 319/13 + -3337/65. Let r be ((-736)/(-12)*(-27)/(-30))/2. Let g = z + r. Which is greater: 2 or g?
2
Let d(x) be the second derivative of 2*x**5/5 - 2*x**4/3 - 11*x**3/6 - 8*x**2 - 72*x. Let o be d(-3). Is o greater than -271?
False
Let x = 1.01 - 0.711. Let g = x - 4.499. Which is bigger: 0.3 or g?
0.3
Suppose -95*v + 88*v = -28. Let f be (v/(-30)*5)/(-1). Is f bigger than 14/5?
False
Suppose 122*a - 20*a = 306. Let q = 382 + -262. Suppose 0 = 4*y + y - q. Is a at least as big as y?
False
Let n be (-756)/217*33/(-66). Which is greater: 1 or n?
n
Let d = -100 - -104. Let q be d*1*-1 + (-10187)/(-2562). Does -1 = q?
False
Let q be 3/6 + 249/498. Which is greater: 6/7051 or q?
q
Suppose 4*s = s. Let i = 2847/2 + -657673/462. Which is smaller: s or i?
i
Let r(v) = 9*v**3 - 115*v**2 - 15*v + 43. Let j be r(13). Which is bigger: j or 263?
263
Let v = -454 + 252. Let j = v + 175. Let h = 365/28 - 51/4. Is h at most j?
False
Let x = -20683 - -103417/5. Are x and 1240 unequal?
True
Let i = -8 + 5. Let r = 4285.3 + -4334.3. Is i <= r?
False
Let p(u) = -4*u - 48. Let v be p(-8). Let y(q) = -5*q - 79. Let d be y(v). Suppose 2 = 2*o - 3*w, o + d = -3*w + 2. Is o <= -3/22?
False
Let x = 461 - 727. Let 