*a**2 - 3*a + 2. Let d be k(-3). Which is greater: d or p?
d
Suppose 5*v = -5*w + 900, -10*v + 13*v + 552 = 3*w. Suppose 8*j - w + 1126 = 0. Is -118 at least j?
True
Let n = 6019 - 6019.49. Are 0.8 and n equal?
False
Suppose -2*h - y - 4*y = -125, 4 = -4*y. Let s be (-646)/(-10) + (-28)/(-70). Let l = s - h. Is l >= 2/25?
False
Let y be (15 - 1)*1631*81/(-3024). Is y at least as big as -613?
True
Let d be (7 + (-1080)/170)*-20. Which is bigger: -13 or d?
d
Suppose 3*s = -3*l + 9696, 2*l = s + 5*l - 3224. Let j = 883429/273 - s. Which is smaller: j or 1?
j
Let b(h) = -7*h**3 - 25*h**2 + 36*h - 24. Let s(n) = -13*n**3 - 48*n**2 + 71*n - 47. Let d(l) = 11*b(l) - 6*s(l). Let a be d(-15). Is a bigger than -0.5?
True
Let s = -59 + 23. Let i = 36.34561 - 0.24561. Let p = i + s. Is -43 >= p?
False
Suppose 0 = 2*a + 3*n + 20, -16 = -28*a + 26*a + 3*n. Is a less than or equal to -2/3511?
True
Let u(b) = -6*b - 1. Let r = 48 + -49. Let c be u(r). Suppose c*f + 2*q - 31 = 0, q + 13 = 5*f - 24. Are f and 7 non-equal?
False
Let q(f) = -10*f + 2. Let w be q(-1). Let y = -10 + w. Let t be (3 - y)/(3/(-9)). Are t and -2 non-equal?
True
Suppose -63*b + 3*i - 1179 = -67*b, 0 = -5*b + 2*i + 1445. Are 2 and b non-equal?
True
Let d(j) = -2410*j**3 - j**2 - j. Let r be d(-2). Let x be 6222/r + 2/14*-2. Which is bigger: 0 or x?
x
Let c = 3086 + -1567. Which is bigger: 1520 or c?
1520
Let j be 177314/5*(-140)/1080. Let w = j + 4597. Which is greater: -1 or w?
w
Let i = 7040 - 7039. Which is smaller: i or 25/197?
25/197
Suppose 0 = 27*j - 24*j - 9. Suppose 2*f = w + 6, 0*f + 9 = -3*w + j*f. Suppose -a + w*a = -2*a. Does a = -1?
False
Suppose 3*g = w + 48 - 12, 5 = g. Let i be (-16)/(-6)*w/(-14). Suppose i*l - 3*l + 7 = 0. Which is smaller: -2 or l?
l
Let d(x) = x**3 + 7*x**2 + 8*x + 15. Let a be 3 - (40/4 + -1). Let v be d(a). Suppose v*z - 64 = -z. Which is bigger: z or 18?
18
Let t = 451467 - 4974766/11. Let w = t + 791. Which is greater: 8 or w?
8
Let a be 115920/(-420)*1/(-6). Suppose 5*k = -0*k + c + 240, 73 = 2*k - 5*c. Which is greater: a or k?
k
Let p = -747 - -42580/57. Let a(x) = -8*x - 47. Suppose -12 = z + 2*y, 4*z + 6 = 3*y - 9. Let d be a(z). Which is greater: p or d?
d
Let q = -36.69 + 1.59. Let k = q - -32. Suppose 0 = -6*c + 2*c - 5*h - 4, 0 = 5*c + 4*h + 5. Which is smaller: k or c?
k
Suppose -o + 452 = -6*o - 2*s, 4*s - 108 = o. Let i be -2 + (o/28 - 2). Let p(r) = r**2 + 4*r - 3. Let l be p(-3). Which is smaller: l or i?
i
Suppose 5*l + 4*k - 124 = 0, 2 = 5*l - k - 142. Let q(u) = u**3 - 29*u**2 + 27*u + 28. Let n be q(l). Which is greater: 15/28 or n?
15/28
Let s(r) = 312*r - 2068. Let t be s(7). Is t less than 118?
True
Let t = 29890 - 29882. Let p = 91 + -46. Suppose -5*z + 0 = -p. Which is greater: z or t?
z
Let p = 549402/205 - 2680. Let i(k) = -2*k - 23. Let y be i(-11). Is p greater than or equal to y?
True
Let a(m) = -m**3 - 22*m**2 - 62*m - 174. Let h be a(-19). Is -87 at most h?
True
Let h = -0.7 + -9.3. Let a = 504 - 503.11. Let f = 0.69 - a. Is h at most f?
True
Suppose 76 = 13*j - 54. Let t be 5*4/j*1. Suppose 0 = -l + f - 5, -2 = -t*l + 4*f - 8*f. Is l greater than -18/11?
False
Suppose -762 = 5*i + i. Let k = 127 + i. Is k >= 2/79?
False
Let p = -16 - -16. Let x = 695/54273 - 2/237. Is x less than p?
False
Let d(i) = 10*i + 3*i + 15 - 5*i. Let w(l) = -7*l - 14. Let v(p) = 3*d(p) + 4*w(p). Let f be v(-3). Does 5/7 = f?
False
Suppose 9*b + 25 = -182. Let a = b + 31. Suppose 0 = -12*q + a*q. Which is bigger: -1/49 or q?
q
Suppose 1092 = 65*y - 37*y. Let c be 17468/(-26) - (123/y - 3). Which is greater: c or -671?
-671
Let k(m) = -m**2 - 6*m + 3. Let s be k(-4). Suppose 0 = -30*r - 30. Let c(l) = 8*l**2 + 3*l + 4. Let n be c(r). Is s < n?
False
Suppose 160 + 60 = 11*p. Suppose 2*s - 8 = -5*r - 20, 3*r = 2*s - p. Let z be s/(-2) - (-3 - (-6 - -4)). Which is smaller: 1/4 or z?
z
Let a be (-2)/3950*1971 - (-39 + 38). Is a at most as big as -1?
False
Let r = 0.177 + -0.27. Which is smaller: r or 142?
r
Let l = -5755/3 + 1919. Do l and 2/4321 have different values?
True
Let h = -13678/5 - -2717. Which is smaller: -18 or h?
h
Let p = -9343 + 4948. Are p and -4395 non-equal?
False
Let o = -51 - -41. Let i(h) = -h**2 - 22*h - 119. Let r be i(o). Which is smaller: -159 or r?
-159
Let k = 66.28 - -0.72. Let x = -98 + k. Let c = x - -31. Which is bigger: c or -49?
c
Suppose -4*g = -8*g - 4. Let c = -36/199 + 12835/69849. Which is smaller: c or g?
g
Let i(c) = -c**3 + 6*c**2 - c + 1. Let v be i(6). Let q be 0 + (v - -3) - (-2 + 30). Let s = q + 5. Is -24 at most as big as s?
False
Let i = 4668524 - 3954241969/847. Let j = -12/121 - i. Let s = -6 - -9. Is j smaller than s?
True
Let b = 13317 + -9482. Is b less than 3835?
False
Let c = 28 - -322. Suppose -15846 = -75*z - 11029 + 21358. Which is smaller: z or c?
z
Let c = 15327395341/810230250 - -1/2160614. Let l = c - 284/15. Is l >= 3?
False
Suppose -9*x = -11*x + 270. Suppose -6*i = -141 - x. Suppose -z - 3*u - i = 0, 3*u + 98 = -3*z + 2*u. Are z and -1 equal?
False
Let b(y) = -25*y**2 + y + 6. Let c be b(2). Let k = -87 - c. Let l = 1/55 + 241/55. Which is bigger: l or k?
k
Let n be 1*(15/(-20))/(1/212). Let v = -91 - n. Let f be 36/1173 - 8/v. Which is greater: f or 1?
1
Suppose 12*w = 13*w - 19 + 14. Are w and 5/14 equal?
False
Let z be ((-3)/(-2))/((-16)/(32/3)). Which is greater: 9235 or z?
9235
Suppose -2*u = -79*u - 957572. Is u at least -12436?
True
Let r be (10 + -16)*3/9 + (-146691)/(-108). Do 1357 and r have the same value?
False
Suppose v - 21 = -f + 2*f, -155 = 5*f + 5*v. Let x be 602/(-24) - (-157 - -166 - (-35)/(-4)). Is f at most x?
True
Let b be 24/(62/(-21) + 3). Let f = b + -359. Suppose 3*u - 8*u = -f. Are 0.1 and u equal?
False
Let y be (3 + 4)*-3 - (-6)/(-2). Suppose -4*m + f + 35 = 0, -3*m + f = -m - 19. Let c be (m/y)/((-2)/12). Which is smaller: 12/13 or c?
12/13
Suppose 0 = -59*q + 305 - 364. Let s = -194234/115 + 1689. Which is bigger: q or s?
s
Suppose 7*o = -2810 - 480. Which is smaller: -468 or o?
o
Let y = -9 - -8.54. Let c = 0.74 + y. Let k = c - -1.72. Which is smaller: k or 8?
k
Let p(y) = -y**3 - 40*y**2 + 9*y + 342. Let k be p(-40). Is k not equal to -18?
False
Let i = 1.682 - 15.682. Is 3/2 < i?
False
Suppose 65*j - 348 - 626 = 586. Are 742/31 and j nonequal?
True
Let r = -133 - -286. Suppose 6*j + 19*j = 4*j + 3255. Which is greater: j or r?
j
Let x be (-1*1)/(784/(-24)). Let q be (-52)/234 - 21/27. Do q and x have different values?
True
Let u be (-6)/(-12) + (-3)/12. Let c = 293/21 + -35/3. Which is smaller: u or c?
u
Suppose -b = -f - 12, 0*f - 5*f + 3*b = 50. Let u be 2*(-2)/10 - f/5. Let k be ((-16)/100)/((-52)/(-10)). Is k less than u?
True
Let i(a) = -128*a - 7970. Let g be i(-62). Which is greater: 22 or g?
22
Let m(r) = -11*r**2 + 16*r + 54. Let x be m(-24). Let k be 7/(-4) + 1 - x/6072. Which is greater: k or -1?
k
Let f = -3.64559 - 0.35441. Let x = 7 + -4. Let m = x - 3.1. Does f = m?
False
Suppose -18*o = -5*o - 91. Let b(k) = k**3 - 8*k**2 + 2*k - 8. Let m be b(o). Which is greater: m or -39?
-39
Let i(c) be the third derivative of -c**4/6 - 11*c**3/3 - 87*c**2. Let u be i(-5). Suppose -2*k - 5 = 3*j - 3*k, 2*j + k = 5. Is u < j?
True
Let g be -5 + 11/((-88)/(-728)). Which is smaller: g or 87?
g
Let v(k) = k**3 + 16*k**2 + 12*k - 20. Let d be v(-16). Let g(i) = -8*i**2 + 5*i - 11. Let t be g(3). Let s be d/t + (-2 - 1). Are s and 1 equal?
False
Suppose 0 = -1212*a + 1215*a. Which is smaller: a or 49/173?
a
Let c be 3/(-2)*(-1)/(-291). Suppose -3*v + 3*h - 27 = 0, 2*v + h = -17 + 23. Is c >= v?
True
Let y = -54 + 54.048. Let k = 19.8 + -18.848. Let h = k + y. Which is smaller: 10/9 or h?
h
Let j(t) = -t - 10. Let m be j(-9). Let x = -1126 + 23644/21. Which is smaller: m or x?
m
Let s = 113 + -290. Which is greater: -175 or s?
-175
Let v be 0/((-15)/(-5) + -6 + 2). Suppose v = -447*o + 435*o + 36. Let l be 114/40 + (-2)/(-5). Is o smaller than l?
True
Let n be (-83)/(-6) - 0/5. Let w = 33963 - 33948. Which is smaller: w or n?
n
Suppose 3*x - 2*x = -1, 0 = -4*o - 4*x + 44. Suppose -8 = w + o. Let a = -127036 + 381047/3. Is w bigger than a?
True
Let q = 400 - -95. Let a be (8/(-10))/(((-242)/q)/(-22)). Do a and -13 have the same value?
False
Let u b