r: v or p?
v
Suppose 3*k = 2*p + 32, -12 = k + 2*p + 3*p. Suppose 0 = -0*w + 4*w - k. Which is smaller: w or 3/2?
3/2
Let u be ((-2)/1)/((-32)/(-20) - 2). Let w(p) = p**2 + 7*p + 3. Let r be w(-7). Is r less than u?
True
Let t(q) = 2*q + 14. Let w be t(-8). Which is greater: w or -0.06?
-0.06
Suppose 3*x - 6*x = 0. Suppose 3*v + x = 24. Is v greater than 7?
True
Let m = -68 + 123. Is 54 >= m?
False
Let u = -3 + 1. Let v(t) = -3*t**3 - 3*t**2 - 2. Let z(b) = 7*b**3 + 6*b**2 - b + 5. Let n(j) = -5*v(j) - 2*z(j). Let r be n(u). Which is bigger: -2 or r?
r
Let y = 12 - 10. Let l = -2 + 2.8. Let s = 0.2 + l. Which is smaller: s or y?
s
Let l = 4 + -9. Is l greater than or equal to -9?
True
Let d be ((-112)/108 - 4)*3/(-4). Which is smaller: d or 3?
3
Let a be 348/(-41)*1/(-63). Let g = 1/123 + a. Suppose 1 = 4*z - 5*z. Which is smaller: z or g?
z
Suppose -s - 3*s - 10 = -b, -3*b + 6 = 0. Is -13/9 bigger than s?
True
Let p = 25 + -32. Which is greater: p or -9?
p
Let q be ((-9)/(-6) - 1)/(2/(-44)). Is -9 bigger than q?
True
Let k be 117/72 - (-3)/8. Let b = 0 + 2. Suppose -3*h = -h - 4*d - 2, 0 = b*h + 2*d - k. Is 0 bigger than h?
False
Let h be 3/3 + 1 + -12. Let a = 9 + h. Let p be 3 + -1 + (-32)/14. Which is bigger: p or a?
p
Let a(p) = p + 9. Let k be a(10). Is k less than 19?
False
Let k = 59/160 - -1/32. Let n = -24.1 - -23. Let z = 1 + n. Is z greater than k?
False
Suppose 0*m = 2*m. Suppose -q + 5*q = m. Which is greater: -4/7 or q?
q
Let j = -52/15 + 11/3. Let u be (0 + -1)/(2/2). Which is greater: u or j?
j
Let x(l) = -l**2 - 5*l - 9. Let t be x(-5). Let g = t + 9. Is g not equal to -1?
True
Let k be (12/14)/(6/(-12)). Let v = 184/91 + k. Which is smaller: 0 or v?
0
Let t = -1 + 1. Let a = -82.93 - -83. Is t at most a?
True
Let x = 5 + -2. Suppose 5*q = -4*n + x, 5*n + 0*q = 4*q + 14. Let g = -0.5 - 0.5. Which is bigger: g or n?
n
Let z = -0.17 - -0.07. Let l(t) = t**3 + 3*t**2 - 5*t - 3. Let c be l(-4). Suppose 4 = -3*x + c. Is z >= x?
True
Let f = 32/9 - 142/45. Suppose 0 = -2*z - 10 + 8. Is f less than z?
False
Let c be 9/(-6)*(-4)/(-6). Let d = -5 - c. Which is greater: -3 or d?
-3
Let p(c) = c + 5. Let f be p(-4). Suppose 0 = -3*m - 22 - 2. Let y be 10/m + (f - -1). Is 0 at least y?
False
Suppose -5*y - 2*b = -6*b + 229, -4 = -4*b. Let j = y + 224/5. Is -1 bigger than j?
False
Suppose -5 = -2*u + c + 13, 4*u - 40 = 4*c. Which is bigger: 7 or u?
u
Suppose 4*s - d - 15 = 4*d, 0 = -s - 4*d - 12. Let m be s - (1 + (-7)/9). Suppose 0 = 3*p + 3*j + 12, -26 = 5*p + 4*j - 11. Which is bigger: p or m?
p
Let k = -29 - -28. Which is greater: k or -2/51?
-2/51
Suppose 6*z - 5*z + 17 = 5*t, -t - 2*z + 10 = 0. Let s be (5 - 6)/((-1)/5). Suppose -8 = -s*y + 7. Is y greater than t?
False
Let h = 65 - 34. Is h greater than 1/2?
True
Let o = -0.22 + -0.08. Let d = 0.8 + o. Let q = 1.13 - 1.03. Is q at most as big as d?
True
Let k be (-861)/56*(-8)/(-6). Is -22 greater than k?
False
Let p(n) = n**2 + 12*n + 11. Let a be p(-10). Suppose 39 + 1 = -5*j. Is j at most a?
False
Let p = 3 - 7. Let c be p/16 - (-34)/8. Which is greater: 0 or c?
c
Let z(t) be the third derivative of t**4/24 + t**3/3 - 2*t**2. Suppose 4*g - 5*g = -2. Let i be z(g). Is 3 less than or equal to i?
True
Suppose -4*w = -5*a + 22, 2*a = 4*w + 27 - 11. Suppose -2*o = -4*q - 4 - 2, -5*q - 2*o = -15. Let i be (q*a)/((-4)/2). Are 0 and i non-equal?
True
Let k(d) = -d**3 + 5*d**2 + 2*d - 6. Let a be k(5). Suppose m = c, a*m - 2*c - 4 = -0*c. Is 0 not equal to m?
True
Let m(a) = a - 7. Let h be m(7). Suppose h = -4*n, 4*n - 6 = -2*w - 18. Let i = -4 - w. Does 2 = i?
True
Suppose 0 = a + 9 - 0. Let v be a/(-2)*(-1)/3. Which is smaller: v or -3?
-3
Let c(m) = -m**2 + 5*m - 7. Let l be c(5). Suppose 7*y = 4*y - 24. Is y at most as big as l?
True
Suppose -2*c + 0*c = 0. Let i(k) = k + 12. Let s be i(-9). Let x be s + (-42)/10 - 0. Which is greater: c or x?
c
Suppose 2*i = w - 0*i - 3, 0 = 4*w + i + 6. Let q = w + 6. Let h = q + -5. Is 2/17 less than h?
False
Suppose -2*n = n - 9. Let j = -2 + n. Suppose 0 = 2*t - 7*t. Is t >= j?
False
Let a be 2 - 0 - 0 - -1. Suppose -h - 12 - 13 = -5*r, a*h - 5 = -5*r. Which is smaller: h or -4?
h
Let s = -6 - 0. Is -5 at most s?
False
Suppose 7 = 3*x - 5*n, -x + n = -2*x + 5. Suppose 5 = -5*f - 0. Let v(w) = -2*w**3 + w**2. Let o be v(f). Which is smaller: o or x?
o
Let f = -16556417809918000005/232106 - -71331278855123. Let b = 1/33158 + f. Let y = -126 + b. Is -1 greater than y?
False
Let h = -0.6 + 0. Let w = 2.4 - h. Which is greater: -1 or w?
w
Let v = -18/5 - -16/5. Is v less than 0?
True
Let q(h) = -5*h. Let f be q(-1). Let n = 4 - f. Is n <= 1/4?
True
Suppose 2*x - 2*d + 0 = -2, 3 = x + d. Suppose 5*s = -2*y + 8, 0*s + 2*s - 2*y = -8. Let j be 2 + ((-21)/15 - s). Are x and j nonequal?
True
Let g(b) = -b**3 + b**2 - b + 14. Let r be g(0). Let u be (-14)/(-6)*(-4)/r. Is 0 less than u?
False
Let v = -0.26 + 0.19. Do -2 and v have the same value?
False
Let j(s) = -3*s**2 + 10*s. Let z be j(4). Is -8 > z?
False
Suppose 0 = -l + 3*u - 8, 5*u - 15 = -3*l + u. Let k = 0.41 - 0.21. Which is bigger: l or k?
l
Suppose -3*i + 8*i + 5 = 0, b = i - 117. Which is greater: -117 or b?
-117
Let n be 1 - 0 - (-6)/(-6). Suppose 0*x - x + 1 = n. Which is smaller: x or -1/4?
-1/4
Let d = 5 - -38. Which is greater: 42 or d?
d
Let j(t) = 6*t. Let v be j(1). Let m be 7/(-3) + v/(-9). Is -4 <= m?
True
Let w(y) = y**3 + 4*y**2 - 6*y + 1. Let i be w(-5). Let x = i - 12. Which is smaller: x or -3?
x
Suppose -15 = -10*p + 5*p. Suppose 7*h = -n + 2*h - 3, -p*n + h - 9 = 0. Do n and 0 have the same value?
False
Let v be ((150/80)/15)/((-2)/18). Which is greater: v or -2?
v
Let f = 3.9 + -4. Let v = f - -0.3. Let g = v + -0.3. Which is smaller: 0.1 or g?
g
Let u be (1/2)/((-1)/(-160)). Let r be (-5)/u*4/(-5). Which is smaller: 1 or r?
r
Let n = 26 + -25. Are n and -7/3 unequal?
True
Suppose -3*v = -6*v - 60429. Let r = -1329391/66 - v. Let h = r - 6/11. Is h greater than or equal to 1?
False
Suppose -6 = -0*o + o + 4*k, 36 = 4*o + k. Suppose 2*b - s = -0*s + 21, 0 = -3*s - 9. Which is smaller: o or b?
b
Let s = -90 + 38. Let q = 313/6 + s. Does q = 1?
False
Let x = 0.89 - 0.79. Suppose 5*q - 29 = 21. Which is smaller: x or q?
x
Let h = 116/5 - 23. Let b(x) = -x - 3. Let r be b(-3). Which is smaller: r or h?
r
Let k = 371/2 + -177. Let r be (2 - 158/12) + 2. Let j = r + k. Which is greater: j or -0.1?
-0.1
Suppose 0 = -0*f - 5*f + 10. Suppose -f*s = 2*s. Suppose -2*l - 4 = -4*r, s*r - l + 10 = 2*r. Which is smaller: 2 or r?
2
Suppose 14*t = -17 - 39. Is -2/15 equal to t?
False
Let w = 917/5 + -184. Let l be -2*(-1 - (-12)/15). Is w bigger than l?
False
Let q be ((3/2)/3)/(2/(-64)). Does -14 = q?
False
Suppose 7*p - 21 = -0*p. Suppose 0 = 5*l + p*m + 10 + 14, 5*l = 2*m - 34. Let r = -9 - -4. Which is smaller: l or r?
l
Suppose -2*h = 5*t - 15, -t - 3 = h - 6. Let o be (-66)/42 - (-2 + 1). Is h at least o?
True
Let a be 194/(-18) + 10/(-45). Do -6 and a have different values?
True
Let c be 2/(-32 - (2 + 1)). Which is smaller: 1 or c?
c
Let a = 3 - 10. Is a greater than -7?
False
Suppose 0 = 6*i - i - 5. Let y = 0.4 - -1.6. Let l = -1.9 + y. Is l != i?
True
Suppose 0 = -0*d - 3*d. Is d greater than 6/13?
False
Let x(z) = 6*z**2 - z - 13. Let c(o) = 5*o**2 - 2*o - 12. Let p(u) = 5*c(u) - 4*x(u). Let r be p(7). Let l = 1 + -1. Is l at most as big as r?
False
Suppose -10 + 37 = -3*r. Let q be (-2)/r - (-4)/(-18). Suppose q = 2*i + i. Which is bigger: i or 1?
1
Let q = -0.24 - -0.248. Which is bigger: -1 or q?
q
Let f = -20189485/188883 - 1/20987. Let u = 107 + f. Let s = -2 + 1. Is s <= u?
True
Suppose -2*s + 16 = -6*s. Let i(x) = x**2 - 1. Let o be i(2). Let d be (-12)/o*2/s. Which is smaller: 3 or d?
d
Let y = 0 - -12. Suppose -y = -5*p + 8. Let o(t) = t**3 - 4*t**2 + t - 2. Let v be o(p). Which is bigger: v or 3?
3
Suppose 3*o + 2*o + 10 = 0. Which is smaller: o or 0.2?
o
Let f be 156/8 + 3/18*3. Which is bigger: -1 or f?
f
Let l be (6/8)/((-5)/4). Suppose 0 = -5*w - 10. Which is smaller: w or l?
w
Suppose 6*b - 15 = 3*b. Suppose -5*u - 5 + 0 = 4*q, q + 5 = -b*u. Which is smaller: 3 or q?
q
Let r = 0.09 + -0.07. Let z = r + -0.12. Which is smaller: 0.3 or z?
z
Let x = 0.53 - 7.53. Wh