19, 4*a + 8 = 0. Let c(p) = 2*p**2 - 6*p - 3. Let d be c(q). Let u = 32 - d. Which is smaller: 16 or u?
u
Let j be (-2260)/(-4) + (-1)/1. Let o be j/(-281) - (-9 - -7). Let b(f) = 48*f + 5951. Let a be b(-124). Is o greater than a?
True
Suppose -q - 26 = -5*p, 5*p - 2*p + 4*q - 11 = 0. Suppose -4 = -4*j - 3*b + 1, -3*b - 13 = -p*j. Let m be j/((-1)/((-1)/(4/(-8)))). Is m <= -13/4?
True
Suppose -24*f = 29*f + 87582 + 68874. Are -2950 and f non-equal?
True
Let p = -416 + 413.45. Let t = -3.55 - p. Is t greater than or equal to 0.077?
False
Let f = 6.3 + -39.3. Let s = 55 + f. Let b = s - 22.03. Which is bigger: 1 or b?
1
Let u be (-1*(-1)/(-2))/((-8)/3232). Suppose -2*v + u = 4*t, 5*v - 5*t - 533 = -8*t. Let g = 108 - v. Which is bigger: 5/34 or g?
5/34
Suppose 159*k + 3*z = 154*k + 9, -5*z + 15 = 0. Which is bigger: 2/893 or k?
2/893
Suppose 0 = -59*p + 239511 + 54132. Is 4978 > p?
True
Let v = 0.7612 + -0.2612. Which is bigger: v or -2/1039?
v
Suppose -110 = -6*s + s. Suppose 705 = 4*f + 5*o, 4*o + 3 = -9. Suppose -5*q + f = 4*q. Is q greater than s?
False
Let o = 992 - 691. Let t = -307 + o. Which is bigger: t or 0.2?
0.2
Let n be ((-4967)/(-45))/((-7)/(4452/52)). Let h = 1350 + n. Which is smaller: h or 1?
h
Let p = -427/30756 + 5/233. Let i = -1207 - -1207. Which is smaller: p or i?
i
Let f(b) = 334*b**3 + 113*b - 114. Let y be f(1). Is y bigger than 1?
True
Let g = 11416 + -11364. Do g and -3 have the same value?
False
Suppose 0 = 10*x - 20 + 80. Let q be 8*1 - 24/x*-1. Suppose 3*w + q*b = 27, 0 = -5*w - b - 2*b + 34. Which is bigger: w or 6?
6
Let s be (24/(-14))/(-30 - 29037399/(-967918)). Do s and 11768 have the same value?
True
Let z = 14 - 10. Let x be (1422/15)/(z/(-20)). Let m be (-4 - 1893/x)*(1 + 1). Which is bigger: 1 or m?
1
Let g = -32 - -2. Let n = g + 23. Let u = -115 + 111. Which is greater: u or n?
u
Let p = 2.96471 - -0.03529. Which is smaller: -1011 or p?
-1011
Let v(w) = -2*w**2 - 72*w - 135. Let r be v(-2). Let o = 35 - 211/6. Which is smaller: r or o?
o
Suppose 154*w + 85*w - 6004 - 78602 = 0. Which is bigger: 367 or w?
367
Let t = -75 + 79. Suppose -5*u + t*u + 159 = 0. Let g = u - 9065/57. Which is bigger: 1 or g?
1
Let s = 56 - 102. Let l = -22 - s. Suppose -5*n + 2*i = -2*i + l, -21 = 4*n - 5*i. Is -5 smaller than n?
True
Let u = 352.3 + 1.7. Let o = u - 434. Is o at least as big as -1/2?
False
Let o be 2 + 1 + (-8 - 112). Let x be (-2)/9 - 1079/o. Let h(g) = g - 6. Let j be h(x). Is j greater than or equal to 6?
False
Let y(g) = -2*g**3 - 75*g**2 + 3*g + 1. Let d be y(-38). Which is greater: d or -1?
d
Let h(a) = -a**3 + 2*a**2 - a. Let x be h(3). Let s be 3/(-15) - (-16)/5. Let f be ((3 - -14 - s) + -2)/(-1). Are f and x non-equal?
False
Suppose 7*j + 179 - 249 = 0. Suppose -j*d + 1800 = -870. Is d >= 267?
True
Let h = 0.038 - 0.038. Suppose 3*o = -z - 225, 2*o - 371 = 7*o + 3*z. Is h equal to o?
False
Suppose -3 = k, 0 = 5*x - 3*k + 7*k + 507. Let u = -25306 + 25206. Which is greater: x or u?
x
Let i(l) = -10*l + 3837. Let g be i(0). Let y = g + -755886/197. Which is greater: -1 or y?
y
Let f = -190214 + 190220. Let v = -2.7 - -3.38. Which is bigger: f or v?
f
Let l be ((-12)/(-16))/(4/48). Suppose 3 - l = k. Is 10 not equal to k?
True
Let b be ((-29)/(-63) - 1) + 30/45. Let r(q) = q**3 + 2*q**2 - 7*q + 5. Let v be r(-4). Is b less than v?
True
Let f(u) = 44*u**2 - u - 9. Let k be f(3). Suppose -102 = -j + k. Is j <= 486?
True
Let b = -2503796/7 + 356809. Is -876 > b?
True
Let j = 10344 - 12863. Which is greater: -2520 or j?
j
Let t be 20/5 + (-2)/2 + 6. Let f = t + 17. Suppose 86 = 4*s + f. Do s and 15 have the same value?
True
Let t = -10/377 + 3867/131573. Which is greater: t or 1?
1
Let t be (-18109117)/(-1989)*1/21628. Let n = t + -518/5407. Let x = n + 1/36. Which is smaller: x or -1?
-1
Let x = -34/12301 + -22128615/319826. Which is greater: -69 or x?
-69
Let l = -202.774 - 0.226. Let t = l + 202.9. Is -18 bigger than t?
False
Let m = 154242.09 - 153171. Let t = -1066 + m. Let q = t + 0.51. Which is greater: 0.1 or q?
q
Let m be -4 + 679/(-21)*(1 + 32). Let a = m + 10679/10. Which is smaller: a or -2?
a
Suppose 5*z + 45 = -g + 1, -4*z = -4*g + 16. Which is greater: 242 or z?
242
Let w = -281.4 + 312. Let m = -28.6 + w. Is m >= 0.056?
True
Suppose 5*o = 2*a + 22, 2*o + 5*a = 6*o - 21. Suppose o*y + 105 = -5*n + 684, 2*n - 2*y - 228 = 0. Which is smaller: -1 or n?
-1
Let c(b) be the second derivative of b**5/10 + b**4/3 - 5*b**3/6 - 2*b**2 - 1741*b. Let s(m) = 2*m + 1. Let t be s(-2). Let n be c(t). Is -5 < n?
False
Let w be (-224)/11160*(57/(-18) + 14/21). Which is greater: w or 3/5?
3/5
Let z = -12.821 - -9.721. Is 9 > z?
True
Suppose -307 = -12*v - 1099. Let j be (-33)/(v/(-12) - 5). Is j at least as big as -65?
False
Suppose 366 + 1118 = -2*r - 678. Which is greater: r or -5408/5?
r
Let i be (-8)/(-32) - (3 + (-3663)/(-12)). Let p = i - -1538/5. Is 0 equal to p?
False
Let f = 9840851/1950 - 30377/150. Let q = f + -4841. Which is smaller: 3 or q?
3
Let f = -5590 - -5171. Which is smaller: -420 or f?
-420
Let i = -230381 + 2085639196/9053. Is 1 at most as big as i?
False
Let x(m) = 36*m**2. Let a be x(-1). Suppose a*z = 42*z. Which is smaller: z or 1/70?
z
Let v be (-1262)/(-178) - ((-2)/13)/(85/(-4420)). Is -2 < v?
True
Suppose 0 = 9*l - 15*l + 18. Suppose -l*y + 6*y = 5*g - 17, 0 = 5*y + 4*g - 21. Are -36 and y unequal?
True
Let f = 380 - 191. Let k be -1 + -7 + 0 - (-1)/((-7)/(-54)). Which is smaller: k or f?
k
Let b be (-6)/(-9) + 245314/(-303009) + (-111)/(-777). Is -1 greater than b?
False
Suppose -99*v = -96*v - 45. Suppose v*t - 14*t + 240 = 0. Are t and -241 unequal?
True
Let i be 23 + (-428)/18 - ((-30)/(-27))/5. Which is bigger: 900 or i?
900
Let l = -51 - -44. Let p be (-36)/(-4) - (l + 13). Is p at least 0.14?
True
Let f be (320/24)/(10/15). Suppose f*m + 19 = -21. Let w = 1987/6 - 332. Which is bigger: m or w?
w
Let x be (-11)/(-55) - 551/5. Suppose 7*n = -657 - 113. Let m = x - n. Is m <= -1/36?
False
Let u(v) = -3*v**3 + 110*v + 12. Let r be u(-6). Which is smaller: -120/1019 or r?
-120/1019
Let z = 51258/143 - 3942/11. Let q = z + -599/5434. Which is greater: q or 0.3?
0.3
Let c(m) = -m - 8. Let w be c(-7). Suppose -453*s + 2299 = -2231. Is w less than or equal to s?
True
Let w be (-14)/(-4)*1203/(-5614) + 1893/1532. Which is bigger: w or 0?
w
Let n = -0.04 + -0.06. Suppose -9*k + 139 = 661. Is k greater than n?
False
Suppose 0 = 3*i - 2*i - 1. Let w = -1 - i. Let l = -2387 - -2392. Which is smaller: w or l?
w
Suppose -4*t + 5084 = -q, -3*q + 1271 = 454*t - 453*t. Is t greater than 0.1?
True
Let a = 1889 + -1850. Let f be 8/10*(-7)/(-14). Is f < a?
True
Let f = 420.67 - 417. Let k = -530 - -529. Which is greater: f or k?
f
Let w = -267921 + 266797.93. Let q = w - -1112. Let p = 11 + q. Is 2/13 at least p?
True
Let g = -2991.4 + 3241. Is 0 >= g?
False
Let n(g) = g**3 + 11*g**2 + 10*g - 9. Let d be n(-10). Let f be d/3 + (-5)/((-275)/180). Suppose 0 = -3*t - 5 + 2. Which is smaller: f or t?
t
Suppose -139*p - 255*p = 4724060. Is -11990 less than or equal to p?
True
Let i = 111.982 - 112. Let q = i - -0.062. Let n = 0.006 + q. Which is greater: 0.2 or n?
0.2
Let s be (6 - 13840/2305)/8. Let p = -16573/42412 + s. Is -2/7 less than p?
False
Let i(s) = -s**2 + 89 - 8*s - 89. Let o be i(-4). Let z be (-4)/o - -1*3/(-4). Which is smaller: z or 2/11?
z
Let n = -4349 + 4348.5. Is 171 not equal to n?
True
Let x = -5 + 4.99. Let q = -9990 - -9983.541. Let i = q + -0.541. Which is bigger: x or i?
x
Let m = -2387 + 3374. Which is greater: -4 or m?
m
Let u be 56*(4 - 2) - (0 - 0). Suppose -i - 216 = u. Let c be 4/6 - i/12. Is 27 smaller than c?
True
Let i = -10733503/16157540 + 2/115411. Is -2 greater than i?
False
Let w = 137 + -124. Suppose 22 = -3*y + w. Is 0.05 less than or equal to y?
False
Let m = -4941 - -4988. Is m less than or equal to 17?
False
Let q be 84/(-15)*2/20. Let c = -129 - -129. Is q < c?
True
Suppose 2*j = 3*x, j = -3*x + 2*x. Suppose j*s + s + 4*s = 0. Is -3/331 at most as big as s?
True
Let t be (-3)/((-4)/8 + 35/90). Suppose -t*o = -360 - 2691. Which is smaller: o or 114?
o
Let r be (3 + -63)/(-2) - -4. Let b = r - 31. Suppose b*o - 7*o + 28 = 0. Are 9 and o non-equal?
True
