than r?
True
Suppose 19*q - 16*q - 6 = 0. Let z(g) = -g + 5. Let f be z(4). Let s = f + 0. Is s less than q?
True
Let o(d) = -d + 1. Let r be o(-5). Let k(u) = -4*u**2 - u**2 - 6*u + r*u**2. Let p be k(6). Which is greater: p or -1?
p
Let f(c) = 14*c - 3. Let p be f(2). Are p and 25 nonequal?
False
Let c be ((-2)/(-4))/((-11)/(-2)). Which is greater: -1 or c?
c
Let c be 8/(-10)*(-6)/8. Let t be (-2 + 0 + 2)/(-2). Let b = t - -1. Is b <= c?
False
Let t = 233 + -249. Suppose -3*k - 4*q - 78 + 7 = 0, -2*k = -3*q + 19. Is t greater than or equal to k?
True
Suppose -2*d = -2*n + 12 + 10, 3*d + 4*n = -33. Is d bigger than -10?
False
Let i be ((-18)/8)/((-6)/64). Let b be i/44*(-1)/(-2). Which is smaller: b or 0?
0
Let u = -0.54 + -19.16. Let f = u + 20. Is f at most as big as -2?
False
Let d be (-32)/(-3)*(63/(-6) - -3). Is -80 != d?
False
Let p = -310 - -317. Let i be 1/(2/2) + 5. Do i and p have different values?
True
Let i = -38 - -46. Suppose 0 = 5*w + 4 - 39. Which is greater: w or i?
i
Let l be ((-540)/88)/3 - -2. Suppose -2*r - r = 0. Is l at most r?
True
Let l be (-1)/3*(-12)/20. Let s = -3.6 + 3.5. Are l and s equal?
False
Let p(u) = u**3 - u**2 + 2. Suppose -6*b = -b. Let c be p(b). Let d be 1/c*(1 + -1). Which is bigger: -1 or d?
d
Let i(k) = 3*k - 4. Let z be i(6). Which is greater: -1 or z?
z
Let a(x) = -x**3 + 5*x**2 - 5*x + 6. Let k be a(4). Let y = 7 - 8. Let h be ((-8)/(2/y))/6. Which is smaller: k or h?
h
Let t = -2/3 - -13/24. Let k be (3 + -7)*13/(-4). Let u = 12 - k. Is u smaller than t?
True
Suppose 2*t - 4 = 6*t. Let g be 10006/14 - (-10)/35. Let s be (44/g)/((-2)/(-5)). Is s less than t?
False
Let a = 25 - 32. Are -11/2 and a equal?
False
Let n = 14 - 0. Let d = 10 - n. Which is smaller: -2 or d?
d
Let d be 3/(-2)*6/9. Is d at least 2/13?
False
Let k = -14 - -32. Let c be (-12)/(-48) + k/(-8). Which is smaller: c or -1/2?
c
Suppose 2 = -4*q + 50. Suppose 0 = 2*t - 0*t - q. Is t equal to 4?
False
Let k(c) = -c. Let o(d) = 6*d - 3. Let p(g) = 5*k(g) + o(g). Suppose -5*n + 18 = 3*y - 12, 4*y = -3*n + 29. Let r be p(y). Is -0.2 at least r?
False
Let s = -2020198/555 - -3640. Let h = s - -1064/12765. Which is smaller: h or 0?
0
Suppose -12*r = -13*r. Let l = 23/13 + -319/195. Is r at least as big as l?
False
Let c(x) = x**2 + 5*x + 1. Let d be c(-5). Let y(l) = -l - 1. Let a be y(0). Let b = -1 - a. Which is bigger: d or b?
d
Suppose 46 = 5*h - 29. Let g be (-4)/2 + 24/h. Is g >= 0?
False
Suppose z - 6*z = 0. Suppose -5*m - 4 = 3*q, 2*m + 4*q + q = -13. Is z not equal to m?
True
Let g(a) be the first derivative of -a**4/4 - a**3 + 3*a**2 + 6*a - 2. Let y be g(-4). Let d = 3 + y. Which is bigger: d or -0.1?
d
Let t(c) = -6 - 2*c**2 + 26*c - 16*c + 0*c**2. Let f be t(5). Let h be (-1)/(-1*(-1)/7). Is h equal to f?
False
Let k = -14 - -72/5. Suppose -2*c + 4 = 3*a, -2*a + c - 13 = -4. Let w = a - -2. Which is greater: w or k?
k
Let i(g) = g + 8. Let s be i(-5). Let m = 7 - 2. Suppose -2*z - s*z = -m. Are 1 and z non-equal?
False
Let z be ((-9)/(-18))/(2/12). Suppose 3*k + 1 = j + 7, -3*k - z*j = -6. Let m be (15/(-6) + k)*-6. Which is smaller: 1 or m?
1
Suppose -28 = 3*r + r. Let q = r + 5. Which is bigger: q or -1?
-1
Suppose -10 + 26 = -2*y. Let m = -4 - y. Suppose 0 = n + 3*s - m, 3*n + 4*s = -0*n + 7. Which is greater: -1 or n?
n
Suppose -i + 2*i = 2, -2*n - 3*i + 6 = 0. Is -2/9 greater than n?
False
Let d be ((-4)/6)/((-4)/(-6)). Suppose -5*h = 14 - 4. Which is smaller: h or d?
h
Let j be (-21 - -1)*(-56)/256. Which is greater: 0 or j?
j
Let b = -21.9 + 21. Is b bigger than -1/2?
False
Let t = -0.841 - 0.159. Which is smaller: t or -1.6?
-1.6
Let o(g) = -g + 1. Let b be (-1*2 + 1)*-2. Let s be o(b). Let c = -4 - -4.2. Which is smaller: s or c?
s
Let a = 8 + -23. Let n = 73/5 + a. Let b = -1 - 0. Are b and n nonequal?
True
Suppose 5*b - 10 = -3*y, -y - 3 = 5*b + 7. Suppose 3*g = -0*f - f + 12, 0 = -5*f - 4*g + 49. Is y at most as big as f?
False
Suppose s = -11 + 1. Which is greater: -29/3 or s?
-29/3
Let s = 37 + -30. Which is greater: s or 31/4?
31/4
Let c be 3*(-3)/162*-4. Suppose 3*o = 4*n, -2*n + o + 2 - 4 = 0. Is n not equal to c?
True
Let c = -143 + 77. Which is greater: -67 or c?
c
Let k = 19 - 55/3. Which is smaller: k or -1/6?
-1/6
Let j(w) = -7*w**2 - 3*w - 4. Let q(y) = 3*y**2 + 2*y + 2. Let r(a) = -4*j(a) - 9*q(a). Let i be r(7). Is i less than or equal to 5?
True
Let r = 11657/21 - 555. Let j(m) be the second derivative of m**4/12 + 5*m**3/6 + 5*m**2/2 - 2*m. Let t be j(-4). Is t bigger than r?
True
Let q(b) = b**2 - 8*b + 3. Let a be q(9). Let s be (-30)/a - 2/4. Which is smaller: s or -4?
-4
Let v(p) = p + 3. Let i be v(0). Suppose -4*r + 2 = -3*s - 5, 16 = 4*s + r. Is s less than or equal to i?
True
Let n = 10 + -10. Is -1 less than n?
True
Let n be (2/4*0)/(3 - 2). Let s be 0 + (3/(-1) - -2). Which is smaller: s or n?
s
Let f = 93 - 195/2. Is f <= -5?
False
Let v be ((-2)/4*0)/1. Let u be 3 - (-3)/((-9)/6). Let x be ((-2)/1 - -2) + u. Which is greater: x or v?
x
Let q(g) = 4*g - 16. Let s be q(5). Does -4 = s?
False
Let a = -61.97 - -62. Let y = -16.57 - -17. Let k = a - y. Is 0 <= k?
False
Suppose 2*v - 4*z + 0*z = -2, 4*v + 25 = z. Is -6 > v?
True
Let v be -1 + 2 - (-3282)/(-1224). Let c = 1/68 + v. Is 0 <= c?
False
Let v(o) = -2*o**2 - 1. Let f be v(1). Is f at most as big as -10/3?
False
Let a = 327 + -177. Let y be (-1)/(-1) - a/162. Which is smaller: -1 or y?
-1
Let t(d) = d**2 - 6*d + 7. Let l be t(5). Let f be (l/(2/(-2)))/2. Which is smaller: 0 or f?
f
Suppose 0 = -3*s + 3 - 0. Let j be 28/(-10) - (-2 + -1). Is s less than j?
False
Suppose -2*h + 4*n - 36 = -0*h, 4*n + 20 = -5*h. Which is bigger: h or 3?
3
Let k(y) = y**3 + 7*y**2 + 5*y - 1. Let f be k(-6). Let s be 66/148 - f/10. Do s and 1 have different values?
True
Suppose -2*n = -4 + 22. Let t = n - -6. Let l be 1 + ((-7)/2)/1. Is l smaller than t?
False
Let l = 6 - 1. Let h be 0*(5/2)/l. Let u = 7 + -20/3. Which is greater: u or h?
u
Let b = -4 - -3. Let h be b + 9/(-6)*6. Let a = h - -21/2. Which is greater: 2 or a?
2
Let k = 355/3 - 118. Let n = 33 - 236/7. Which is smaller: n or k?
n
Let q be 8/(-6)*(-21)/(-238). Let b be (7 - 6)/(-1 + 0). Are q and b nonequal?
True
Let z be 12/20 + (-4)/15. Which is greater: z or -5/9?
z
Let j = 1/2 - -1/6. Let f = 7/10 - 1/2. Which is smaller: j or f?
f
Let f be -6*(0 + (-15)/6). Let c = 44/3 - f. Which is smaller: c or -0.3?
c
Let m(x) = -2 - 3*x - x**2 + 8 + 8*x. Let q be m(5). Let v be 18/20*(-4)/q. Which is greater: -1 or v?
v
Let g be 10/6 + -3 + 1. Is 4 at most g?
False
Let j(d) = 3*d + 7. Let i be j(-2). Is i smaller than 2/3?
False
Let s = -17 + 17.2. Is 3 at least as big as s?
True
Let i be 2*(-3 + (-18)/(-4)). Suppose 4*t + c + 9 = 0, 2*t + i*c + 0*c = -17. Let z be 6/4*t/6. Is 1 at most z?
False
Let j be 6*1*(-4)/(-12). Is 5/4 at least j?
False
Let p = -1.2 + 1.3. Is 2/37 at most as big as p?
True
Let b be (-8)/(-2)*14/8. Suppose 2*x + 8 = 16. Suppose -i - b = -x. Is -3 < i?
False
Suppose -6*i = -4*i - 3*f - 8, 10 = 4*i - 3*f. Suppose -4*c + 6*c = -6. Let d be i/(-2*c/(-6)). Which is greater: 1/3 or d?
1/3
Suppose 4*n - 2*k = 6, 4 = -n - 5*k - 0. Is 4/3 at most as big as n?
False
Let m = -3 - -4. Let y = -3 + m. Which is bigger: y or 0?
0
Let q be (-1112)/1330 + 90/105. Is q less than 1?
True
Let l = -1.65 + 4.65. Is l <= 1?
False
Let c(j) = -5*j + 4. Let g(d) = -14*d + 13. Suppose 0 = -4*h + 53 + 15. Let i(b) = h*c(b) - 6*g(b). Let v be i(-9). Is v > 0?
False
Let b = 3.3 - 3.2. Which is greater: b or -0.01?
b
Let w = -1.8 + 2. Let h = 20 - 19.8. Let o = h - w. Which is bigger: -0.1 or o?
o
Let u = -27.4 + 30. Let x = -0.6 + u. Which is greater: 4 or x?
4
Let h(m) = 10*m**2 + m. Let r be h(-1). Let t be r/6 + (-2)/4. Let b be ((-4)/(-14))/(3 + -2). Do t and b have different values?
True
Suppose 3*p - 69 = 15. Do 28 and p have the same value?
True
Let o be (-14)/42 - 2/(-3). Let p be 2/9 + (-6)/27. Let i(a) = -a**2 + a + 1. Let m be i(p). Which is smaller: m or o?
o
Let c(f) = -f**3 + 2*f**2 - 2*f + 1. Let v be c(1). Which is smaller: v or -3/4?
-3/4
Let f(w) = w + 6. Let g be f(-11). Let z be (-2)/(-4) + g/(-30). Let c = 21 + -19. Which is bigger: c or z?
c
Let c(q) = -7*q**2 + 5 + 10*q + 3 + 