t least as big as 19?
False
Suppose 0 = -3*r + 2*r + 14. Let p be 3 + (3 - 4) + 450/(-15). Let d be -3 - (45/12)/(6/p). Which is smaller: d or r?
r
Let s(l) = -55 + 40*l + 12 - 46*l. Let d be s(-7). Let a = 23 - d. Which is greater: 23 or a?
a
Let n(g) = 3*g**2 + 76 + 21*g + 370*g**3 - 181*g**3 - 188*g**3. Let d be n(-7). Are -269 and d non-equal?
True
Let k = 21/68 + -17809/58548. Is k less than or equal to 0?
False
Let o = -18 + 22. Let f(k) = -8*k + 26. Let t be f(o). Let g be (-3)/t*0/1. Is g greater than 3/8?
False
Let q = -2732 + 13737/5. Is q > 16?
False
Let b = -39 + 30. Let k be (-20)/(-182)*-27 - (b + 6). Does k = -1?
False
Suppose -283*r = -275*r + 528. Which is bigger: -44 or r?
-44
Suppose 1456 + 398 = 9*f + 531. Is f at most 157?
True
Let l = 2.88 + -5.28. Let q = -2.359 - -0.059. Let a = q - l. Which is smaller: a or 18?
a
Suppose 0 = 2*r + 6, i - 80*r + 82*r = -1563. Which is greater: i or -1556?
-1556
Suppose -351 = -4*z + 2*p + 1247, -2*p = 5*z - 1966. Is 392 at most z?
True
Let v(b) be the second derivative of b**5/20 - 7*b**4/12 - 9*b**2/2 + 2*b + 9. Let p be v(7). Suppose 0 = o, 4*o - 9 = 4*a - 3*a. Is p at least as big as a?
True
Let p = 15750 - 15782.033. Let g = p + 0.033. Let w = 34 + g. Which is smaller: w or 35?
w
Let k be (-79)/4 - 3/(-4). Let d = 113 - -79. Let z = d - 192.1. Which is bigger: z or k?
z
Let u be (-2)/3*(-17163)/(-240). Let l be (-2)/13 + (-34782)/715. Let d = u - l. Which is smaller: 0 or d?
0
Let f(h) = -h**3 - 33*h**2 - 34*h - 54. Let s be (-12)/(-10)*640/(-24). Let i be f(s). Which is smaller: 78/7 or i?
i
Let h(p) = p**2 - 35*p + 70. Let f be h(33). Suppose 0 = -4*o - 2*n - 128, -132 = 9*o - 5*o + f*n. Let b = 26 - 57. Does o = b?
True
Suppose i - 2117 - 1789 = 0. Suppose -v - i = -4*v. Let s be ((-21)/v)/((-1)/(-12)). Is s < 0?
True
Let a be (89/(-20) + 144/192)/(8/6). Which is smaller: -3 or a?
-3
Suppose 0 = -482*z + 495*z + 14911. Which is bigger: z or -2293/2?
-2293/2
Suppose -35*v + 3478 = -267. Is 107 at most as big as v?
True
Suppose 0 = 4*i + 6*c + 332, 0 = 2*i - 3*i + 3*c - 74. Do i and -71 have the same value?
False
Let k be (7/(69 + 8))/((-6)/8964). Is -136 equal to k?
False
Let q = -5346.3 + 5344. Which is greater: q or -70?
q
Let m = 4246 + -4271. Let c = -57 - -31. Do c and m have the same value?
False
Suppose j = -3*j - 16, 0 = 4*k + 5*j. Suppose -k*w + 7*w = 8. Suppose -w*f - 37 = -f - v, -5*f = -2*v + 63. Is f at least 2?
False
Let k be (-2*(-21)/(-18))/(1*33/(-63)). Is 4 > k?
False
Let o be 3/(-143)*1/3. Suppose -37 - 17 = -q - 5*f, 4*q + 3*f - 29 = 0. Which is bigger: o or q?
o
Let l = -4/2547 + 19742/2839905. Is 0 smaller than l?
True
Let f = -3.302 + 2.902. Does f = -270?
False
Let b = 1.7 - 0.9. Let w = 102.7 - 102.2. Which is smaller: w or b?
w
Let f be 3 + (-258)/(-15) + 6/(-30). Suppose -3662 = -f*n + 7738. Let x = 3407/6 - n. Which is greater: -1 or x?
-1
Let k = -2.5 + 2.6. Let v = -61783.973 + 61812. Let r = v - 0.027. Is k >= r?
False
Let q = -9 + 18. Let s = -29/103 + 5501/515. Is s at least q?
True
Let i = 2281/114240 + -1/1088. Let k be 0/(7/14*4). Is k less than or equal to i?
True
Let i = 10702798420453/4108579943 - 48/26169299. Let n = i - 2605. Suppose 2*t + s = 4, 8 = -t + 2*t + 2*s. Is t != n?
True
Suppose 0 = 4*i - m - 21, -3*m = 2*i - 7*m - 14. Let s(k) = k**2 - k + 2. Let w be s(0). Suppose 5 = -p + i*g, -5*g + 0*g = -w*p - 5. Is p bigger than 2/31?
False
Let s = 1/5630 - -44481/3147170. Do s and 1/3 have the same value?
False
Let v = 155 - -62. Let w = -152 + v. Which is smaller: 1 or w?
1
Let v be (-4)/(-42)*(-20)/18. Let f = v + 2321/5859. Let x = f - 73/465. Are 0 and x nonequal?
True
Let c = 3390 - 2840. Which is smaller: c or 552?
c
Let a = 9176 + -9048. Suppose -2*y = -423 + 169. Are a and y nonequal?
True
Let c = -83.7 + 92. Let s = 7.68 - c. Let p = -0.64 - s. Is p less than 1?
True
Let o be (-1*10/36)/(81/4 + -20). Which is smaller: -3.91 or o?
-3.91
Suppose -2*t + 429 - 15 = g, -g + 449 = -5*t. Let f = -460 + g. Let c be ((-70)/8)/((-4)/(-16)). Is c >= f?
True
Let r = -162.45 - -161. Let l = r + 1.05. Is l at least -0.29?
False
Let b be 572/14 + ((-1200)/(-168) - 6). Which is bigger: b or 458/11?
b
Let m be 2 + (2932/(-764) - -1). Let z = m - -634383/1910. Let p = z - 331. Which is smaller: p or 2/3?
p
Let t be (-54)/(-9) + (-5)/(10/8). Suppose -4*a + t - 80 = -3*v, 0 = -4*a. Suppose 3*z - 46 = 2*n + 2*z, -n - v = -2*z. Are -22 and n nonequal?
False
Suppose -4*v = 4*d + 52, -19 = 2*v - d + 19. Suppose 2*c - 5*s - 18 = 20, 2*s - 10 = -c. Suppose 4*y = 2*a + c, -5*a - y = 79 - 0. Which is greater: a or v?
a
Let q(l) = -30*l**2 - 11*l - 3. Let r be q(3). Let x = r + 340. Which is smaller: x or 0.04?
0.04
Suppose 58*z = 22*z - 44*z + 80. Is -1/1862 != z?
True
Let a be 40 + (-5 - 3/(-3)). Let o = a + 8. Suppose -5*r - 84 + o = 0. Which is greater: -4 or r?
-4
Let n = 333/1430 + -24/65. Let j = -656 + 657. Is n bigger than j?
False
Let o(a) = 14*a**3 - 14*a**2 + 23*a + 64. Let f be o(-11). Which is bigger: -20516 or f?
-20516
Suppose -11*x - 3520 = -33*x - 10*x. Let s be (-2)/3 - (-24)/9. Are s and x nonequal?
True
Suppose -37*d - 24682 = 46*d - 40*d. Which is greater: -571 or d?
-571
Let v = 60.2173 + -3.2173. Let h be (-2)/(-9) + 16/(-36). Which is smaller: v or h?
h
Let k(j) = -1798*j - 415338. Let w be k(-231). Let l = -340 - 164. Let t be 8/(-20) + l/(-1210). Which is smaller: t or w?
w
Let b be (-10)/4*2 - -14. Let w be ((-48)/b + 4)/6. Which is bigger: 4.2 or w?
4.2
Let o be 17/(3/33*11). Suppose 0 = 7*v - 5*v - 38. Which is smaller: o or v?
o
Suppose 104 = -w - w. Let h = 29941 - 29994. Which is greater: h or w?
w
Let u be 6*(-20)/(-24) + (0 - 1). Suppose -2*d + u*n = 2*d - 16, d = -2*n + 19. Which is bigger: 14 or d?
14
Let w = -15 + 22. Suppose 168 = 5*r - p, 106 = 3*r - 0*p + 2*p. Suppose 1 + r = -w*o. Which is bigger: o or -7?
o
Let z(w) = w**2 + 17*w - 16. Let h be z(-14). Let b = -54 - h. Suppose 28 = -x + k, x + 4*k = -b*x - 158. Is x at least -31?
True
Let n = -342 + 284.9. Let t = n - -57. Which is smaller: -69.2 or t?
-69.2
Suppose 5*h - 3*n + 566 = 4*h, 5*n + 2264 = -4*h. Let s = h + 585. Which is greater: s or 7?
s
Suppose 2*y = -5*q - 2652, -3*y - 2680 = 5*q - 8*y. Which is greater: q or -534?
q
Suppose -5*u = 4*f + 45807, 5*f - 18336 = 911*u - 909*u. Do u and -9164 have the same value?
False
Let o = -0.10613 - 220.89387. Suppose 0 = -5*r - 2*b + 3, 2*r - 1 - 9 = -3*b. Is r >= o?
True
Let g = 0.083 - -3.777. Let u = g - 4.2. Let t = u + 0.44. Which is smaller: t or -2?
-2
Let w = -0.8842 + -0.1158. Which is greater: w or 15.29?
15.29
Let r = -15217 - -15442. Which is bigger: r or 231?
231
Suppose -8*s - 2 = -450. Suppose s = -i + 15*i. Suppose 0 = -15*z + 4 - i. Which is bigger: -1/96 or z?
z
Let r = -33 - -2. Suppose 0 = 69*q + 121*q + 6111 - 221. Is r >= q?
True
Let f be 1*(-2)/(-2)*22. Suppose 5*h - 1 = -k + f, 4*h - 24 = 2*k. Let b = 208135 + -208135. Is k at most b?
True
Let u = -66/101 - -7792/11615. Suppose -5*n - 1605 - 202 = p, 3*p + 1450 = -4*n. Let a = -362 - n. Does a = u?
False
Let u(i) = 7*i + 61. Let a be u(-8). Suppose -4 = -a*r + 5*k - 19, -2*r - 8 = -3*k. Is -5 bigger than r?
False
Let a = -382 - -535. Let i = a + -153. Is 0.7 less than or equal to i?
False
Let f be 17/1 - (-4063 + 205). Which is greater: f or 3876?
3876
Suppose -2*y = 0, -y = 3*m + 2*m - 17955. Let g be (m/56)/(-9)*(-12)/2. Which is bigger: g or 42?
g
Let l be (-2)/(-10) + 406/70. Let j be 2/l - (-70)/15. Suppose 0 = -j*t - 3*t - 3*t. Which is smaller: t or -2/19?
-2/19
Let g be -1*((-4 - -4)*-1)/1. Suppose g = -3*z + 4*q + 20, -3*z + 0*q + 10 = -2*q. Is 2/451 <= z?
False
Suppose 13 = 4*c - 67. Suppose 4*l - c = 0, 4*u + 0*l = -4*l + 20. Suppose 6*y + 5 + 397 = u. Which is smaller: -68 or y?
-68
Let k(h) = 13*h**2 - 69*h**3 + 148*h**3 + 14*h - 23 - 80*h**3. Let p be k(14). Which is smaller: -2 or p?
p
Suppose -11*d + 8*d - 546 = 0. Let i = d + 228. Which is smaller: i or 47?
i
Suppose -2*t + 35 = 3*s, t - s = -434 + 424. Let r = 28/6599 - -31502590/244163. Let a = r - 129. Which is smaller: a or t?
a
Let p = 154 - 165. Let o be 3 + ((-14)/28 - p/(-2)). Is -3 less than or equal to o?
True
Let t = 0.246 + 39.754. Let h = t - 39. Let u = -94