-2 + 4. Is v greater than c?
False
Suppose 0*l + 4*l = -28. Do -7 and l have the same value?
True
Let y(u) = 3*u**2 - 8 - 4*u**2 + 11 + u + 0*u**2. Let c be y(0). Let n = 5 - c. Which is smaller: 1 or n?
1
Let q(u) = -9*u - 10. Let r be q(-3). Is 15 > r?
False
Suppose 21 - 5 = 4*d. Which is bigger: d or 7?
7
Suppose 0 = -3*t + 3*b + 21, -31 = -3*t - 2*t + 4*b. Let w(q) = q**3 + t*q - 3*q - q**2 + 4 - 2. Let u be w(0). Is u != 2?
False
Suppose 0 = -4*q - 0*q + 128. Let j be (-28)/q + 1/(-8). Is j at most -5/4?
False
Let m(h) = h**2 - 4*h - 5. Let f be m(5). Is f <= 4/5?
True
Let i = -9.1 - -11. Let z = -2 + i. Let p = -16 - -13. Is z greater than or equal to p?
True
Suppose -4*u + 1 - 9 = 0. Let x(y) = -y**3 - 13*y**2 + 2. Let c be x(-13). Let b be (-1)/(c + -3 + 2). Which is smaller: b or u?
u
Let k = -8 - -11. Let y be 4/14*14/4. Which is greater: y or k?
k
Let a be (-9)/6*8/(-3). Let i be a/9*8/(-16). Let v = -4 - -4. Is v at least i?
True
Let a = 1.8 + -2. Let m = a - -1.2. Is -4 at most as big as m?
True
Let c(v) = 3*v**2 + 3*v + 3. Let j be c(-2). Let r = j + -6. Let x be r/6*(-3)/6. Do x and 2 have the same value?
False
Let b(z) = 7*z. Let c be b(1). Suppose 5*r - 5*t - 65 = 0, -3*r - t - 4*t = 1. Which is bigger: r or c?
r
Suppose 2*n = -5*w, -w - 10 + 3 = -n. Let k be -2 + (-1 - -1 - -7). Suppose -7 = 4*f - s + k, 0 = 2*f - 3*s - 4. Do f and w have different values?
True
Let n = 28707/16 + -265585/176. Let v = n + -285. Do v and 0 have different values?
True
Let z(h) = -h**2 + h - 1. Let w be 3 + 0 + -3 + 0. Let c be z(w). Which is greater: c or 3/10?
3/10
Let a(n) be the first derivative of n**4/4 - 16*n**3/3 - 18*n - 5. Let t be a(16). Which is smaller: -19 or t?
-19
Let z(a) = a**2 - 7*a + 7. Let c be z(6). Let j(t) = t + 5. Let h be j(-4). Are h and c non-equal?
False
Let f = 3 - 8. Are f and 1/2 unequal?
True
Let t be ((-4)/4 - -2)*(-2 + 1). Is 1/13 smaller than t?
False
Let l = -43/5 + 513/55. Let c = l + -13/33. Which is smaller: 1 or c?
c
Let u = 52 - 23. Suppose 5*h - u = -3*f, 0 = -5*f - 2*h + h + 19. Suppose -f*j + 2*j + 2*x = -2, x + 2 = 0. Do j and -4/3 have different values?
True
Suppose -21 = -3*x - 4*x. Which is bigger: x or 14/5?
x
Suppose 2*v + 4*c - 12 = 0, -2*c = -2*v + c - 2. Suppose -3*w + 4*g + 15 = 0, 4*w + 5 = 3*w - 2*g. Is v < w?
False
Let d = -12/13 - -73/65. Let w be -2 - 2/((-12)/(-183)). Let o = 33 + w. Which is greater: o or d?
o
Let v be (-12)/(-15) + (-54)/5. Which is bigger: v or -9?
-9
Let i = 5.95 - 6. Let d = i + 0.55. Let s = d + -0.7. Is s smaller than -2?
False
Let u = 148 - 440/3. Which is greater: u or 2?
2
Let u = 0 - 5. Let k = 8 + u. Suppose 0 = -0*z + z - k. Which is bigger: 2 or z?
z
Let v be (10 + -1)/(-3) - 1. Let t be 0 + 3/(-1)*1. Is t greater than or equal to v?
True
Suppose 3 = -4*m - 5*p + 9, -4 = -4*m - 4*p. Is 2 equal to m?
False
Let w be (-2)/(242/(-365)) - 3. Let n = 248/363 - w. Which is smaller: 2/7 or n?
2/7
Let g = -0.137 + 0.137. Does -1.6 = g?
False
Let x = 27 + -17. Do x and 9 have the same value?
False
Let m = 21 - 22. Which is smaller: -2/17 or m?
m
Suppose -2*w - 2*w = -52. Let t(j) = j**3 - 12*j**2 - 13*j + 7. Let z be t(w). Which is bigger: z or -0.1?
z
Let v = -11 - -16. Suppose 34 = -4*c - u, -v*u = -4*c + 3*c + 2. Let r(o) = -o + 3. Let a be r(10). Is a bigger than c?
True
Suppose 0 = -7*p + 3*p + 40. Let w = 11 - p. Is 1/3 at least as big as w?
False
Let a = 6 - 4. Suppose -4*j - 2*h = -56 - 14, -3*j + 55 = a*h. Suppose 5*d = o - 2*o - j, 2*o - d = 3. Is o at most as big as 0?
True
Let a(z) = -z + 11. Let c(p) = -6. Let j(f) = 2*a(f) + 5*c(f). Let y be j(-6). Suppose 0 = d + y*d + 10. Is -3/4 >= d?
True
Let d be 0 + 18 + 5 + -7. Suppose 2*z = 4*z - d. Let a be -6*((-3)/2)/1. Which is smaller: z or a?
z
Suppose 4*n - n = 3. Are 4 and n equal?
False
Let c be (-2 - 0)/((-4)/(-6)). Let h = -0.213 - -0.013. Is h != c?
True
Suppose -3*y + 5*f - 12 = 0, -3*y + f = 2*y - 2. Which is greater: y or 1/33?
y
Let p be 2/(-12)*3*2. Which is greater: 2/41 or p?
2/41
Let z = -15 + 21. Suppose p - 1 = z. Is p smaller than 7?
False
Let l = -1 - 1. Suppose k = -3*r + 8, 7*k - 2*k = 3*r + 22. Let o = l + k. Is o < 2?
False
Let s be 12/(-186) - (2 + -2). Which is smaller: -1 or s?
-1
Suppose 0 = -4*r + r. Let v be (-336)/(-60) + (-2 - r). Which is smaller: 3 or v?
3
Let y(u) = -u**3 - u**2 + u + 2. Let p be y(-2). Let g be (0 - 12)*(-15)/30. Which is bigger: g or p?
g
Suppose 3*q + 26 = -5*z, -5*q - 6 = -21. Which is bigger: z or -5?
-5
Let t = -19 - -13. Let z = t + 5. Which is smaller: -1/4 or z?
z
Let k = 9.98 + -10. Let f = 0.12 + k. Is f greater than 4?
False
Suppose 5 = -4*t - 3, -2*t = -3*s + 25. Is 7 less than or equal to s?
True
Let t = 74 - 107. Let m be t/(-12) - (-3)/12. Let k = 0.025 - 0.125. Is k equal to m?
False
Let y = -1.9 - -6.9. Are 2 and y nonequal?
True
Suppose 5*p = -5*u + 5, -24 = -4*u + 2*p + 4. Let k = 40 - 37. Is u > k?
True
Let l(d) = -d**3 - 5*d**2 - 5*d. Let n be l(-4). Which is greater: 6 or n?
6
Let h(n) = -n**3 - 2*n**2 + 1. Let i be h(0). Do 4/9 and i have the same value?
False
Let g be ((-25)/10)/((-1)/2). Is g greater than 5?
False
Let h = 0.4 + -0.3. Let z = 0 - h. Is z equal to -0.1?
True
Let i = -27 - -18. Which is greater: -8 or i?
-8
Let z(u) = -5*u + 11. Let f(s) = 3*s - 7. Let k(g) = -8*f(g) - 5*z(g). Let h be k(-5). Is -3 smaller than h?
False
Let t = -5 + 7.2. Let o = t + -2.6. Which is smaller: 0 or o?
o
Let g be (2/3)/(4/6). Let t be (g/3)/((-3)/(-9)). Suppose 2 = -c + 3. Is c less than t?
False
Let j = -1 + 5. Let g = 0.09 - -3.91. Let a = j - g. Which is smaller: -0.4 or a?
-0.4
Let p(r) = r**3 + 12*r**2 + 2*r + 18. Let s be p(-12). Is s smaller than 2?
True
Let z(l) = -l - 3. Let g be z(-5). Suppose -3*h + b = -g*h + 6, -5*b = -2*h - 18. Let r = h - -7. Are 3 and r non-equal?
False
Let s = -4 + -5. Let q be (3/s)/((-1)/9). Which is bigger: 2 or q?
q
Let q be (-142)/(0 + 2)*3. Let h = q + 646/3. Is h <= 1?
False
Let m be (3 + (-48)/17)*4/6. Which is smaller: m or -1?
-1
Suppose 2*v + 0*v = 0. Suppose 0 = -v*m + 3*m. Which is smaller: 2/13 or m?
m
Let a = -3237/85 + 191/5. Is a < -1?
False
Suppose -2 = 2*m, 11*m = 4*k + 9*m + 2. Which is greater: -1/90 or k?
-1/90
Let w = 4 - 5. Let x = -139 - -24. Let h = x + 1724/15. Is h at most as big as w?
False
Let c = 20 - 17.1. Let y = 0.14 - 3.14. Let v = y + c. Which is smaller: v or -2/7?
-2/7
Let g = 46 - -3. Is g greater than or equal to 49?
True
Let o = 1 - 9. Is -8 >= o?
True
Let b be 62/102 - 2/3. Are b and 1 non-equal?
True
Let g = -2 + 2. Suppose 0 = -2*x - 4*q - 20, 0*q - 10 = -x + 2*q. Do g and x have the same value?
True
Let l be (2/3)/((-3)/54). Let k be (-3)/(-12) + (-21)/l. Let t = 4 - 4.3. Is t not equal to k?
True
Suppose 16*b = 11*b. Suppose 2 = 5*u + 4*a - 7, a + 2 = 3*u. Are b and u unequal?
True
Suppose 10 = 5*c, -2*j + 0 - 2 = -c. Suppose 4*l = -j*l + 8. Suppose -l*x + d - 4*d = 12, 5*x = 4*d + 16. Do -2/5 and x have the same value?
False
Let o be 5 + -3 - 95/48. Do o and -1 have different values?
True
Let b = 4 + -3.93. Which is smaller: b or -2?
-2
Suppose -v + 6*v - 5 = 0. Suppose -2*x + 5*p + 19 = 0, v = -x + 6*x + 3*p. Suppose -x*c = 13 - 1. Is c greater than or equal to -7?
True
Let t = -956 - -16246/17. Which is smaller: 0 or t?
t
Let s be 12/6*5/2. Suppose 0 = -s*j - 25, j - 5*j + 660 = -2*z. Let c = z + 7822/23. Is c <= 0.1?
True
Let t = 23 - 13. Let m = t + -8. Let q = -4 + 3. Which is smaller: q or m?
q
Let j = 0.2 + -0.2. Let y be 3/(-15) - 19/5. Let r be (-1)/y*24/9. Is j less than or equal to r?
True
Let x be (-1)/(4/2*1). Suppose 2*m - 6 = -2*b, -3*b = 4*m - 6*b + 16. Which is greater: m or x?
x
Let o(l) = -4*l + 38. Let g be o(8). Which is greater: 48/7 or g?
48/7
Suppose -4*n + 2*f + 3 - 1 = 0, 3 = 4*n - f. Let r = 59/165 + 8/33. Which is smaller: r or n?
r
Suppose 3*a - 4 = -3*g + 8, -5*a - g = -24. Let w(p) = p + 1. Let r be w(a). Let f = -8 + r. Is -2 not equal to f?
False
Let f = -212 + 435/2. Is f != -1/6?
True
Let m(y) = -6*y - 79. Let n be m(-13). Is n at least as big as -8.5?
True
Suppose -74 = 9*k - 83. Let d be (-2)/3 - 62/(-84). Which is bigger: d or k?
k
Let y = -201/2 - -99. Is y > 1/5?
False
Suppose -5*u - 9 - 1 = 0. Let z be (-7)/u*(-16