r x?
x
Suppose -85 = 3*a - 5*r, 3*r - 159 + 53 = 4*a. Are -24 and a unequal?
True
Let m(k) = k**2 + k - 1. Let i be m(2). Let o = 10 - 5. Let b = i - o. Is 2 < b?
False
Let z(w) = w + 2. Let q be z(2). Suppose 5*t - r - 18 = 0, 4*r = q*t + r - 10. Suppose 0 = -t*p + 4. Is 0.2 less than p?
True
Let y(c) = -6*c - 1. Let j be y(-1). Suppose 4 = 2*x - 2. Suppose -j*m + 8 = x. Which is smaller: 0.3 or m?
0.3
Let u = -18.1 - -17.7. Which is greater: -2 or u?
u
Suppose 18 = -x + 3*b - 9, 0 = -5*x - 2*b - 220. Which is bigger: x or -41?
-41
Let t(i) = -2*i + 5. Let d be t(4). Let z be (-1 + -2)/((-3)/d). Let h = -9 + 5. Which is smaller: z or h?
h
Let b = -135 + 135.2. Is b smaller than -6/13?
False
Let h be ((-20)/(-5) - 5)/((-10)/2). Is 0 < h?
True
Suppose 5*h - 3*h = -4*o - 46, -2*h = -o + 1. Let g(c) = -2*c - 2. Let j be g(-3). Suppose 1 = -p - j*m, -5 = 3*p - 2*p + 2*m. Is o bigger than p?
False
Suppose -2*i + 40 = -4*f, 0 = -3*i - 2*i - f + 111. Which is bigger: i or 21?
i
Let u = -9654469/609 + 15853. Let p = u + -62759/2436. Let k = p - -26. Which is smaller: k or -1?
-1
Let i be (-1 + 2)*1/(-3). Is i less than 0.1?
True
Suppose 4*r - r - 14 = -5*m, 2 = -3*r - m. Let y be (7/3 + -3)/((-6)/(-27)). Which is bigger: r or y?
r
Suppose -2*l = -2*v, -3*l - 2*v + 4*v = 1. Let m(z) = z**2 - 6*z + 6. Let n be m(4). Let x be 4*1*(n - l). Is -4 greater than x?
False
Let x = -44 + 45. Which is bigger: x or -11?
x
Suppose 4*i = -0*i + 8. Let n = -5 + 8. Suppose n*c + 5*h + 4 = 7*c, 0 = 4*c + i*h - 4. Does c = 2/11?
False
Let d(c) = 2*c - 12. Let s be d(5). Let q = s + 3. Suppose 0 = 3*v - 5*j, 0 = 4*v - 4*j + 2*j. Is v >= q?
False
Let z be ((-3)/(-54))/(1 + (-2 - -2)). Are 0 and z unequal?
True
Let j = 2 - 0. Let f = j + -2. Which is bigger: f or -2?
f
Suppose 5 + 19 = 6*v. Do v and 4 have the same value?
True
Let t(j) = j**2 - 6*j - 5. Let b(k) = 2*k**2 - 5*k + 4. Let s be b(3). Let n be t(s). Let y = 0 + n. Which is bigger: y or 1?
y
Let v(f) = -f**3 + 7*f**2 - f + 3. Let u be v(7). Let q be 1/(u/6)*2. Is -3 <= q?
True
Suppose 0 = -3*r + 35 - 5. Is r < 8?
False
Suppose 18 = -3*y - 15. Is y >= -9?
False
Let j be -6 - (2 + 4 + -4). Let h = j + 10. Is 1 <= h?
True
Let t be -3 + -4*(-6)/8. Which is bigger: 4/9 or t?
4/9
Let b = 0.01 - 1.11. Let n = b + 1.4. Which is bigger: -2/3 or n?
n
Let f be 2*1/(-2)*-1. Suppose -z + 4*z = 4*a + 28, -4*a = -2*z + 24. Let d = -9 + z. Which is smaller: d or f?
d
Suppose 4*h - 5 = 5*h - 2*o, -2*h - o + 5 = 0. Let s(r) = -r**3 + r**2 + 6. Let w be s(0). Let q be 1/11*w/3. Is h > q?
True
Let n(f) = -f**3 + 5*f**2 + 5*f + 4. Let q = -7 - -13. Let j be n(q). Which is greater: -10/7 or j?
-10/7
Let a = 5/8 + -23/24. Let j be ((-22)/16 + 1)/((-21)/(-14)). Are j and a unequal?
True
Let j = 0.04 + -3.04. Let f = 3 - 2. Let r = f + -2. Which is bigger: r or j?
r
Suppose a = -0*a - 3. Let z = 1 + 5. Let t be z*(15/6)/(-5). Is t != a?
False
Suppose 0 = d + 2*u + 1, 2*u + 2*u = 8. Let t be (-6)/8*24/(-6). Let z be t*((-50)/(-6))/(-5). Is d < z?
False
Let h(z) = -z + 9. Let x be h(6). Which is bigger: x or 26/7?
26/7
Suppose -8 = -4*h - 0, -u = -3*h + 12. Let n be 2/(-5) + 24/10. Which is smaller: n or u?
u
Let m(p) = p + 2. Let d be m(-5). Let x(b) = -b**3 - 5*b**2 + 6*b - 4. Suppose 3*a + 19 = 1. Let v be x(a). Which is greater: v or d?
d
Suppose -5*y = -4*y + 11. Which is bigger: -0.1 or y?
-0.1
Let d = 404.6 - 440. Let a = -39 - d. Let b = a + 4. Are b and 0 non-equal?
True
Let q(i) = i**3 - 2*i**2 + 2*i + 1. Let x be q(2). Let r = x - 4. Let w = -1 + r. Is 2/3 equal to w?
False
Let p = -7 - -6.4. Let k = 0.9 + -0.5. Let l = p - k. Which is smaller: l or -0.2?
l
Let n = 16 + -16.05. Let s = n + 0.11. Is s smaller than 1?
True
Suppose -2*v - 2*v - 32 = 0. Let y be 0 - 0 - v/(-12). Is 2 <= y?
False
Let h be (-1)/3*2*-3. Let c be (-2 - 8) + 0 + h. Let f = -21 + 12. Is f less than c?
True
Suppose 0 = -4*z - z - 20. Let x(h) = -5*h - 2. Let n be x(z). Let d = -25 + n. Is -6 smaller than d?
False
Suppose -4*r + 1 + 3 = 0. Let v(n) = -n**2 - 2*n. Let m be v(-1). Are m and r non-equal?
False
Let f(i) = -i**2 - 5*i + 5. Let k be f(-6). Suppose -3*w = -o - 116 - 27, 5*w + 3*o - 229 = 0. Let c = w + -142/3. Do c and k have different values?
True
Let h be 4/(-94)*9/3. Is h at most 0?
True
Let t be 45/(-42)*84/35. Which is greater: -4 or t?
t
Let n = -0.2 + -0.8. Let b = -5.3 - -3.3. Do b and n have different values?
True
Let w be ((-1)/9)/(12/18). Suppose 4*n = -2*x + 3 + 3, -3*x + 2*n = -1. Which is smaller: w or x?
w
Let p = 11 + -7. Suppose p*o = -2*v + 6 + 8, 2*o - 13 = -3*v. Which is smaller: 0 or o?
0
Let u(h) = -h**2 - 2*h + 1. Suppose -4*f = -3*c - 0*c + 14, -f = c + 7. Let q be u(c). Let p = 1 - q. Which is greater: p or -1/2?
p
Let h(l) = l**3 - 18*l**2 - 2*l + 36. Let g be h(18). Which is bigger: -8 or g?
g
Suppose 5*z = -2 - 3. Let k = 0 + 1. Which is smaller: z or k?
z
Suppose -3*f = -9 - 6. Suppose 0*r - 10 = 2*s - 2*r, 5*s = -5*r - f. Let t(y) = 2*y**2 - 21*y - 15. Let j be t(11). Is s <= j?
False
Let f = -2447/147 + 50/3. Let a = 233/588 + f. Which is greater: a or 1?
1
Let t be (15 - (1 - 0))/(-2). Are -2 and t non-equal?
True
Let j(y) = y**3 - 13*y**2 + y - 12. Let w(c) = c**2 + 4*c - 8. Let o be w(-7). Let s be j(o). Let l = 3.8 + -0.8. Is s at least l?
False
Let v = 35/87 + -2/29. Do -1/7 and v have the same value?
False
Let y be 88 + 1 - 4/10. Suppose -8 = 2*z, -2*a - 3*z = -3*a - 77. Let u = a + y. Is 0 at most as big as u?
False
Let y be 5/15 + (-3)/63. Which is smaller: -1 or y?
-1
Suppose 2*y - 4*h - 22 = 0, 2*y - 17 = 5*h + 8. Suppose y*l = 4*n + 52, -2*n + l - 28 = n. Let z(m) = m + 13. Let r be z(n). Is r >= 2?
True
Let y(c) = c**3 - 6*c**2 + 6*c - 3. Let d be y(5). Let q be 23/3*(6 + -3). Suppose -5*t + 19 = -2*h - 0, 5*t - 4*h - q = 0. Is d >= t?
False
Suppose -6*x = 5*x - 462. Which is bigger: 41 or x?
x
Let v = 21 - 12.9. Let k = v + -8. Suppose 2*x = 7*x. Which is greater: k or x?
k
Let b(j) = -j**3 - 3*j**2 + 2*j + 2. Suppose 2 + 2 = -q. Let z be b(q). Suppose -2*r = -2*o + 4, -4*r - r - z = 0. Is o at most 1/4?
True
Let q be (-15)/(-42) - 2/4. Let w be (3 - 5) + 3 + 1. Let m be (0*3/(-9))/w. Which is bigger: m or q?
m
Let b = -5 + 2. Is b at least as big as -2/13?
False
Let v = -2.8 + 3. Let s = -145 - -145.1. Is v at least s?
True
Let g be ((-56)/6)/(-2)*6. Suppose 3*p - 19 + 1 = 3*h, -4*p + 3*h + g = 0. Is p less than 9?
False
Let g = -53/3 + 17. Let n(p) = p**2 - p + 2. Let b be n(-2). Let d be ((-5)/10)/((-2)/b). Is g less than or equal to d?
True
Suppose -5*v - 9 = 6. Which is bigger: -5/3 or v?
-5/3
Let o = -32 + 31. Which is greater: o or 1?
1
Let q(s) = s**3 - 7*s**2 + 5*s + 4. Let i be q(6). Let m be (-1)/3 - i/24. Suppose 3*x = -x - 4. Are x and m equal?
False
Let f be 1 - 0/(-3) - 1. Suppose -3*j + 2*q + 1 = 0, f*j + 3*j + 5 = -q. Which is greater: j or 0?
0
Let j(a) = a**2 + 6*a + 7. Let z be j(-5). Let f be (z/4)/((-5)/(-30)). Suppose 4 = f*m - m. Is 3 >= m?
True
Let d = 0.04 - 5.04. Which is smaller: -1 or d?
d
Let y = -4 - -37. Suppose b - 4*m - 9 = m, -5*b - m = y. Which is smaller: b or -5?
b
Suppose 2*s = -4*i - 8, 3*s = -3*i - 3 - 6. Which is greater: i or 1/19?
1/19
Let z(c) = -6 - c + 6. Let f be z(1). Suppose -7 = 5*n + 3. Are n and f non-equal?
True
Let u be 8*((-51)/(-12) + 5). Which is greater: 75 or u?
75
Let t = -24/7 - -134/35. Which is bigger: 26 or t?
26
Let a(i) = -2*i. Let o be a(-7). Let b be (4/14)/(8/o). Is b at least 1/3?
True
Let v be (-1)/(((-12)/(-57))/(-4)). Is v smaller than 20?
True
Suppose v = -2*j - 1, 3*v + 5 = 4*j - 28. Let d(c) = -c - 10. Let f be d(v). Which is smaller: f or 1/4?
f
Let n = 13.5 + -16. Let i = n - -1.5. Which is smaller: i or -0.06?
i
Let j = -31 - -27. Which is bigger: -3 or j?
-3
Let r be (-6)/(-7)*(-7)/(-2). Let f be -9 - (r + (-20)/4). Is f at least -7?
True
Let b = -4 - 7. Which is smaller: -12 or b?
-12
Let x = 0.65 + -0.7. Let b = x + 1.05. Which is smaller: b or 0.3?
0.3
Let z = 4.35 + -4. Let k = z + -0.05. Which is greater: 0 or k?
k
Let w = 373 + -374. Suppose -10 = 2*d + 3*d. Is d not equal to w?
True
Let j be (-14003)/(-52) + (-6)/8. Let k = j + -269. Suppose -5*w + 10 = 0, 4*w - 3*w = l + 2. Is k at most as big as l?
True
Suppos