(-17)/9. Let l = i + -47/36. Is l equal to 0?
False
Let v be (-38)/(-9) + 2/(-9). Suppose 5*q - 7 = 2*n, 3 = 2*q + 3*n - v*n. Is 1/5 < q?
True
Suppose -3*v = -3*a + 3 + 9, -4*v = -5*a + 17. Is 2/5 <= a?
True
Let u be 4/(-6)*-6 + 1256/(-308). Which is greater: u or 0?
0
Let v = -5329 - -21541/4. Let s = v - 56. Let j = -25/2 + 11. Do j and s have the same value?
False
Let c(m) be the second derivative of -3*m**5/10 + m**4/6 - m**3/3 + m**2/2 - m. Let x be c(1). Let b = 19/4 + x. Are 1 and b nonequal?
True
Let w be (6/(-4))/3*22. Is w > -11?
False
Suppose -2*x = -x + 3. Let v = x - 0. Let k be (112/(-105) - (-6)/9)*10. Is k less than v?
True
Let u = -1 - -5. Let z = u + -4.1. Let j = -46 + 137/3. Which is smaller: j or z?
j
Let s be 1 + (3 + -5)/(2/11). Are -9 and s nonequal?
True
Let w(s) = s**3 + 22*s**2 - 2*s - 44. Let i be w(-22). Let q be ((-6)/9)/((-1)/(-3)). Let y = -1 - q. Is i smaller than y?
True
Suppose 10*n - 2*n = -8. Which is bigger: 1 or n?
1
Let i be (30/50)/((-3)/(-2)). Which is smaller: 1/3 or i?
1/3
Suppose -2*b - 10 = 0, 0*y - 15 = -y + 2*b. Suppose 3*i - 4 = y. Is i smaller than 2?
False
Suppose 3*s + s + 4 = 0. Is 0 > s?
True
Let c(t) be the first derivative of -2/3*t**3 + 1/2*t**2 - 1/4*t**4 - 1 - 4*t. Let u be c(-3). Which is smaller: -0.1 or u?
-0.1
Let c = -4/55 - 18/1265. Suppose 0 = -0*k + 3*k. Which is smaller: c or k?
c
Let t = 7 - -2. Let r = t - 8.9. Let h be ((-1)/(-7))/((-12)/(-14)). Which is bigger: h or r?
h
Let t = 1.92 + -0.02. Let c = t - 2. Let x = 1.9 + -2. Is c greater than x?
False
Suppose -2*d = 22 + 12. Let v = -12 - d. Let m = 1 + v. Which is greater: m or 4?
m
Let x be 0 + 4*6/32. Do -2 and x have the same value?
False
Let v = -8 - -7. Do v and 14 have the same value?
False
Let j = -14 + 14. Let f = -2 + j. Which is smaller: -4 or f?
-4
Let n be (-3)/12 - (-30)/(-8). Let o = 2 + -5. Is o less than n?
False
Let j = 12 - 7. Let x = -4.94 + j. Let r = x + -0.26. Is 3/8 smaller than r?
False
Suppose 0 = -2*b - 2*j - 10, -4*b - j - 8 = -0*j. Which is smaller: b or -3/2?
-3/2
Let a(l) = -l**3 - 22*l**2 - 20*l + 41. Let f be a(-21). Which is bigger: f or 21?
21
Suppose 2*z + g - 6 = -g, -2*z = 5*g - 15. Which is smaller: z or 4/13?
z
Suppose -4*p - 2*q = -96, 3*p - 5*q - 27 - 19 = 0. Is p less than 21?
False
Let t = 0.141 - -0.009. Which is bigger: t or -3?
t
Suppose -5*y - 5*m + 25 = 0, -1 = 2*y - 4*m + 1. Let f = y - 2. Which is bigger: 2 or f?
2
Suppose -w + 0*w = 0. Let u = 59 - 90. Let y = 22 + u. Is y > w?
False
Let r be ((-6)/5)/(-3) + 126/10. Which is smaller: r or 15?
r
Let c = -0.112 - 23.888. Which is greater: -2 or c?
-2
Suppose -2*u + 0*u + 8 = 5*k, -3*u - 4*k - 2 = 0. Which is greater: u or -3?
-3
Suppose -10 - 42 = -4*d. Let u = 2 - d. Let f = 7 + u. Is -3 >= f?
True
Suppose -3*p + 27 = 2*d, 3*p - 4*p = 3*d - 16. Suppose -p = -3*o + 5. Suppose 3*c - 3 = 2*y, -2*c - 4*y = 2*c - o. Is c less than or equal to 1?
True
Let l = 8 + -7. Let t = l + -3. Which is bigger: 2 or t?
2
Let d = -3.95 + 4. Let t = d - -0.05. Which is smaller: -2/13 or t?
-2/13
Let y = 0.895 - -0.105. Let s = 1447 - 8663/6. Let x = 41/12 - s. Which is bigger: y or x?
y
Let x = -69 + 68. Which is bigger: x or 2/53?
2/53
Let j = -48 - -54.1. Let x = 6 - j. Which is greater: x or 1?
1
Let o = -811/10 - -81. Do o and -0.1 have different values?
False
Let w = 6 - 0. Let s be (-12)/(-18) - (-14)/w. Suppose 4*h - 3*h = -s. Is h < -1?
True
Let c = -34 + 33. Is c >= 1/4?
False
Let m = -25.2 - -22. Let x = -3 - m. Which is smaller: 4 or x?
x
Let b(t) = -t + 13. Let s be b(7). Is s >= 5?
True
Let k(o) = 4*o. Let w be k(2). Let c = -14 + w. Let t = 4 + c. Which is smaller: t or 1/2?
t
Let r = -66 + 58. Which is bigger: 2/11 or r?
2/11
Let r(i) = -i - 8. Let a be r(-8). Let u be 2 - (-39 + 1 - 0). Let k = u + -122/3. Is a less than k?
False
Suppose -3*h = h - 32. Suppose -c - 7 = 2*q - 2, 1 = -c. Let m be ((h/(-10))/q)/2. Which is smaller: 0 or m?
0
Let v = -0.01 - 1.59. Let j = -1.6 - v. Is j less than -0.1?
False
Let v(p) = -p**2 - 7*p - 1. Let z(q) = 5*q**2 + 28*q + 5. Let m(f) = 9*v(f) + 2*z(f). Let d be m(7). Is -2/7 < d?
True
Suppose -6*l + 312 = -2*l. Let d be 64/l - 6/9. Is d at least -3?
True
Let w = -0.74 + -0.26. Is w at most as big as 0.5?
True
Let u = 2.09 - 0.09. Let i = 2.3 + -0.3. Let x = i + -2. Is u greater than or equal to x?
True
Suppose -6*g + 11*g - 100 = 0. Suppose 3*x + 20 = 4*u, x + 4*x = -4*u + g. Is 1/4 less than x?
False
Let g(a) = -a**2 + 8*a - 7. Let b be g(3). Is -1/4 equal to b?
False
Let w(b) = -b + 1. Let r be w(1). Are r and -2/29 equal?
False
Let s = 5 + -3.2. Let n = 2 - s. Let y = n + -0.2. Is 1 < y?
False
Let u = -4.063 - -0.063. Which is smaller: u or -3/7?
u
Let j = -111 - -109. Which is greater: -7 or j?
j
Let b be 40/(-30)*(-18)/(-2). Are b and -12 nonequal?
False
Let m(i) = -i**3 - 5*i**2 + 5*i - 7. Let q be 4 - 4 - (1 - 0). Let d = -5 + q. Let c be m(d). Are c and -1 nonequal?
False
Suppose 5*j + 0*j - 15 = 0, 5*j = -3*w + 51. Let k be 2*10*3/w. Do k and 5 have the same value?
True
Let k = -1 - -2. Suppose -46 = 7*j - 9*j. Let q = j + -68/3. Is q <= k?
True
Let o = -18 - -7. Let a = o - -11. Let p(b) = -b - 7. Let y be p(-7). Is a < y?
False
Suppose 5*g + 0*f - 5 = f, -f = -5. Let s be (-1)/g + (-15)/(-10). Which is greater: -1/4 or s?
s
Let z(m) = -m**3 + 5*m**2 + 35. Let f be z(6). Is f > -4/13?
False
Let c(k) = -k**2 - 4*k. Let z be c(-3). Let s be (z/2)/((-6)/12). Is -2 less than s?
False
Let j be 34/15 + -2 + 0. Which is smaller: j or -1?
-1
Suppose -o - 12 = 5*s, -3*s - 2*o - 12 = s. Let d = -2 - s. Are d and -1 equal?
False
Let g = -2 - -1. Let t be g/(2 - (0 + 1)). Let u be 2 - 4 - (1 - 3). Which is greater: u or t?
u
Let q = -1.938 + -0.062. Let d = -0.2 - 0. Is d bigger than q?
True
Let q be ((-2)/(-8))/((-18)/217374). Let z = 3021 + q. Let s = z + -5/3. Which is greater: 0 or s?
s
Let j be 1*4/(-24)*2. Are -1 and j nonequal?
True
Let a(c) = c - 9. Let b be a(7). Let v be -1 + -3 + (-2)/b. Let d be 9/v*(-1)/6. Which is smaller: 0 or d?
0
Let g be 196/(-170) - 16/(-20). Which is smaller: 0 or g?
g
Let d be 4/(-48)*(-16)/12. Is d <= 1?
True
Suppose 2*s + 5 = 5*h - 5, -5*s - h + 2 = 0. Let q = 5 - s. Which is greater: q or 2?
q
Suppose 0 = -3*v - 4*u + 27, -5*v + u + 21 = -1. Is v less than or equal to 6?
True
Suppose -4*m + 136 = -l - 3*l, 0 = l + 5. Which is bigger: m or 28?
m
Let t = 254 + -1784/7. Let l = t - -23/35. Which is smaller: 0 or l?
l
Suppose 0 = -0*g - 4*g + 4. Suppose -g = -4*c + 19. Suppose -4*j + 14 = -2*l, 0*j + 2*j - 27 = c*l. Is -4 != l?
True
Let d = 2615824 - 996628315/381. Let f be (-24)/(-1143)*15/20. Let w = f + d. Are 1 and w equal?
False
Let i = 2 + -6. Let h be (2 + i)*(-1)/(-2). Which is greater: 1/3 or h?
1/3
Let o(x) = x + 2. Let i be o(1). Suppose i*z = 8 - 2. Is 2 bigger than z?
False
Let i = -0.1 + 16.1. Let r = i - 8. Let s = r - 7.8. Which is bigger: 2 or s?
2
Suppose 4*h + 5*l = -93, -2*l = 5*h - 5*l + 144. Is h > -27?
False
Let c be -3 - ((-19)/11 - 1). Let z = 5/22 - c. Which is bigger: z or 1?
1
Let q be 24/2*(-6)/(-8). Suppose 6*x = x + 45. Are q and x equal?
True
Let y be 0 - 2 - 668/10. Let l = -69 - y. Suppose 6 = -p - 2*m, -5*p - 3 = -0*m + m. Is p != l?
True
Let b = -44197 - -5436274/123. Let q = -4033/1599 + 33/13. Let u = q - b. Which is smaller: u or -2?
-2
Let s be (-4 - 0) + 4 + 1. Suppose 2*w + 336 = 80. Let r = w - -1151/9. Which is smaller: r or s?
r
Let n be (812/6)/(4 - 86). Let p = 2/123 - n. Which is smaller: 3 or p?
p
Let b = 9 - 6. Let j be 2*b/(-6) - -1. Suppose -12 = 4*k + 4*y, j = 4*k - 3*y + 4 + 1. Do k and -2 have the same value?
True
Let d be 4/((1 - 3) + 4). Let g = 0 - d. Let f = g - -1. Which is smaller: f or -2?
-2
Suppose -4*l = -2*i - 14, -3*i - l = -6*i - 1. Suppose -9*h - 3 = n - 4*h, -h = i. Let p be 2 - n/(1 + 1). Which is bigger: 4/7 or p?
p
Let c be (0 + -1)/(8 - -1). Let j be 12/45*(-15)/(-6). Which is smaller: j or c?
c
Let j be 15/3 - (-4)/(-1). Is j != -9?
True
Suppose -21 = 3*q - 3*o, 0 = 4*o + o. Let j = q + 11. Suppose 0 = 3*c + 1 - j. Which is smaller: 2/3 or c?
2/3
Let u(l) = l**3 - 12*l**2 + 10*l + 11. Let h be u(11). Let x = h + 1. Which is smaller: x or -1/4?
-1/4
Let t be ((-8)/3)/(4/(-6)). S