(-12). Are -12 and j nonequal?
True
Let w = 3 - 7. Let i be (-22)/28 + (-2)/w. Let p = -3.5 + 3.5. Do p and i have the same value?
False
Let c(l) = l**3 + 12*l**2 + 2*l + 12. Let i be c(-12). Do i and -9 have the same value?
False
Let b(w) = -w + 1. Let z be b(-2). Let j be -6*(2/6)/(-1). Suppose 3*l = j*u - 1, z*l - 1 = 5*u - u. Do -2 and u have different values?
True
Let b = -15 + 9. Let q = 10 + b. Which is greater: 3 or q?
q
Suppose 2*a = -a. Suppose 3*p + 2*p - 5 = a. Let h = 28 - 31. Is h equal to p?
False
Suppose 3*q - 7*q = 5*p + 69, -q + 2*p - 1 = 0. Does -10 = q?
False
Let q(s) = -7*s - s**3 - 7*s**2 - 2*s**3 + 3 + 2*s**3. Let b be q(-7). Let k = -259/5 + b. Is k greater than -1?
True
Let a = -58 - -39. Let z be 1/2*(7 + a). Is -7 bigger than z?
False
Let m = -8 - 1. Is -0.1 > m?
True
Let o = -23724803/1100 - -21568. Let i = 50591/3300 - o. Let p = i + -15. Which is greater: 1 or p?
1
Let x = 0.12 - 0.2. Let j = x - -0.12. Let i = 1 + 0. Is j equal to i?
False
Suppose u - 3*u = -5*d - 172, -2*u + 3*d = -172. Let r = u - 601/7. Which is bigger: r or -0.1?
r
Let t = 21 + -11. Which is smaller: t or 2?
2
Let z = 3 + 2. Which is smaller: -2 or z?
-2
Let y(c) = -c**2 + 8*c + 5. Let g = -7 - -14. Let t be y(g). Let s be ((-2)/(-3)*t)/2. Which is bigger: 5 or s?
5
Let s(z) = -2*z**2 - 10*z - 8. Let h = 3 - 9. Let f be s(h). Let b be (8/(-30))/(8/f). Which is bigger: b or -1?
b
Let k = 29 - 24. Is 5 smaller than k?
False
Let p(w) = w + 12. Let a be p(-9). Suppose a*c + 2*m + 10 = 0, 2*c + 10 - 2 = -2*m. Suppose 0 = -2*d - 2 - 0. Are d and c equal?
False
Let o be (-1)/(-2) - 12/(-8). Let h be 6 + (o - (-1 + 5)). Suppose 5*n + 2 = h*n. Which is smaller: -3 or n?
-3
Let i = 0.168 - -30.532. Let q = i + -29. Let m = q + -2. Is 2/3 smaller than m?
False
Let j = 6 + -3. Suppose -j*f + 0 = -q - 1, 3*q = -4*f - 16. Let g = 8/29 - 140/87. Which is bigger: f or g?
f
Let i = 161 - 160.972. Is -0.1 at most as big as i?
True
Let f = -1 - -3. Suppose 2*m - 8 = -f*m. Suppose -m + 0 = 2*n. Which is bigger: n or -2?
n
Let h = 4 + -3. Suppose -t - h = 5*y - 9, -5*t + 12 = -3*y. Let r = -103 - -103.2. Which is greater: r or y?
y
Let y be 1*9/(3 - 0). Let q be y/4 + 5/20. Which is smaller: 10/7 or q?
q
Let c = -3.3 + 3.3. Let s = 0.1 - 1.1. Let a = -0.8 - s. Which is bigger: a or c?
a
Let c(y) = -y - 12. Let b be c(-13). Which is greater: b or 2/85?
b
Let u be (9 + -4 - 2) + 1. Which is smaller: 17/6 or u?
17/6
Let v = -4/45 - -23/90. Is v at most as big as -6?
False
Suppose 2*r - 2 = 2*y + 8, -3*y = 3*r - 15. Suppose y = -i + 5*i - 12, 0 = -3*a + i. Are a and 0.1 unequal?
True
Let p be 1 - (-2 - 14/(-6)). Let j be 2 + 3/((-3)/(-1)). Suppose j*q - 6 = q, w - q + 1 = 0. Is w greater than or equal to p?
True
Let q be 1/2*(-3 - -3). Is 10/9 <= q?
False
Let j(q) = q**2 + 3*q + 4. Let l be j(-3). Suppose -31 = 5*o + 3*z + 20, 0 = 3*o - 4*z + 48. Let h be (l/54)/(4/o). Which is smaller: -0.1 or h?
h
Let w be (-38)/(-14) + (-6)/(-21). Suppose 0*v + w*v = 0. Which is smaller: v or -1?
-1
Let b(l) = l**3 + 4*l**2 - 4*l - 1. Let t be b(-5). Let n(i) = -i - 15. Let v be n(-17). Let k be (3/t*0)/v. Are -1/2 and k equal?
False
Let d(v) = v**2 + 8*v - 4. Let n be d(-8). Let x be n*(1/(-2) - 0). Suppose -21 = -4*q + 3*i, 2*q + i = -x*q + 9. Which is bigger: q or 5/2?
q
Let a = 2.7 + -0.7. Let i = a + 2. Let w = -7 + i. Which is bigger: w or -2?
-2
Let o = -9 - -15. Let j = 5 + -9. Let p = o + j. Which is smaller: p or -1?
-1
Let g be 82/3 + 1/(-3). Let b be 6/(g/6 - 3). Are -1 and b non-equal?
True
Suppose 18 = -5*x + 2*x. Let n be 0 + 1 - 2*8. Let c be n/(-10) - x/(-4). Which is smaller: 1/3 or c?
c
Let r be 32/24 - 2/2. Suppose -2*n + 14 = 4*l, -2*l + 12 = -5*n - 1. Which is smaller: r or n?
n
Let s be 3 + -1 - -1 - 4. Suppose -5*m = 2*l - 10, -m = 2*l - 0*m + 6. Which is smaller: l or s?
l
Let s be 36*(1 + 9/(-6)). Let v be (2 + 0)*s/(-168). Which is smaller: 1 or v?
v
Let l be ((-1)/(-1))/(4/16) - 6. Let h(u) = -u**3 + 4*u**2 - 4*u - 1. Let i be h(3). Is l > i?
True
Suppose -u - 3*u - 3*n = 25, -4*n = 5*u + 32. Is u greater than -7/2?
False
Let y = -42.9 - -41. Let g = -1.99 + -0.01. Let d = g - y. Which is bigger: 0.2 or d?
0.2
Suppose -o = -0*o. Suppose g + 5*f - 12 = o, -5*g = -3*f + f + 21. Is -2 bigger than g?
True
Let f = 41 - 25. Suppose 0 = 5*m - 11 + f. Are -0.03 and m nonequal?
True
Suppose -t + 3*t = 4. Suppose 2*q = 4 - t. Suppose 2*i - i = -y, y - q = 0. Is -2 >= i?
False
Let l = -2035146/817 - -2491. Let y = 1663/23693 - l. Which is smaller: 1 or y?
y
Let b = 3 - 0. Let c = -0.0529 + -0.5471. Which is smaller: c or b?
c
Let y be 0*3/9*-3. Which is greater: -11 or y?
y
Let q be (-1 - -2) + (-8 - -4). Let m be 1/q + 3/9. Suppose m = -w - 2*w. Is w less than 3/4?
True
Let t(p) = -p**2 + 6*p - 2. Suppose 2*c - 9 = -1. Let a be t(c). Is a greater than 6?
False
Let x(j) = 2*j**2 + 12*j - 9. Let l be x(-7). Let d(g) = -g**3 + 4*g**2 + 5*g - 3. Let k be d(l). Let m = 1 - 3. Is m at most as big as k?
False
Suppose -f - o + 4 = -21, 51 = 2*f + 3*o. Is f > 23?
True
Let x = -2087/2 + 1069. Which is smaller: x or 26?
x
Let a = -4.96 - 0.04. Let p = -47.8 + 53. Let t = p + a. Which is smaller: 2/9 or t?
t
Let w(d) = d**3 + d**2 + 2*d + 2. Let o be w(0). Let m be 1 + (-3 - -2) - 1. Is o bigger than m?
True
Suppose 33 = m - 5*q + 8, 0 = -4*m + 2*q + 10. Which is bigger: 0.03 or m?
0.03
Let p(i) = -i. Let t be p(-4). Suppose g + t*s - 24 = -0*s, -4*s = -4. Suppose 20 = -4*x, -o - 3*x - g + 6 = 0. Is 5/7 greater than or equal to o?
False
Suppose 0 = -s + 15 - 2. Is 13 >= s?
True
Let k = -9 + 10. Let a = k + -3. Let o be 30/(-5)*(-3)/a. Is o <= -8?
True
Let p(a) = -a**2 + 6*a - 8. Let u be p(6). Let x be 228/(-48) - 2/u. Which is smaller: x or -6?
-6
Let n be (-4)/20*142*1. Let c = -28 - n. Suppose 3*v = -s + 3, 3*s = 5*v + 4*s - 3. Which is bigger: c or v?
c
Suppose 2*c - 28 = 16. Let v be (-35)/(-198) + c/(-99). Is v less than 0?
True
Suppose 5*p + 0*p + 3 = 2*i, 0 = 4*p + 5*i + 9. Let q be (39/(-52))/(3/2). Are q and p non-equal?
True
Suppose -44 = u - 5*u. Suppose 5*c + 14 = 5*x - 1, -5*x + u = -c. Does x = 2?
True
Let t be 1 + 0 - (-1)/(-1). Let r be (2 - t)*1/6. Let s = -1.9 + 2. Which is greater: r or s?
r
Let v be 9/(-15)*-3*(-22)/(-9). Is v less than 5?
True
Let x = 5 + 6. Let l = x - 11. Suppose -9 = -3*c - 2*t + 4, -2*c + t - 3 = l. Which is bigger: c or 0?
c
Suppose -2*s = 0, -8*x = -6*x - s - 6. Suppose -2*z - 3*z - 25 = -x*y, z - 3 = -y. Suppose -5*a = -7 + 2. Which is smaller: z or a?
z
Let m be 730/(-12)*6/(-15). Let h = -25 + m. Which is smaller: h or -2?
-2
Let j = 8 + -8. Suppose 5*n = t + 21, 5*n + j*n - 5*t = 25. Is 5 greater than or equal to n?
True
Suppose -b - 2 = d, d - b + 6*b + 6 = 0. Which is smaller: d or 3/7?
d
Let s = 416/171 - 42/19. Is s greater than or equal to 2?
False
Let r be 6*12/9*(-33)/8. Are -31 and r non-equal?
True
Let v(s) = -s**3 + 6*s**2 - 2*s + 16. Let t be v(7). Is -47 less than t?
False
Let z = 39344/39 - 1009. Let x = 340 - 4418/13. Let f = x - z. Is 2/9 greater than f?
False
Suppose 2*c + 2*s - 24 = 0, 0 = -0*c - c + 2*s - 3. Let q be 1*-7 - 0 - -1. Let a be (6/1)/3 - q. Which is smaller: c or a?
c
Suppose -1 = -3*m + 3*i - 4*i, 0 = m - 2*i - 12. Is m bigger than 0.1?
True
Let m = -3/22 + -4/11. Let c = -1 - 1. Let v = c - -1.9. Which is smaller: v or m?
m
Let k = 7 - 4. Suppose -2*t + 5 = k. Let a be (-1)/(-3)*(2 + t). Which is greater: 0 or a?
a
Let a = 0.2 + -0.2. Let u = 0 + a. Let o = u + 0.1. Is 0.2 at most o?
False
Let w be (-5)/(-2) - (4 + -4). Which is bigger: -2/7 or w?
w
Suppose -4 = q - w, -5*w = q + 1 - 21. Suppose -2*m + q*k = -2*k + 28, -2*k = 4*m + 56. Are -14 and m unequal?
False
Let l = -0.007 + 0.007. Which is bigger: 1/20 or l?
1/20
Suppose -3*v + 1 = -14. Suppose 3 = -v*j - 7. Which is smaller: j or -4/5?
j
Let g = 3503 - 24589/7. Does g = -10?
False
Let d(f) = -2*f - 8. Let j be d(-8). Suppose -v + 6*v = -4*y + 8, 0 = -3*y + 4*v + 37. Which is bigger: j or y?
j
Suppose 4*s = 3*c - 2*c + 2, 2*s = 3*c + 6. Is s != -2/185?
True
Let x = -10 + 9.9. Is x less than -0.6?
False
Let a be (-1)/(350/(-142)) - (-4)/(-14). Which is bigger: -1 or a?
a
Let m = -3 + 1. Let s = 5 - 4. Let t be s/2*m/4. Which is great