ich is smaller: p or 1/12?
p
Suppose 2*m + 0 = -6. Let c be (0/m)/(2/(-1)). Let n(z) = z**3 - 7*z**2 - 8*z - 2. Let x be n(8). Is x smaller than c?
True
Suppose -3*u = -5 - 1. Let a be 4 + -5 + u/8. Suppose t = -3*t. Which is smaller: t or a?
a
Let m(v) = v**3 + 5*v**2 + 3*v - 3. Let t be m(-3). Let w(x) = -x + 1. Let j be w(-6). Do t and j have the same value?
False
Let x(j) = 4*j**3 - 4*j**2 - 5*j + 6. Let v(s) = -9*s**3 + 7*s**2 + 9*s - 13. Let m(r) = 3*v(r) + 7*x(r). Suppose 0 = -2*g + 12 + 4. Let o be m(g). Is o < -2/9?
False
Let y = -16.9 + 18. Let k = 1 - y. Are k and -2 equal?
False
Let p = 2.13 - 0.13. Let w = 2 - p. Let k = -0.1 + 0.2. Which is greater: w or k?
k
Suppose 0*u - 3*u - 64 = 4*x, 0 = 2*u - 5*x + 58. Which is greater: u or -23?
-23
Let m = 837/20 - 148/5. Is 11 at most as big as m?
True
Let k = 0.91 + 0.09. Which is bigger: k or -1?
k
Suppose 0 = -4*v + 2*f + 6, 0 = v - 9*f + 4*f - 15. Let k be (-1)/3 + v/2. Suppose 0 = g - w + 3, -g + 3*w - 7 = -0. Which is smaller: g or k?
g
Let q = -253 + 457. Let c be 3*(-2)/q*4. Let u be (-3)/6*-1*0. Is u less than c?
False
Let w = 17 - 29. Which is smaller: w or -10?
w
Let f = 146/39 + -40/13. Suppose 3*j = 5*c + 4*j - 12, -3*c + 4*j = 2. Which is bigger: c or f?
c
Suppose 0 = 3*q - 4*w - 6 + 15, -3*q + 12 = 3*w. Let m = q + -1. Suppose m*y + 3*y = 0. Which is smaller: y or 1?
y
Let u(q) be the third derivative of q**5/60 + q**4/4 + q**3/3 + 2*q**2. Let g be u(-8). Let a be 13/g - 1/2. Which is smaller: 1 or a?
a
Let q be ((-6)/8)/(42/4). Let j be (-4)/8*-2 + -2. Is j at least as big as q?
False
Suppose -2*l + 0*l + 6 = 0. Let x be 5 - 1 - (-5 + 7). Let r be ((x - -3)*-1)/l. Is -2 greater than r?
False
Let u be ((-44)/(-6))/(14/21). Let z(t) = -t**2 - 3*t + 3. Let m(l) = -5*l**2 - 15*l + 16. Let h(q) = u*z(q) - 2*m(q). Let s be h(-4). Is -2 >= s?
True
Let h be 1*-2*(-1)/6. Let i = -3 - -4. Let y be -2 + i - (-4)/3. Is y <= h?
True
Let l = -124 - -127. Which is smaller: l or 7?
l
Suppose -3*c - 30 = -8*c. Let r be (c/5)/(6/15). Let w = r - 6. Which is smaller: w or -1?
w
Let x = -3.2 - -0.7. Let z = -0.5 + x. Is 1/3 < z?
False
Let q be (-9)/9 - (-1 - 0). Let r = q + 5. Is r at most 5?
True
Suppose 2 = 3*y - 4. Let b(t) = -3*t + 20. Let h be b(6). Let n be 0 + (y + -1)*h. Is n less than 0?
False
Let u(g) = 5*g - 5. Let w be u(3). Suppose 2*t = -0*t + w. Let m(x) = 3*x**2 + x - 1. Let c be m(1). Is t less than or equal to c?
False
Suppose -f - l = 2*l + 12, 16 = f - 4*l. Let u be 2/8 + 90/(-264). Is f bigger than u?
True
Let c(p) = p**3 + 5*p**2 + 4*p + 1. Let k be c(-4). Let u = -20 + 25. Let z = k - u. Are -3 and z equal?
False
Suppose -1 - 16 = v + 3*f, -3*v + 1 = -4*f. Let t = 16/3 + v. Let z = 3 + -5. Is t <= z?
False
Suppose -7*r - 24 = -11*r. Which is smaller: 7 or r?
r
Let u(l) = 2*l**2 + 6*l - 26. Let i be u(-5). Is i != 0.7?
True
Suppose -3*f + 4*i + 19 = 0, f - 18 = -3*f - 2*i. Let v = 5 - f. Let p be (-1 + 1)/(v + 2). Is p smaller than -1/3?
False
Let l = 20/189 + 1/27. Which is smaller: l or 0?
0
Let u = 6 + -7. Which is smaller: u or 6/19?
u
Let v = 29069/45 - 646. Which is greater: -1 or v?
v
Let y be ((-140)/(-16))/5 - -3. Do y and 4 have the same value?
False
Let z = 4.5 + -4.1. Let m = -3 - -3.5. Let y = m - z. Which is smaller: y or 1?
y
Let o = 1.2 - 0.2. Let g = o - -3. Let a = -3 + g. Is 3 not equal to a?
True
Let i = 0 - -4. Suppose 5*y - i*q = -2, -q - 2*q - 6 = 0. Let c = -11 + 21/2. Is y < c?
True
Let v = 1 - 2. Let w = -49 - -34. Let d = 13 + w. Which is greater: d or v?
v
Suppose z = -4, -10 - 9 = u + 5*z. Let f = u - 0. Let d be ((3/(-2))/f)/(-6). Do d and 1 have the same value?
False
Let r(d) = -4 + 9*d - 5*d - 5*d - 1. Let c be (-2)/(-5) - (-27)/(-5). Let i be r(c). Are 0 and i equal?
True
Let t = 2 + -6. Which is smaller: t or -1?
t
Let y be (6 - 8) + (-3 - (-1 + 0)). Which is bigger: y or -14?
y
Let r = 1.39 - 1.34. Do 9 and r have the same value?
False
Suppose -2*p = -3*q + 21, 0 = -2*p - 5*q - 3 - 58. Let w = -21 - p. Which is smaller: w or -4?
-4
Let j = 0.177 + -0.077. Let v = -0.25 + 0.2. Which is greater: j or v?
j
Let x = -9.3 + 3.3. Which is smaller: 5 or x?
x
Let y = -3 + 3.2. Let v = 3 + -4. Are y and v non-equal?
True
Let p = -124241/88 + 14844/11. Let j = 62 + p. Which is smaller: 0 or j?
j
Let p be 3/(2/20*-3). Let w be (-23)/20 + (-4)/p. Let l be 0/((20 + -26)*1/3). Is w > l?
False
Suppose -5*i + 36 = -3*q + 7*q, -q = i - 8. Let t be (3/6)/(1/q). Suppose t*f = 4*f. Do f and 0.1 have different values?
True
Let f be ((-42)/(-1540))/(2/10). Which is greater: f or 0?
f
Let u = -251/332 - -1/166. Suppose -4*t + 0 - 4 = 0. Are u and t nonequal?
True
Suppose 0 = -15*j - 697 - 113. Is j greater than 0.1?
False
Let i = -83 + 98. Does 0.1 = i?
False
Let o be (3 + (-51)/15)/4. Which is smaller: o or -1?
-1
Let t(s) be the first derivative of -s**3/3 + 4*s**2 + 10*s - 2. Let w be t(9). Which is bigger: w or 2?
2
Let b = 4.8 + -5. Let i = -0.7 + b. Let x = i + 2.9. Does x = 0.2?
False
Suppose 0 = 4*g - 3*g + 2*p + 350, -3*g + 4*p = 1050. Let t be 36/84 + 178/g. Let a be ((-1)/2)/(1/2). Which is smaller: a or t?
a
Let n = -0.94 - 0.06. Let j be (2 - 1)*(-1)/5. Which is bigger: n or j?
j
Let u = 116 - 261. Let x = u + 721/5. Which is greater: -1 or x?
x
Let u be -7 + 8 + 3*1. Suppose 2*y + 8 = -4. Let l = y + u. Is 0 not equal to l?
True
Let i(f) = f**2 + 8*f + 6. Let b be i(-6). Let q be b/(-21) + 6/28. Which is smaller: q or 0?
0
Let s be (-4)/3 - 24/(-16). Suppose 3*h + 0 = -3. Which is bigger: h or s?
s
Let r = 14 - 12. Which is bigger: r or 4?
4
Let x = -50 + 5. Let t = -179/4 - x. Is -0.06 greater than or equal to t?
False
Let b(p) = -5*p**2 + 10*p - 11. Let r(k) = 14*k**2 - 30*k + 32. Let s(o) = 11*b(o) + 4*r(o). Let w be s(9). Which is bigger: -3 or w?
w
Let c(u) = -8*u**2 + 1. Let g be c(1). Let k be 0 + 0 - (g + 5). Which is smaller: 0 or k?
0
Let h be (-3)/(-12) + 17/(-4). Let u = h + 4. Suppose u = 3*o - 8*o. Is o smaller than 2/7?
True
Suppose 5*i - 3*b = -139, b = -3*i - 6 - 69. Let r be i/(-30)*1 - 1. Is 1 greater than or equal to r?
True
Let m(p) = -6*p**3 + 6*p**2 - 9*p - 14. Let j(s) = 7*s**3 - 5*s**2 + 9*s + 14. Let v(g) = -5*j(g) - 6*m(g). Let w be v(10). Is 5 not equal to w?
True
Suppose -2 - 4 = -k + b, 0 = 4*k - 3*b - 23. Suppose -3*o = -3*u - 6, 3*o + k*u = 4 + 26. Suppose 2*q + 0*q = -5*g - 20, 5*g = o*q - 20. Is q less than 0?
False
Let r = -16 + 12. Is -22/7 smaller than r?
False
Let c = 1.271 + -1.3. Are c and 1 unequal?
True
Let x = -29 - -26. Suppose 5*r + 15 = -5. Which is smaller: x or r?
r
Let g be 154/2 + (6 - 6). Are g and 77 nonequal?
False
Let s = 1.9 + -2. Let w = s - -0.3. Let h = w + -0.1. Which is greater: h or 0?
h
Suppose -2*y - k = -y - 7, y = k - 1. Suppose 9 = o - 2*r, -3*r - 17 = -8*o + 3*o. Is y at least o?
True
Let u(o) = -o**2 + 9*o - 1. Let k be u(9). Let r = 21/8 - 59/24. Which is greater: r or k?
r
Suppose -2*p + p - 1 = 0. Let q be (-30)/115*2/6. Is p != q?
True
Let h = -40 + 32. Which is greater: h or 2/3?
2/3
Let i = -0.39 - -3.39. Suppose -3*g + 4*g = 0. Is i greater than g?
True
Let i = -13 + 25. Suppose 0 = -l + 4*l - i. Suppose o + l = -o. Is -2 greater than o?
False
Suppose -5*r = 70 - 110. Is r bigger than 7?
True
Suppose 0 = 6*u + u - 21. Suppose -5*c + 21 = -3*c + q, 2*c + 2*q - 26 = 0. Is c greater than or equal to u?
True
Let t = -9 - -14. Let c = t - 4. Which is greater: c or 3/8?
c
Suppose n - 124 = -n. Let m = 66 + -46. Let d be 1*(n/m + -3). Do d and -1 have the same value?
False
Let i = -137 - -122. Are i and -16 equal?
False
Suppose 5*z + 7 = 2. Let g be (3/(-12))/((-6)/(-9)). Is z less than g?
True
Let d = 7002/17 + -412. Let w(q) = -q**3 + 3*q**2 - 2*q - 1. Let a be 1 + (-4 - -1) + 4. Let v be w(a). Is v less than d?
True
Let s(b) = -b**3 - 9*b**2 + b + 9. Let v be s(-9). Do 2/25 and v have the same value?
False
Suppose -3*a - 18 = 4*z - 2*z, -3*z = a + 13. Which is smaller: z or -2?
z
Let n = -11.25 + 0.25. Let s = 9 + n. Let w be 4/8 - 1/(-6). Which is smaller: s or w?
s
Let g = -12.99 + 13. Which is bigger: g or -0.4?
g
Suppose -4*t - 244 = 772. Let n = 50548/199 + t. Let w = -412/1393 + n. Which is greater: w or -1?
w
Suppose 0 = 2*r - 7*r + 10. Suppose v - 1 = -u, u - 5*u