 -5*y = -0*y + p - 24, 0 = -3*y + 4*p - 4. Is i bigger than y?
False
Let j = -4.9 + -2.3. Let y = -7 - j. Which is bigger: y or -1/7?
y
Suppose 4*f = 3*a + 13, 0 = -4*f - a + 3*a + 14. Suppose 0*p - f*p = -3*q - 1, 5*q - 8 = -3*p. Which is smaller: 2/25 or p?
2/25
Let j(v) = -v**3 - 3*v**2 + 3*v - 1. Let q be j(-4). Let f be q - (4*-1)/(-4). Which is bigger: f or -1?
f
Let m be (-6)/(-4)*(-48)/(-9). Let p be (6 - 4)*(-15)/6. Let f = p + m. Is 3 > f?
False
Suppose -1 = -t + 3, -2*t + 32 = 4*a. Let b = 8 - a. Which is bigger: b or 1?
b
Let w = 155 - 255. Let n = w - -699/7. Let s(y) = -y**3 + 1. Let q be s(1). Is q not equal to n?
True
Suppose -3*o + 4*j = -3, 0*o - 3 = -4*o + 5*j. Let q = o - -4. Let k(d) = d**3 - 3*d**2 + d - 2. Let h be k(3). Is q greater than h?
False
Let v = 5 - 3. Suppose 3*m - 29 = -2. Let s be (6/m)/((-24)/(-27)). Which is smaller: v or s?
s
Let i(b) = b - 8. Let o = -18 + 25. Let d be i(o). Do d and -2/19 have the same value?
False
Suppose -i + 1 = 5*r + 8, 5*i + 11 = -r. Is r greater than or equal to 2/19?
False
Suppose 4 - 14 = v. Let i be (-8)/(-20) - 12/v. Let h = 2 - i. Which is bigger: 1 or h?
1
Suppose 3*t + t - 16 = 0, -4*t + 16 = -m. Is m != 3/10?
True
Let d = 191 - 3821/20. Is -1 greater than or equal to d?
False
Let g(h) = -2*h**2 + h + 2. Let y be g(4). Let m = -67 - y. Let s = -327/8 - m. Is -0.1 greater than s?
False
Let x = 301/3553 - -2/323. Is x at most -2?
False
Let i = -79/36 + 22/9. Which is smaller: i or 1?
i
Let u(r) = r**2 + r. Let j(q) = -4*q**2 + 4*q + 11. Let l be 11/2 + 2/(-4). Let i(g) = l*u(g) + j(g). Let w be i(-8). Which is greater: w or 2/5?
w
Let v = 22 + -73. Is -53 at least v?
False
Let f(g) = -g + 2. Let t be f(0). Let s be (3 + -3)/(4 - t). Suppose 3*y + 7 + 2 = s. Which is greater: y or -4?
y
Let t(f) = 3*f - 10. Let m be t(5). Let r(j) = -2*j + 7. Let c be r(m). Is c equal to -3?
True
Let z = 0.54 - 0.14. Which is smaller: -0.2 or z?
-0.2
Let t(y) = -y + 2. Let m be t(-6). Let v be 3/3 - m/6. Suppose 5*l = 4*l. Which is smaller: v or l?
v
Let h = 27 + 14. Is h <= 40?
False
Let f = 43 - 41. Let p = 8 + -6. Is f less than p?
False
Let h(n) = n**3 - 8*n**2 + 8*n - 11. Let w be 3 - 2 - -1*6. Let y be h(w). Which is greater: -16/3 or y?
y
Let u = 0.19 - 0.19. Which is smaller: u or -3?
-3
Let j(o) = -o**3 - 3*o**2 + 4*o + 5. Let b be j(-4). Suppose -3*f + r + 1 = 0, 2*f - 4*r + 9 + 7 = 0. Let g = f - b. Which is greater: -2 or g?
-2
Let a(n) = n**2 - 6*n + 5. Let l be a(4). Let o be l/9 - (-32)/78. Which is smaller: o or -1?
-1
Let c = -75 + 75. Let r = -2876/415 + 44/83. Let x = -34/5 - r. Are x and c equal?
False
Let l = 68.9 + -63. Let r = l - 6. Is r bigger than -0.01?
False
Let z be (-6)/(-8)*56/(-14). Which is bigger: -5 or z?
z
Let m = -12 - 9. Let d be 1 - (-3)/m*36. Let q = d + 305/77. Is 1 >= q?
True
Let u = 0.037 - 0.137. Is u greater than or equal to -5/6?
True
Let j = 4.939 + 0.061. Is -2/7 <= j?
True
Let i be 36/(-10)*(-5)/(-2). Suppose 40 = 3*x - 7*x. Which is smaller: x or i?
x
Suppose 4*l + l + 125 = 0. Let x = l - -16. Let a = x - -13. Is a < 4?
False
Let h be 2/(-12) + 117/54. Suppose -3*a - h*a = 5. Does 0 = a?
False
Let c = 21.02 - 21. Is c equal to 2/5?
False
Let p be 84/(-16)*228/(-9). Is 133 > p?
False
Let a be 6/45*4/((-4)/(-5)). Is a greater than or equal to 2/13?
True
Let z = -0.07 - 0. Let h = 0.15 + -0.05. Do h and z have the same value?
False
Let g = 20 + -19. Suppose -4*r = -2*w + 6, 4*r + 5*w = -0*r + 29. Is r at most as big as g?
True
Suppose -4*y - 3*s - 1 = 0, 4*y - 5*s + 8 = y. Let f be 2/2 - (y + 0). Suppose 4 = f*m - 4*m. Is -2 at most as big as m?
True
Let w = -2 - -1. Let j be (w + 1)/(-5 - -8). Which is smaller: -2/9 or j?
-2/9
Let h be (3 - (-1 - -4))/(-2). Suppose -z = -4*z. Let v = z - 0. Is v <= h?
True
Let z = -3 + 0. Let h(n) = -n**3 - 3*n**2 + n + 2. Let k be h(z). Let r = 0 + k. Is r bigger than -2/9?
False
Let o(b) = 0*b**3 + b**3 + 1 - b - 2*b**2 - 5 + 2. Let h be o(3). Let f be ((-1)/h)/((-5)/(-8)). Is 0.2 less than f?
False
Suppose -2*q = 3*q - 10. Let x = q - 1. Which is smaller: x or -1/12?
-1/12
Suppose -2*z = -3*p - 109, 4*p = -z - 0*z - 149. Let w be p/(-385) + 2/(-11). Let c = 2/7 + w. Is c greater than or equal to 0?
True
Let i(y) = y**2 + y + 2. Let g be i(0). Suppose 0 = 2*u - g. Let n(l) = -l**2 - 14*l + 3. Let z be n(-14). Which is smaller: z or u?
u
Let b(l) = l**3 + 5*l**2 - l - 7. Let u be b(-5). Let g = u + 0. Let s(z) = z - 9. Let f be s(7). Does g = f?
True
Suppose 0 = i + 1 - 79. Let b be (-4)/6 + (-272)/i. Let y = b + 296/65. Is y >= -1/2?
True
Let j(a) = -a. Let n be j(-7). Suppose -8*m + n*m + 9 = 0. Which is greater: 8 or m?
m
Let u = 1.8 - 0.8. Which is greater: u or 11?
11
Let x = 31/54 - 2/27. Which is smaller: x or 95?
x
Let m = 1 + -4. Let w = -2 - m. Is w greater than 3?
False
Let o(p) = 0*p + p**3 - 4*p - 1 + 1 - 2*p**2 + 4. Suppose 5*g - 14 = -r, -3*g + 1 = -2*g + 2*r. Let y be o(g). Which is smaller: y or -1/4?
-1/4
Let n = 185/12 + -44/3. Which is greater: 2 or n?
2
Let s = -84 + 65. Is s != 0.1?
True
Suppose -x - 14 = -5*y, 5*y - 5*x - 15 = 15. Let f be -3*4/y*-2. Let o be 2/4*f/(-27). Is 2/5 <= o?
False
Let f(z) = z**2 + 2*z + 3. Let w be f(-3). Suppose -c + w*c - 5 = -u, -4*u - 4 = -4*c. Let a be -1*1 + 4/6. Is a smaller than u?
True
Let s be (9/(-12))/((-15)/(-34)). Let v = s - -8/5. Which is smaller: 0 or v?
v
Suppose -3*k - 15 = -4*v, -6*v - k - 5 = -2*v. Suppose 2*w - 6 = 6*w - 2*b, -3*w + 2*b = 5. Which is greater: w or v?
v
Let g = -2.1 - -10.8. Let s = g - 1.7. Let h = 6.8 - s. Do 3/2 and h have the same value?
False
Let g(y) = 2*y - 1. Let s be g(-3). Is -5 < s?
False
Let s = -8 - -13. Which is greater: -6 or s?
s
Let l be (-2)/(12/5 + -2). Let t(a) = a + 7. Let n be t(-5). Let v be (-1)/((-1)/(n*-2)). Which is greater: v or l?
v
Let l(w) = w + 5. Let u be l(-3). Suppose -n = -u - 4. Suppose 3 = -3*g + n. Is g < 2/5?
False
Let v = 0.3 + -0.5. Let a = -0.099 - -0.089. Is a greater than or equal to v?
True
Let w be 0/(-3*(-2)/6). Suppose 0 = -o - 4*h + 31, -4*o - 2*h + 4*h + 52 = 0. Suppose w = -5*j + o - 0. Which is smaller: j or 4?
j
Suppose -i = -3*g - 0*i + 116, -3*g + 4*i = -122. Let n = g - 119/3. Suppose -33*k + 8 = -37*k. Do n and k have the same value?
False
Let h = 1.4 - 0.7. Let d = h + -0.4. Let c = d + -0.4. Which is bigger: c or -1?
c
Let q(z) = -z**2 - 5*z - 3. Let t be ((-2)/(-3))/((-6)/45). Let s be q(t). Do 2/7 and s have different values?
True
Let a be (-5)/10 - (-41)/2. Let q = a + -16. Suppose -3*d + 12 = -f - 2*f, -d = -5*f - 8. Is d at most as big as q?
True
Suppose 30 = -2*w + 12. Is w less than or equal to -7?
True
Let w = 6 + -3. Suppose 2 = w*z - z. Let y be (12/(-15))/(38/(-5)). Which is bigger: y or z?
z
Let a be (-1 + -1)*2/(-2). Let v be (-150)/a + 8/28. Let p = 75 + v. Is p > -1?
True
Let m = 8962.927 + -8955. Let l = m - -0.173. Let i = l - 8. Is i at least as big as -1/2?
True
Let h be (-2)/(7/(-14) + (-9)/2). Do h and 0.1 have the same value?
False
Suppose 2*r + 0 - 8 = 0. Is r greater than or equal to 1/2?
True
Let t be 3*(-2 + 10/6). Let g(p) = -5*p**2 + 3*p**3 + 5*p**2 + p + 1. Let j be g(t). Is -3 not equal to j?
False
Let d = 1.93 + -0.13. Let i = 1.9 - d. Let r = 3 + -1. Which is greater: r or i?
r
Let w(j) = -2*j - 2. Let m be w(-3). Suppose 2*l + 0*l + 3*y - 3 = 0, -m*y + 3 = 3*l. Are -3 and l unequal?
False
Let y = -17500/43 - -407. Let g = y + 38/215. Is g bigger than 2?
False
Let w be (-2 - -1)*(-6)/(-6). Which is greater: w or -4/95?
-4/95
Let p(f) = -9*f + 15. Let r be p(5). Is -31 at least r?
False
Let j(x) = -x**2 + 5. Let q be j(0). Suppose 3*b + 4*c - 25 = 8*b, -q*c + 29 = -4*b. Is -1/3 greater than b?
True
Let w = -5 - -8. Let s be (-4)/w*(-3)/2. Suppose 2*c + 4 = -s. Which is smaller: c or -2?
c
Let f(b) = b**2 - 7*b + 2. Let m(i) = -1. Let c(s) = f(s) - 6*m(s). Let t be c(6). Is 2 less than or equal to t?
True
Let y(v) = -v - 3. Let n be y(-10). Is n > 7?
False
Let t = 1 + -8. Suppose 3*r = -11 - 7. Which is greater: t or r?
r
Let i be 1/3 + (-30)/(-126). Let z = 1 - 3. Let r = z - -3. Is i > r?
False
Let p = -0.23 - -0.43. Let g = 9 - 5. Let c = g - 4.4. Are c and p equal?
False
Let d(u) = 4*u**3 - 2*u + 1. Let a = -3 - -4. Let n be d