n u?
True
Let f = 10678/1225 - 222/25. Let g = -10/147 - f. Is -1 > g?
False
Let a be (174/(-14))/(26/91). Let q = a - -439/10. Is 0.3 equal to q?
False
Suppose 4*q + 11 = t - 0*q, -5*t = -5*q - 25. Suppose -15 = -t*y + 6. Let h(u) = u - 9. Let m be h(y). Is m smaller than -1?
True
Let m(c) = c**3 + 6*c**2 - 5*c + 13. Let r be m(-7). Which is greater: -0.23 or r?
-0.23
Let n be (1 + 1)/(4/98). Suppose -3*f + 5*c + 48 = 0, -c - n + 2 = -4*f. Which is greater: f or 10?
f
Let l be ((-2)/3)/((-18)/(-27)). Which is smaller: l or 6/23?
l
Suppose 0 = 4*p - p - 84. Suppose l - 3*w = 6 + 4, p = -4*l - 5*w. Is l bigger than -3/5?
False
Suppose 3*z = -4*p - 16, z - 2*p + 7*p + 20 = 0. Suppose 0 = x - z*x. Suppose x = 2*c - 5*c + 6. Is c < 2?
False
Suppose j + 3*h - 9 = 8, 3*h - 9 = 3*j. Let f be 4*-1*j/4. Which is smaller: -12/5 or f?
-12/5
Let o be 1*(-3 + 5 + -3). Is o greater than or equal to -2/29?
False
Let j be (-4)/6 + (-60)/(-9). Let v be (-24)/(-98)*2/j. Let c = v - 118/245. Which is smaller: c or 0?
c
Let c(d) = d**3 - 2*d**2 + d + 1. Let w be c(2). Let j(x) = x**2 - 2*x. Let a be j(3). Is w bigger than a?
False
Let s be (2/4)/(5/10). Let o be (-1)/(s/2 + -1). Suppose -8 - o = -5*r. Do 2 and r have different values?
False
Let v(i) = -i**2 + 6*i - 3. Let r be v(6). Suppose 14 = -3*h - 3*g - 2*g, 3*g = -2*h - 9. Is h equal to r?
True
Let h(z) = z + 8. Let r be h(-12). Let d = r + 4. Is d bigger than 4/9?
False
Let x(v) = v**2 + 4*v + 1. Let g be x(-5). Let p be ((-6)/(-27))/(4/g). Which is smaller: p or -1/3?
-1/3
Let w = -12 - -15. Let g be (-3)/(1/(4/w)). Is g less than -2?
True
Let m = 0.6 - -5.5. Let a = 6 - m. Which is smaller: a or 0.3?
a
Let c be 2/6 - 22/(-6). Suppose f + 5 = -c*f. Let r be 0 + f + 6 + -6. Which is smaller: -1/2 or r?
r
Let s = -4/123 + 397/861. Suppose 0 = -k + p - 2, -2*p + 1 = -0*k + k. Do k and s have the same value?
False
Let a be -2 + 2/(14/17). Suppose -70*t + 64*t = -6. Which is greater: a or t?
t
Suppose a - 4*n - 4 = -3*a, 5*n - 1 = 4*a. Let f be a/4 - 65/10. Let j(k) = -k - 5. Let h be j(-3). Are h and f equal?
False
Let d be (-4)/(-16) + (-1)/2. Let r be ((-33)/6 - -3) + 2. Is d at least r?
True
Let c = -2 + 1. Let g be 2/(-8) + (-91)/(-156). Which is smaller: g or c?
c
Let k be 1*-2*(-1 + 2). Let j be ((-3 + 3)/k)/2. Let a be 6*(-4)/(-14) + -2. Do a and j have the same value?
False
Suppose 0*u - 3 = -u, j = 2*u + 10. Suppose -2*t = 4*p - 66 - 2, 0 = -2*p + 3*t + 18. Which is bigger: j or p?
j
Let j be (15 + (-2 - -3))*-1. Is -16 not equal to j?
False
Let n = -98 + 95. Let s(m) = -m**3 - 5*m**2 - 3*m + 4. Let c be s(-3). Is c at least n?
False
Let f be (4/20*-6)/(-2). Suppose 2*l = -v - 5, -4*l - 20 = -2*v - 6. Which is smaller: v or f?
f
Suppose 5*k = 4*l - 7 - 3, -5*l + 17 = -4*k. Suppose -3*u = -k*h - 2*h - 24, h + 4*u - 13 = 0. Let j = -2 - h. Is j at most 2?
True
Let s(o) = o**3 + o**2 - 2*o - 3. Let q be s(-2). Suppose 2*f = -5*a - 4, -5*f + 2*a = -0*a + 10. Is f greater than or equal to q?
True
Let i be ((-32)/72)/(4/(-3)). Which is smaller: i or 2?
i
Let a(i) = 11*i**2 + i + 1. Let n be a(-1). Let v = n + -2. Is 0.1 greater than or equal to v?
False
Suppose -3*t - 6 = 3*r, -5*t + 4 = -2*r - 7. Which is bigger: r or -1?
-1
Let o(d) = -d**3 - 8*d**2 - 3*d - 3. Let p be o(-7). Let m = 53 + p. Suppose 0 = n - 5*f - 23, -3*n + m = -5*f + 3. Which is bigger: 0.2 or n?
0.2
Suppose r - 3*b - 1 + 27 = 0, -r - 3*b = -4. Which is smaller: -10 or r?
r
Let f = 0.03 + -0.13. Let w = -0.6 + f. Let z = -0.9 - w. Is z smaller than 0?
True
Let j be (-94)/(-18) - 60/12. Which is greater: j or 2/31?
j
Suppose 0 = 5*b - 20, 2*b + 2 - 8 = -2*a. Which is greater: a or 1/13?
1/13
Suppose -4*w = -i + 4, -2*w = i - 5*i + 2. Let n(g) = 5*g**2 - 4*g + 0 + i - g**3 + 0*g**3 - 1. Let j be n(4). Which is greater: -1/3 or j?
-1/3
Let a be 1643/2067 + (-1)/3 + 0. Which is bigger: a or -1?
a
Let x(k) = k - 7. Let q be x(7). Let i = 12 - q. Let f be (-3)/i + 19/44. Which is bigger: 1 or f?
1
Suppose 5*p = p + 44. Suppose 0*t = t - 2*c + p, -t - 4*c = -19. Let b be (-2)/(-6)*0*t. Which is greater: b or 2/17?
2/17
Let f be (-33)/(-9) + (-8)/12. Let r be (f - (-3 - -1)) + 3. Are r and 8 nonequal?
False
Suppose 4*z = -0*y - 2*y + 10, -4*z + 11 = y. Let u be (5 - 12)*(-3)/z. Which is smaller: u or 0.1?
0.1
Let o(m) = -3*m + 4 + 2*m - 5. Let s be o(-1). Let z = 6/125 + 184/1375. Which is bigger: z or s?
z
Suppose 6*m - 3*m = -36. Let a = m - -13. Are a and 7 nonequal?
True
Let w be (2/(-27))/(3/9). Suppose -5*n + 4*j + 27 = 0, -2*n + 29 = n + 4*j. Suppose d - 4*g - n = 0, 3*d + 4*g = -d - 12. Do d and w have the same value?
False
Let l be -1 + 3 + (-60)/21. Which is greater: l or 0?
0
Let a(z) = -z**2 + z + 34. Let r be a(0). Let j be (-2)/(-6) - r/66. Is 1 > j?
True
Let s = 67 - 44. Suppose s - 3 = 5*y - 5*a, y = -a - 4. Is y at most -1/16?
False
Let n be (-11)/(-5) - 2/10. Let j be (-1)/(n/(-4)) - -1. Is j bigger than 3?
False
Let s = -17 + 0. Which is greater: 0.2 or s?
0.2
Suppose -138 = -6*h + 12*h. Is -23 > h?
False
Let q = -66 + 145/2. Let n = -2/459 + -2905/459. Let p = n + q. Which is bigger: p or -1?
p
Let c(w) = -w + 20. Let h be c(-5). Are 27 and h nonequal?
True
Suppose 5*n + 4*u + 3 - 1 = 0, -2*n - 6 = -u. Let s(q) = q**3 + 5*q**2 - q - 7. Let l be s(-5). Let w be 0 - n*(-1)/l. Do -1 and w have the same value?
False
Let b = -1 + -15. Which is smaller: 0 or b?
b
Let v = 0 + 0.04. Let i = v - 0.04. Which is smaller: 2 or i?
i
Let n be 84/(-108) + (-1 - (0 + -2)). Which is bigger: n or 0.1?
n
Let x = -43 - -42. Let b be (4/5)/(4/10). Suppose 0 = -v + b*v + 1. Are x and v unequal?
False
Let r be 3/(6/4)*1. Suppose -4 = -12*y + 8. Which is smaller: r or y?
y
Let k = -10.7 + -3.3. Let u = -13.8 - k. Do u and -1/12 have different values?
True
Let a(g) = g + 1. Let l be a(-2). Let t(h) = h**2 + 2*h. Let j be t(-3). Let u = l + j. Which is bigger: u or 1?
u
Let d(u) be the third derivative of -u**4/24 - 4*u**3/3 + u**2. Let y be d(-8). Suppose 2*z - 10 = -5*i + 4*z, 5*i = -3*z - 15. Is y != i?
False
Let q = -1.3 + 0.3. Let l = 0 - q. Let y be 2/6 - (-1 - -1). Which is smaller: y or l?
y
Let c be (-1 - 23/(-6)) + (-2)/(-4). Is 1 greater than c?
False
Suppose -8*x + 9*x = 0. Which is greater: 17 or x?
17
Let d be (0 - 17/(-2)) + (-5)/(-10). Which is greater: 17/2 or d?
d
Let m = -5 + 4. Let j = m + 0. Which is smaller: -2/3 or j?
j
Let m be ((-18)/30)/(3/2). Which is greater: 0.13 or m?
0.13
Let t(q) = q**3 - 13*q**2 + 11*q + 19. Let y be t(12). Which is greater: 8 or y?
8
Suppose -12*m - 40 = -4*m. Which is bigger: -0.08 or m?
-0.08
Let y(g) = g**3 + 6*g**2 - 5*g + 14. Let a be y(-7). Is 3/16 not equal to a?
True
Suppose -4*z - 20 = 4*n, 0 = 5*n - 0*z - 2*z - 3. Let c(j) = j**3 + 13*j**2 - 13*j + 11. Let p be c(-14). Let b be (12/(-48))/(p/4). Which is smaller: b or n?
n
Let g be 3/6 + 6/4. Let i = g + -4/3. Which is bigger: 1 or i?
1
Suppose 0 = -15*k + 16*k + 1. Suppose 31 = -5*p + 171. Let d be (-2)/p*12/3. Which is smaller: d or k?
k
Suppose -3*b - 6 = -2*b. Let m be b/10*(-6)/9. Is -2 at most as big as m?
True
Let v(l) = -3*l - l**2 - 5*l - 5 + 0*l. Let d be v(-8). Which is bigger: -6 or d?
d
Suppose -2*d - r = 0, -d = 2*r + 2*r + 14. Let h = 1 + d. Suppose x + 2 = 0, -4*u + 8 = -5*x - 10. Which is bigger: h or u?
h
Suppose d - 2*d - 4 = 0. Let h = d - -6. Suppose -4*l + m - 12 = 0, m - 8 = -h*l + 4*l. Is -2 at most l?
True
Let c = 21 - 19. Which is smaller: 3 or c?
c
Let z be 2 + 1/(32/(-92)). Is z > -2?
True
Let x = -8 - -6.7. Let h = 1.3 + x. Which is greater: h or 2?
2
Let j = -167 - -10523/63. Are j and 0 equal?
False
Let x = -3/10 + -1/10. Is x bigger than 0?
False
Let t be (-9)/(-1) - (-1 + 3). Which is smaller: 6 or t?
6
Suppose -5*m + 5*u = -5, 2*u + 0*u = m. Suppose 9*x - 4*x - 20 = 0. Let r be (-12)/6 + -1 + x. Does r = m?
False
Let l be (-10)/6*156/(-28). Which is smaller: l or 8?
8
Suppose 0 = -9*v + 13*v - 180. Which is smaller: v or 46?
v
Suppose z + 1 - 3 = 0. Suppose -3 = -k - z. Suppose 0*a - 4*a - 4 = 0, 3*a + 5 = -2*m. Which is smaller: k or m?
m
Let p = -112 + 562/5. Which is greater: p or -3?
p
Let x be 5*((-26)/(-20) - 1). Suppose 0 = 3*m - 4*s + 2, -5*m + 5 = s - 7. Let o be m/(-3)*(-36)/8. Which is great