 is smaller: j or 2?
2
Suppose -2*j + 5*p - 210 = 80, -4*j + 2*p = 564. Let w = 702/5 + j. Is w != -2?
True
Suppose 2*z + 4 = -0. Let i = 1 - z. Is 2 <= i?
True
Let c be (104/24)/(2/(-6)). Which is bigger: c or -38/3?
-38/3
Let b = 32 + -19. Suppose -3*x = b + 11. Let a be x/28 + -1 + 1. Which is smaller: a or -0.2?
a
Let v = 14/5 - 11/5. Is v at least -10?
True
Let q be 98/130 + (-33)/55. Which is smaller: q or 1?
q
Let v be (-2 + (-3 - -3))*-25. Is v bigger than 50?
False
Suppose 3*k - 2*g - 2 + 0 = 0, 0 = -g - 4. Is k != -3?
True
Let b = -59 + 58.77. Which is bigger: b or -0.2?
-0.2
Let d = -1.11 + 1.2. Let y = d + -0.19. Let p = 4.4 - -1.6. Which is bigger: p or y?
p
Let d = 31 + -26. Is d <= 5?
True
Let s = -0.9 - 0.1. Let d = 12 + -11. Which is greater: s or d?
d
Let y(d) = -d + 2. Let o be y(2). Suppose o*n - 24 = 4*n. Let u be 3/5*(-2)/n. Which is greater: u or -1?
u
Suppose 0 = -5*j + 17 + 8. Let f be 9/15 + (-28)/5. Let l = j + f. Is l smaller than -1?
False
Let q be (-8)/(-10)*(-575)/10. Is q not equal to -46?
False
Let a(b) = b**3 + 3*b**2 - 4*b + 1. Let j = -6 - -4. Let w be j/3 + (-20)/6. Let p be a(w). Is 2/5 <= p?
True
Let g(l) be the first derivative of -l**4/4 + 4*l**3/3 - l**2 + 6*l + 3. Let q be g(4). Let a be (-2 + 0)/(-6) - 1. Which is greater: q or a?
a
Let b be 14/6 + (0 - 2). Let z(l) = l**3 + 9*l**2 + 12. Let f be z(-9). Suppose -5*r + 2*u + 2 = -1, 0 = 3*u + f. Is b greater than or equal to r?
True
Let t = 0.11 - 4.11. Let i = -2.92 - 0.08. Let j = t - i. Are j and -2 equal?
False
Let j(u) = -u**2 - 7*u. Let t be j(-6). Let s = -6 + t. Suppose 0 = 2*l + m + 5, 5*l - 2*m - m + 7 = 0. Is l less than s?
True
Let n be 2*3*(4 + -9). Let g be (1 - -1) + n/9. Which is smaller: g or -1?
g
Let g(u) = -u**3 + 7*u**2 + 18. Let i be g(6). Is i greater than 52?
True
Let y = 13.8 - 14. Which is smaller: 1.7 or y?
y
Let u(i) = -7*i - 22. Let q be u(-3). Which is greater: q or 4?
4
Let p = -27 + 68. Which is bigger: 40 or p?
p
Let j = -20 + 23. Let c(i) = -i**3 - 4*i**2 - 4*i - 1. Let d be c(-3). Let p = d - j. Which is smaller: p or -0.1?
p
Let a(v) = -2*v**3 - 1. Let r(w) = w + 2. Let n be r(-3). Let s be a(n). Is s greater than 2/15?
True
Let d = 55 - 41. Which is smaller: 11 or d?
11
Suppose -4*b - 456 = -8*p + 3*p, 2*p = b + 180. Let q be p/65 + (-14)/91. Which is smaller: q or 0?
0
Let p = 10.6 + -10. Let q = -2.6 + p. Which is smaller: q or -2/3?
q
Suppose 12 = 4*w - w. Suppose w = n - 0. Suppose -n*a + 10 = a. Which is bigger: 5/6 or a?
a
Suppose f + 3*j = 18, -4*j + 36 = 3*f + 2. Let b be (-12 - -3)*(-2)/f. Is b bigger than 3?
False
Let i(r) = 16*r - 18. Let o be i(1). Do 10 and o have the same value?
False
Suppose -4*a + 5 = 9. Which is smaller: 2/97 or a?
a
Let l = 289/244 - -4/61. Which is smaller: 0 or l?
0
Let a = 3 + -4. Suppose -1 = -3*z + 8. Let w be (4/6)/((-11)/z). Which is bigger: w or a?
w
Suppose -8 = 4*s - 0. Suppose -n = 3 - 2. Which is smaller: n or s?
s
Let j(o) = -9*o - 3. Let g be j(3). Let s be ((-1)/(-3))/((-1)/g). Let w be 24/(-220)*s/(-3). Is -1 greater than w?
False
Let t be (0 + -3)*20/(-15). Suppose -24 = 5*j - 2*u + 6*u, -4*u - t = 0. Do j and -4 have the same value?
True
Let n(t) = -t. Let v be n(-1). Which is bigger: -4/15 or v?
v
Let b = 20.1 - 20. Suppose -2*n + 27 + 7 = 0. Which is smaller: n or b?
b
Suppose -2*d + d = 0. Let t be 2*(-1)/((-36)/(-4)). Is d < t?
False
Let x be (-4)/10 - (-172)/(-20). Let q be (-2)/x + 100/(-126). Let v = -0.05 + -0.05. Is q >= v?
False
Suppose 3*o + 3*z - 6 = 0, -7 = o + 3*z + z. Suppose -3 = o*t - 28. Which is greater: 3 or t?
t
Suppose l = -5*o - 28, -12 = o + 4*l + 5. Suppose 0 + 1 = -s. Which is smaller: o or s?
o
Let n be 1/3 - 4/3. Let l be ((-18)/(-4))/((-21)/(-28)). Suppose l*y = y. Is n at most y?
True
Let a be (-99)/(-15) - (-6)/(-10). Suppose 4*o - 2*o - a = 0. Suppose -3*d + 2*k = 5 - 4, -7 = -o*d - 2*k. Which is bigger: 0 or d?
d
Let x(m) = -m**2 + 9*m - 18. Let z be x(6). Let o = -1/12 + 29/60. Which is bigger: z or o?
o
Let w = 30 + -28. Which is smaller: w or -2?
-2
Let y be (-2 + 1)/1*-5. Suppose -g - y*d = -2 - 23, 5*g = -d + 5. Let l = 283/20 - 55/4. Is g less than l?
True
Let r(o) = -o**3 - 4*o**2 + 6*o + 1. Let b be r(-5). Let x be (10/15)/(b/(-18)). Is 3 equal to x?
True
Let r = -44 + 5. Let b = -121/3 - r. Is -1 smaller than b?
False
Let g be 2 + (-21)/(-3) + -1. Let n(k) = -k**2 + 6*k - 1. Let x be n(5). Let q = g - x. Which is smaller: q or 3?
3
Let r be 27/36 + -1*1. Is 0 at least r?
True
Suppose -2*c + 9 = 3. Let k(b) = -b**3 + 3*b + 3. Let a be k(-2). Is a smaller than c?
False
Let a = -99 - -99. Suppose 2*y + 2*u + 2*u = 6, 4*y + 2*u = 0. Is a greater than y?
True
Let x(s) = -s**2 - 6*s + 2. Let y(b) = 6*b. Let d be y(-1). Let z be x(d). Which is smaller: z or 3?
z
Suppose 3*i - 4*q = -1 + 2, -2 = 2*q. Are 6/13 and i nonequal?
True
Let x = 0 - -3. Suppose 10 = -2*d + 4*b, 15 = -x*d - 3*b - 0*b. Suppose 5*c = 3*s - 4, 5*s + 3*c + 11 = -5. Do s and d have the same value?
False
Suppose 2166 = 4*p + 2*j, -4*p + 4*j + 2160 = -0*p. Let q = 26507/49 - p. Which is bigger: q or 0?
0
Let m be (1/(-3))/(14/(-1134)). Is 26 != m?
True
Let x(r) = -2*r**3 - 3*r**2 - 3*r - 4. Let h be x(-4). Is 88 greater than h?
False
Let k = 4 - 2. Let m = 75/4 + 19/4. Let d = m + -23. Is d <= k?
True
Let k = 31169/12 + -2596. Let u = k - 3/2. Which is greater: u or 1?
1
Suppose -6 = 3*s - 0. Let j = 0 + -3. Which is smaller: j or s?
j
Let d = 1 - 1. Let u be d/2 + 9/3. Let r be (-12)/(-36) + (-15)/(-9). Are r and u non-equal?
True
Suppose 2*p + 0*p = -10, -5*p - 13 = -3*h. Is -7/2 less than h?
False
Let r = 194 - 123. Let n = -309397/4317 - -4/1439. Let q = r + n. Is q < 0?
True
Let j = -28 - -27.3. Is j > 2?
False
Let l = 54 - 56. Let p = 0 + 0. Which is bigger: p or l?
p
Let o be -1*(-9)/3 - 5. Let f(u) = -1 + 2 - 3*u + 4*u. Let i be f(-1). Which is smaller: i or o?
o
Let b = -0.42 - -0.28. Let s = 0.14 - 0.1. Let y = b + s. Which is smaller: 0.2 or y?
y
Let u = -3 - 5. Let c = -11 - u. Let a = -3 - c. Is a != -1/8?
True
Suppose -4*o - o = 25. Let t be (-3 - (-2 + 5)) + 2. Which is smaller: o or t?
o
Let w be ((-4)/6)/((-16)/(-36)). Suppose 0 = 3*x + 32 + 4. Let y be (-25)/10*x/(-15). Is y less than or equal to w?
True
Let z = -7590 - -295985/39. Let k = z - -4/13. Which is greater: 1 or k?
1
Let a(q) = q**3 - 14*q**2 + 14*q + 8. Let l be a(13). Which is smaller: l or 22?
l
Let s = 0 - -1. Suppose -b + s = 3. Let i be 2*3/60*b. Which is smaller: i or -1?
-1
Suppose 0 = -m - q - 2*q - 12, -2*q = 8. Let s be (m - 0/1) + 1. Suppose 4*l = 3*g + 5, -4*l + 0*l - 10 = 2*g. Which is smaller: s or l?
l
Let k(f) = -f - 1. Let t be k(-3). Suppose 23*b = 18*b - 10. Which is greater: b or t?
t
Let n = 0.27 + -0.07. Suppose -2 = k - 5. Which is greater: n or k?
k
Suppose j = -v - 0*v - 20, -4*v = -8. Is 1/4 less than or equal to j?
False
Let i be 3/(-6) - (-685)/150. Let n = i - 7/5. Is n at least as big as 4?
False
Let z(x) = -x - 1. Let a(i) = 3*i + 8. Let d = -9 + 8. Let m(o) = d*a(o) - 4*z(o). Let j be m(4). Are 2/17 and j unequal?
True
Let m be (2/3)/(2/3). Suppose r + 0 = m, 4*i = r + 7. Let u = 158 - 156. Are i and u nonequal?
False
Let m(o) = o**2 + 8*o - 20. Let a be m(-10). Is a not equal to 1/9?
True
Let g be 5/((-195)/(-84)) + -2. Is 0.1 less than g?
True
Let f = 68 + -68. Which is bigger: 2/65 or f?
2/65
Let f = 18 + -18. Let s(l) = -l**3 - 5*l**2 + 7*l + 6. Let a be s(-6). Is f at least as big as a?
True
Let a = 457473817/548 - 834805. Let u = a + 2/137. Is 1 < u?
True
Suppose 2*k - 190 = -0*k. Let i = 949/10 - k. Let z(x) = -x + 8. Let u be z(9). Which is bigger: u or i?
i
Suppose 0 = 2*g - 2 + 12. Let k be (-148)/(-52) + g + 2. Let w(h) = h - 5. Let c be w(4). Is k equal to c?
False
Let q(l) = -l**3 + 8*l**2 + 9*l + 3. Let z be q(9). Suppose 23 = -2*m - 3*k, -4*k - z = -3*m - k. Is -3 not equal to m?
True
Let r be 2 - (-2)/(-4)*0. Let q be ((0 - 2) + r)/(-1). Let p be -10 + 4 + (-56)/(-10). Is q greater than or equal to p?
True
Let s = -1 + 5. Suppose -4*r = -f - 35, 0 = -3*r + 4*f - 0*f + 23. Let j be (4/6)/(2/r). Is s at least as big as j?
True
Let n = 255 + -2035/8. Which is smaller: n or 2?
n
Suppose -2*c - 1 = 3. Which is bigger: -2/3 or c?
-2/3
S