+ 1 - 2 - 6*j + 2*j**2. Let t be p(12). Let l be t - (0 + (-2)/3). Which is smaller: 0 or l?
l
Suppose 5*v - 5 = -0. Suppose -4*j - v = -17. Suppose -1 = j*c - 21, 4*c - 20 = -2*g. Is g less than 0?
False
Suppose c + 3 = 2*x + 1, 2*x = -3*c + 34. Let u be (0 - c)/(1 - -1). Let t(w) = -2*w + 3. Let l be t(2). Which is smaller: l or u?
u
Suppose -10*q + 44 = -14*q. Is q > -14?
True
Let p be (-501)/(-33) + 4/(-22). Suppose -3*f - 5 = 2*z, -p + 0 = 3*f. Which is bigger: z or 8?
8
Let d = 0.7448 + 0.0652. Which is smaller: 1 or d?
d
Let w = -575 - -575.8. Which is bigger: 1/3 or w?
w
Let k(w) = w**2 - 7*w - 18. Let t be k(7). Let x be (-4)/t + 42/(-108). Is x > 1?
False
Let g = -1.2 + 0.39. Let d = 0.81 + g. Is -7/16 less than or equal to d?
True
Let l(h) = -h**2 - 6*h + 251. Let y be l(-19). Let g be (-1 + 2)*4/(-2). Let r be g/2*3/(-1). Which is greater: y or r?
y
Let q = 27/8 - 427/136. Suppose 9 = -5*p + 4*f - 3, p + 5*f - 15 = 0. Which is smaller: q or p?
p
Let o be (-22)/6 + (-1 - -4). Let s = -43 - -22.5. Let f = s + 4.5. Is o greater than f?
True
Suppose 0 = -2*d + 4*z - 10 - 4, 12 = 3*z. Let l = -13/3139 + -7065785/25112. Let k = 281 + l. Which is bigger: d or k?
d
Let f be (-20)/7*(-14)/(-28). Let p = 13/14 + f. Is -1 not equal to p?
True
Suppose -24 = 4*i + 44. Let s be 1/(-4)*1156/i. Is 19 less than s?
False
Suppose -5*w - 2 = 3*j + 1, 4*j = 5*w - 4. Let t = -568/7087 - 29/373. Does t = j?
False
Let f(n) = -n - 4. Let v be f(-8). Suppose m = v*t - 98, 0*m - 3*m - 69 = -3*t. Let w be ((-10)/t)/((-6)/(-10)). Is w <= -3/2?
False
Suppose -3*p - 1 = -31. Let v(r) = 16*r + 100. Let o be v(-6). Suppose w + 36 = o*x - w, w = x - p. Is 8 < x?
False
Let x = -531 + 505. Is -33 <= x?
True
Let s = 107 + -95. Which is greater: -0.1 or s?
s
Let d = -8736839/16 + 546379. Let j = 327 - d. Which is bigger: -1 or j?
j
Let x = 53 + -30. Let l(b) = -b**3 + 4*b**2 + 3. Let s be l(4). Suppose -s*y + 4*o = -7, -2 = 3*y + 4*o + x. Is -3 <= y?
True
Let j = -196 - -141. Is j <= -394/7?
False
Let m = 1506 - 1508. Is m != 98?
True
Let u be (2 + (-1461)/732)/((-51)/136). Do 1 and u have different values?
True
Let w = -82 + 82.07. Which is smaller: -0.4 or w?
-0.4
Let r be -3*(3 - 30/9). Let z = 80/329 + 2/47. Which is bigger: r or z?
r
Let u = 1244/3 + -417. Is u at most 12/11?
True
Let f be 1/(-4) - 705/(-2772). Let g = f - 163/2079. Let m be (-12)/36*(1 + (-5)/2). Is m greater than g?
True
Suppose -8*p + 43 = -37. Which is bigger: 45/4 or p?
45/4
Let b = -31 + 32. Let w = -0.15 + -0.1. Let x = w + 0.15. Which is smaller: b or x?
x
Suppose -5*y + p + 350 = -0*y, 5*y - 3*p = 360. Is 69 != y?
False
Suppose 3 = -5*h + 8. Let k be ((-14)/(-10) + -1)/((-6)/(-295)). Let g = k + -947/48. Which is greater: g or h?
h
Suppose -57*t + 60*t - 27 = 0. Let u = -65/7 + t. Does u = -0.08?
False
Let d be 3/(-2) - 44*(-8)/192. Are d and 31/3 nonequal?
True
Let t be 3/(-27)*-3*-39. Let s(u) = u + 9. Let p be s(t). Let j be (1 + (p - -1))*4. Are -6 and j non-equal?
True
Suppose 0*y = -2*y + 5*q - 1, -40 = -5*y + 4*q. Suppose 0 = -y*x + 9*x. Suppose 6*s + 0*s + 48 = x. Are -9 and s nonequal?
True
Let k be (-6)/45*(-5)/(-4). Suppose -11*r = -5*r. Is r at most k?
False
Let v be 2/(-3) + 1328/12. Let a = 334/3 - v. Which is bigger: a or 1?
a
Let w(x) = x**3 - 24*x**2 - 53*x + 42. Let s be w(26). Is s less than -8?
False
Let f(i) = -i**3 - 18*i**2 - 20*i - 46. Let m be f(-17). Which is greater: 40/9 or m?
m
Let q = -210 + 209.8. Let x = 0.7 - 0.8. Which is smaller: q or x?
q
Let s = -25 + 25. Suppose 13*k - 16*k = s. Let y be (-68)/40 - -1*2. Do k and y have the same value?
False
Let f be (3/6)/((-18)/12). Let i = -7.4 + 0.4. Are i and f nonequal?
True
Let l(p) = -2 + 0*p - p + 2*p. Let f be l(2). Let g = 177/5 - 36. Are g and f equal?
False
Suppose 2*n = -5*r - 420, 2*r = -4*n + 7*n + 668. Which is bigger: n or -217?
-217
Let f be (3 - -151) + (3 - 2). Suppose f + 150 = -5*z. Is z > -60?
False
Let g be 54/4*11/132*-6. Is g less than 0.2?
True
Let f = -287 - -285. Is 1.9 less than or equal to f?
False
Let o be (-21)/70*(-391 + -1). Which is bigger: 117 or o?
o
Let r(c) = c**2 - 3*c - 37. Let p be r(13). Which is bigger: 466/5 or p?
466/5
Let h(k) = -3*k - 6. Let n be h(-5). Let w = n - 7. Suppose -4*v = -3*p + w + 21, 0 = 2*v - 4*p + 4. Which is smaller: v or -7?
v
Let h be -6 - ((-3806)/317 + 6). Is 1 > h?
True
Let m(h) = h - 43. Let y be m(20). Let g = y - -33. Which is greater: g or 6?
g
Let v be ((-7464)/40)/3 + 2/10. Let q = -63 - v. Is 2 not equal to q?
True
Let l(o) = -o**2 + 5*o + 12. Let y be l(6). Let v(k) = -k**2 + 5*k + 11. Let x be v(y). Which is greater: 6 or x?
6
Let o(m) = 22*m - 54. Let a be o(-8). Is a at least -230?
True
Let a = -207 - -212. Is a at most as big as -32?
False
Let j = -4 - -1. Let i be (-9)/15 - (-10388)/(-6765)*2. Let c = i + 2/451. Which is greater: c or j?
j
Suppose 4*r + 44 = -0*r + 4*o, 4*o - 20 = 0. Let d(g) = -g - 7. Let u be d(r). Let t be (40/25)/(2/(-1)). Which is greater: u or t?
t
Suppose 3*k - 4*k - 118 = -3*b, -b + 36 = -2*k. Is b less than 41?
True
Let u = -0.075 + 0.075. Which is smaller: u or 158?
u
Suppose -4*u = 3 + 29. Let v = u + 0. Let t = -3 - v. Which is bigger: 6 or t?
6
Let f = -0.04 - -0.041. Let x = f - -0.999. Which is bigger: -2/247 or x?
x
Let v(k) = 3*k**3 - k + 3. Let i be v(-3). Let b be i*-1*3/9. Let u = -124/5 + b. Which is greater: u or -1?
u
Let g be 4/(5/(-105)*-6). Let m = -73 - -75. Is m greater than or equal to g?
False
Let b = -1107 + 1117. Which is greater: b or -63?
b
Suppose 0 = -w - 4*w - 3*s + 12, 0 = -4*s - 4. Suppose -69 = -4*i + q, -2*i + 22 + 5 = -w*q. Is i at least as big as 17?
True
Let y = -193 + 137. Let u = y + 57. Which is smaller: -1/4 or u?
-1/4
Suppose 5*s + 2 = 22. Let i be (-376)/20 - s/20. Which is smaller: i or -18?
i
Let w(v) = -10*v + 6. Let h be w(-4). Let x = h - 80. Which is smaller: -33 or x?
x
Let v = 8 + -3. Suppose -v*i = -5*f - 15, 3*i - 2*f + 0 - 4 = 0. Let r be (-170)/40 + (3 - 0). Is r smaller than i?
False
Let d be (-7236)/(-72)*2/3. Is 67 at most d?
True
Suppose 0 = -6*k + 71 + 19. Let f be 21*(1 - 40/k). Which is greater: -36 or f?
f
Suppose 5*k + 0*k + 2565 = -5*w, -k - 2052 = 4*w. Which is smaller: -512 or w?
w
Let h = 11 - 4. Let w be ((-1)/2)/(h/14). Let o = -35/62 + 2/31. Which is smaller: o or w?
w
Let t(i) = -i**2 + 3*i - 1. Let m be t(2). Let s = -3639 + 3563. Is m bigger than s?
True
Let b = 179 - 255. Let a be -1*b/36*3. Which is greater: 5 or a?
a
Let s = 34 - 28. Let h = -5 + s. Which is smaller: h or 5/7?
5/7
Let o = 2/1783 - 203284/19613. Is o bigger than -10?
False
Let a = -60.6 + 68.6. Which is bigger: a or -1?
a
Let w = -26 - -6. Is w greater than -1/3?
False
Let h(o) = 2*o**2 + 27*o + 25. Let t(q) = q**2 + 13*q + 13. Let v(p) = 4*h(p) - 9*t(p). Let b be v(-10). Let a = 27 + b. Which is greater: 2 or a?
2
Suppose -4*p = p. Suppose -6*o = -5 - 13. Suppose 2*g = 4*u - 16, -o*u = -3*g - 0*g - 18. Is g greater than or equal to p?
False
Let n be ((-488)/28)/(9/(-7)). Let d = n - 568/45. Let p = d - -7/30. Which is smaller: p or 0?
0
Let l(b) = 2*b - 26. Let n be l(-48). Which is bigger: n or -123?
n
Let y = -13 + 10. Let f(h) be the second derivative of -h**5/20 + 7*h**4/12 - h**3/6 + 5*h**2/2 + 2*h. Let n be f(7). Which is bigger: n or y?
n
Let w = 68443597486286/13605 + -5030767911. Let b = -2/2721 - w. Which is bigger: b or -4?
-4
Suppose -4*w + 308 = 4*k, 5*k + 19*w = 21*w + 350. Is k less than 72?
False
Let z be 18/45 - 88/820. Is -1 less than z?
True
Suppose -8*c - 3*b + 405 = -5*c, -4*b = -4. Is 134 > c?
False
Let v(c) = -c**2 + 13*c - 9. Let y be v(12). Let i be (y/(-2))/(21/28). Let o = 2/81 + 148/567. Which is smaller: i or o?
i
Let b(x) = -3 + 6 - 45*x**2 + x**3 + 35*x**2 - 12*x. Let u be b(11). Is 1 greater than or equal to u?
True
Let d = 147 - 587/4. Is d > -19.4?
True
Suppose -4*k = 8*k + 72. Let q be 0 + (18/k)/(-93). Is 0 smaller than q?
True
Let m = 77 - 80.6. Let h = 4.4 + m. Which is smaller: 5 or h?
h
Let a(o) = -o**3 - 14*o**2 + 7*o - 2. Let h be a(-15). Let t = h - 117. Which is greater: t or 11/6?
11/6
Suppose 4*d - 75 = -3*n, -d - n - 14 = -34. Suppose -290 + 66 = -10*q - 94. Is d less than q?
False
Suppose 0*o - 2*o - 8 = 0. Let x be 