ue
Suppose -10*c + 170 = -180. Which is smaller: 36 or c?
c
Let f = 0.31 - 0.11. Let r(o) = o. Let m be r(2). Which is smaller: f or m?
f
Let d(f) = -f - 7. Let p(l) = l - 1. Let g(c) = -3*d(c) - 6*p(c). Let w be g(11). Is -7 smaller than w?
True
Let s be (8/(-6) + 1)*1. Let m = 1 - 1.1. Which is bigger: s or m?
m
Suppose 3*h + 6 = 30. Which is smaller: h or 3?
3
Suppose 2*m = 3*b + 11153 - 4397, 3*b + 6759 = 3*m. Let c be 3/21*b/2. Let q = c + 161. Is q at most 2/9?
False
Let t(r) be the third derivative of -r**6/120 + r**5/15 - r**4/24 - 3*r**2. Let k be t(3). Is 6 != k?
False
Suppose -5*b = -4 + 44. Let k be (4/2)/b + 0. Let l be ((-1)/(-3))/(3/9). Is l <= k?
False
Let s be 3/15 - 98/(-10). Suppose -19*i + s = -21*i. Let r be -4*-1*1/(-2). Are r and i unequal?
True
Let g = -26 - -26.05. Is -1/4 greater than or equal to g?
False
Let d(g) = -2*g**2 - 31*g + 15. Let h be d(-12). Do h and -1 have the same value?
False
Let u(f) = -f**3 + 9*f**2 + f - 4. Let s be u(9). Let y(c) = -c + 10. Let k be y(s). Suppose 0*j - 5*j = -k*q - 25, -3*q - 14 = -2*j. Which is greater: -3 or q?
-3
Suppose -3*b = 1 - 4. Which is smaller: 0 or b?
0
Let z = 4 - -1. Let y be (-6)/(-7)*(-2 - z). Let b be (-6)/4*(-16)/y. Is b smaller than -4?
False
Suppose 4*k + 8 = -4*a, 7*k - a - 2 = 2*k. Is k smaller than -9/17?
False
Suppose -6*b + 40 = -b + 2*n, -3*n = -15. Let a be (4/6)/((-4)/b). Does a = 1/5?
False
Suppose -5*w + 8 = 13. Let l be 1/4 - (-27)/(-12). Which is bigger: w or l?
w
Let f(n) = 3*n + 2. Let d be f(1). Which is greater: 4 or d?
d
Let k = 19/91 - -1/13. Let f(a) = a**3 + 2*a**2 - 1. Let u be f(-1). Which is smaller: k or u?
u
Suppose 0 = y - 4*y + 12. Let b = y - 0. Let m be 4 - 5 - (-3)/b. Is m at most as big as -0.1?
True
Suppose -5*v = -v + 36. Let r = 7 + v. Let u = -181/285 + 2/57. Is r less than or equal to u?
True
Let a = -17/5 - -3. Let j = -46 + 47. Which is greater: j or a?
j
Suppose -15 = -6*x + 3*x. Is 0.2 less than or equal to x?
True
Let g = 2.81 + -14.91. Let r = -12 - g. Let n = -0.2 + 0.2. Are r and n nonequal?
True
Let s be (5 + -4)*0/2. Is 0 bigger than s?
False
Let g = -30 - -75. Does g = 46?
False
Let s = 0.4 + -0.3. Let q = 0.2 - s. Let n be 3/2*1/(-3). Is n equal to q?
False
Suppose 5*o - 4*o + 460 = -4*j, 0 = 2*j + 4*o + 230. Is -116 smaller than j?
True
Let c = 25/21 - 6/7. Let h = -27.72 + 28. Let y = h - -0.02. Is y less than c?
True
Let o = -0.9 - -0.5. Let s = -2.4 - o. Which is smaller: s or -2/9?
s
Suppose 2*a = -0*a + 26. Are 13 and a non-equal?
False
Let m = 0.7 - 1. Let i = -2 + 2.7. Let q = i + m. Are -0.1 and q nonequal?
True
Let k be (-12)/(-16) + (-3)/4. Let r be (4/(-15))/(2*-1). Is k < r?
True
Let z = 0.3 + -0.3. Let q = 0.5 - 0.9. Let w = -2.4 - q. Is w greater than or equal to z?
False
Let t = 5.6 + -0.6. Let j = -5 + t. Which is smaller: -2/5 or j?
-2/5
Let r be (-30 - 2)*(-3)/(-54). Which is smaller: -1 or r?
r
Let r be 2 - (8 - 2) - -14. Let x be r/21 - 13/39. Let v be (2/(-4))/1*2. Is v not equal to x?
True
Let k = 847/5 + -171. Is k at least as big as -2?
True
Let b = 7 + 1. Suppose -5*d + 23 = b. Suppose 0 = -5*k - d*t - 5, 4 = -4*k + t - 0*t. Which is bigger: 0 or k?
0
Suppose -114 = -4*j + 5*j - 2*g, -4*j - 506 = 2*g. Let l be (-1 - -4) + j/44. Let y = l - 15/22. Which is bigger: y or -1?
y
Let i = -0.04 - 0.04. Let z = i - -0.98. Let y = 0.1 + z. Is y not equal to -1/5?
True
Let l be (2/4 - 0)*0. Is -8/11 at most l?
True
Suppose -x - 2 = 2*m - 12, 30 = 5*x + 5*m. Suppose 4*u + 11 = 5*n, 2*n = 2*u + 3*n + 9. Let g be (2/3)/(u/(-3)). Is g smaller than x?
True
Let m = -0.4 - 3.6. Let y = m - -9. Let l = -5 + y. Is 1 greater than l?
True
Suppose 2*b - 3*b - 19 = 0. Let v = b + 22. Is 2 not equal to v?
True
Let n = -758 - -5322/7. Let p(d) = -d - 2. Let o be p(-4). Is o greater than n?
False
Suppose 4*m + 16 = -0*m. Does m = -4?
True
Let z(y) = y**3 + y + 1. Let r be z(0). Let t = -33 + 46. Let j be t - 11 - (-8)/(-6). Is r greater than or equal to j?
True
Let s(k) = k + 2. Let j be s(-1). Suppose 6 - j = -5*l. Are -1/15 and l unequal?
True
Let g be (5 - -1) + (1 - 0). Suppose 6*l - 4 = g*l. Which is bigger: -3 or l?
-3
Suppose g = -4*m + m + 9, 2*m = g + 6. Suppose g*r = r. Suppose -2*k - 6 = -r*k. Which is bigger: k or -4?
k
Suppose -7*s = -3*s - 2*t + 68, -3*t = -4*s - 66. Let o be 350/(-126) - (-4)/s. Is -2 less than o?
False
Let s = -0.18 + 0.2. Let a = s - -1.98. Let t = 1 - a. Which is smaller: 2 or t?
t
Let f = -20 - -20. Is -2 at most as big as f?
True
Let l be (-1)/((-129)/33 + 4). Is l < -11?
False
Let z = -5 - -5.14. Let r = z - 0.14. Do r and -2/7 have different values?
True
Suppose f - 92 = 5*i, 3 = -5*f + 13. Let p be (6/(-8))/(i/(-12)). Let h be (-3)/(-7)*(-2)/6. Which is smaller: h or p?
p
Suppose 4*f - z - 9 = 2*z, 4*z = 2*f - 2. Let v(u) = 0*u - 2 + u + 2. Let c be v(2). Which is smaller: f or c?
c
Suppose -47 + 42 = -5*g. Is g <= -4/89?
False
Suppose 2*i - 6 = 0, 0 = -5*c - 3*i + 3 + 6. Suppose 0 = -c*g - 3*g. Which is smaller: -1 or g?
-1
Suppose 4*w - 6 = 5*q, 5*w - 2 = -4*q + 26. Let s be (-1 + q)/1*-1. Suppose 0 = 5*g + 2 + 8. Which is bigger: g or s?
s
Let w(l) = -l**3 + 4*l**2 - 4*l + 2. Let v be w(2). Suppose -3*d - v*g = 54, 0*g - 35 = 2*d + g. Is d <= -14?
True
Suppose -5*n - 6 = -56. Let b = n + -1. Which is greater: b or 0?
b
Let x = -0.9 + 0.82. Let t = -5.08 - x. Is t at most -0.3?
True
Suppose 0 = 2*q + 2*q - 16. Suppose 2*d = 3*d - 3. Which is bigger: d or q?
q
Let v = -2.196 - -2.1. Let t = v + 6.796. Let u = 0.3 + t. Which is bigger: 2/5 or u?
u
Let b(g) be the third derivative of g**8/20160 - g**7/720 + g**5/60 - g**2. Let q(u) be the third derivative of b(u). Let r be q(7). Which is smaller: 0.1 or r?
r
Suppose 6 = h - 0*h - 2*z, 3*h = 5*z + 14. Which is bigger: h or -15/16?
-15/16
Let d = 1 - 0. Let z be (-46)/14 - (-8)/28. Which is bigger: d or z?
d
Let c(h) = -h**3 - 2*h**2 - h - 2. Let t be c(-2). Which is bigger: -2/11 or t?
t
Let d be 0 - 1 - 106/(-94). Do 1 and d have the same value?
False
Let m = 0.11 + 1.89. Let a = -0.9 + m. Let r = -0.8 + a. Are r and 1 nonequal?
True
Let c(d) = -d**2 - 3*d + 21. Let r be c(-5). Is 11 >= r?
True
Suppose -t + 0*k = -2*k - 27, -4*k = -3*t + 75. Is t > 22?
False
Let c = -16 + 6. Let n be c*(-1 + 11/15). Which is bigger: -0.1 or n?
n
Let p be (-18)/30 + (-11)/(-10). Is p bigger than -5/7?
True
Let m(h) be the second derivative of h**5/20 - h**4/2 + h**3/2 + 4*h**2 + 7*h. Let w be m(5). Which is smaller: -4 or w?
-4
Suppose -3*c - 1 + 4 = 0. Suppose -h = -4*n - 19, h - 5*h + c = -n. Let j be (-4 - n)*(-1)/4. Which is bigger: j or 1?
1
Let t be (1 - (-6)/3)/8. Which is smaller: t or 1?
t
Let t(i) = 3*i**3 - 19*i**2 + 7*i - 5. Let a be t(6). Is a > 2?
False
Let d = -51.8 + 52. Is d smaller than -0.27?
False
Let h = 29.94 - 30. Is -0.3 greater than h?
False
Let h(r) = r + 1. Let n be h(-7). Let o be (2/3)/((-4)/n). Let i(m) = 2*m**3 - 2*m**2 + m. Let b be i(o). Which is smaller: -3/8 or b?
-3/8
Let d(h) = h + 8. Let q be d(0). Suppose 0 = -5*o + r + 20, -3*o + 4*r = -21 - q. Is -1 <= o?
True
Suppose 4*x + 311 = 5*x. Let c = 89372 - 538103/6. Let d = c + x. Which is smaller: d or -2?
-2
Suppose 5 = -c + 4*p - 11, -2*c - 26 = -5*p. Let b be c/(-10)*4/8. Do b and 0 have the same value?
False
Suppose 2*y + 5 = -2*n + 15, 13 = 2*n + y. Suppose 3*v - v - n = 2*j, 0 = -v - 2. Let g be j/8*(-4)/6. Which is greater: 2 or g?
2
Let j be (4/(-10))/(357/85). Let f = -0.9 + 1. Do j and f have the same value?
False
Suppose -2*w + 60 = 3*w - 3*f, 60 = 5*w - 5*f. Is w >= 11?
True
Let r = -1/8266 + -566219/16532. Let u = r - -34. Which is smaller: u or 1/2?
u
Let b be ((-2)/14)/((-12)/7). Is b > 1?
False
Let i be 2/(-3) + (-19)/(-15). Let j = 54 + -52. Which is bigger: j or i?
j
Let t = -1.4 + 1. Let q = 6.6 - t. Which is smaller: q or 0.2?
0.2
Suppose -3 = 4*y + o, 5*y - 6*o = -2*o + 12. Let n be y*(3 + 21/(-6)). Suppose m + n = 5. Which is bigger: m or 4?
m
Let u(h) = h**3 + 6*h**2 + 3*h - 7. Let w be u(-5). Let q = w - 4. Is -2/13 at most as big as q?
False
Suppose -16 = -2*x + 4*g, x + x = 2*g + 14. Suppose -y - y - x = 0. Is y at least as big as -3/2?
False
Let i be (-2)/(-4)*0 + -3. Let z be 6/(-10)*(-12)/((-144)/60). Is z <= i?
True
Suppose 