 or d?
d
Let d(b) = -b**3 - 9*b**2 - b - 10. Let h be d(-9). Let m(p) = p + 7. Let g be m(-8). Is g at most h?
True
Let b = -1188.08 - -1188. Is b equal to -11/4?
False
Let k be 5/(20/(-4)) - -3. Suppose -k*p = 4*p - 6. Which is smaller: p or 0.1?
0.1
Let s(d) = 7*d + 13. Let n(y) = 11*y + 19. Let b(t) = 5*n(t) - 8*s(t). Let p be b(-9). Suppose -2*f + 4 - 8 = p. Which is smaller: f or 0?
f
Let p = -6.8 + 1.8. Let v = -0.0503 + -6.9497. Which is smaller: p or v?
v
Let a be 352/(-264) - 515/3. Are a and -1395/8 equal?
False
Suppose v + o - 15 = 5*v, -v - 9 = 5*o. Let s be (0/(16/v))/3. Which is greater: s or 2/15?
2/15
Suppose -13*y + 8*y = -5. Let u be ((-200)/(-60))/(19/3). Is y != u?
True
Let j = 18.4 + 71.6. Let p = j + -94. Is 1.3 <= p?
False
Let g(n) = n**3 + n - 6. Let z be g(0). Let k be 0 - 2/z - (0 - -1). Let c = 1.37 - 1.3. Is c greater than k?
True
Let c be -2 - -16 - (2 - 1). Suppose 3 = 2*m - c. Suppose 0 = -2*j + m, 3*j = -4*l + j + 4. Do 1 and l have different values?
True
Let a(v) = -v**2 - 27*v - 70. Let z be a(-15). Is z <= 113?
True
Let k = 67 + -87. Let j be 70*(3 + k/8). Which is smaller: 34 or j?
34
Let m be 24/(-16)*4/(-6). Suppose 0 = -8*l + 7*l - m. Is -6/7 less than or equal to l?
False
Let o(u) = -15*u + 7. Let x be o(-4). Is 68 smaller than x?
False
Let z = -2380 - -2382. Let v = -2 - -12. Suppose 6*b - 2*b + 3*t = 27, 0 = -2*t + v. Which is smaller: z or b?
z
Let i = 29 - -31. Let d = 60.03 - i. Is d greater than or equal to -2/5?
True
Let o = -39062/53 + 737. Is 0 at least as big as o?
True
Suppose -2*v = 5*p + 22, 5*v + 2*p + p = -17. Let l be v + (1 - (-6)/50). Let c = l - 87/100. Is 0 smaller than c?
False
Suppose -9*z + 296 = 107. Let r be (z/154)/(2/(-12)). Is r greater than or equal to -1?
True
Let y = 418 - 2519/6. Let b(v) = -v**3 - 4*v**2 - v + 3. Let r be b(-3). Which is smaller: y or r?
r
Let c = -54 + 93. Let o = c + -57. Which is greater: o or 1?
1
Let o = 49 + -58. Let n be (3/o + -1)*(-3)/14. Let s = 45 + -30. Is s at least n?
True
Let p = 139 - 143. Let y be -2 + (12/5)/(-3). Which is smaller: p or y?
p
Let u be (1/(-4))/(2/(-132)). Let m = u + -16. Which is smaller: m or 0.13?
0.13
Let h = 39 + -35. Suppose h*o + 21 = -135. Which is bigger: o or -2/3?
-2/3
Suppose -20*s - 551 = -s. Is s bigger than -24?
False
Let i = -52.3 + 52.2. Is 199 less than i?
False
Suppose -17 = -15*z + 16*z. Suppose -80 = -4*b - 4*c - c, 0 = -4*b + c + 56. Suppose 0 = 6*q + 117 - b. Is q smaller than z?
False
Suppose -2*c - 12 = 5*u, 3*u - 2*c + 3 = c. Let v be 3/u*(2 - 0). Suppose 4 = -4*s - 2*o, -2*s = -0*s + 5*o - 6. Which is smaller: v or s?
v
Let t = -2165 - -2195. Which is bigger: -17 or t?
t
Suppose 0 = 3*b - 64*b + 2440. Which is smaller: 43 or b?
b
Suppose 266 = 3*f + 2*v, -5*v = -3*f - 3*v + 274. Is 90 bigger than f?
False
Let u = 57/10 - 1807/310. Which is greater: u or -5?
u
Let m = 4 - 10. Let j be (-15)/3*(m + 1). Let r be j - (3 - -13)/(-4). Is 29 < r?
False
Suppose 3*q = -2*j - 0 - 2, -j = -2*q - 13. Let o(z) = 2*z + 23. Let m be o(-10). Is j >= m?
True
Let i = -480578/41 - -11722. Which is bigger: i or -0.1?
i
Suppose 4*r + 20 = 9*r. Suppose 5*s - 6 - r = 0. Are 6 and s equal?
False
Let g be 384/8*(6/2)/6. Let r be (4/(-20))/(2/g). Are r and -2 nonequal?
True
Let d = -116/3 - -842/21. Let j = -12/7 + d. Do j and 0 have the same value?
False
Let y be (-2 + -2)*(-15)/20. Suppose y*c = c - 14. Let a(x) = x - 1. Let k be a(-5). Which is smaller: c or k?
c
Let m(z) = z**3 - 18*z**2 + z - 17. Let g be m(18). Let y be 0 + 5 + 4237/(-855). Does y = g?
False
Let q(t) = -3*t + 38. Let z be q(12). Let b be 1/(-9)*(z - (4 - -4)). Is 44 bigger than b?
True
Suppose -a = -j - 4, 0 = 2*j + 4*a - 3*a + 11. Let g = -19 - -10. Let q = g - -5. Which is smaller: j or q?
j
Let q(p) = p. Let i be q(-6). Let m be 2/i + (-1975)/(-5775). Is 0 greater than m?
False
Let q = 16 - 13. Let n = 5 - q. Suppose 4*v = -20, 6*g + 5*v = n*g - 41. Is g not equal to -9/2?
True
Suppose 1223*y = 1229*y + 1908. Which is bigger: y or -319?
y
Let t(v) = v**2 + 28*v - 44. Let w be t(-26). Let k = 63 + w. Is -34 > k?
False
Let j = -8 + 12. Suppose j*g - 2 - 10 = 0. Suppose -4*b + 1 = -g. Is b < -2/27?
False
Let l = -638 - -637. Which is smaller: l or -18?
-18
Let k = -281321/59 - -4768. Which is smaller: k or 0?
k
Suppose -23*q = 54*q - 2695. Which is smaller: q or 37?
q
Let g be (-8*4/(-48))/(2/(-84)). Let b = g + 24. Which is greater: -7/2 or b?
-7/2
Suppose -3*u = 17 + 1. Which is bigger: u or -0.9?
-0.9
Let b = -5/676 + 587/10816. Which is smaller: 1 or b?
b
Let q be -3 + (-2 - -3) + 27. Suppose -4*c - q = -j + 21, -184 = -4*j - c. Which is bigger: j or 45?
j
Suppose 5*p + 30 = -0*p. Let h = -18 + 23. Let o = p + h. Which is smaller: -1/3 or o?
o
Suppose 0 = -4*u - 1 + 13. Suppose 0 = q - 0*q + o + u, 3*q + 15 = 3*o. Let a be (-1728)/5460 - q/14. Which is greater: 0 or a?
0
Suppose 14 = -s + 2. Let g be ((-8)/10)/(2/(-40)). Suppose 2*z - g = -42. Which is bigger: s or z?
s
Let k = -2474 - -2230. Is k at most as big as -240?
True
Let u be ((-4)/18)/((-14)/6). Let t be (16/(-48))/((-14)/(-6) - 2). Is t > u?
False
Let m = 39 + -40.5. Let j = 1.6 + m. Is -9 greater than j?
False
Let z be 4/(-7)*21/(-6). Let b be (-14)/(-4) - (-10)/(-30). Is z > b?
False
Let u be (-2)/(-12) + 0 - (-323)/510. Let f = 22 - 15. Let i be f + -5 + (-3 - -1). Which is smaller: i or u?
i
Let g(z) = 3*z**3 - 18*z**2 + 8*z - 16. Let a be g(7). Let j be a/(-44) - (0 - 2 - 2). Let d = -7.13 + 0.13. Which is smaller: j or d?
d
Suppose 0 = 4*x + x - 15. Suppose 0*v = -3*v + 9. Let y be (x + 1)*v/4. Which is greater: 5 or y?
5
Suppose 0 = -12*l - 24 - 204. Which is smaller: l or -1?
l
Let g be 3/12*4 + 3. Which is smaller: g or 2/51?
2/51
Let u = -1.4 + 8.4. Let d = 29 - 14. Let b = u - d. Is b bigger than 1/4?
False
Suppose -24 + 4 = -5*h, 3*z - 280 = -4*h. Suppose 0 = -k - z + 54. Are k and -32 unequal?
True
Let y = 307 - 94. Let n = -121 + y. Let f be n/8 - (-3)/6. Is f <= 12?
True
Let i(p) = -2*p - 3. Let m be i(-8). Suppose -m + 0 = x. Let y be (-3*5/(-15))/x. Which is smaller: -0.3 or y?
-0.3
Suppose 0 = -3*a + 6 - 0. Suppose 0*n - a*n + 96 = 0. Is n > 48?
False
Let f = 254 + -152. Are f and 0.1 unequal?
True
Let n(y) = y**3 + 9*y**2 - 125*y + 17. Let w be n(8). Which is greater: w or 3/2?
w
Suppose -86 = -5*v - 1. Let k = v - -22. Does 40 = k?
False
Let b be 1 + (-2 - 2/(-2)). Suppose b = z + z. Let d = 0.0457 + -16.0457. Is d less than or equal to z?
True
Let u be 2/((-700)/(-306)) - 0. Let m = -13/38 + 173/950. Let k = m + u. Is 1 equal to k?
False
Let g(h) = h**3 + 77*h**2 - 242*h - 165. Let i be g(-80). Which is smaller: 1.53 or i?
i
Let d be (-1 - (-60)/63)*12/(-2). Is d at most -148?
False
Suppose 6*t + 30 = t. Let w be 34/(-8) + 8/32. Is w at least t?
True
Suppose 5*a + 20 = -4*y - 0, -2*y + 12 = -3*a. Suppose 3*l + 4*n + y*n = 26, 18 = 2*l + 2*n. Suppose l = -5*w, w + 3*w = 4*q - 12. Which is bigger: q or 0?
q
Let p be 6 + 9 + -66 + 6. Which is smaller: -48 or p?
-48
Let v be (-150)/210 + 97/175. Which is greater: v or 1?
1
Let j be (-50)/(-8)*10 + (-81 - -87). Which is smaller: j or 68?
68
Let g = -18 - -36. Let u be (-10)/g*(-30)/100. Which is smaller: 2 or u?
u
Let f = -18 - -21. Let n = -5 - -11. Let x = 8 - n. Is f < x?
False
Suppose -4*f + 20 = -8. Is f smaller than 1/3?
False
Let i = -83 - -83.03. Let n = 2 - 1.9. Which is smaller: n or i?
i
Let o = -14 + 18. Let q = -13 + o. Let g = -12 - q. Which is smaller: 0.1 or g?
g
Suppose -74*u + 1468 = -1418. Suppose -5*h + 3*h + 76 = 0. Is u equal to h?
False
Let u be 54/(-15) + (3 - 1). Let a(b) = -58*b - 60. Let y be a(-1). Do u and y have the same value?
False
Let x = 25 - -9. Let t = 34.6 - x. Let q = t - 0.6. Is 10 not equal to q?
True
Let o be 3/((-18)/(-15))*-2. Let s = 2 + -1. Let u be -2*o*s/(-10). Do 1 and u have the same value?
False
Let k be 2 + 6 + -5 - (3 + -1). Let v be 4*-1 + 778/194. Which is bigger: k or v?
k
Let n be (-4)/(4/(-11)) + 1. Let d(s) = -s + n + 0*s + 2*s. Let z be d(-13). Which is greater: z or 1/5?
1/5
Let p = 0.1 + 0.1. Which is smaller: 1 or p?
p
Let p be (2 + 4/(-3))*126. Is 83 <= p?
True
Let c = -5.22 - -100.3. Let v = -95 + c. Is -1/7 greater than v?
False
Suppose 2*f = 3*f + 