). Suppose -5*p - 32 + x = 0. Is p not equal to m?
True
Let w = -35 - -50. Let z be 423/15 - 3/w. Which is smaller: z or 29?
z
Let g(q) = q**3 + 8*q**2 + 5*q + 3. Let l be g(-7). Let s(m) = 3*m + 33. Let v be s(l). Let o be (-2 + -1)*(-8)/v. Do 1 and o have the same value?
False
Suppose 0 = -4*g - 4*t + 16, 4*t - 9 = 3*g - 0*t. Let w(z) = -z - 7 - 10 + 2 + g. Let q be w(-13). Which is greater: -0.03 or q?
-0.03
Let c be (-150)/225*(-123)/(-2). Is c at most as big as -39?
True
Let x = -15 + 16. Let y be x/(5/2 - 3). Which is greater: y or -1?
-1
Let g = 22.99 - -0.01. Let t = g - 13. Which is greater: t or 1?
t
Suppose -5*k = 1216 + 304. Let j be ((-2775)/(-12))/((-6)/(-8)). Let o = j + k. Which is smaller: o or 3?
3
Let t be (9/(-6))/(10/24 + -1). Are -2 and t nonequal?
True
Let d(f) = 3*f. Let n be d(9). Suppose n = 7*w - 4*w. Suppose -4*l + 8 = 0, -3*l = p + l + w. Is p smaller than -17?
False
Let b = -27 + 1. Is -27 at least as big as b?
False
Let j = -9/59 + -1/767. Do 2/5 and j have the same value?
False
Let g = 78 - 77. Which is smaller: g or 20/119?
20/119
Let v = 0.4 + 1.6. Let y = -1.8 + 1. Let t = y + 0.8. Is v equal to t?
False
Let v = 203/10 + -184/5. Let q(g) = -g**3 - 6*g**2 - 9*g - 70. Let w be q(-6). Which is smaller: v or w?
v
Let x = -168193/25 - -6730. Are x and 3 unequal?
True
Suppose s - a = 8, 5*s - 3*s + 5*a + 19 = 0. Suppose 0 = 2*r - 0*b + 5*b, s*r - 3*b = 0. Which is smaller: -4/41 or r?
-4/41
Let h(r) = -3*r**2 - 7*r + 7. Let q be h(-3). Which is smaller: -22 or q?
-22
Let b be 1*(-7 + 14 - 2*-11). Suppose 2*o + 2*y = 3*y + 57, -5*o - 4*y = -149. Are o and b non-equal?
False
Let v(l) = -l**3 + 6*l**2 - l - 25. Let u be v(6). Is -33 > u?
False
Let r(k) = -k**3 + 6*k**2 - 3*k + 7. Let d be r(4). Suppose -100 = -10*u + 180. Are d and u non-equal?
True
Let j = -6.8 - -6.68. Is j at most as big as -0.1?
True
Suppose 16 = -2*d + 4*p, 4*d + p = d - 10. Let g be d/64*1*1/(-2). Is g not equal to -1?
True
Suppose -d = -0*d + 12. Let f be 13*(-1)/(-3 + 4). Does f = d?
False
Let c = -768 + 774. Is c equal to 1/4?
False
Suppose 1610 = 2*w + 942. Is w greater than or equal to 335?
False
Let j be 7 + -4 + -1*3. Suppose -3*r + o - 311 = j, 3*r + 212 = r - 4*o. Let b be (r/(-6))/(2/3). Is b greater than or equal to 27?
False
Let j = 1 - -6. Let l = j - 6.16. Let f = -0.16 - l. Are f and -3 nonequal?
True
Let b = 15.67 + -15.87. Is b not equal to -11/7?
True
Let p = 46.871 + -47. Let a = -0.029 - p. Which is bigger: 17 or a?
17
Let u(p) = 7*p + 9. Let z be u(38). Which is smaller: z or 276?
z
Let p(i) = -6*i + 3. Let y be p(8). Let z = -35 - y. Is 6 at least z?
False
Let t be 1/(-2) + 0 - 6/564. Is -1 less than or equal to t?
True
Let p be 9/(-28) - (-18)/96*4. Let j(t) = t - 1. Let v be j(1). Are v and p unequal?
True
Let s = 395 - 298. Which is smaller: 98 or s?
s
Let h = 0.69 - 166.69. Let v = 162 + h. Let j be -2*(-1 + (-18)/(-16)). Is v smaller than j?
True
Suppose t = m, -4 = m - t - 2*t. Is m at most 17/18?
False
Let b = -9.184 + 9.2. Let c = -15 + 14. Is c bigger than b?
False
Let t(k) = k**2 - 1. Let m(r) = -2*r**2 + r + 5. Let x(u) = m(u) + 3*t(u). Let l be x(2). Let z = -1/68 + 443/68. Which is smaller: z or l?
z
Let h = -25 - 3. Let g = 28 + h. Which is smaller: 0.14 or g?
g
Let m = 267 + -187. Is m != 81?
True
Let q = 18/5045 + 5044838/45405. Let p = q + -111. Is p less than -1?
False
Suppose 26*g - 43*g - 1836 = 0. Which is greater: g or -110?
g
Let z(j) be the first derivative of j**6/360 - j**5/20 - j**4/4 - 5*j**3/3 - 4. Let a(b) be the third derivative of z(b). Let c be a(7). Is c < -2?
False
Suppose 0 = -10*x + 12*x. Let r(s) = -s**3 - s**2 - s. Let p be r(x). Suppose h + 2 = 3*a, p = 3*h - 5*h + 2. Is 1 greater than a?
False
Suppose -4*q = -2*q - 8. Suppose 2*n + b = -4*b, -q*b = -2*n. Let c = 689/7675 - 3/307. Is n at most c?
True
Let k = -24 - -14. Let r(u) = 9*u + 289. Let q be r(-33). Which is bigger: q or k?
q
Suppose 6*h - 13*h - 28 = 0. Let j = -12 - -6. Let f be (j/(-21))/(4/28). Is f greater than h?
True
Let x = -76 + 1217/16. Let y(k) = k**3 + k**2 - 4*k + 33. Let j be y(-4). Which is greater: j or x?
j
Suppose 0 = -967*j + 951*j - 320. Let m(c) = -c**2 - 3*c - 2. Let y be m(-6). Is y at most as big as j?
True
Suppose u - 2*q = -0*u + 284, -2*q - 1154 = -4*u. Which is smaller: 291 or u?
u
Suppose 2*q - 4 - 4 = -2*f, 0 = -3*f + q. Let m = 168 + -3361/20. Is m greater than f?
False
Suppose -5*r = -4*r - 8. Suppose 0 = 3*v - r*v + 10. Suppose -v*c - c = -3. Which is greater: 6/11 or c?
c
Let d be (-8)/(-220)*10/(-18). Suppose -3*s = 660 - 663. Is d at most s?
True
Let a be (-6)/(-4) + 15/10. Let y be ((-68)/(-20) - a)*5. Suppose 2*x = 4*x - 2*i, -y*x + 1 = -i. Is -2 at least x?
False
Suppose 342 = a + 3*t, -4*a + 3*t + 791 = -622. Is 351 less than a?
False
Suppose 4*d - 3*a - 12 = -5*a, -d - 3*a = -3. Let r be (d/4)/(6/(-4)). Which is greater: r or -0.06?
-0.06
Suppose -4*d - 4*c = 15 + 49, 3*c = -d - 22. Let z be (6/18)/(d/(-60)). Let y = -93/52 + z. Which is bigger: y or 1?
1
Let r(v) = -5*v - 3. Let s be r(-4). Suppose 3*f + s = 4*y - 3, -y + f = -6. Suppose -2*g = -5*t - 0*g + 10, 3*g - 35 = -5*t. Which is smaller: t or y?
y
Suppose -5*g = 2*x - 27 + 5, 0 = -3*g - x + 14. Let y be -3 + 1 + g/(-3). Let b = 1 - 3. Is b less than y?
False
Let g = 0.0566 + 2.9434. Is g >= -0.003?
True
Let q = -75 - -80. Suppose 0 = q*f - 0 + 10. Suppose 3*k = -2*k - 10. Is f >= k?
True
Let q = -14.1 + 14. Suppose 6*o + 20*o + 52 = 0. Which is bigger: o or q?
q
Suppose -5*g = 5*y, 3*g + 4 + 8 = 0. Let c be (690/(-34))/(-5) - y. Is 0 less than c?
True
Let f be (-4)/(-16) - (-46)/(-184). Let z be -10*(-4)/(-42) + 1. Is f at most z?
True
Let j = -0.06 - 0.04. Let h = 2917/5369 + -2/413. Which is bigger: h or j?
h
Let b(j) = 5*j + 2. Let p be b(6). Suppose -3*s - 4*h + 39 = -12, 2*s = -2*h + p. Let w = s + -14. Is -3 > w?
False
Let n be 2/4 + 590/4. Suppose 0 = -2*x - p - 35, -x + 3*p - 31 = 8*p. Let v be (-3)/4 + n/x. Which is bigger: -12 or v?
v
Let f = -31 - -21. Let d be (-15)/(-12)*(-18)/f. Is 1 less than or equal to d?
True
Let p be 8/(-6)*((-453)/(-6) + 1). Is -101 at least p?
True
Let c(i) = 3*i - 89. Let n be c(29). Does n = 21?
False
Let b(k) = -k + 10. Let m be b(9). Let g(x) = -x**2 - 5*x + 6. Let r be g(-6). Let z be r - -2 - 45/24. Is m < z?
False
Suppose -3*y + 2*h = 487, 731 = -4*y + h + 80. Is -163 smaller than y?
False
Suppose -34*p - 12*p + 7728 = 0. Is p > 169?
False
Let j be ((-5)/120*-4)/1. Is j > -0.09?
True
Suppose 3*o + 116 = 5*l, -5*l = o - 126 + 18. Let t = -3 - -26. Which is bigger: t or l?
t
Let t(s) = -4*s + 9. Let n be t(2). Let a be ((-33)/12 - (-2 + n)) + 2. Which is smaller: -9 or a?
-9
Let n = -19 + 12. Let o(m) = -m**2 + 8. Let h be o(0). Let y = h + n. Which is greater: -2/5 or y?
y
Let r = 1068 - 108935/102. Which is smaller: 1 or r?
r
Let y = 292 - 306. Which is bigger: y or -15?
y
Let g = -65 - -61. Which is greater: -40/11 or g?
-40/11
Let b = 607222537/68080 - 35677/4. Let j = b - -14732521/204240. Let w = j + -72. Is w at least as big as -1?
True
Let m = 28 - 13. Suppose -3*z = -4*b + 47, -3*b + 4*z + m + 29 = 0. Suppose -70 = -5*s + 5*c, -2*s - 2*c + 8 = -0*s. Is b smaller than s?
True
Let r = 179280/11 - 16248. Which is smaller: r or 49?
49
Let v be (-16)/(-2) + (4 - 3). Suppose -d = -5*t - 107 - 86, v = -3*t. Let l be 33/(-22) - d/(-116). Which is bigger: l or 0?
l
Let x = 7.01 - 7.11. Which is bigger: x or -0.035?
-0.035
Let y be (-3)/(11/4*6). Let j(b) = -7*b**3 - 2*b**2 - 18*b - 16. Let f be j(-1). Is y at most f?
True
Suppose y - 4*u = -20, 8*u - 15 = -4*y + 5*u. Let i(b) = -b - 5. Let x be i(-8). Suppose -2*d = 3*w - 2, y*w + x*w + 4 = 4*d. Are 3 and d unequal?
True
Let y = -563 - -563. Is 23/18 bigger than y?
True
Suppose -63 = 6*v + 87. Let r = 3 - 6. Which is smaller: r or v?
v
Let x = -2.08 - -1.88. Is 19 at most as big as x?
False
Let j = -2138 + 2163. Is j != -9?
True
Let k = 20.44 + -20.44. Which is greater: k or 89/3?
89/3
Let a be (-135)/18*4/(-6). Suppose a*i + 3*m = 4, -4*m = 4*i - 0*m - 8. Let r be 1/(-4)*(2 + 0). Which is smaller: i or r?
i
Let d = 461/12456 + -1/72. Which is smaller: d or 1?
d
Let z(b) = b**2 + 12*b + 8. Let o be z(-11). Let f be 0*(-2)/(12/o).