t w(l) = -61*l - 4. Let v be w(1). Let m = 64 + v. Let a = 29/546 - -1/42. Is m at least as big as a?
False
Let o be (0/2)/(-19 + 17). Suppose o = -4*f - f - 75. Are -15 and f equal?
True
Let x = 63/2 - 32. Which is greater: -12 or x?
x
Let x = -155 + 225. Let s be (-285)/x - (-5 + 1). Which is bigger: s or 1?
1
Let i(s) = -s**2 - 6*s + 2. Let m = 24 - 29. Let u be i(m). Is u less than 9?
True
Let h = 72 + -44. Let v = 15 - h. Let j = 11 + v. Is 0.1 < j?
False
Suppose 5 = 5*u - 10. Suppose -3*k - 6*l + u*l = 15, 4*l = -5*k - 21. Let d be (-42)/8 + (-3)/(-12). Is k equal to d?
False
Suppose 0 = -3*t - 12, -2*v + 4*t = -30 + 2. Let i(c) = 0*c**3 + 8 - c**3 + c**2 + 0*c**2 - c. Let l be i(0). Do v and l have different values?
True
Let w = -3879 + 3917. Let t = -2 + 2. Which is bigger: t or w?
w
Let y = -0.133 - -0.233. Which is greater: 1/148 or y?
y
Let i be (-4)/(-22) + 6/(-33). Suppose 2*u - 3*u = i. Let c = -4/51 + 31/34. Which is bigger: u or c?
c
Let u(r) = r - 16. Let j be u(7). Let m be (-14)/(-7) - 99/3. Let q = m + 21. Which is smaller: j or q?
q
Let w = 1982 - 2003. Is w bigger than -27?
True
Suppose -31*h - 4*v = -36*h - 3506, 706 = -h - 4*v. Is -703 at least as big as h?
False
Let p = 71 - 30. Let u = p - 40.77. Let d = -10 - -11. Which is greater: u or d?
d
Suppose -4*n - 4*d + 12 = 0, -5*n - d + 12 = -11. Let o be 6 + (-1*1 - -1). Let z = n - o. Which is bigger: z or -1/19?
-1/19
Let d(k) = -k - 8. Let t = -6 - 4. Let y be d(t). Let a be (y*2)/((-6)/(-9)). Which is greater: a or 1?
a
Let l(m) = m**2 - 9*m + 6. Let u = 20 - 15. Let p be u - 9/(3 - 6). Let d be l(p). Do d and -4 have different values?
True
Suppose -z = -4*j + 115, 4*j - 51 = -3*z + 84. Let y be 460/15 + 2/6. Is y smaller than j?
False
Suppose 4*t + 180 = 5*j, 2*t + j + 45 = t. Let f = -137/3 - t. Let a be -2 + 1 - (-3)/12. Which is smaller: a or f?
a
Let d(k) = 2*k**2 + 18*k + 22. Let o be d(-10). Is 41 <= o?
True
Let q(c) = 349*c - 1. Let l be q(-1). Let h = 23 + -63. Let o be l/h*1/5. Is 2 greater than or equal to o?
True
Let m = 12/85 + 888/935. Let f = -15/44 + m. Is 0.1 equal to f?
False
Suppose -4*d + 143 + 85 = -5*n, 0 = 3*n - d + 134. Let o = 32 - n. Are 75 and o equal?
False
Let b = 2796 + -22479/8. Is b greater than -14?
True
Suppose 0*o - 4*v - 877 = 5*o, 0 = -3*o + 3*v - 510. Which is smaller: -174 or o?
-174
Let u(n) = 2*n**2 + 4*n. Let w be u(0). Let f = -10 - 4. Let i be (-2)/(-6)*4/f. Is w bigger than i?
True
Suppose 230 = -3*h + 23. Is -75 greater than h?
False
Suppose 3*y - 16 + 4 = 0. Let z(q) = -4*q + 172. Let n be z(42). Is n <= y?
True
Let q = -2 - -8. Let d = -6.02 + q. Let a be 36/30*(1 + 4/(-6)). Is d bigger than a?
False
Let x(b) = b**2 + 3. Let j be x(0). Let p be ((-4)/6)/(-1)*j. Let u = 437/2 - 218. Which is bigger: p or u?
p
Let i = -2085/4 + 402417/772. Which is bigger: -1 or i?
i
Suppose -f + 3*u - 9 - 2 = 0, 0 = -5*f - u - 7. Let d be 2/(f - -6)*0. Are 4 and d unequal?
True
Let w(o) be the third derivative of 1/60*o**5 + 0*o + 1/2*o**3 + 0 - 6*o**2 + 7/24*o**4. Let h be w(-6). Which is greater: h or 0.1?
0.1
Suppose 2*r = -q - 7, -5*q - 3*r - 20 = -8*r. Let m = 20/3 + q. Is m at most as big as 1?
False
Let w be 484/(-9) - (-10)/(-45). Which is bigger: w or -0.2?
-0.2
Let q(x) = -x**3 + 7*x**2 + x - 6. Let u be q(7). Let c be 2/42*(-1 + -1). Do u and c have different values?
True
Let y = -0.26 - 0.16. Is -2 greater than y?
False
Suppose 4*w + 3*y = 840 + 63, 5*y + 699 = 3*w. Let u = 1821/8 - w. Let t = 0 - 1. Which is bigger: u or t?
u
Let o = 4.1 + -4. Let d(t) = -t**3 - 10*t**2 + 12*t + 14. Let w be d(-11). Suppose x + 3 = -w. Which is smaller: o or x?
x
Let o(u) = -u**3 - 21*u**2 + 24*u + 43. Let b be o(-22). Let y = -39631/16753 + 3/1523. Which is smaller: y or b?
y
Let k be 0/(-6 + 7)*1. Which is bigger: 3/206 or k?
3/206
Let u = 385 - 409.5. Which is smaller: 0.1 or u?
u
Let i = 522 - 1567/3. Which is bigger: 7.63 or i?
7.63
Suppose 2*x + 34 - 32 = 0. Is 1/30 not equal to x?
True
Let y be 129/27 - (-8)/36. Suppose -y = -5*c - 0*c. Let p = -5811/11 + 528. Are c and p non-equal?
True
Let l be (72/(-90))/((-4)/(-190)). Let a(p) = -p**3 - 6*p**2 + 6*p - 2. Let y be a(-6). Is l at most as big as y?
True
Let l = 0.0288 + 15.9712. Are -6 and l nonequal?
True
Suppose i - 6*i - 5 = 0. Suppose 0 = n + 2*k - 11, 3*k = 2*n + 6 - 0. Let y be n*((-30)/27)/5. Which is smaller: y or i?
i
Let s = 227 + -125. Let y = -154672/9 - -17084. Let b = s + y. Is -1 less than or equal to b?
True
Let x(r) = -r**2 - 18*r - 14. Let z(s) = -s. Let h(c) = x(c) - 4*z(c). Let p be h(-13). Let g be (1/4)/(10/(-25)). Which is greater: p or g?
g
Suppose 3*b = -6, -50*m + 52*m = b + 18. Suppose 5*x = -3*n + 21, 3*x = -n - x + 14. Suppose -2*f = 5*l + 2*f - 3, -4*l - n*f = -6. Are l and m non-equal?
True
Let j be 1/(-6) + 16/(192/(-370)). Which is smaller: j or 2/9?
j
Let l(t) = t - 5. Suppose 4*z - 12 = 0, 0*a = 3*a - 5*z. Let q be l(a). Let h = 3/32 + -79/160. Which is bigger: q or h?
q
Let m be (42/(-18))/((-4)/(-6) - 1). Suppose 14*d = m*d. Is -3/40 greater than d?
False
Suppose 3*u + 3 = -3*h + u, -h = u. Let k(z) = z + 8. Let f be k(-7). Which is greater: f or h?
f
Suppose -x - 86 = 5*h, 2*h + 3 = -2*x - 25. Let l be h/2*8/(-3). Which is bigger: 23 or l?
l
Suppose -4*p - 336 + 128 = -4*o, -3*o + 99 = -2*p. Let z = -80 - p. Let h = z - -116/5. Which is greater: h or 0.1?
h
Let l = -2/147 + 157/735. Is l >= 50?
False
Let v = -31/8 + 709/24. Let m = v + -25. Let i = 3525 + -3528. Which is greater: i or m?
m
Let v = 3034 + -3034.3. Let y = -7 - -11. Which is greater: y or v?
y
Let t be (-6)/(-51) - (-2320)/(-1224). Is -3 greater than t?
False
Let k be 4/3*(-12)/(-8). Let h = k + 0. Does h = 2?
True
Let f = -87 + 123. Let s be f/9 - -1*2. Let y be (-20)/(-4)*2 + -4. Is s smaller than y?
False
Let i = -30 - -49. Suppose 2*m + 17 - i = 0. Is -3/16 at least m?
False
Let v = -2.5 + 2.3. Let g be 5*(-6)/4*28/165. Is g at most v?
True
Let w be ((-20)/(-6))/(32/48). Let v be (-2)/(-3)*w*18/60. Let l = 1/3 - 1/12. Which is smaller: v or l?
l
Let u be (30/4)/(-2 - -8). Suppose -x = -9*x + 5*x. Is x not equal to u?
True
Let q = -69.7 + 63. Let y = -6.6 - q. Which is smaller: y or -2/5?
-2/5
Let l(n) = n + 12. Let m(q) be the first derivative of -q**2/2 - 13*q - 3. Let j(r) = 6*l(r) + 5*m(r). Let u be j(5). Which is greater: u or 11?
u
Let i = 123 + -215. Is i less than -93?
False
Let f = -0.019 - 18.981. Let p = 18 + f. Is p <= -24?
False
Suppose 0 = 22*f - 14 - 8. Let z be 2/(-4)*(-4)/(-42). Is z less than or equal to f?
True
Let z = 412 - 2171/5. Which is greater: z or -21?
-21
Let r(a) = 3*a - 6. Let w be r(9). Suppose 105*d - 3910 = -65*d. Is d >= w?
True
Let s be (24/(-43524))/(-2 + 5/3). Which is bigger: -1 or s?
s
Let i be (-7 - -7) + -2 + 39/(-8). Is -1/3 smaller than i?
False
Let r be ((-2 - -9) + -7)/(1*-1). Suppose 3 + 1 = v + 2*i, -i = -v - 8. Let t be r + v + 8/4. Is -5/7 at least t?
True
Let b = -0.4 + 0.37. Let f = 0.03 + b. Let w = 0.2 + f. Is w less than -1/6?
False
Let k be -89*((-141)/(-30) + -2). Let b = k + 471/2. Is b equal to -6?
False
Let u(g) = 16*g**3 - g. Let z be u(1). Suppose -6*m + 2*m + i = z, i = -2*m - 9. Let n be 1/12 + m/(-16). Which is bigger: n or 2?
2
Let r = 1 - 5. Let x = -29 + 61. Suppose 0 = j - 2, -3*f - 2*f + j = x. Which is smaller: f or r?
f
Let i be 4 - 1 - ((-117)/40)/(-1). Which is greater: 0 or i?
i
Suppose -23*b = 23*b. Suppose -2*o + 1512 = o. Let d = 6549/13 - o. Which is smaller: b or d?
d
Suppose 5*x - 3*n - 7417 + 2242 = 0, -x - 4*n + 1012 = 0. Is x equal to 1031?
False
Let h = -518 + 469. Is h less than or equal to 0.4?
True
Let x be (-1)/3*(16 + -1). Let v = 4 + x. Let w be (v/(-3))/1*-1. Does 6 = w?
False
Let v = -706 + 224. Is -2/3 not equal to v?
True
Let c be (117/24)/(-13) - 2/(-16). Which is smaller: c or 3.9?
c
Let j = -0.33 + -32.67. Let c = j - -33.15. Do c and -0.2 have different values?
True
Let g(d) = 2*d**2 - 3*d - 118. Let q be g(-7). Are q and 462 nonequal?
True
Suppose 0 = -3*s + 3*z + 69, -135 = 2*s - 8*s + 5*z. Which is smaller: 41/2 or s?
s
Let x(m) = -12*m**2 - 100*m - 4. Let k be x(-9). Which is bigger: k or -75?
-75
Let f = 1544 + -18527/12. Which is smaller: -1/27 or f?
-1/27
Let f(z) = -z**2