k and 1 unequal?
True
Suppose 0 = g + 4 - 3. Suppose 0*y - 4*y - 8 = 0. Let q be (-4 - -10)*y/(-30). Are q and g non-equal?
True
Let c be ((-6)/(-2))/(-3)*-1. Let p(m) = -m**3 + 4*m**2 + 5*m. Let f be p(5). Are f and c unequal?
True
Let g = -2/2545 - 106864/33085. Let t = g + 171/65. Let x be 1 - -1*(-1 - 1). Does t = x?
False
Let h = 9 - 15. Is h greater than -6?
False
Let y = 1024/9 - 114. Let f(d) = -d**3 + 3*d**2 + 3*d - 3. Let g be f(3). Let a(r) = -r**3 + 6*r**2 + 1. Let c be a(g). Is y <= c?
True
Let l = -4873/220809 + -1/2481. Let d = l + 184/267. Let m = 568/77 + -78/11. Which is smaller: d or m?
m
Let g = -181 - -1627/9. Let r(f) = -f**2 + 1. Let m be r(-1). Suppose u = -m*u. Which is smaller: u or g?
g
Let p be 1/(-2)*2*3. Is p not equal to -6?
True
Suppose 4*u - 4 = 4*x, -21 = 4*u + 5*x - 4*x. Let d be u + 0 + 2 - -3. Suppose -4*h + 7*r - 2*r + 25 = 0, 0 = -4*r - 20. Which is smaller: h or d?
h
Let z = 229 + -247.55. Let j = z - 0.45. Which is bigger: 2/7 or j?
2/7
Let c = 14 + -5. Suppose 5*l + 7 = 5*b - 8, -3*l - c = 0. Suppose 0*k - 5*k = 2*q + 28, b = 4*k - 5*q - 4. Which is greater: -2 or k?
-2
Let z be 2/(-14) - 1060/(-70). Which is bigger: 14 or z?
z
Let b be (3 + 14/(-4))*-2. Is b equal to -1?
False
Let o be (-14)/6 - 8/(-24). Let r = o - 0. Is -2 equal to r?
True
Let q = 21 - 24. Which is greater: 1/2 or q?
1/2
Let y = 5 + -5. Let d = y - 0.1. Let s = 0.07 - 0.27. Which is greater: d or s?
d
Let u be ((-4)/(-30))/((-104)/(-20) - 5). Do 2 and u have the same value?
False
Let c = -33 + 50. Is c bigger than 1?
True
Let f = 20 + -20.01. Let d = f - 0.09. Which is bigger: d or 2?
2
Suppose 6*y - 2*y = 20. Let w be (0/((-3)/(-6)*4))/(-1). Suppose w = 3*q - y*q. Which is smaller: q or 2/13?
q
Let u = 74 - 141. Are -65 and u equal?
False
Let m(f) = 7*f**3 + f**2 - f - 1. Let g be m(-1). Let a be 2*1/(-6)*g. Is a less than or equal to 3?
True
Suppose j + 20 = -5*k, 3*j + k = -2*k - 12. Let t be (-1 + j)/((-1)/1). Let n(x) = x**2 - 2*x + 2. Let d be n(0). Are t and d non-equal?
True
Let u be 42/72*5/(-7). Which is smaller: 2 or u?
u
Let p be (-3 - 4/(-20)) + 2. Which is bigger: p or -1?
p
Let c = 9 + -19. Is c less than or equal to 0.1?
True
Let c(d) = d - 4. Let h be c(5). Let z be 3 - (-12)/(-1 - h). Which is greater: -5 or z?
z
Let q = -3 + 6. Suppose -y - 5*s = -s, 0 = -2*y + q*s. Let r(u) = u + 3. Let z be r(-4). Which is bigger: y or z?
y
Let z = -330 - -563. Let q be z/(-7) + (-2)/(-7). Let k be (-2)/q*3/(-1). Which is smaller: k or -1?
-1
Let y = 14.95 + -24.94. Let b = y - -10. Is b at least as big as 0.1?
False
Let i be -1 + (2 - 1) + -6 + 7. Do -3/13 and i have the same value?
False
Suppose 4 = 2*i - 3*i. Let l = 5 + i. Suppose 5*h + 13 = -2*j, -h + 15 = 4*h - 5*j. Which is bigger: h or l?
l
Let f be -2 + 1 - (-1)/(-1). Let x be 1/(-3)*(-8 - -12). Which is bigger: f or x?
x
Let x be (-2)/11 - 195/(-44). Is 3 > x?
False
Let p be 9*3*(1 + 8). Let g be (-747)/p - 6/(-2). Is g bigger than 0?
False
Let j = -3 - -4. Let o = 3 + j. Suppose 0*h = -3*h - d - 1, -2*h + 5 = -5*d. Which is bigger: o or h?
o
Let h = -7 + 6.8. Let i = -0.2 - h. Is -0.1 less than i?
True
Let q = -10.06 + 10. Which is smaller: -3 or q?
-3
Suppose 9*z = 4*z. Suppose 2*b = -2*c, -4*c + 3*b + 4 = 18. Let g = c - -2. Is g at least as big as z?
True
Suppose 0 = 2*n + 10 + 6. Let z be 4/95*(-20)/n. Which is bigger: z or 0?
z
Suppose 3*d = -0*d + 30. Suppose 3 = 3*l - 0*x + 3*x, 0 = 2*l + 4*x - d. Let w be l/(-18) + (-1)/3. Is w bigger than 1?
False
Let b be 4/14 + 2 + -3. Let g = -19 + 21. Let k be (-20)/(-90) - g/9. Is k > b?
True
Let k be (1 + 7/(-5))/((-3)/6). Is 0 at least k?
False
Let x = -119 + 233/2. Let i(y) = -y. Let u be i(1). Let o = u - x. Is 2 bigger than o?
True
Let f = -4.4 - -1.4. Is 1 at most as big as f?
False
Suppose -5*o + 4 = -3*o. Let t(x) = -x**2 - 7*x - 7. Let w be t(-5). Suppose -3*h = -o*q + 2*h - w, 1 = h. Is -2/5 less than or equal to q?
True
Let s be (-2)/(-8) - 75/12. Let x be (-2)/s - 368/20. Let u = 56/3 + x. Is u != -0.1?
True
Suppose 6*j = 2*u + j + 10, -5*u + j + 21 = 0. Let y = 0 + -0.1. Is y less than u?
True
Suppose 0 = g + 2*g + 9. Let n be g/(-5) - (-78)/(-180). Which is smaller: n or -1?
-1
Let j be ((-80)/18)/(-2) - (-2)/(-9). Which is smaller: j or -10?
-10
Let d = -0.5 + 2.4. Let y = -2 + d. Let w be ((-3)/2)/(42/(-8)). Is w < y?
False
Let o = 654/11 + -1412/33. Let g = 344/21 - o. Which is greater: 0.5 or g?
0.5
Let n = 1015/72 + -111/8. Let l = -200 - -203. Which is greater: n or l?
l
Let u = -2 + 3. Let b = -1.1 + u. Let t = 9 + -9.2. Which is smaller: t or b?
t
Suppose s - 3*s - 2*g = -10, -5*g = s - 13. Let l = 2 - s. Let a be (180/16)/(-5) - -2. Which is bigger: a or l?
a
Let y(j) = j - 6. Let k be y(6). Let n be (-16)/20 - (-8)/35. Which is smaller: k or n?
n
Let y = 10 - 33. Let m = -9 - y. Let t = m + -9. Which is smaller: t or 4?
4
Suppose 0*a + 5*a + 27 = -w, -18 = -w + 4*a. Is w > -15?
True
Let d be (-5)/3 - 2/6. Let v = -2 + 1.97. Let o = v - -2.03. Are o and d unequal?
True
Let r(m) = -m**2 + 6*m - 1. Let d be ((-5)/(-4))/(2/8). Let v be r(d). Suppose 0 = 2*t - v*j - 1 + 13, -2*j = t - 10. Which is smaller: 1 or t?
1
Let j = 5 + -6. Let o(z) = -z**3 - 5*z**2 + 6*z - 1. Let g be o(-6). Is g bigger than j?
False
Suppose -17 = 2*a - 4*g - 3, -3*a = -3*g + 9. Let r = -1 - a. Let f be r + 0 - (-11)/7. Which is greater: 1 or f?
1
Let i = -1.3 + 5.3. Which is smaller: -7 or i?
-7
Let w = 79/284 + -2/71. Is w >= 7?
False
Let z be -6*2 + -4 + -1. Which is bigger: z or 0.2?
0.2
Let h = -1/223 + 909/3791. Are 1 and h nonequal?
True
Let y(t) = 2*t + 25. Let s be y(-13). Which is greater: s or 5/39?
5/39
Let a = 31 + -185/6. Suppose 2*y - 5 = 2*v + 3, 0 = -2*v. Suppose y*w = -w + 5. Is a not equal to w?
True
Let m(v) = -v - 11. Let h be m(-7). Suppose 0 = 5*j - 20 - 15. Let n = j + h. Which is smaller: 7/2 or n?
n
Let m = -16 + 15. Let r be ((-90)/32)/3 + 1. Which is bigger: r or m?
r
Suppose -q = 7 - 1. Let y = 8 + q. Let g = y - 4. Which is smaller: -3/2 or g?
g
Let y be -1 + (1 - -4) + 15/5. Let r be 2 + -3 - -6 - 2. Suppose 5*i - 4*u - 22 = 8, -3*u + 18 = r*i. Which is smaller: y or i?
i
Let x = 120.6 + -119. Which is smaller: x or -1/4?
-1/4
Suppose -3*g - 56 = -4*k - 2*g, 4*g + 81 = 5*k. Let l = k + -7. Is l greater than 7?
False
Suppose 0 = 6*r - 11*r - 25. Are -5 and r equal?
True
Let j = 13 + -10. Suppose 0 = q + j*q + 16. Which is smaller: -9/2 or q?
-9/2
Let k(d) = -d**2 + 6*d - 2. Let j be k(6). Let b = j - -6. Suppose 0 = 4*q - 0 - b. Is -2/9 < q?
True
Let t be (-7 - 0)/(-8 - -7). Which is greater: 8 or t?
8
Let w = -9 - -11. Suppose -k + w*k + 31 = 5*v, -4*k - 56 = -3*v. Let m = k + 6. Which is bigger: -6 or m?
m
Let f(d) = -4*d**2 + 5*d + 4. Let q be f(6). Let h = 776/7 + q. Which is greater: 1 or h?
1
Let h be (-9 - 20/4) + (-1 - -1). Let r = -1 - 14. Which is greater: r or h?
h
Suppose 16 = -8*c + 4*c. Let f = -2.6 - -0.6. Which is bigger: c or f?
f
Let x(o) = -35*o + 1. Let k be x(-1). Suppose -k = j - 4*j. Suppose 2*l - j = -l, 5*l = 2*c + 26. Is c bigger than -4?
True
Let h = -25 - -22. Let b be (1/(2/(-6)))/h. Which is smaller: 0 or b?
0
Let x = 1.36 + -1.7. Let h = -0.04 - x. Is h at most 1?
True
Let q = 58/17 - 1484/425. Which is greater: -2 or q?
q
Let x = -0.4 - -0.1. Let g = -0.53 - 0.07. Let z = x - g. Is -2/5 < z?
True
Let x = -1113 + 3367/3. Let s = 9 - x. Is 4 not equal to s?
True
Let w be 15/6*-22 + 0. Let q = w - -3. Let a = q - -261/5. Is a > -1?
True
Let p(x) = x**3 + 8*x**2 + 6*x - 8. Let a = 2 - 0. Suppose -a*m - 3*f - 2*f + 6 = 0, -3*m - 17 = f. Let b be p(m). Do b and -1 have the same value?
True
Suppose 5*t + 4 + 138 = -3*a, 4*a = t - 220. Let z be (-16)/a*6/4. Suppose 2*c = -v - 6, 5*c = -0*v - 3*v - 17. Is z greater than c?
True
Let m = 3.9 + -3. Let n = m + 3.1. Let r = -4 + n. Which is greater: 2 or r?
2
Let r = -7.9 + 8. Which is greater: 25 or r?
25
Let n = -341/5 + 68. Suppose 29*y - 33*y - 4 = 0. Which is smaller: n or y?
y
Let z = 202 - 3032/15. Which is greater: z or 1?
1
Let u(l) = -5*l**2 - 2*l - 9. Let b be u(-4). Is b at least -81?
True
Suppose 3*y + 20 = -2*y. Let o be (6 - 4)*(-6)/y. Let r(w) = -w**2 - 6*w. Let j be r(-5). Is j <= o?
False
Suppose 0 = -0*t 