x, -2*s = 3*k + 11. Is 2 bigger than s?
False
Let r(c) = -c**3 + c**2. Let f(u) = -3*u**2 + 2*u - 1. Let m(l) = -f(l) - 3*r(l). Let b be m(1). Which is greater: b or 3?
3
Suppose 2*p = 3*p - 4. Suppose -3*v - p = t, -v = v + 2*t + 4. Which is greater: -2/13 or v?
-2/13
Let j be 70/40*96/10. Are j and 17 nonequal?
True
Let x = 1/133 - 3/38. Let n = 20 - 19. Do x and n have the same value?
False
Let v = -1 + 1. Let d = 253 - 1261/5. Which is greater: d or v?
d
Let u be (13 + -14)*(-3 - 1). Suppose -2*f + 8 = -u*f. Is -5 >= f?
False
Suppose -12 = -4*z + 2*c, -3*z + 2*c = -5*z + 12. Let x(q) = -q + 1. Let y be x(z). Suppose -1 - 3 = 2*v. Which is greater: y or v?
v
Let x be (3/(-4))/((-3)/12). Let g = 5 - x. Is 3/2 >= g?
False
Let s = -0.02 - -1.02. Let t = -2 - 0. Which is bigger: s or t?
s
Suppose -60 = -c - 3*c. Let t be 6/c - 39/60. Is 1 at most t?
False
Let q = 2 - -9. Let g be (1 + -2)*-3 + -3. Which is greater: q or g?
q
Let s be (3 - 2)/((-2)/(-4)). Suppose s*v + 1 = -3. Which is smaller: -1 or v?
v
Let c = -4.4 - 3.7. Let w = 8 + c. Is w at least -4?
True
Let p(x) = x**3 + 4*x**2 - x - 4. Let w be p(-4). Is w greater than -1/3?
True
Let n be 26/(-30) - (-10)/15. Are -0.1 and n unequal?
True
Let p = 8201/5865 + 2/1173. Is p != 1?
True
Let y = 47 + -139/3. Which is smaller: y or -3/10?
-3/10
Let w be (-8)/28 - (-37)/7. Let f be 1/w - (-19)/(-20). Is f at most as big as -1?
False
Let h = 53 - 53.049. Which is bigger: 2/7 or h?
2/7
Let q = 2 + -3. Is q at least -1/13?
False
Let n = -8 - -5. Let i be 5/(-6) - n/6. Let u(r) = -r**2 - 7*r. Let o be u(-7). Which is bigger: i or o?
o
Let h(c) = -c**3 + 2*c - 1. Let k = 1 + 0. Let m be h(k). Suppose 2*a = -3*a + 5*j + 15, -5*a - 3*j - 17 = 0. Which is greater: a or m?
m
Let m(b) = b**3 + 4*b**2 - 3*b + 9. Let t be m(-5). Suppose 0 = -2*n - 2*n - 12. Are t and n equal?
False
Let r = 3 - 2. Let z = -4 - 0. Let q be -1 - z/(48/10). Which is bigger: r or q?
r
Suppose -s - 66 + 61 = 0. Is -3 >= s?
True
Let n(i) = -i**3 - 9*i**2 - i - 9. Let f be n(-9). Let j be (-21)/9 - 2/(-6). Is f smaller than j?
False
Suppose k = -3*u + 6, 2*u - 3*u - 8 = -3*k. Suppose -k*x = -6*x. Which is smaller: 2/5 or x?
x
Let h = -147 - -147.2. Is -0.016 <= h?
True
Let a(c) = 4 - 5*c + 13 + 2*c + 2*c. Let s be a(14). Which is bigger: s or 5?
5
Let i(q) = q**2 - 6*q - 2. Let b be i(6). Let z = -19 + 88/5. Is z greater than or equal to b?
True
Let c be 241/(-5) + 0 + (-60)/(-300). Which is smaller: c or 1?
c
Suppose 3*y + 3*k = -12, 3*y - 2*y - 2 = 2*k. Let j be (y + (2 - 1))*1. Let c be ((-2)/12)/(1/2). Which is bigger: c or j?
c
Let m(c) = c**2 + 8*c + 3. Let p be m(-6). Is -10 at most p?
True
Let k(z) = -z**2 - 7*z + 11. Let y be k(-8). Which is bigger: y or 7/4?
y
Let l = -7 - -2. Let j = 11/2 + l. Let x = -1 + 1.2. Which is smaller: j or x?
x
Let r(m) = -m**3 - 6*m**2 + m + 5. Let f be r(-6). Which is smaller: f or 3?
f
Let s be 12/(-42)*1*-4. Which is smaller: s or 2?
s
Let x = 15.93 - 16. Let u = 55.67 - 52.6. Let m = u + x. Which is bigger: 1 or m?
m
Let c be (0 - -1) + 4 + -3. Suppose -2*l + c = -0. Let q = 1/143 - 23/143. Are l and q nonequal?
True
Let k = -0.1 + 0.2. Which is smaller: 4 or k?
k
Suppose 28 = 3*k + 10. Which is greater: 5 or k?
k
Let j = 1 - 0.4. Let p = 0.5 - j. Is 2/7 <= p?
False
Let j = 7 - 29. Let t = -15 - j. Are t and 2 non-equal?
True
Suppose 1 = -2*d + 9. Let k = -4 + d. Are k and 1 equal?
False
Let o = 16 - 9. Suppose -3*r - 3*t + 15 = -2*r, -2*r + 3*t = 15. Which is bigger: o or r?
o
Let s(j) = -5*j + 51. Let l be s(10). Which is smaller: -10/37 or l?
-10/37
Let l = -16 - -15. Which is greater: -6/19 or l?
-6/19
Let d(k) = -k**2 - 3*k. Let p be d(-3). Let x be (-2)/(-4) + 33/(-6). Let m be (x/(-10))/((-2)/4). Which is greater: m or p?
p
Let r be ((-18)/27)/((-2)/(-3)). Is r greater than or equal to 1/50?
False
Let a be 18/(-3)*(-2)/4. Let z be a/(-3)*(3 + -2). Is 6 at most z?
False
Let g = -48 + 48.1. Is -4 less than or equal to g?
True
Let u = -0.01 - 0.14. Let b = u - 0.05. Is b not equal to -0.1?
True
Suppose -9 = 3*f - 6*f. Suppose 4*d + u = -4 + 1, 5*d + f*u = 5. Which is greater: -1 or d?
-1
Let m = 3 - 4. Let i be 19/(-35) + 1/7. Are m and i non-equal?
True
Let d = 187/21 + -4/7. Which is greater: 8 or d?
d
Suppose f = -3 + 5. Let t be -26*(3/6)/1. Let k = t + 27/2. Which is smaller: k or f?
k
Suppose -p = -0*b - b, 4*p + 5*b - 45 = 0. Let z be 16/(-40) + (-216)/10. Let g be z/(-4) - 2/4. Is g > p?
False
Let v = -64 + 442/7. Is v less than or equal to -1?
False
Let f = -61/20 - -19/5. Which is greater: 0 or f?
f
Let s = -2/39 - 31/156. Is 18 smaller than s?
False
Suppose x - 1 = -4*t - 5, 3*t = x - 3. Suppose -u + 15 = -4*n, 6 = -2*n + 3*u - 9. Let i = 3 + n. Is i >= x?
True
Suppose 37 = 4*u - 5*u. Is u bigger than -37?
False
Let r = 9.7 - 10. Let z = r - -0.2. Is z greater than or equal to 2?
False
Let l be (-4 - (-34)/8) + (-213)/836. Which is bigger: l or 0?
0
Suppose 3*t = 2*m + 3, 0*m + 2*m - 2*t = -2. Which is bigger: 2/21 or m?
2/21
Let q = -17 + 16.8. Is q >= -7/3?
True
Let m be ((-45)/12)/(2/8). Let j be (4 - 1)*10/m. Let g be ((-1)/j)/(6/12). Which is bigger: 1/6 or g?
g
Let s = 17 + -14. Suppose 0 = g - 5*q - 7, 3*q + s = 2*q. Which is smaller: g or -9?
-9
Suppose -2*g = s + 1, -2*s - 3 + 1 = 5*g. Which is smaller: g or 37?
g
Let g(y) = -y**2 - 9. Let o be g(0). Is -9 less than o?
False
Let h(c) = -c - 7. Let j be h(-5). Let x = j - -4. Let q be (4/3)/(x/3). Which is greater: 0 or q?
q
Let a = -35 + 24. Let x = a + 11.2. Let l = -0.1 - -0.3. Is x not equal to l?
False
Let y = -7 + 8. Let l be (-348)/(-336) - 2/7. Is y smaller than l?
False
Suppose -11 = -4*f + 1. Suppose -f*k + 12 = -5*k. Is k equal to -6?
True
Suppose b + 4 = 2. Let q be b - (-4)/2 - 0. Suppose q = -2*t + 6*t. Is 0 not equal to t?
False
Let w = 245 - 1011/4. Is w at most as big as -9?
False
Let z = 3 + -2. Let p be (-4)/(12/9) - -2. Is p < z?
True
Let d = 7.1 - 6.47. Which is greater: -2/3 or d?
d
Let q = 0.071 + -5.071. Is q < -0.2?
True
Let p be (-2)/5 + 1368/3520. Is p >= -1?
True
Let n(j) = -j**2 - 10*j + 2. Let b be n(-8). Are b and 18 equal?
True
Let v = 0.178 + -4.018. Let k = v + -0.16. Is k at most as big as -1/5?
True
Suppose -3*k = -5*i - 32, -21 + 3 = -2*k + 5*i. Let y be k/10 + (-12)/30. Let g = -42/11 + 188/55. Is g <= y?
True
Let q(z) = 34*z. Let n(c) = c**2 + 9*c - 9. Let j be n(-10). Let s be q(j). Suppose 3*x - 5*y + s = 0, 3 + 27 = -5*x + 3*y. Do x and 1 have the same value?
False
Suppose 3*d = -2*d + 35. Suppose 4*c = t - 1, 3*c + 1 = d. Let x be 3/t - 1/(-15). Which is bigger: -5 or x?
x
Suppose 465 = 42*r - 39*r. Is r at most 155?
True
Let w = -2.9 + 3. Let z = 0.3 - 0.4. Let o = z + w. Which is smaller: o or -2?
-2
Suppose 0 = b - 2*m + 10, -m + 0 = b - 2. Let v be (b - 0/1)/5. Are v and 0 unequal?
True
Let q be 6/5 + 2/(-10). Let u = 12 - 4. Let m be (30/u)/3 - 1. Do m and q have the same value?
False
Let t be 15/27 - 2/6. Let x = 37/2 + -19. Is t at most x?
False
Let a(n) = n**2 + 2*n. Let h be a(-2). Let m = 129/70 - -1633/1260. Let c = -26/9 + m. Is c >= h?
True
Let d = -91.286 + 1.336. Let j = 92 + d. Let n = j + -0.05. Is n >= -1/4?
True
Suppose -10*h = -5*h + 5. Which is smaller: -3/14 or h?
h
Let d = -8 - -7.84. Let x = -0.25 - d. Let i = 0.01 - x. Is 1 bigger than i?
True
Let u = -383/3 + 8773/69. Do 0 and u have the same value?
False
Suppose s + 2 = -s. Let u be s*-4*2/(-36). Is u at most as big as -1/4?
False
Suppose 0 = 5*c - 3*u + 2, 3*c - 3*u - 2 = 2*u. Which is greater: -2/23 or c?
-2/23
Suppose 3*m - 3 = -6. Which is greater: -1/18 or m?
-1/18
Let n(l) = l + 10. Let u be n(-12). Which is smaller: -1 or u?
u
Suppose 2*d = 4*d - 16. Is 7 > d?
False
Let o(b) = -1 + 3*b - 3*b - b**2 + 3*b. Let j be 2/(-6) + 21/9. Let a be o(j). Is 2/13 greater than a?
False
Suppose 5*j = 2*w - 39, 0*w - w + 9 = j. Which is smaller: w or -2/5?
-2/5
Let v be -4 - 1 - (3 - 7). Which is greater: 4/21 or v?
4/21
Let i = 12 - 12.2. Let c(f) = 2*f**2 + f + 1. Let p(l) = -l**2 + l. Let n(a) = -c(a) - 3*p(a). Let x be n(4). Which is smaller: i or x?
x
Let a = 4 + -4. Let p = 1 - a. Let z = p - 2. Is z <= -1?
True
Let q be ((-12)/9)/(1/(-12)). Suppose 0 = k - i - 4, 3*k + i + 3*i + q = 0. Is 0 g