12) - (0 - (-1)/(-4)). Is f smaller than 2?
True
Suppose 51 = 4*q - 37. Suppose 0 = -5*k - 10 - 0. Let j be (-1)/k + q/(-12). Is j at least -1?
False
Suppose -2*k + 4 - 2 = 0. Let z be 2/4 + 5/(-10). Let w = 0 - z. Which is bigger: w or k?
k
Suppose 6*w = 4*w - 5*w. Is 1/42 greater than w?
True
Let a = -69246693/280 - -247310. Let v = a + 1/56. Are 0.4 and v non-equal?
False
Let y = 133 + -663/5. Which is smaller: -1.8 or y?
-1.8
Let r = 1.36 + -0.16. Let n = r - 1. Let d = 1 + -1.2. Which is bigger: d or n?
n
Let q = -13 + 7. Let n be 3/(2*q/8). Let j(v) = v - 11. Let z be j(11). Which is smaller: n or z?
n
Suppose 5*u + 10 - 145 = 0. Is 24 at least as big as u?
False
Let i be (-10)/4 - (-2)/4. Let p be 24/(-65) + (-4)/10. Let g = p + 17/39. Which is smaller: i or g?
i
Let p be -3*20/(-15) - (6 + -2). Are p and -1/26 equal?
False
Suppose 0 = k - 4*m - 0*m + 10, 3*k + m - 9 = 0. Which is smaller: k or 1?
1
Let t = -10 - -10.4. Which is smaller: t or -2/9?
-2/9
Let v = 0.2 + -0.3. Let d = -365 - -363. Is v less than d?
False
Let m(g) = 2*g**3 - 3*g - 5*g**2 - 6 + 4*g - g**3. Let z be m(5). Let l be (-33)/45 + (-2)/(-6). Which is greater: l or z?
l
Let l(x) = 11*x**3 - x**2 - 2*x - 1. Let n be l(-1). Suppose 4*z + 40 = -6*c + 4*c, 2*c - 5*z = 5. Is c >= n?
True
Let n = -25037/168 + 1040/7. Let k = -19/24 + n. Is -1 at least as big as k?
True
Let z(f) = -2*f + 14. Let r be z(8). Let v be (1 - 6)*(-2)/(-12). Which is smaller: r or v?
r
Let i = -5 + 3. Let x = 6 + i. Suppose 3*v - 5 = x. Is 3 less than or equal to v?
True
Suppose 0 = 5*w + 2*g, g = -w - 0*w + 3. Suppose 8*t = 5*t. Do w and t have different values?
True
Let z = -3 - -3. Suppose 2*v - 3 + 1 = z. Suppose 4*w - v = u - 2, 2*u + 4*w = 2. Are u and -2 equal?
False
Let b(h) = -h**3 - 7*h**2 - 8*h - 8. Let m be 0/(-3) + 0 + -6. Let v be b(m). Suppose -2*x = 5*f - 5*x + 10, 2*f = -x - v. Is f smaller than -0.1?
True
Suppose -t = -3*t. Is t < 4/21?
True
Let v be ((-108)/63)/(-3) + 298/(-56). Which is smaller: -6 or v?
-6
Suppose 0*q = p + 2*q + 92, -4*q + 296 = -3*p. Are p and -96 non-equal?
False
Let v = -386 - -7332/19. Let s = 36 + -18. Let k be (0 + 0)*s/(-36). Which is bigger: v or k?
k
Let n = 18.9 + -7.9. Which is smaller: n or 1/2?
1/2
Let b = -10 + 2. Let k(s) = -s**2 - 7*s + 5. Let n be k(b). Let q be 12/27 + 2/n. Is 1 bigger than q?
True
Let b(s) = -s - 4. Let f be 1*2*(-25)/10. Let l be b(f). Let p = 82 + -491/6. Which is bigger: p or l?
l
Let u be 3/(-2)*(1 - -1). Let x(z) = -z**3 + 4*z**2 - 6*z - 1. Let f be x(2). Is u != f?
True
Let z(j) = j**2. Let u be z(-1). Let x = u - -1. Let g be (0 - 2)/x*3. Is g at least 2/5?
False
Let u be (-10)/(-25) - 8/(-10). Is 1 smaller than u?
True
Let r = -41 + 31. Is -2/5 greater than r?
True
Suppose -8*y + 5*y = 84. Is y at least -31?
True
Let b be (4/8)/((-2)/4). Does b = -1/5?
False
Let y = 10 - 18. Let i = -8 - y. Which is smaller: i or 2/7?
i
Let s(y) be the first derivative of -y**4/4 - y**2/2 + y + 9. Let x be s(0). Are -6/13 and x non-equal?
True
Let r(d) = -3*d**3 + d. Let m be r(-1). Is m smaller than 5?
True
Suppose 2*n = -r + 8, -5*r = n + 3*n - 16. Suppose 0 = -3*t - r*t + 3. Is 0.1 not equal to t?
True
Suppose -4 = -3*y + 17. Suppose 4*d = y*d. Suppose d = 2*h + 3*h - 25. Which is smaller: 1 or h?
1
Let k be 0 - (1080/(-66))/(-4). Is -3 greater than k?
True
Let u = 10 + -9. Suppose -v = -5*h - 23, 6 = 5*v - 5*h - 9. Let b = u + v. Which is smaller: b or -3?
-3
Let v = 18.1 - 18. Which is smaller: 0.5 or v?
v
Let i(w) = -w**2 + w - 4. Let g be i(-4). Suppose 20 = 5*l, 5*h - l = l + 72. Let b be (-2)/12*g/h. Is b <= -2?
False
Suppose 3*n + 2*n = 10, 4*z - 4*n = -4. Let b(q) = q + 1 + 1 + 0 - z. Let r be b(2). Is r at most as big as 4?
True
Let u(l) = -l**3 + 8*l**2 - 6*l - 2. Let w be u(7). Let f be ((2 - 1) + -2)*-9. Let j be 3*(-1 - (-21)/f). Is j != w?
True
Suppose -9 = -2*m + 1. Which is smaller: 4 or m?
4
Let z = 6 + -19/3. Which is smaller: 0.1 or z?
z
Suppose -64 = 5*j + 3*j. Is -9 bigger than j?
False
Let b be (-3)/(-12)*-10 - -3. Let f be 4 + -3 - (-2)/(-2). Suppose -5*p + 6 + 9 = f. Which is bigger: p or b?
p
Let f = 0.97 - 1.07. Are -0.002 and f equal?
False
Let z = -6.6 - -6.5. Is 0.7 less than z?
False
Let n = 0.074 + 0.796. Let j = 0.13 + n. Which is smaller: -15 or j?
-15
Let l = 99 - 69. Let f = l - 42. Which is smaller: f or -13?
-13
Let r = 39 - 31. Is 6 greater than or equal to r?
False
Suppose -2*h = 2*h. Suppose 2*f + 3*f - 5 = h. Is -4 >= f?
False
Let n(j) = -9*j**3 - j**2 + j + 1. Let r be n(-1). Suppose -z - z = r. Let d(u) = -u**2 + 3*u + 2. Let y be d(4). Which is smaller: y or z?
z
Let g = 8 + -5. Suppose -3*k - 32 = -7*k - 4*w, -2*k - g*w = -19. Suppose -3*s = -7*s - 5*m - 4, -5*m + k = -5*s. Which is greater: 5 or s?
5
Suppose f = -3*b - 0*f - 126, b + 5*f + 42 = 0. Is b at most as big as 0.1?
True
Let s = -104/315 + 2/45. Let x = -1.1 - 0.9. Is x < s?
True
Let k = -9340/2637 - 4/293. Are -3 and k non-equal?
True
Let p = 35.905 - -0.095. Which is smaller: p or 1?
1
Let h = -17542/43 + 408. Is h < 0?
False
Suppose 492 = 26*i - 22*i. Which is smaller: 124 or i?
i
Let t = 14 - 18. Is t <= 2?
True
Let p = 19 - 21. Is p less than -2?
False
Let c = 104 + -311/3. Are -42 and c non-equal?
True
Suppose 4*k - 48 = -4*w, 0*w = 5*k - 5*w - 40. Suppose -3*v - 2*v + 2 = -x, v - k = -3*x. Let i = v + 2. Is 3 smaller than i?
False
Let a(j) = j - 5. Let d be a(5). Suppose 0 = -4*s + x + 13, 4*x = 4*s - d*x - 16. Is s less than 0.1?
False
Let v be ((-29)/15 - -2) + 12/36. Suppose -m = -2*m - 2*g + 9, -4*g = m - 7. Is v <= m?
True
Let y = 1.95 + -2. Let i = -596 - -595. Which is greater: i or y?
y
Let r be (-1)/((-2)/((-88)/(-60))). Let m = 17/5 - r. Are 4 and m equal?
False
Let t be (2/(-6))/((-3)/(-9)). Which is bigger: 0 or t?
0
Let x = 15/11 - 53/55. Let m = 0.6 + 0.4. Which is smaller: x or m?
x
Suppose -z - 4*z + 25 = -3*o, z = o + 5. Let p = 52 + -52. Is p at least as big as o?
True
Let n = 10 + -5. Suppose -n*s - 5 = -0*s. Let v be (0 + 0)/(-2 - -4). Which is smaller: v or s?
s
Let l be 30/7*-1 - -4. Is -1 <= l?
True
Let z be (-9)/(-35) - 28/70. Let t = -0.3 + -0.7. Which is greater: z or t?
z
Suppose 2*j + 4 = 4*x - 6, 3*j - 5*x + 10 = 0. Suppose -4*d = 5*l - 3, 3*l = j*d - 1 - 12. Is d at least as big as 7/3?
False
Let w = 0.3 + 0.7. Let s be (-4)/6*6/(-4). Are w and s equal?
True
Let n = 2830/7 - 405. Suppose 1 = 3*i + 3*y - 2, 1 = -3*i + y. Is n > i?
False
Let c = -3/4 + 1/12. Let f be 0/(0 - 1 - 1). Is c equal to f?
False
Let j = 377/106 - 3/53. Let h(c) = 2*c - 5. Let d be h(5). Which is bigger: d or j?
d
Let p = -20/11 + 173/77. Is 0.3 at most p?
True
Let x(f) = 3*f - 10. Let d be x(-3). Is d less than or equal to -20?
False
Let j = 11 + -9. Does j = 3?
False
Let b be (-2)/(-2)*0/(-1). Is b bigger than 0?
False
Suppose 3*j + 6*g = g + 34, -14 = 2*j - 4*g. Do 2 and j have different values?
True
Let j = 2 - 8. Let d = 12 + j. Let s = d - 5. Is s at most as big as -0.3?
False
Let c(u) = -u + 3. Let d be c(0). Suppose b + 4 = -3*z, 4*z + 2 = -2*b - 6. Is d less than or equal to z?
False
Let z be (-2)/2 - (-19146)/18080. Let k = z - -2/565. Is k less than 1?
True
Let c = -2/765 + -304/765. Let h be (-1)/3 + (-2)/6. Which is smaller: h or c?
h
Suppose -26 = -0*j + 2*j. Let g = -19 - j. Which is smaller: g or -5?
g
Let s = 24 + -24. Which is bigger: s or 45?
45
Suppose -1 = -2*n - 5. Suppose 3*b = -b + 3*w + 13, b - 5*w + 18 = 0. Let a = n + b. Do a and 2 have the same value?
False
Let o = -7/6 - -37/42. Which is greater: -1.2 or o?
o
Let j be (1/5)/(56/(-24)). Let n = j + -12/35. Suppose 5*u + 1 = 3*t - 16, 0 = 3*u + 4*t - 13. Which is greater: n or u?
n
Let y be (-207)/(-855) + (-4)/10. Which is greater: y or 1?
1
Let a(z) = z**3 - 9*z**2 - 2*z + 18. Let l be a(9). Is 0 smaller than l?
False
Suppose 0 = -5*g - a + 17, -2*a + 0 + 10 = 2*g. Let j be 10/20 + g/(-2). Let i = 2 + -5. Do i and j have different values?
True
Let j = 22 + -14. Let v = 6 - j. Let x = v + 1. Is x != 1/6?
True
Let q be (-2)/(-3) - (-42)/18. Let n(w) = w**3 - w**2. Let x be n(2). Suppose x*d - d - q = 0. Is -1 less than or equal to d?
True
Let m(d) = -d**3 - d**2 + 2*d - 4. Let o be m(-3). Let q be 275/308 - 6/o. Which is greater: q or 