 g - 15. Let o be p(0). Let n be o/(-4) - (-7 - -9). Which is smaller: 2 or n?
n
Suppose 12 + 0 = 4*t. Suppose -6 + 3 = t*r. Which is smaller: r or -2/19?
r
Suppose l - 3*l + 8 = 0. Let g(s) = 3*s - 3. Let f be g(3). Which is smaller: l or f?
l
Let q(z) = 16*z**2 - z. Let k be q(1). Let o be (-6)/(-10) + 21/k. Is 3/4 smaller than o?
True
Let k = 0 - 3.8. Let m = -0.8 - 3.2. Let c = k - m. Which is smaller: 0 or c?
0
Suppose -3*m = 2*m - 25. Let d(y) = 2*y**2 - 3*y + 1. Let g be d(2). Is g greater than m?
False
Let z(i) = -i**2 + 4*i + 3. Let m = 16 + -10. Let f be z(m). Is f < -10?
False
Suppose -4*k - 1 = -9. Suppose k*m + 2*o - o = 20, 3*m = -3*o + 24. Which is greater: m or 13?
13
Let i be 4 + (-3 - (1 - 3)). Suppose 0 = -i*b - b + 4. Which is greater: 2 or b?
2
Let a(z) = -9*z + 7. Let l(t) = -5*t + 4. Let n(x) = 3*a(x) - 5*l(x). Let w be n(-2). Let v = w - 5. Is 2 less than or equal to v?
False
Let g(m) = m**3 - 13*m**2 - 2*m + 8. Let u be g(13). Is u >= -18?
True
Let m = -14 - -8. Let o(b) = -b**3 + 2*b**2 - 1. Let h be o(-1). Let j be 1/(-21) - h/m. Is 1 at least as big as j?
True
Let j = -0.1 + 0.02. Let b = 0.06 + j. Let v = b - 0.18. Which is smaller: v or 2/3?
v
Let h(m) = m**3 - 11*m**2 - 14*m + 26. Let f be h(12). Suppose 2*o - 2 = -0*c - 4*c, c = -2*o - 7. Are c and f non-equal?
True
Let b(c) = -c**3 + 11*c**2 - 9*c - 8. Let v be b(10). Let t be (-2)/(-9) + v/(-9). Does t = 3/5?
False
Let z = 22 - 22.41. Let d = z + -3.69. Let w = d - -4. Which is smaller: w or 1?
w
Suppose -s = 1 + 4, -4*f + 3*s = -39. Which is smaller: f or -3?
-3
Let n be (6*-1)/(3/(-2)). Let z = n - 2. Is 0 at least as big as z?
False
Suppose 0 = -4*r + 6*r - 30. Suppose -4*v = m - r, -2*m + v = 2*v - 9. Let c be (m + 0 + -3)/3. Is c not equal to -1/4?
True
Let r be ((-6)/15)/(3/(-30)). Suppose r = -3*u + 1. Which is smaller: -12/11 or u?
-12/11
Suppose 2*c + 3*q - 23 - 6 = 0, 3*c = 3*q + 6. Let g(k) = k - 8. Let b be g(c). Let m = -1/56 + 1/7. Is m < b?
False
Let r = -14 + 12.3. Which is smaller: r or 0.2?
r
Let t be 34/(-21) - (-3)/((-9)/(-4)). Which is smaller: -36 or t?
-36
Let b = 1 - -1. Let z be (-3 - 4)*b/(-7). Suppose -z*h = 2*q - 0 + 2, 3*q = -5*h - 5. Which is smaller: -2/7 or q?
-2/7
Let d = 45 + -48. Which is greater: d or -1?
-1
Let x be 143*-3 - 2/(-7). Let a = x - -428. Which is smaller: 0 or a?
a
Suppose -2*x + 50 = 2*c, 5*x - 9 = -c + 4. Which is smaller: 27 or c?
27
Suppose 2*j + 4*g - 3*g = 0, -2*j = -2*g. Let a be (-13809)/189 - (-2)/7. Let y = a + 73. Is j at most y?
True
Let k = -188256609/30055 - 380/6011. Let b = -6299 - k. Let g = b + 35. Is -1 equal to g?
False
Let a be 3 - (-4 - 34)/(-2). Which is bigger: a or 1?
1
Let x = -6 + 8. Suppose -h - 3 = x*h. Is 1/10 less than h?
False
Let o(u) = -u**3 + 3*u**2 - u - 3. Let m be o(2). Which is smaller: m or -2/85?
m
Let x = -0.054 + 0.254. Which is greater: x or 3?
3
Let w(o) = 2*o**3 + 2*o**2 + 2. Let i be w(-2). Which is greater: i or -3?
-3
Let x = -3 - -6. Let g be 17*4/((-16)/6). Let h = g - -27. Which is greater: x or h?
x
Let t = -107/12 + 8263/924. Suppose -5*z = 5*n + 8 + 7, -3*z - 10 = 4*n. Is n at most as big as t?
True
Let s = -159 + 139. Which is smaller: -21 or s?
-21
Let r = -5 + 5. Which is bigger: r or -1/6?
r
Let c(t) = t - 1. Let i be c(0). Suppose 3*h - 18 = -2*m - m, 0 = 2*m + 6. Suppose 2*j - 2*u + 5 = -u, 3*u - h = 0. Is j at most i?
True
Let f = -192493/169 - -1139. Let r = -503/338 + f. Is 1 > r?
True
Let p = 0.94 + 0.06. Which is smaller: p or 0.4?
0.4
Suppose -5*b = 2*z - 31, 2*z - b - 21 = -4*b. Which is smaller: z or 0?
0
Let k = -114 - -81. Let l = -36.9 - k. Let p = l + 4. Is 0.4 smaller than p?
False
Let q be (-1)/(2 - (0 - -3)). Let a be 1718*q/84 + 2. Let g = a + -133/6. Is -1 not equal to g?
True
Suppose -4*c + 3*c = -2*v - 10, -4*c + 19 = -v. Is v > -18?
True
Let n(t) = 8*t + 39. Let v be n(-5). Let k = -37/234 + 7/18. Is k at most v?
False
Suppose 3*a + 0*a = -4*f + 11, 0 = -a + 4*f + 25. Suppose -t = -2*w - 3, -w = -t - t + a. Suppose -3*z + 8*z - 20 = 0. Are t and z nonequal?
True
Let p = -0.19 + -12.81. Let k = p + 15. Which is smaller: -3 or k?
-3
Suppose -3*y + 21 = -0*y. Let b be (-2)/10 - (-784)/20. Suppose -t = 4*k - 27, 3*t = 5*k - t - b. Is y less than k?
False
Let d(j) = -9*j**2 + 2*j. Let p be d(-2). Let a be (2/(-12))/((-5)/p). Is a greater than -1?
False
Let j(v) = -v**3 - 6*v**2 + 6*v + 5. Let z be j(-7). Let g be z/429 - (-4)/26. Which is greater: -1 or g?
g
Let h be (-2)/2 - 185/5. Are -38 and h nonequal?
False
Suppose 0 = g - 21 + 5. Is g bigger than 16?
False
Let m = -30869/61 - -506. Which is greater: 0 or m?
0
Let j = 31.2 - 32. Let l = -27.9 - -29. Let n = l + j. Is 2 >= n?
True
Let b = 34/55 - -6/55. Let r = 13/33 - b. Which is bigger: r or 1?
1
Let j = 34/475 - 3/95. Is 0 smaller than j?
True
Let a = -52.2 - -52. Which is greater: 3 or a?
3
Suppose 2*q = 4*v + 6, -3*v + 3 - 15 = q. Let l be v/(-30)*(0 + 1). Suppose -2*g + 3*b = 5*b, 5*b = 2*g. Is l > g?
True
Let l be ((-6)/(-10))/((-9)/6). Which is bigger: l or -5?
l
Let t = -461/665 - 2/95. Is 0 not equal to t?
True
Suppose -2 = 5*s - d, 5*d - 2*d = 2*s + 6. Which is smaller: -1 or s?
-1
Let p = -18 + 19. Suppose 3*j - 4 = 11. Suppose 0 = -2*r - 0*r - 5*c - j, -3*c = 3. Does p = r?
False
Let d = 5 - 2. Let n = d - 4. Is n <= 3/8?
True
Let g be (1 - -2)*8/6. Suppose -2*v = -6*v + 3*l + 1, v - 24 = -4*l. Is v < g?
False
Let i = 6 + -9. Let a = i + 5. Which is bigger: a or -0.3?
a
Let h = -3 - -5. Suppose 3*b = i + 11, b + 3 = 5*i + h. Let c = b - 9. Does -5 = c?
True
Let g = 227/4 - 57. Suppose 2*s = 3*s. Which is bigger: g or s?
s
Let t = -2 - -1.2. Let h = -0.1 - 0.9. Let d = t - h. Which is smaller: 2 or d?
d
Let x be -4 - ((-6)/(-12))/(2/(-8)). Is x equal to -5?
False
Suppose 4*c = 10 + 14. Let o be ((-4)/39)/(4/c). Which is smaller: 1 or o?
o
Let n(p) = -p**2 + 5*p - 2. Let q be n(4). Let i = 1 - q. Let c = 1 - 2. Is i > c?
False
Suppose -3*i + 14 = -i - 2*b, 0 = -2*i - 2*b + 2. Let h = i - 9/2. Which is bigger: 0 or h?
0
Let k = 1/3 + 1/3. Which is smaller: k or 9?
k
Let v = 0.4 - -0.3. Let p = -0.3 - v. Let a = -0.2 - -0.3. Which is greater: p or a?
a
Suppose 3*p + 3*x + 2*x - 10 = 0, -4*p + 4 = 2*x. Let f = 354 + -1777/5. Which is greater: f or p?
p
Let b(f) = f**2 + 4*f. Let x be b(-5). Suppose 0 = -x*z - 6 + 11. Is 1/23 at most z?
True
Let q = 1 + -0.8. Let g = 19 + -19.5. Let w = g + 0.6. Which is greater: q or w?
q
Let l = 1 + 0. Let y = -31 - -123/4. Which is bigger: l or y?
l
Suppose 0 = d + 2*d - 2*j, 4*j = 0. Let y be 2/6 + (-1279)/21. Let u = 60 + y. Are d and u equal?
False
Let r be (36/21 + -1)*387. Let a = r - 276. Is a not equal to 0.1?
True
Let r = 20 - 15. Are r and 2/5 equal?
False
Suppose 13 = -3*y - 20. Let r(i) = i + 9. Let z be r(y). Let v = -12 + 11. Which is smaller: z or v?
z
Suppose -8 = -3*y + 52. Suppose y = 4*o - 0*o. Suppose d + o = -4*q, 4*d + 2*q = -56 + 22. Is d smaller than -10?
False
Let f(h) = 2*h + 1. Let v be f(7). Is v greater than or equal to 14?
True
Suppose 7*i = 3*i + 16. Suppose 0*p + 2*x + 39 = 3*p, -4*p + i*x + 56 = 0. Let m = -32/3 + p. Which is smaller: m or -1?
-1
Let q be 3 - 3 - 19/(-1). Suppose -2*i + q - 1 = 0. Let h(f) = -f**2 + 10*f - 7. Let z be h(i). Is z >= 3?
False
Let u = 4 - 3.9. Let h = u + 0.2. Let x = 2.3 - h. Do -0.1 and x have the same value?
False
Let n = 5 - 3. Suppose -10 + 2 = -2*b. Is b bigger than n?
True
Let i = 76/55 + -6/5. Does 0 = i?
False
Let w = -145.4 - -139.41. Let j = 0.01 - w. Are 1/4 and j equal?
False
Let g be ((-10)/(-16) - -1)*3. Let v = g + -29/8. Are -0.1 and v non-equal?
True
Let z be 1*3*697/51. Which is bigger: z or 42?
42
Suppose -3*t - 3*k + 0 = 6, -2*k - 10 = -4*t. Which is bigger: -2 or t?
t
Let u = -11 - -4. Suppose 27 = -3*j + 2*o, 0 = 6*j - 2*j - 2*o + 34. Is j greater than u?
False
Let x be 1/2*(-20)/8. Which is bigger: x or -1?
-1
Let b = 31 + -30.73. Let l = -0.07 + b. Which is smaller: l or -0.1?
-0.1
Let u(l) = l + 27. Let x(z) = z + 26. Let j(r) = -3*u(r) + 4*x(r). Let h be j(-10). Let f = h - 8. Is f greater than 5?
False
Let v = -2 - -10. Let d = v + -7.7. Let q = d + 0.7. Is q less than 2/3?
False
Suppose -4*o - 17 = 5*n + 22, -4*n + 5*o - 23 = 0. Let g = n - -4.