j equal?
False
Let a = -2 - -2. Let s = a - -1. Which is smaller: s or 7?
s
Let a be 0*(-1)/(2/(-1)). Which is greater: a or 2/5?
2/5
Let m be (2/4)/((-2)/4). Let p = -3.6 + 0.6. Let v = 0 - p. Which is bigger: v or m?
v
Let f = 5 - 2. Suppose f*d + 2*k = -2*k - 16, -d + 2*k = 2. Let m(i) = -i**3 - 4*i**2 + i + 3. Let z be m(d). Which is bigger: -2 or z?
z
Let t(f) = f**3 + 3*f**2 - 2. Suppose 3*m + 25 = -5*u, -5*u + 3*m + 1 + 4 = 0. Let r be t(u). Suppose r*i + i - 3 = 0. Is i at least 2?
False
Suppose 2*f = -5*s - 10 + 2, -2*f = -2. Which is bigger: s or 7?
7
Let y = 50 - 49. Which is greater: -14 or y?
y
Let a be 2 - 1 - 2 - -5. Suppose -q = q - 2*b - 8, a*q + 5*b = 25. Which is smaller: 3 or q?
3
Let a be (-4)/(-7)*1/6. Let m(x) = x. Let q be m(2). Let n be (2/3*-3)/q. Which is smaller: a or n?
n
Suppose -d - 9 = -w, -4*d + 1 = -2*w + 47. Let o be ((-14)/(-196))/(d/(-8)). Which is bigger: -1 or o?
o
Suppose -7*y + 50 = -2*y. Suppose 4 = -6*n + y*n. Which is greater: n or 4/5?
n
Let n be 6/(-8)*(-76)/133. Is n greater than 0?
True
Let r = 2179 - 359533/165. Let q = r - -487/660. Let i be (-24)/(-10) - (-2)/(-5). Is q < i?
True
Let x = -8.031 - -0.031. Which is smaller: x or -1/6?
x
Let i(b) = b + 3. Let f be i(-5). Let m = -3 + 7. Suppose p + 3 = -0*p + t, -4 = m*p + 4*t. Is f smaller than p?
False
Let m = 0.35 - -1.65. Which is bigger: m or -1/2?
m
Suppose -2*j = j + 18. Let f(k) = k**2 + 10*k - 5. Let y(b) = -b**2 - 11*b + 6. Let q(r) = j*f(r) - 5*y(r). Let s be q(-5). Are 1 and s equal?
False
Suppose 3*n - 3*u + 18 = -0*n, 2*u - 21 = 3*n. Let t = n - -10. Is 4/13 less than or equal to t?
True
Let a(r) = -r**3 + 5*r**2 + 4*r + 5. Let f be a(6). Let n be 2/f + (-1698)/(-63). Let t = n - 26. Which is smaller: 1 or t?
t
Let b be 2/(-8) - (-1)/4. Let x = b - 1. Let k be 5/(-15)*(0 - 3). Is k bigger than x?
True
Let l(o) = -o - 2. Suppose -z + 3*h + 18 = 4, z = -5*h - 18. Let m be l(z). Let b = m - -1. Are b and -3 unequal?
False
Suppose 2*c = 5*c + 18. Let q = c + 8. Does q = 2?
True
Suppose 3*r = -k + 3 + 12, 3*r - 15 = 3*k. Let j = -1474529/218985 + 2/14599. Let z = 32/5 + j. Which is greater: k or z?
k
Suppose 0 = -2*u - i - 11, i + 3*i = u - 17. Let h = 8 - 5. Let n(k) = k - 6. Let g be n(h). Is u equal to g?
True
Let j(v) = 11*v**2 - v - 1. Let p be j(-2). Let s = p + -136/3. Which is bigger: 0.2 or s?
0.2
Suppose 4*v = 4 - 0. Let y = v + -3. Let j be y/(-9)*(-2)/8. Which is smaller: 1 or j?
j
Let q = 9 - 5. Suppose -2*r = -q*r. Let u = 703/18 - 39. Is u at least as big as r?
True
Let r be (-2 - 4)*2/28. Is -1 at least r?
False
Suppose -4 = 3*d - 4*d. Let c = d - 5. Let s = -37 - -36.9. Are s and c equal?
False
Suppose -4*c + 2930 = -r - 2*r, r = 3*c - 980. Let q be (-6)/3 + r/(-549). Let k = -2/549 - q. Does -1 = k?
False
Suppose -6*b + 10 = -b. Let t be 167/(-4) + -1 - 0. Let y = -83/2 - t. Is b bigger than y?
True
Let z = 37 + -17. Let q be (3 + -2)*(3 + -3). Suppose q*f = 5*f + z. Which is smaller: -5 or f?
-5
Let w = 8513929/118580 + -12284/605. Let l = w + -12/49. Let g = -51 + l. Which is smaller: 5 or g?
g
Let c = -88 - -90. Which is smaller: 3 or c?
c
Suppose 4*u = 6 + 2. Suppose 2*o + u = 3*o. Which is smaller: o or 0?
0
Suppose 98 - 284 = -2*a. Is 94 greater than a?
True
Let j be 2/13 + (-952)/104. Is j smaller than -2?
True
Let o = -3 - -4. Let d = 2.9 + -1.9. Is o smaller than d?
False
Let i(v) = -v + 4. Let s be i(4). Let h = -17 - -20. Let p be ((-14)/6 + h)*-3. Which is smaller: p or s?
p
Let x(m) = m**2 + m - 1. Let y be x(-4). Suppose -5*s - 4 - y = 0. Is s > -4?
True
Let c(g) = -3*g**2 - 1 + g**2 + g**3 + 0*g**2 + 2*g. Let s be c(1). Let a(i) = i**3 - i**2 + i - 4. Let k be a(s). Does -3 = k?
False
Suppose v - 4 = 2*o, 5*o + 6 + 9 = 5*v. Let a be v/(-4)*-2 + 0. Let p = 131 - 2229/17. Is p less than a?
True
Suppose -5*b = -0*b - 130. Let n = b + -15. Suppose 0 = 2*u - n - 5. Which is greater: 7 or u?
u
Suppose 0 = -3*s + s. Do -1/4 and s have different values?
True
Let p be (2/(-22))/(3/9). Let q = -73/187 - p. Is q <= -0.1?
True
Let x(q) = q - 7. Let w = 1 - -6. Let n be x(w). Is 2/7 >= n?
True
Let n = -3/74 + -99/296. Is -1 at least as big as n?
False
Let f(v) = -v**3 - 7*v**2 - 4*v + 2. Let s be f(-6). Let c = 10 + s. Is c >= -6?
True
Suppose k + 2 = 2*k. Suppose u + u - k = 0. Is 2 < u?
False
Let q = 56/3 + -19. Is 1 smaller than q?
False
Let v(s) = s**2 + 3*s - 3. Let h be -1*(3/3 - -2). Let m be v(h). Is m less than -3?
False
Let v = 0.6 + -0.8. Let u = v - -0.3. Is 4 < u?
False
Suppose -4*b + 30 = -2*t, -2*t + 0 + 5 = 3*b. Let g = -7 - t. Suppose -5*z - 8 = 7. Which is smaller: z or g?
z
Let u = -30 + 16. Let h be (-12 - u) + (-2 - 0). Is 3/5 >= h?
True
Suppose 4*s = -2*k - 52, 0 = 3*s - k - k + 32. Let n = -13 + s. Is n > -25?
False
Let r be 2 - (55/10 + -4). Which is smaller: -0.29 or r?
-0.29
Let i(c) = c**3 + 8*c**2 - 4*c - 2. Let g be i(-8). Suppose 4*j - 22 = g. Is j not equal to 13?
False
Suppose -56*m = -54*m + k, 20 = -4*m + 3*k. Let p be (-2)/(-5) + 8/5. Is p at most as big as m?
False
Let s = -3 + -3. Let z be (s/(-8))/(27/(-6)). Let k = 0 + 0. Is k less than z?
False
Let i(f) = f**3 - 10*f**2 - 12*f + 16. Let b be i(11). Let y = 3 + b. Is y < 9?
True
Suppose 4*o - 32 = 4*v, 4*v = -5*o + 3*o - 14. Suppose -4*g - 13 = o. Which is smaller: -8/3 or g?
g
Let n = -33 + 33. Is 2 less than n?
False
Let m = 190 + -1913/10. Let c = m + 3/2. Is 1 bigger than c?
True
Let r(w) = -w**3 + 5*w**2 + 7*w + 7. Let d = 4 - -2. Let u be r(d). Suppose -2*b = u - 3. Are b and -5 nonequal?
False
Let f = -71 - -122. Do f and 51 have different values?
False
Let k be 5/(-4) - 1/(-4). Let y(g) = -g**3 + 3*g**2 + 4*g. Let s be y(4). Suppose 3*t + s*t + 2*p = -2, t + 3*p = -3. Which is bigger: t or k?
t
Let c = 10 + -9.9. Which is smaller: 1 or c?
c
Let z = 7 + -10. Let p be 1 + ((-2)/(-4))/(15/(-50)). Which is greater: z or p?
p
Let c = -5.45 + 0.05. Let v = c + 5. Let x = -113/320 - 3/64. Is v > x?
False
Let s = -12.01 + 12. Which is smaller: 2/13 or s?
s
Let q = -2 - -1.8. Let a = -0.3 + 0.2. Let j = a - q. Is j at least 2?
False
Let b be (2 + -1 - 1)/(-2). Suppose n - 3 = u, 4*n + 0*u + 3*u = -23. Let l be (2/3)/(n/(-3)). Do l and b have the same value?
False
Let r = -37/30 - -9/10. Which is smaller: 0 or r?
r
Let n(i) = -5*i**2 - 18*i + 8. Let c(u) = 14*u**2 + 53*u - 25. Let s(j) = -6*c(j) - 17*n(j). Let a be s(11). Let p = -4 + a. Is p greater than or equal to -1?
True
Let b be 0/(1 + 3*-1). Let o = b + -2. Let p be (-17)/(-4) + o - 2. Are p and 1 non-equal?
True
Let l = 4.02 - 0.02. Let o = 8 - 13. Let y = l + o. Which is smaller: 1 or y?
y
Let p = -0.7 + 0.8. Let z be (0 + 0/1)/1. Let b = z - 0. Which is smaller: p or b?
b
Let s(m) = m**2 + 3*m + 3. Let a be s(-2). Let k = 4 - 5. Let i be (-22)/(-18) + 1*k. Is i smaller than a?
True
Suppose -8 = -2*l - 8. Which is bigger: l or -2/143?
l
Let c be ((-12)/15)/(2454/(-15)). Let m = c - -2037/1636. Which is greater: 0 or m?
m
Suppose 4*n - 12*n = -8. Is n > -3/25?
True
Let z be (-1)/4*(-3)/1. Let i = 0.08 - 0.07. Let c = -0.21 + i. Which is smaller: z or c?
c
Let b be (-2 + -3)*2*-1. Suppose -2*n + 4 = b. Suppose l = y - 7, 0 = -3*l + 7*l - 3*y + 23. Which is bigger: n or l?
l
Suppose 0*l + 6*l + 12 = 0. Which is bigger: l or -0.02?
-0.02
Let g(p) = -3*p + 1. Let m be g(-3). Let n be (-5)/(-4)*(-2)/m. Suppose 0 = 4*a + 2*h - 8, -5*a - 3*h + 4 = -7. Which is smaller: n or a?
n
Suppose -m - 2*h - 10 = 0, 5*h = 4*m - m - 25. Let q = 7 - 7.3. Let r = -0.7 + q. Which is smaller: m or r?
r
Let y be -3*-2*2*1/(-3). Let j = -56/3 - -91/6. Which is greater: y or j?
j
Suppose 0 = 3*v + v. Suppose -31 = -2*x - 2*l - 5, 2*x = 2*l + 6. Let w be 1*2/x*-1. Which is greater: w or v?
v
Suppose -41*d = -36*d + 15. Suppose 0 = -2*o + 2*r - 2, -4*o - 4 = -0*r + 2*r. Which is smaller: o or d?
d
Let i be ((-37)/(-4))/(58/(-4)). Let x = i + 4/29. Which is smaller: x or 3?
x
Let c = 7.06 - 0.06. Let v = c + -7. Is -3/2 at least v?
False
Suppose -2*j - 3*j - 4*c = 8, -j + 3*c = -6. Let k = 0.16 - 6.16. Let v = -6 - k. Is v at most as big as j?
True
Suppose q + 2 = 2*q. Let x be q/5 - (-10)/(-25). Are x and -2/17 equal?
False
Let r = 3/82 + -525/902. Which is smaller: r or -2?
-2
Let k = 13 + -118/