 Let a be n/168 - 2/7. Is -1 > a?
False
Let b = 1.002 - 0.002. Are -0.11 and b non-equal?
True
Let d be ((-12)/(-15))/((-2)/(-5)). Suppose 0 = -d*o + 6*o. Let b be (1 - (4 + 0)) + o. Are -1/4 and b non-equal?
True
Let s be 10*-2*7/(-14). Suppose -3*n = -29 + 5. Which is greater: s or n?
s
Let l = -36 + 22. Let u = -23 - l. Let y be (-12)/u - (3 + -1). Does -2 = y?
False
Let z(i) = i + 6. Let q be z(-5). Let u = 1 - q. Suppose a = -u - 2. Is -3/5 at least a?
True
Let h be ((-16)/(-20))/((-2)/5). Let s = -1 + h. Is s greater than or equal to -3?
True
Let d = -61.99 + 62. Let q = 1.99 - 2. Let u = q + d. Is 1/3 not equal to u?
True
Let a(g) = -g - 11. Let w be a(-11). Suppose w*o = -5*o. Is o less than or equal to 1/2?
True
Suppose -5*u = -8 + 33. Which is smaller: u or 3?
u
Let w be (-14)/(-10)*(-80)/64. Which is smaller: -1 or w?
w
Let v be (0 - 1)*(-1)/(-5). Let w(j) = j**2 + 6*j - 1. Let m(d) = -d - 11. Let y be m(-5). Let i be w(y). Which is bigger: v or i?
v
Suppose 2*j = -p - 4, 0 = p - 3*j + 2*j + 1. Let h be (-4 + 4)/(p - -1). Let o = 2 - 2. Is h at least o?
True
Let g = -15 - -59/4. Let d = 7 + -15. Let v be (-2)/1 + (-18)/d. Which is bigger: g or v?
v
Let s(w) = w**3 - 4*w**2 + 4. Let i be s(4). Suppose i*y + y = 15. Do y and -0.1 have the same value?
False
Let o be (3/6)/(-1)*35. Let g = 18 + o. Is g greater than 3?
False
Let a be 8/3 - (-1)/3. Let k = 26 - 22. Suppose 0 = a*i - 5*o - 20, -k*i + 2*o + 9 = 1. Which is smaller: -3/5 or i?
-3/5
Let a = -44 + 26. Let d = 12 + a. Which is smaller: d or -7?
-7
Let w = 7 + -3. Let a(q) be the third derivative of -q**6/120 + q**5/20 + q**4/8 + 5*q**3/6 - q**2. Let y be a(w). Which is bigger: 2 or y?
2
Let x = 20 - 21. Which is bigger: -1/2 or x?
-1/2
Let j = -3 + 5. Let h be 1 - j - (0 - 1). Let r be h + (-14)/8 - -1. Is -0.1 greater than or equal to r?
True
Suppose -6 = 2*g + 3*j - j, 3*g + 4*j + 7 = 0. Suppose -4*a + 16 = 0, h + 2*a = -2*h + 20. Suppose u + h = -0. Which is bigger: g or u?
u
Let q(t) = t**3 - 4*t**2 + t - 1. Suppose 4*n + 0 = 12. Suppose -8 = -n*v + 4. Let o be q(v). Which is smaller: o or 4?
o
Let q be 44/(-957)*(1 - 1/(-2)). Does 1 = q?
False
Suppose -3*z = x + z - 1, -5*x = -5*z - 5. Which is greater: x or -1/58?
x
Let q(l) = -5*l**3 + l. Let s be q(-1). Suppose -s*a + 1 - 21 = 0. Let v be (-12)/(-48) + (-34)/8 + 0. Which is smaller: a or v?
a
Let r = -3 - -2. Let a(d) = 2*d. Let w be a(-2). Let k be (3 + w)*(1 - -1). Is r greater than k?
True
Let c be (2 + -1)*(-8)/(-8). Let d = -13/3 - -100/21. Which is smaller: c or d?
d
Let u = 6 + -4. Let y = u + -3. Let c be (-21)/63 + -1 + 1. Is y <= c?
True
Let t = -0.02 - 4.98. Let i = t - -3. Does 0.1 = i?
False
Let a(l) = -7*l**2 - 5*l + 11. Let u(r) = -6*r**2 - 5*r + 10. Let q(x) = -5*a(x) + 6*u(x). Let s be 6/(1/(-2)*2). Let m be q(s). Is m at least -1?
True
Let t = 91/44 - 19/44. Are t and 1 equal?
False
Let s be (4/10)/((-23)/(-5)). Which is greater: -4 or s?
s
Let f(x) = -x**3 - 11*x**2 - 6*x - 36. Let m be f(-11). Are 29 and m unequal?
True
Let y = -506/5 - -102. Suppose -10 = -4*d - 6. Is d at least y?
True
Let v = 192432.01 - 191232. Let z = -1195 + v. Let f = z - 5. Which is smaller: 0.1 or f?
f
Let o be 3*6/(-75)*(-1)/(-6). Which is bigger: o or 0?
0
Let u = 994/2175 + -12/25. Which is smaller: u or 0?
u
Let m(i) = -i**3 - 9*i**2 + 9*i - 9. Let q be ((-10)/(-3))/(1/(-3)). Let f be m(q). Let a be (2 + 2)*f/(-6). Which is bigger: 0 or a?
0
Suppose 0 = -0*p - 5*p. Which is bigger: -1/16 or p?
p
Let k = -1 + 7. Let c be (-2)/4 + (-15)/k. Which is smaller: -4 or c?
-4
Let f(b) = -b**3 + 8*b**2 - 8*b + 3. Let a be f(7). Let j = a + 6. Let u = j + -1. Which is smaller: u or 1/7?
1/7
Let u = -2 + 6. Suppose l + u*l - 5 = 5*d, -5*d = 2*l + 19. Let h be 2 + 0 + 0/d. Is h >= 2/9?
True
Let l be (1/(-12))/((-6)/54). Which is greater: 2 or l?
2
Let p be 4/(-6)*(1 - -5). Is p at least as big as -4?
True
Let u(s) = 4*s**2 - s - 1. Let f be u(-1). Suppose 0 = -p - 5*b - 5, 10 = 4*p + f*b + b. Is 3 at most as big as p?
True
Let x = 8 + -6. Let w be (-1 + x)*(-1 - -19). Let c be 22/w + (2 - 3). Is c > -1?
True
Let v be 1/2*34/(-1). Are v and -20 unequal?
True
Suppose -80 = 8*f - 4*f. Let b be -1*(f/12 + 3). Does -0.1 = b?
False
Suppose -304 = -5*o + 101. Is o < 81?
False
Let t = 2005/8 - 250. Which is bigger: 2 or t?
2
Let k(u) = -6 + u + 13 + 0*u. Let n be k(-7). Which is greater: n or 1?
1
Suppose 6 = 3*y + 3*y. Is -6/17 smaller than y?
True
Suppose -v - 3 = g, -2*g + 0*g = -3*v - 4. Which is smaller: g or 8?
g
Suppose -3*w = 1 + 2. Do w and 0.06 have different values?
True
Let s = -61/402 - 1/67. Suppose 7 = -8*o + o. Is s less than or equal to o?
False
Suppose y + y = 0. Which is smaller: -9/7 or y?
-9/7
Suppose l + 3*s + 24 = 0, -4*l - 12 - 66 = 3*s. Is l less than or equal to -19?
False
Let r(j) = j**3 - 22*j**2 + 5*j + 18. Let n be r(22). Is 127 smaller than n?
True
Suppose -3*r = -12, -2*i + 6 = -7*i + 4*r. Let g be i + 1 + 0 - 2. Is 1 greater than g?
False
Suppose 0 = 4*l + 3*z - 5, 4*l - z - 13 = -4. Suppose 2*w - 1 = 5*s - l, 0 = -5*w + s + 9. Suppose -w*f = f - 3. Is -2/11 greater than or equal to f?
False
Let l = 0 + -0.1. Let b = -0.7 - -0.8. Let v = b - l. Is 0 at least v?
False
Let f be -3*1*267/(-2961). Let n = f + -6/47. Let h be (-4)/(12/(-3))*1. Does h = n?
False
Let g = -1 - -9. Let s = g + -5. Let f be -1 + 3/s - 5. Which is smaller: f or -4?
f
Let v = 9 - 5. Suppose -8*w = -11*w + 15. Which is smaller: w or v?
v
Let u be (-3 + 4)*(-4)/18. Let m(v) = -v - 1. Let c be m(3). Let x be 1*(c + 1)/(-3). Is x greater than u?
True
Let h = -1 - -2/3. Let x = 0.63 + -0.6. Do h and x have the same value?
False
Let c = 0 - 2. Let u = 4 + c. Which is bigger: 3 or u?
3
Let v(p) = p - 4. Let u(t) = -t + 3. Let z be u(-4). Let k be v(z). Let l be (6/27)/(2/k). Which is smaller: 0 or l?
0
Let o be 2/1 + (-465)/252. Let l = -10303/12 + 858. Let f = l + o. Which is smaller: f or 1?
f
Let o = 0.43 + -0.33. Is 0.5 > o?
True
Suppose -3*v = -2*b + 2 - 3, -12 = 4*v. Suppose 19 = -3*z + 4. Is z smaller than b?
False
Let f be (32/(-12))/((-4)/(-18)). Let a = 47/4 + f. Which is smaller: 5/2 or a?
a
Let l = 0.12 - -0.28. Let x = 18 + -16.4. Let o = l + x. Which is smaller: o or 0.2?
0.2
Let k be 1/(-3) - (-34)/66. Let i = -2 + 2. Let a be 1*(0 - -1 - i). Is k equal to a?
False
Let a(n) = -n**2 - 8*n + 7. Let v be a(-9). Let m be 2 + -2*(-1)/v. Is m not equal to 1/3?
True
Let p be 20/15*3/2. Let s = 5 - p. Let a be 3*(2 + (-4)/s). Which is smaller: 3/5 or a?
3/5
Let l = -3/16 + -17/80. Does l = 6?
False
Let h(x) = -4*x**2 - 4*x - 1. Let q be h(-1). Is -11/15 less than q?
False
Suppose -3*k = -k - 10. Let z be 2/(2/5) - 2. Let t = k - z. Is 1 at least as big as t?
False
Suppose 63*s = 55*s - 8. Is s less than 1/2?
True
Let m(j) = -j + 4. Let f(d) = -3*d - 12. Let t be f(-5). Let y be m(t). Are y and -0.3 nonequal?
True
Let m be (-1)/(-25)*-46 - (-3 + 1). Which is smaller: 0 or m?
0
Let x be (-3)/9 + 2228/6. Let n = -12615/34 + x. Is 0 < n?
False
Let n = 12 + -11. Does 2 = n?
False
Let d be 1 - (1/1)/1. Suppose z + 3*z = d. Suppose -4*p + 0*x - 11 = -5*x, -4*p + 3*x = 5. Is p greater than or equal to z?
True
Let n = 1.1 - 1.9. Which is smaller: -2 or n?
-2
Let k be ((-15)/20)/(2/32 - 0). Which is smaller: -2/3 or k?
k
Suppose 3*o = -4*n - 18, -2*o + o = n + 5. Let l be 8 + -8 - o/4. Is -0.1 >= l?
False
Let k = 4.2 + -4.8. Which is smaller: k or 1?
k
Let w = -3.5 - -6. Let u = -0.5 - w. Let y = u - -2. Is y bigger than 0?
False
Suppose -4*d + 7 = b - 6, 3*d - 7 = 2*b. Are d and 4 nonequal?
True
Let y = -107/5 - -22. Let b(w) = -w + 2. Let t be b(2). Suppose 0 = 3*a - t*a. Are a and y unequal?
True
Let n(p) = -1. Let c(g) = -g + 7. Let q(a) = -c(a) - 6*n(a). Let x be q(0). Is x < 1?
True
Let t be -8*(4/10)/(52/65). Which is bigger: -11 or t?
t
Let z be (-1)/(-3) - (-48)/18. Suppose 0 = 4*f + 4*l - 30 - 78, z*f + 2*l - 76 = 0. Let a be 18/(-22) + (-4)/f. Do -1/4 and a have the same value?
False
Suppose -3*m + 5 = 2. Let d = -1 - m. Suppose -n + 3*n = 0. Which is greater: d or n?
n
Suppose q - 30 = -o - o, -2*q + 3*o + 39 = 0. Suppose q = 5*b - 6. Suppose -3*a + b = 3*z, 4*z - a = a + 2. Which is greater: z or -1/4?
z
Let b be 2 + ((-447)/(-15