 Suppose -26 = 2*g + 5*v + 9, 3*g + 3*v + 30 = 0. Is i less than g?
False
Let k be -2*(11/(-2))/(-1). Let f = k + 12. Let b = -12 - -25/2. Is b less than or equal to f?
True
Let v = 6 - 5.8. Let h = 0.4 - v. Let j be 3 + -1 + 60/(-35). Is j equal to h?
False
Let o = 17 + -21. Is -4 less than o?
False
Let b = 3 - -1. Suppose 4*c - 24 = -0*c. Let p be (-2)/(-6) + 22/c. Is p != b?
False
Let r be ((-2)/1 - -7)*(-52)/(-65). Is 27/10 at most as big as r?
True
Let w = -48 - -45.1. Let a = 0.6 - 3.6. Let c = w - a. Which is greater: -0.1 or c?
c
Suppose -2*k + 4*f + 20 = k, -2*k - 5*f - 25 = 0. Which is smaller: k or -3/8?
-3/8
Let d = -102/7 - -305/21. Is d not equal to 0?
True
Suppose 0 = 2*q - 0 - 4. Suppose 3*d - 3 = 9. Is d not equal to q?
True
Suppose 0 = k - 5, 3*o - 4*k + 8*k = 23. Let l = -3967/945 - -156/35. Let z = l - -19/135. Which is bigger: o or z?
o
Let a = 8.7 + 0.3. Let m = a - 9.8. Let y = m + 0.9. Is -2/7 equal to y?
False
Let d(u) = 3*u**2 - 6*u. Let c be d(6). Let b be (-15)/c + 1/(-6). Are b and 1 equal?
False
Suppose 0*y = 5*y + 15. Let s be (-3 - y) + -3 + 4. Is s greater than 3/2?
False
Let s be (-1 + -2)/((-40)/(-16) + -4). Which is bigger: s or 8/13?
s
Let w(s) = -s + 6. Let m be w(-7). Let t be m/(-12) - 5/(-15). Let l = 23 - 22.9. Which is bigger: t or l?
l
Suppose 3*g + 33 = 120. Which is bigger: 2/3 or g?
g
Let y = 2 + -2. Let h be y + 1 - (-4 + 3). Let m be (-3)/h*10/6. Which is greater: m or -3?
m
Suppose -5*j - 4 = 2*h - 8, 0 = h - 4*j + 11. Let g(a) = -6*a**2 - a. Let w be g(1). Let k = 3 + w. Which is smaller: k or h?
k
Let a be 226/(-8) - (-1 - -2). Let k = 29 + a. Let n = 254 + -254. Are k and n nonequal?
True
Let a = 4 - 3. Let c(n) = -5 - 2 + 3 - n. Let d be c(-4). Which is bigger: d or a?
a
Let i(q) = 2*q**2 - 2*q - 1. Let j be i(-1). Let g = -17 + 22. Suppose -3*h + g*v = -h + 20, h - 12 = -j*v. Which is smaller: 1/6 or h?
h
Let a be (-16*1)/(2/11). Let n be (-1)/((-3)/a) + 3. Let l = n - -27. Is l at least 0.06?
True
Suppose 5*n - x - 15 = -2*x, n - 3 = x. Suppose 4*f - 3*d = d - 28, -4*f - n*d = 28. Is f >= -8?
True
Let q = -32/39 + 2/13. Is -2 less than or equal to q?
True
Let s = -285 - -285. Suppose 5*p - 3 + 1 = -r, 0 = -2*r + 4. Let i be (-8)/(-10) - (p + 1). Which is smaller: s or i?
i
Let s = 1 - 4. Let i = 1 + 4. Suppose 9 = 4*r - m + 20, i*r + 17 = -2*m. Is s not equal to r?
False
Let w be -1 + -2 + 6 + 3. Suppose 9 = 2*x - z, 3*x + w = 2*x - 3*z. Which is greater: x or 4?
4
Let j = -7.7 - -7. Let n = 0.76 + j. Which is smaller: 2/3 or n?
n
Let v(c) = -9*c - 8. Let i(m) = 4*m + 4. Let t(z) = 7*i(z) + 3*v(z). Let a be t(-4). Which is smaller: a or 0.3?
a
Let j = -3.2 + -1.1. Let c = -0.3 - j. Are -2 and c nonequal?
True
Let n = -0.02 + 0.02. Let r = 3 + -2.8. Let f = n - r. Which is smaller: -1 or f?
-1
Let l = 7 + -4. Let q = -3.02 + l. Let c be (-26)/(-30) + (-2)/10. Which is smaller: q or c?
q
Let w(s) = s**2 - 8. Let i be w(-4). Suppose -q = -2*g - 1, 2*g - 27 = -0*q - 3*q. Which is bigger: i or q?
i
Let j = 0.4 - 0.38. Let y = j + -1.02. Is y greater than or equal to 1?
False
Suppose f - 8 = -f. Let g = 116 - 111. Is f less than g?
True
Let x be ((-1)/2)/((-68)/(-48)). Let t = x + -5/34. Is 0 equal to t?
False
Let c = -7/3 + 8/3. Is c less than 1?
True
Suppose -14 = -4*j + 2. Let l = 7 - j. Suppose 0*v - l*v = 3. Which is smaller: v or 1/3?
v
Let a = 4 - -7. Which is greater: 7 or a?
a
Let d be ((-1)/18)/(52/(-8)). Which is smaller: 1 or d?
d
Let u = 1/60 + 6233/420. Let n = u + -15. Which is smaller: -1 or n?
-1
Let g be 18 + 0*(-5)/(-15). Is g < 20?
True
Let z = -3 - -1. Which is smaller: z or -3/4?
z
Let p = -15 - -17. Let l = -2 + p. Which is bigger: 2/23 or l?
2/23
Let g(m) = m**3 - 3*m**2 + 1. Let k be g(3). Let l = -1 + k. Suppose 7*y - 2*y = 0. Is l at most y?
True
Suppose 0 = -5*t + t + 8. Suppose -t*a - l + 10 = 3*l, a + 5*l - 11 = 0. Which is greater: -2/9 or a?
a
Suppose 0 = -2*k + t - 23, -k - 5*t + 0 = -5. Which is greater: k or -9?
-9
Suppose -10 = 5*w, w + 1 = 2*b - 1. Suppose 3*k = 4*j + 7, 5*k + j = -7 - 12. Are k and b equal?
False
Let h be 1 - 8 - (-7 + 7). Is h equal to -3/5?
False
Let v = 0 - 0. Let p = 0.04 + -0.21. Let l = 0.07 + p. Is v bigger than l?
True
Let x be 6498/(-189)*-3 - (-1)/(-7). Is x <= 103?
True
Let l = 7543/505 + 168/101. Is 17 > l?
True
Suppose 20 = -5*n - 0. Is n at most as big as -2?
True
Suppose -3*g + 17*g = 28. Let c = 2 + -1. Is g < c?
False
Let z(g) = g**2 - 2*g - 3. Let t be z(4). Let q = 6 - t. Do q and 0 have different values?
True
Let m = -4.4 - -4.5. Are m and -0.12 non-equal?
True
Let w be 18/(-4) - 1/(-2). Let o be (-24)/(-32)*(4 + 0). Suppose s = o*s + 8. Is s at most w?
True
Let y be (2 - 1)*((-4)/16 + 3). Is 3 greater than y?
True
Suppose 4*b = 2*n - 4 - 2, 3*n + 5*b = -13. Is 2/11 less than n?
False
Let h(y) be the first derivative of -y**4/4 - 7*y**3/3 - 3*y**2 + 2*y - 2. Let c = -6 - 0. Let k be h(c). Are 3 and k non-equal?
True
Let g = 0.051 + -0.151. Is -9 not equal to g?
True
Suppose 0 = -5*g + 7 + 3. Suppose -m + g = -2. Suppose -n = 4*r + 3, m*n + 12 = 4*r - 3*r. Which is greater: r or -1?
r
Let f(z) = -z**3 + 7*z**2 + 12*z + 13. Let a be f(9). Is -41 not equal to a?
False
Let d(m) = 4*m - 1. Let r be d(1). Let y = 7 + r. Is 10 smaller than y?
False
Let v be (5/(-3) - 0)/((-12)/27). Do v and -2 have the same value?
False
Let b = -19.7 + 20. Let v be ((-14)/(-10) - 1) + 0. Which is smaller: v or b?
b
Suppose -3*y = 3*j + 3, 5*j + y - 45 = 6*y. Suppose -2*f + 5*f = j*s - 44, -4*s + 4*f = -48. Suppose 0 = -3*n + 4 + s. Which is smaller: -1 or n?
-1
Let i be 10/(-8)*(-2)/(-5). Is -8 bigger than i?
False
Let v = 2086165/99 - 63209/3. Let g = 26/9 - v. Which is bigger: g or -1?
g
Suppose 3*s - 63 = -4*h, h - 13 = -4*s + 19. Suppose g - 9 = y, 5*y + 3 = 2*g - 3. Is h less than g?
True
Suppose 9*b + 32 = 5*b. Let k(j) = j**2 + 7*j - 8. Let h be k(b). Is h bigger than -4?
True
Let v = -2.7 - 1.9. Let r = -0.6 - v. Which is smaller: r or 2?
2
Let c(g) = -g**3 + 6*g**2 + 6*g - 22. Let r be c(6). Let u(f) = -f + 7. Let j be u(-6). Which is smaller: j or r?
j
Suppose 0 = 3*b - 2*b - 2*d + 6, -b + 22 = 5*d. Suppose -u + b = -1. Suppose 2*k = k - u. Which is smaller: k or -4?
-4
Let h(l) = l**3 - 6*l**2 - 3. Let o be h(6). Let p = o - -3. Suppose -5*d + 0*w = 4*w + 35, p = d + 3*w + 18. Is d greater than -1?
False
Let t = -59 - -293/5. Let m = 6 + -6. Suppose 2*i - 3*i + 1 = m. Which is bigger: t or i?
i
Let o = 5 - 7. Let f = o + 0. Is -0.2 at least f?
True
Let t = 6 + -2. Suppose 0 = -0*g + t*g - 8. Let d = -8 + 8. Which is greater: d or g?
g
Suppose 2*t = 4*t + 32. Suppose -3*g - 31 = -5*s + 40, 0 = -5*g + 5*s - 105. Is t equal to g?
False
Suppose 5*s + j - 180 = 3*j, 2*s - 2*j = 72. Are 36 and s equal?
True
Let q = 1 - 3. Let i be (-2)/(-1 + (-2 - -4)). Are i and q non-equal?
False
Let h = 6 + -10. Let m = h - -6. Let z be ((-15)/9 + m)/1. Is 0 greater than z?
False
Let x = 8 + -7.9. Let w = 0.2 - 0.3. Is x greater than w?
True
Let l = 39 - 69. Let g be l/9*6/(-4). Which is smaller: g or 6?
g
Suppose -6 = 4*i + 2. Let b be (-6)/(-10) + i/5. Let m be 1/4 + 0 + 21/12. Which is bigger: b or m?
m
Let q = 328 + -330.01. Let h = q - -2. Let m = h - 0.39. Which is smaller: m or 1?
m
Suppose -8 = -2*r + 6*r. Suppose -3*o + 3*n + 1 = 7, -o - 3*n = -14. Let l be o*(r - -1) - -7. Is l smaller than 5?
False
Let t be (2 - 15/18)*4/21. Is -21 greater than or equal to t?
False
Let r(t) = -t**2 - 9*t - 5. Let a be r(-6). Suppose 5*d + 3*n = 14, -2*n = 4*d + n - a. Let f(z) = z**3 - z**2 - z + 1. Let k be f(d). Is k bigger than 0?
False
Let r = -245/9 - -27. Which is smaller: r or -2?
-2
Let v(p) = -2*p + 28. Let y(o) = -o + 19. Let t(m) = -5*v(m) + 8*y(m). Let k be t(-14). Which is smaller: k or -15?
k
Let h = -3832 + 42182/11. Do 3 and h have the same value?
False
Let b = 2.5 + -10.6. Let p = 8 + b. Which is smaller: p or 6?
p
Suppose 2 + 8 = 5*u. Let k(h) = -h**3 + 5*h**2 + 7*h - 8. Let c be k(6). Let i be (c/(-8))/((-1)/(-2)). Which is smaller: u or i?
i
Let w = 0.133 + 2.867. Is w <= 0.02?
False
Let z = -11 - -16. Let r = 4.95 - z. Which is bigger: r or 0.1?
0.1
Suppose 2*i - 3*d = d - 8, -4*d = -4. Let n be 3/(2/4*i). Is -3 at least as big as n?