
Suppose -4*y = y - 10. Suppose -b = -4*o - 8, -y*b - 5*o = -5*b + 10. Do -2/13 and b have different values?
True
Let g(u) = -13*u**2 - 2*u + 5. Let f be g(-2). Are -45 and f equal?
False
Let g = 127 - 91. Let t be (g/(-135))/((-6)/5). Let v be (-4)/(-6) + (-1)/(-3). Is v > t?
True
Let d be (-724)/60*-3 - (-3)/(-15). Is 36 bigger than d?
False
Let a be (-1)/12*(-392)/(-42). Which is smaller: a or -2?
-2
Let b = -23/60 - 1/60. Which is bigger: b or -43?
b
Let n(d) = -d + 11. Let x be ((-27)/6)/((-1)/2). Let y be n(x). Suppose 0*m = 2*m - y. Which is smaller: -2/15 or m?
-2/15
Suppose y = -3*y. Let l be (1*-28)/(y + -1). Let r be 8/l + (-5)/(-7). Is r less than or equal to 2/7?
False
Let i be (-5 + 66/12)/((-2)/24). Which is greater: i or -5?
-5
Suppose 0 = -3*m - 15, -d = -0*d + 2*m + 10. Let s = 96 - 96. Does d = s?
True
Suppose -16 = 4*v + 3*p, 3*p + p = -3*v - 12. Which is smaller: -3 or v?
v
Let s = 14 + -11. Suppose t = -s*t + 8. Is 2 not equal to t?
False
Suppose 0 = 2*p + 3*y + 16, -3*p - y - 22 = p. Is -7 != p?
True
Suppose -3*i - 1 + 7 = 0. Let d(h) = -4*h**2 - 3*h + 1. Let r(o) = -3*o**2 - 4*o. Let z(v) = i*d(v) - 3*r(v). Let w be z(-5). Is w > -1?
False
Let p(d) = 4*d + 38. Let c be p(-9). Let q = -1791/4 - -917/2. Let n = q - 10. Which is bigger: c or n?
c
Let p be -1*(-1 + 1 + 0). Let g be (6/(-8))/3 + p. Which is bigger: g or -1?
g
Let g = 0 + 1/5. Let z = -39 - -40. Is z > g?
True
Let y(s) = -s**2 + 8*s. Let m(p) = 2*p**2 - 17*p + 1. Let r(j) = 2*m(j) + 5*y(j). Let x be r(6). Is x > 1?
True
Let a be (-10)/(-24) - 2/(-8). Let l = 2 + -4. Is a at most as big as l?
False
Let w = 111.2 + -136. Let a = w - -25. Is -7 >= a?
False
Let c(u) = -u**2 + 10*u + 14. Let h be c(11). Suppose h*t - 7*t = 0. Is 2/17 at least as big as t?
True
Suppose -x + 10 = 5. Suppose 0 = p - x*p + 8. Let t be -6*((-2)/4 - 0). Which is smaller: p or t?
p
Let p be -2 - (-2 - (-3 + 2 + 2)). Is -0.9 smaller than p?
True
Let f be (-1)/((-2)/(-1)) + 0. Let n(h) = -h**2 + 9*h - 14. Let z be n(2). Is f bigger than z?
False
Let a be (-8)/(-6)*(15 + -12). Suppose -5*v - 4*t + 80 = 0, -60 = 2*v - 4*v + a*t. Are 19 and v nonequal?
True
Suppose -5 = -2*s + 6*y - 3*y, 2*s + 5*y = -3. Which is greater: s or -1/50?
s
Suppose 0 = -2*o - o + 549. Let b be 2 + 3 + o/(-33). Which is smaller: b or 0?
b
Suppose -3*l - 9 = 6. Is -3 bigger than l?
True
Suppose 4*f + 34 = -54. Let u = f + 37. Suppose 2*y + u = -y. Which is smaller: y or -4?
y
Let u be 8/(-42) + 4/14. Suppose 3*k + 2*n + 5 = 0, -7*k + 6 = -5*k - n. Which is bigger: u or k?
k
Let u = -19.2 + 4. Let w = u + 15. Which is smaller: 0.2 or w?
w
Suppose -5*g = -3*c - 6, g - 18 = -3*c - 2*c. Suppose -3*o + o - 4*t = 6, -g*t - 3 = 3*o. Let m be -2 + (2/(-7) - -2). Which is greater: m or o?
o
Let w = 0.1 - -2.9. Let z = 2 - w. Is z greater than -4?
True
Let q = 6 - -5. Suppose -2 = -i - q. Let x = -10 - i. Which is smaller: -2/9 or x?
x
Let p(k) = -k**2 - 7*k + 11. Let g be p(-8). Is g equal to 6?
False
Let t = -46 - -323/7. Are t and 1 unequal?
True
Suppose 5*a + t + 7 - 1 = 0, a - 5*t - 4 = 0. Let z(w) = -3*w**2 + 2*w. Let q be z(a). Which is greater: q or 0?
0
Let g(d) = -d**3 - 5*d**2 + 6*d + 8. Let c be g(-6). Is 6 bigger than c?
False
Let c be (1/(-2))/(2/(-4)). Suppose i = 6 - c. Which is smaller: 4 or i?
4
Let o(g) = -g**3 + g**2 + 6*g + 3. Let s be o(-4). Let w be ((-1)/2)/(s/(-12)). Let q = w + 277/177. Do 3 and q have different values?
True
Let l = -48803/45 + 5527/5. Let j = -21 + l. Are 1 and j unequal?
True
Let l = 6 - 4. Let p be 1/l*(0 + -2). Let n be -1 - p - 1/4. Which is bigger: n or -2/5?
n
Let k(c) = c**2 + 6*c - 4. Let w be k(-6). Let v = w - -5. Suppose 0 = 5*b - 4*b. Which is smaller: b or v?
b
Let h be 600/(-2538) + (4/18 - 0). Do 0 and h have different values?
True
Let j = -4 + 7. Let k = 20 + -11. Let o be (2 + (-12)/k)*3. Which is smaller: j or o?
o
Suppose -2*x - 25 = 3*x. Suppose -3*y = -3*i - 18, 4*i = -y + 1 - 30. Let q = x - i. Is 1 < q?
True
Suppose g - 3 + 18 = 2*i, 2*g = 5*i - 38. Let c(z) = -z**2 + 9*z - 8. Let x be c(i). Is x at most as big as -2/9?
False
Let p(m) = 42*m + 123. Let o be p(-3). Suppose 0 = -3*w + y - 11, 0*w = -3*w - 4*y - 16. Does o = w?
False
Let s be ((-712)/32)/(1/(-12)). Let x = -26699/100 + s. Let d = x - -197/300. Is d bigger than 0?
True
Let x = 53 + -62. Is x less than -62/7?
True
Let w = 0.4 - 0.05. Let a = w + 0.05. Let r = 0.2 - a. Is r <= 0.1?
True
Let v be (4231/(-2))/(12/2). Let i = 1147/3 + v. Let g = 30 - i. Which is bigger: -0.2 or g?
g
Let t be 63/14*(1 - -1). Are t and 6 equal?
False
Let f = 3 + -2. Let r = -2 - 3. Let q be ((-4)/10)/(6/r). Which is bigger: f or q?
f
Let j be (-2 - 0)*1*13. Which is greater: j or -27?
j
Suppose -2*k = 2*k + 16. Let s be 11/(-14) + k/(-14). Let d be (2/(-15))/(6/10). Which is bigger: d or s?
d
Suppose 11*x + 13 = 2. Are x and -1/19 nonequal?
True
Let q = -10 - -8. Let w = -17.01 + 17. Which is smaller: q or w?
q
Suppose 5*p + 0*p + 30 = 0. Which is smaller: -4 or p?
p
Let k = -4963/18 + 276. Is 0 >= k?
False
Let c = 170/3 - 56. Is 1.4 > c?
True
Suppose 2*s = 5*s + 3*c, 5*c = 3*s - 40. Suppose 3*p = s - 17. Is -3 smaller than p?
False
Suppose -2 = f, 3*g - 3*f - 56 = f. Is g at most as big as 15?
False
Suppose -4*y - 7 - 13 = 0, -3*d - 4*y - 11 = 0. Let r be 3/6*4 - d. Is r at most as big as 1/9?
True
Suppose -a = 3*y - 4, -4 = y - 0*y - 5*a. Let n be -4*((-21)/(-12))/y. Does n = -8?
False
Let f = -5 + 5. Which is smaller: f or -3/7?
-3/7
Let o = -28 + 29. Is o smaller than -1/40?
False
Let h be 224/42*(-6)/4. Let u(i) = i**3 + 7*i**2 - 7*i + 4. Let p be u(h). Is -4 at least p?
True
Let k(p) = p**3 - 10*p**2 + 8*p - 12. Let n be k(9). Is -4 equal to n?
False
Let h be (289/(-68))/(1/(-4)). Let z = h - 15. Let s(w) = w**2 - 2*w + 3. Let o be s(2). Which is greater: o or z?
o
Let l be ((-5)/(-3))/((-3)/(-9)). Suppose -3*u = -z - u - 5, -l = -u. Which is smaller: 4 or z?
4
Let x = -2 - -2. Let u = -187 + 1305/7. Is x != u?
True
Let j(r) = r**2 + 8*r + 4. Let o be j(-7). Let q(h) = -2*h. Let i be q(o). Is i greater than 6?
False
Let i = -17/36 + 2/9. Let u = 0 - 13. Let m = u + 13. Which is bigger: m or i?
m
Let h = -80 + 564/7. Let m = 19/21 - h. Which is smaller: -1 or m?
-1
Let f = 2.1 + -2.2. Does f = -0.3?
False
Let g = -3 + 0. Let s(f) = f**2 + 19*f + 16. Let b be s(-18). Is g != b?
True
Let a(t) = t**2 - t - 2. Let r be a(3). Suppose -r*o + 25 = o. Which is smaller: 4 or o?
4
Suppose -d = -4*d + 15. Suppose d*w - 35 = -0*w. Which is smaller: 8 or w?
w
Suppose -16 = 7*f - 3*f. Let m(a) = a**2 + 6*a + 5. Let j be m(f). Is j less than -1?
True
Suppose 31 = 4*t - 1. Suppose -2*o + 6 = t. Is 0.5 at most o?
False
Let i(u) = u**3 + 2*u**2 - 3*u + 4. Let t be i(-3). Suppose 0 = -t*b + b - 3. Which is bigger: b or 0?
0
Suppose -11*g + 29 + 15 = 0. Let n = -53 - -111/2. Is g at least n?
True
Let h(v) = 2*v**2 - v + 1. Let n be h(2). Let i = n - 4. Is 5 equal to i?
False
Let g = 14 + -14. Suppose -3*n + 54 = -g*n + 4*m, 2*m + 50 = 4*n. Which is bigger: 15 or n?
15
Suppose -15*r = -102 - 348. Is 31 greater than r?
True
Let y = -3 - -2. Suppose 4*o - 2*k = -4*k + 2, 4 = 5*o + 4*k. Let w be 1 + -1 - y - o. Which is smaller: 0 or w?
0
Suppose u = 13 - 11. Let b be 2/8 + (1 - u). Which is greater: -1 or b?
b
Suppose 5*h = 2*m + 18, 2*h - 2*m + 0*m = 6. Is 4 greater than h?
False
Let c(i) = i**2 + 11*i + 10. Let q be c(-11). Suppose 5*x + q = -o - 4*o, -4*o = 5*x + 9. Is x != -1?
False
Let g = 0 + 5. Suppose 18 = 3*u + 2*q + 3*q, -g*u + 30 = -2*q. Is u >= 6?
True
Suppose -u - 3*w - 7 = 0, 9 = -2*u - 0*u - 5*w. Are 6 and u unequal?
True
Let f = -11 - -15. Let l be (f + -12)*(-2)/18. Is l greater than 1?
False
Let a = 3333/292 + -12/73. Let r = -317/28 + a. Which is greater: r or 1?
1
Let z be 1*1/(3/18). Let y be ((-4)/(-10))/(z/60). Suppose y*q = -6 - 2. Is q not equal to -1/2?
True
Let x = 21 - 17. Which is bigger: 5 or x?
5
Let b = 87 + -88. Is b less than -2/327?
True
Suppose -2 = -0*n + 2*n. Let o = 0.0008 + 1.9992. Which is greater: n or o?
o
Let f = 78 - 77. Is f greater than or equal to 4/17?
True
Let t(k) = -3*k - 10. Let d(s) = -16*s - 50. Let o(h) = 2*d(h) - 11*t(h). Let y be o(-8). Let n = -116 + 467/4. Is n at most as big