 - 4*p(q). Let f be d(-6). Which is smaller: 1/6 or f?
f
Let j be ((-1166)/(-44))/(3/(-9)). Is j bigger than -81?
True
Let v be 2/3 - (-110)/(-66). Is v bigger than -4/171?
False
Suppose -2*b + 3*p = -7*b + 62, -3*b = 3*p - 36. Let f be (-6 - -3) + 6 - 15. Let o = f + b. Is o less than or equal to 2?
True
Suppose 46*u - 41*u = 2*h + 2, 0 = h - u + 1. Is h <= -3/106?
True
Let w = 99.03 - 99. Is w <= 2/5?
True
Let y = 5.6 + 1.4. Let j = -6 + y. Let p = 0.099 + -0.039. Which is smaller: p or j?
p
Let k = 368 - 357. Suppose -r + 4 = -4*f + 24, 0 = -3*f + 5*r + 15. Is f at least k?
False
Let u = 226 + -224.9. Is 13 equal to u?
False
Suppose 19 = -3*k - k + 5*o, -k - 10 = -3*o. Let d be 2*(18/4 + k). Suppose -6*l - 1 = -d. Is l greater than 2?
False
Let b be (-3)/(-7) + ((-213)/105 - -2). Do -10 and b have the same value?
False
Suppose -12 - 16 = m + 5*s, 0 = m + 3*s + 28. Is -27 at most as big as m?
False
Let x = 0.15 - 0.1. Let w = x + -0.01. Let q = 0.96 + w. Which is bigger: q or -3/4?
q
Suppose -23*r - 35*r = -2494. Which is smaller: r or 37?
37
Let o(x) be the first derivative of -x**4/12 + 7*x**3/6 - 5*x**2/2 - 6*x - 7. Let g(l) be the first derivative of o(l). Let y be g(6). Is 1 greater than y?
False
Let z = 0.8 - -12.3. Let w = -23 - -36. Let f = z - w. Which is greater: -0.07 or f?
f
Let o(k) = -k - 8. Let b be o(-8). Suppose -2*u = -b*u - 4. Is 17/5 at most as big as u?
False
Suppose 0*d + 5*p + 11 = -2*d, 3*d - 3*p = -27. Suppose -4*a = -v + 14 - 47, -v = -5*a + 40. Let g = a + d. Is g at most 2/29?
True
Let q be (-6)/(-3) + 14/(-2). Suppose 3*b + 196 = 10*b. Let x be (q - -3)*2/b. Which is greater: x or -1?
x
Let m = 184 + -365. Is -182 at least m?
False
Suppose -5*n + 4*n - g = 319, -5*g + 1258 = -4*n. Is n at most -317?
True
Let u be (10/10)/((-3)/15). Which is bigger: -2 or u?
-2
Let j be (-21)/(-15)*(-5)/2*-98. Is j greater than 342?
True
Let v = -1537/438 + 2/219. Let u = 4045 - 4047. Which is smaller: v or u?
v
Let n = -438 + 437. Which is smaller: -22/37 or n?
n
Let n(f) = -2*f + 10. Let l be n(4). Suppose 5*u - 4*m + 20 = -9*m, 0 = -5*u - l*m - 11. Let d be u/(-2*(-1)/2). Is -2/3 < d?
False
Suppose 11*w = 143 + 550. Which is smaller: 1/3 or w?
1/3
Let j be (-39)/(-2)*(-28)/(-210)*-2. Let s = 0.3 - 0.5. Is j less than or equal to s?
True
Let q = 15 - 16. Let p be q*(-3)/(-15) + 243/15. Which is smaller: 17 or p?
p
Let k be (90/1575)/((-2)/10). Which is smaller: -24/7 or k?
-24/7
Suppose 5*x - 5*o - 225 = 0, -5*o = -x + 43 + 2. Let y be (-5 - 0)*126/x. Let i = -34 - y. Which is bigger: -19 or i?
-19
Let x = -13/14 - 3167/42. Which is greater: -75 or x?
-75
Let y = -0.99 + 2.99. Which is smaller: y or -25/3?
-25/3
Let l be 1 + -2 + 2 + -3. Let w be l/10 - (-48)/15. Suppose 13 + 35 = -w*p. Which is smaller: -15 or p?
p
Let q(z) = -z**3 - 18*z**2 + 20*z + 13. Let y be q(-17). Let p be y/98 - 4/(-14). Is -7 equal to p?
False
Let i be 19/7 - 2/(-7). Suppose 0 = 6*l - i*l. Let u = -383/5 - -77. Which is bigger: l or u?
u
Let w(y) = y**2 + 9*y + 11. Let h be w(-8). Suppose h*b + 0*b = -24. Let n = 9 + b. Which is bigger: -6/17 or n?
n
Let m(v) = 2*v. Let o be m(3). Let w(s) = 3*s**2 + 2*s + 10. Let u be w(4). Let t be 4 - (-9)/((-135)/u). Which is smaller: o or t?
t
Let i(w) = -w**3 + 24*w**2 + 22*w + 74. Let n be i(25). Which is smaller: n or -10/9?
-10/9
Let l = -28.8 - -29. Let c = 0.36 - l. Let z = c + -0.06. Is z at most as big as 1/5?
True
Let o(z) = -3*z**2 - 13*z + 17. Let w be o(-7). Is -155/4 < w?
False
Let f be 48/18*42/8. Suppose 6*z = f*z. Is z smaller than 2/47?
True
Let k = -53/2 + 213/8. Let m = -0.72 + 0.7. Are k and m nonequal?
True
Let l = 0.0007 + 0.0523. Which is smaller: l or 1/4?
l
Let w(a) = 12 + 7*a + a**3 + 7*a + 3 + 14*a**2. Let u be w(-13). Let h = 0 + u. Is 4 greater than h?
True
Suppose -2*i = -3*i - 2, -i - 8 = -2*u. Suppose u*s = 6*s - 3. Which is smaller: s or -5?
-5
Let m be (21/(-7))/((-6480)/2155 + 3). Are m and 431 equal?
True
Suppose 16*l = 20*l + 448. Let r be 16/l*(-7)/6. Which is greater: r or -1?
r
Let c be 177/4 - (-9)/12. Let i = -1435/52 - 69/4. Let h = i + c. Which is bigger: h or -1?
h
Suppose -2*b + 10 = 2*f, 0*f - 5*b + 24 = 4*f. Let x be ((-3 - f) + 2)*-1. Let t = -296/765 + -2/153. Is x greater than or equal to t?
True
Let k(u) = u**2 - u - 5. Let x be k(-2). Let r = -502 - -4532/9. Which is greater: x or r?
r
Let j = 262/9 + -9676/333. Let h(k) = k**3 + 2*k**2 + 1. Let b be h(-2). Is b greater than j?
True
Let q be ((-1)/6)/(((-350)/84)/25). Is q less than 6/19?
False
Let f(k) = k**2 - 18*k + 10. Let w be f(18). Suppose -8*h + 38 = -w*h. Which is greater: h or -2?
-2
Suppose -u - 6*u = 49. Which is smaller: -3 or u?
u
Let d = 76 + -72. Suppose -3 + 15 = -4*x. Let s be (-14)/x - (-4)/12. Is s greater than d?
True
Let r(g) = -g**3 - 5*g**2 + g + 3. Let c be r(-5). Let x = c + -6. Is x at least as big as -0.2?
False
Let k = 0.5 - -12.5. Let s = 133 + -120.1. Let f = s - k. Which is greater: f or 0.1?
0.1
Let z = -1.59 - 6.41. Let m = 4/15 + -1/15. Which is bigger: m or z?
m
Suppose -5*c - 331 = -3*l, 3*l - 4*l + 2 = 0. Which is smaller: -67 or c?
-67
Suppose 4*y = 20, 0 = -3*s - 5*y + y + 32. Suppose 7*a - s*a = 12. Let v be ((-2)/a)/(13/26). Are -1 and v non-equal?
False
Let l = 19 + -6. Suppose 508*r - 140 = 498*r. Do l and r have the same value?
False
Let x(i) = i**3 + 8*i**2 + 7*i - 6. Let w be x(-7). Let z = w - -12. Let p be 54/156*8/z. Is p < 0?
False
Let u = -57/4 + 1437/100. Let s(m) = 2*m - 1. Let f be s(1). Suppose 0 = 5*g + 4 + f. Which is smaller: u or g?
g
Suppose i + 2*i = 15. Suppose -2*n + 10*n - 40 = 0. Let d be (n/(-10) - -1)*6. Which is bigger: i or d?
i
Let s = 20/3 + -14. Which is greater: s or -6?
-6
Suppose 5*b = -z - 6, 0 = b - 3*z - 16 + 14. Is -207 at least as big as b?
False
Let a = 5 - 8. Let n be 10*2/8*2. Let h be (-2 - (-6 - -3))/n. Is h <= a?
False
Suppose -5*l + 568 - 173 = 0. Let o = -398/5 + l. Is o less than or equal to -1?
False
Suppose -84*a + 83*a + 12 = 0. Suppose a*i + 162 = 10*i. Is -82 smaller than i?
True
Let t be -1 - (3 + 422 + 5 + 1). Are t and -432 equal?
True
Let a = 92 + -137. Is -3 at most as big as a?
False
Let c(n) = -2 + 0 - n - 3. Let q be c(-7). Let h = -0.05 + 2.05. Are h and q unequal?
False
Let p = -117.2 + 101.2. Which is smaller: p or 0.03?
p
Let i = 22 + -22. Let g(d) = -d + 2. Let a be g(i). Suppose o = a*o. Is o equal to 3/5?
False
Let u be -3*(5 + (-213)/(-9)). Let c = u + 87. Which is greater: c or -1/175?
c
Let v = 450 + -355. Which is smaller: 96 or v?
v
Suppose -5*g + 7 = -18. Suppose 8*r = g*r + 3. Is r less than 10/17?
False
Let a be (-5)/2*296/23125. Are -1 and a non-equal?
True
Let r(a) = a**2 + 2*a + 2. Let u be r(-3). Suppose 0 = -u*n + n + 32. Suppose z + 4*q - q = 11, 5*z = 4*q + 36. Is z greater than or equal to n?
True
Let t be (14/(-315))/(4/(-6)). Let g = -17.8 - -19. Let l = -0.2 + g. Is t != l?
True
Let d = -0.21 - -0.11. Let v = 21624/9502355 + -2/9847. Let g = v + 1876/26055. Is d greater than g?
False
Let k = 1/5778 + -918713/63558. Which is smaller: k or -15?
-15
Suppose -i + 3*c = -5*i + 24, 2*i - 18 = -3*c. Suppose 8 = -t - i*t. Let q = -4/5 + 1/20. Is q greater than t?
True
Let m = -214 + 213.94. Let o = 1.2 - -0.8. Is m equal to o?
False
Let p = -12 + 6. Let o be -3 - (2 + -6 + 6). Which is smaller: p or o?
p
Let z(p) = -p**3 - p. Let l be z(0). Let b(j) = -2*j + 1. Let m be b(l). Which is smaller: m or -1/25?
-1/25
Let m = 1.519 - 0.404. Let f = m - 0.015. Does f = -3?
False
Let y = 0.33 - 0.28. Let q = 0.15 - y. Does -1.3 = q?
False
Let z = -191 + 196. Is 6 not equal to z?
True
Let i(c) = -2*c**3 - 57*c**2 + 297*c - 6. Let f be i(-33). Let o be (-1*(-20 + 1))/1. Let l = 11 - o. Which is bigger: f or l?
f
Let j = 178 - 177. Do j and 180 have the same value?
False
Let z be (-4)/(-8) - (-11)/2. Suppose 10*g = -z - 324. Are g and 1/4 equal?
False
Let n = 61 - 53.6. Let m = -1.4 + n. Let f = m + -6.09. Is 2/3 != f?
True
Suppose 2 + 7 = 3*g. Suppose -2*t - g*z = -4, 0 = 5*t + 5*z - 8 - 2. Suppose m = -m + t. Which is greater: 3 or m?
3
Let m be (-32 - -28) + (1 - -106). Let s = m - 32. Is s less than or equal to 70?
False
Let h = -0.09 + -0.01. Let a = 8 + -26. Let k be ((-1)/a)/(19/(-266)). Are k