r: j or -0.2?
j
Let j(d) = -d**2 - 1. Suppose 0*i + 2*i + 2 = -s, -5*i + 17 = -3*s. Let g be j(s). Which is greater: g or -18?
g
Suppose 11 = 3*l + 5. Let t be 1/l - 3/6. Which is bigger: t or 3?
3
Suppose -2*c + u + 184 = 0, -2*u + 248 = 5*c - 230. Is c greater than or equal to 95?
False
Suppose 0 = 5*l - 71 + 21. Is l greater than 9?
True
Let n = -2.61 - -0.21. Let b = n + 0.4. Let g be (-5)/(-28) - 3/7. Is b less than or equal to g?
True
Let t = 107/88 - 17/8. Is t not equal to -1?
True
Let f be 1/(4/(-24)*2). Is f smaller than -4?
False
Suppose 0 = -b - 5*g + 1, 4*b = 2*g + 4 - 0. Let t be (1/2)/((-2)/(-4)). Are b and t nonequal?
False
Suppose 0 = -3*w + 9 - 0. Suppose 4*o + 48 = -0*o + 2*p, 3*o = p - 36. Let y be 2/3 + 14/o. Which is smaller: y or w?
y
Let o be (-1)/92 + 2/(-8). Is o at most -1?
False
Let p be (-4)/(-1) - (-3 - -3). Let a be -3 - p/((-516)/381). Which is greater: 0 or a?
0
Let o = -0.5 + 0.8. Let h = -0.5 + o. Which is smaller: h or 1?
h
Let b = 21 - 21.72. Let h = b - -0.12. Which is smaller: h or -1?
-1
Suppose -x + 3 = 2*x. Let n be 94/30 - (-8)/(-60). Let i be n + 1 - (-1 - -10). Do x and i have the same value?
False
Suppose -4*w = -0*w + 108. Let u = 80/3 + w. Is u at most 0?
True
Let s(g) = g**3 - 13*g**2 + 21*g + 12. Let m be s(11). Let a = 1 + -5. Is m greater than a?
True
Suppose 5*i + 8*p = 3*p + 20, p - 13 = -4*i. Suppose -i*g = 2*g. Is 2 less than or equal to g?
False
Let n = -8 - -5. Let p = 1 - -1. Suppose -p*b - 2*g + 0*g = 0, -5*g + 24 = -b. Does n = b?
False
Let x = 2 + -2. Let b be (2 + 2)/(0 - -2). Let o be (-2 - x)*b/(-4). Which is bigger: 2/3 or o?
o
Let q = 25 + -26. Is -4/9 equal to q?
False
Let i = -255/407 + 3/37. Suppose -2*n - l + 1 = 0, 3*n = -0*l - l. Is i != n?
True
Suppose 0 = 2*i - 0*k + k + 12, 16 = -3*i - k. Is i equal to -4?
True
Let x be -1 - -1*36/28. Let w = -0.12 + -6.88. Which is bigger: x or w?
x
Let l(h) = -4*h**2 + 6*h - 5. Let y be l(1). Suppose 2*u = -2*r - 2, 5*r + 0*u - 11 = 3*u. Which is smaller: r or y?
y
Let m = 0.3 + 0.3. Which is smaller: m or -5?
-5
Let o be (78/(-9))/(12/(-9)). Which is smaller: o or 6?
6
Suppose 5*w - 2*w + 549 = 0. Let y be 4/(-14) - (-2 + 185). Let g = y - w. Are -1 and g unequal?
True
Let v = -0.8 - 0.2. Let s = 7 + v. Let x = s + -6. Which is bigger: x or 1/3?
1/3
Let t(s) = s**2 + 14*s + 10. Let g be t(-14). Suppose -5*q - g = -0*q. Is -8/7 at least q?
True
Let y = 303/22 + -83/6. Let z = y + 142/165. Let i(b) = -b - 1. Let s be i(-3). Which is greater: z or s?
s
Suppose 3*q + 3 = -j - 7, -5*q = 5. Are j and -5 nonequal?
True
Let f = -1.1 - -0.7. Let t = f - -0.1. Is -1/4 not equal to t?
True
Suppose -4*h - 3*r = 27, 4*h + 8 = r + 1. Let y be ((-2)/(-1))/2 + 1. Let k be y - h/(18/(-10)). Is k >= 0?
True
Suppose 43*s - 44*s - 14 = 0. Suppose -4*o - 25 = 27. Which is smaller: s or o?
s
Suppose 76 + 6 = 4*i + r, 0 = -i - 4*r + 28. Which is bigger: 21 or i?
21
Let a be 2/(-10) + 16/(-120). Let w = a - 1/6. Do 7 and w have different values?
True
Let w be (-36)/3*3/(-2). Let j be (6/w)/((-2)/(-36)). Do 6 and j have the same value?
True
Let d(i) = i**2 - 8*i - 6. Let b be d(9). Which is bigger: -1/4 or b?
b
Suppose a = 3*a - 2*p, 5*p - 24 = -a. Suppose 5 = -a*w + 2*h - 5, 5*h = 3*w + 25. Which is bigger: 2 or w?
2
Let s be (24/18)/((-2)/(-3)). Are s and 8/7 non-equal?
True
Suppose 5*x + 4*r - 327 - 255 = 0, 0 = r - 3. Let m = x - 801/7. Which is smaller: 1 or m?
m
Let s be (6/(-4))/((-3)/(-4)). Is s smaller than 9?
True
Let j be -9 - -7 - (-1 - 4). Suppose j*c = 3*b - 3, 1 = -2*b + 3*c - 2. Is b not equal to 6?
False
Let m(s) = -s**2 - s - 1. Let k be m(-1). Let x be (-71)/6 - (-1)/(-6). Let w be 48/(-30)*1/x. Are w and k non-equal?
True
Let a(v) = -5 + 3*v**2 - v**2 + v**3 + 3*v**2 + 3*v. Let f be 30/(-8) + 1/(-4). Let s be a(f). Is 2/13 equal to s?
False
Suppose -3*f = -3*t - t + 98, 2*f + 4*t + 52 = 0. Let l be (8/(-20))/((-8)/f). Which is bigger: -2 or l?
l
Suppose 6 = 3*n - 0*n. Are 10/7 and n equal?
False
Let j = 5/16 + -1/16. Which is greater: j or -1?
j
Suppose 1 = -s - 0. Let t = -46 - -46. Which is smaller: s or t?
s
Let u be (9/6)/(2/4). Let s = 17 + -14. Let n be ((-9)/s)/u - -2. Which is greater: 0.2 or n?
n
Suppose -p - 6 = -r, p + 2*r - 12 = -3. Let l(f) = f - 9. Let h(n) = n - 10. Let j(m) = -4*h(m) + 5*l(m). Let z be j(4). Is p <= z?
True
Suppose -5*z - 12 = -6*z. Does z = 13?
False
Let n be (58/(-18) - -3)*-3. Is n greater than -3/5?
True
Suppose -15 + 1 = 2*d. Let q(v) = -v**3 - 7*v**2 - v + 2. Let b be q(d). Is 2 > b?
False
Let o(g) = g**2 - 9*g - 22. Let y be o(11). Let h = 5 + -2. Suppose -w + h*w = y. Is 1 equal to w?
False
Let a = 20 + -19.1. Let f = a - 0.7. Which is greater: 0.1 or f?
f
Let q = -20 - -16. Suppose 4*l - z = 9, -3*l + 5*z = -5*l - 23. Is l less than q?
False
Let d = 1.01 + -0.01. Let f = d - 1.7. Let k = -1.7 - f. Is k greater than -0.1?
False
Let p = 14.8 - 15. Is p less than or equal to -6?
False
Let b = 10 + -12. Which is bigger: b or -3?
b
Let y(h) = h**3 + h**2 + h + 7. Let q be y(0). Suppose -2*g = -q*g. Is -1 less than g?
True
Let p = -131 + 919/7. Let u = -1231/5 + 247. Is u greater than p?
True
Suppose 9*n - 14*n = 20. Let l be n/14 - (-100)/56. Which is smaller: l or 3?
l
Let d(f) = f**3 - 9*f**2 + 8*f - 1. Let h be d(8). Let k be h + 4/6*6. Let y be 0/(-2) - (-2)/1. Which is greater: k or y?
k
Suppose -3*m - a = -0*a + 6, -m - 13 = 4*a. Let w be (3/(-20))/(30/20). Is w < m?
False
Suppose 28*r - 31*r = 27. Does r = -3?
False
Let v = -12 - -6. Let t = -17 - -11. Is v < t?
False
Let z = 80 - 81. Which is smaller: 2/63 or z?
z
Let f(u) = -u**2 - u + 2. Let j be f(-3). Let a be 22/(-10) - (-6)/(-15). Which is smaller: j or a?
j
Let x = -0.5 - -0.3. Let m = x + 0.2. Let i be 16/12*(-6)/20. Is m at least as big as i?
True
Suppose -8 = -2*b - 0*b. Which is bigger: b or 1/4?
b
Let g(r) = -r**2 + 7*r - 7. Let k be (-2)/(-7) + 33/7. Let z be g(k). Is 3/2 >= z?
False
Let d = 5.01 - 5. Let v = d - 2.01. Is 3 less than or equal to v?
False
Let p = -1.3 - 4.7. Which is bigger: 0.1 or p?
0.1
Suppose 4*a - 16 = -3*k + 4*k, 2*k + 4*a + 8 = 0. Let z = k + 7. Which is smaller: z or -1/15?
z
Let x be ((-111)/(-51) - 2)/(2 + -1). Which is smaller: x or -1?
-1
Suppose -25 = 4*o - 9*o. Let p be 373/o*20/24. Let w = -62 + p. Which is smaller: -1 or w?
-1
Let n be 1/(-2) - 1/(-2). Suppose -p - 3*t + 11 = 0, -5*p + 31 = t + 2*t. Suppose -4*j + p + 3 = n. Is j at most as big as 2?
True
Suppose -4*b - 2*n = n + 19, -2*n = -5*b - 18. Let q be -10*1/b*-2. Is q >= -5?
True
Let k be (-2 - -1) + (-937)/11. Let q = k + 86. Which is bigger: 1 or q?
1
Let y(k) = -k - 13. Let v be y(-10). Let u be (0/v)/((-2)/1). Are u and -2/3 non-equal?
True
Let z = -13 + 18. Let s be ((-240)/(-33))/z - 2. Which is greater: s or -1?
s
Let k(r) = -r**2 + r + 26. Let m be k(-4). Suppose 2*v - 5*g + 0 - 11 = 0, 0 = v - 4*g + 2. Let n = v + -11. Which is smaller: n or m?
m
Let f be (-9)/((-9)/(-10)) - -3. Which is smaller: -6 or f?
f
Let a = -1984/7 - -283. Which is greater: a or -2?
a
Let n be (-3)/(-3)*(0 + -1). Let k = 1 + -5. Is n less than k?
False
Let s = 41 + -42. Are -2/35 and s non-equal?
True
Let q be -1*(-5 - (-4)/2). Let d(r) = r**2 + 7*r - 6. Suppose -5*s - 34 = 3*j, 3*s = -3*j - 0*s - 30. Let l be d(j). Which is smaller: l or q?
l
Let v be (-3)/21*2*1. Which is greater: -13 or v?
v
Suppose 6*n = 3*n + 3. Suppose 4 = -3*b + n. Are b and -2/5 non-equal?
True
Let b be 16/28 - (-20)/14. Is 2 not equal to b?
False
Suppose 0 = -3*w + h + 6, 0 = 4*w - 0*h - h - 7. Let l(v) = -4*v**3 - v**2 + v. Let b be l(w). Let f be 6/b - (-21)/(-6). Which is smaller: -4 or f?
f
Let f(j) = j**3 - 3*j**2 - 5*j + 5. Let v be f(4). Suppose -5*o + 35 + 0 = 3*a, 0 = -2*a + 10. Suppose -v = -r, 0 = -4*q - o*r + 4. Is 2/9 at most q?
False
Let s = 12 + -18. Let v = s + 2. Is v > -1/3?
False
Let c = 4 + -3. Suppose 3*x - 14 = -5. Is c less than x?
True
Suppose -3*s = y - 16, y - s = -1 - 3. Is y at least 2/147?
True
Let d = -4 - -6. Suppose -d*i + 8 = -0*i. Suppose -12 = i*f - 0. Is f > -2?
False
Let v = 8651609/88 - 98310. Let l = v - 37/11. Are l and 0.2 equal?
False
Let l(i) = 45*i**2 - 2*i + 1. Let r be l(5). Let g = r - 12322/11. Let x = -4 - g. Which is smaller: x