 a + 4*a, -3*a - 32 = 4*t. Let k(u) = u**3 + 14*u**2 - 34*u - 31. Let y be k(a). Are y and 1 equal?
True
Suppose s - 8 + 6 = 0. Let p be s*-1*24/24. Let j be (p - -8)*(-10)/32. Is j != -1?
True
Let t be (30/(-8))/(429/(-156)). Which is bigger: -1 or t?
t
Let q = 2243 - 2243. Is -6/1531 greater than or equal to q?
False
Let i = -318462/5 - -63300. Which is smaller: -393 or i?
-393
Suppose 3*t - 3*g - 10 = -25, -10 = 5*t - 2*g. Let n = -262/29 + 9. Which is bigger: t or n?
t
Suppose 4*a - 3*a = 4. Let r be (2/a)/(1/(-2)). Let u be 252/(-6) + -1 + 1. Is r greater than u?
True
Suppose 10020 = -66*m + 78*m. Let v be m/1505 + (-1)/(-7). Which is smaller: v or 0?
0
Let v(p) = p**2 + 18*p + 61. Let i be v(-7). Let z be (-189)/17 - 36/(-306). Is z smaller than i?
False
Let d = -2734 - -2077. Is -655 not equal to d?
True
Let h be 4887/(-15204)*(-15)/(-2)*80/(-25). Are -1/37 and h equal?
False
Let l = -515 + 521. Suppose l*h = -16*h - 1034. Is -3 <= h?
False
Let x(u) = -u**3 + 28*u**2 - 300*u - 55. Let r be x(18). Are -2215 and r unequal?
False
Let j be (-304)/88 + 4 - 29754/51282. Is j != 1?
True
Let b = -35 + 58. Let s(r) = -r**2 + 26*r - 69. Let o be s(b). Which is greater: 9 or o?
9
Let l(z) = -2*z**3 + 3*z**2 + 2*z. Let n be l(-1). Let u be (66/14 - n)*7. Suppose -7*j + u = 19. Is -3.9 < j?
True
Let w(j) = -182*j - 775. Let q be w(-10). Which is smaller: 1043 or q?
1043
Let u = 260 - 255. Let y = 1 + -0.978. Let k = y - -4.978. Is u > k?
False
Let g be 32/64*(0 + -2). Do 38/159 and g have different values?
True
Let y be ((-146)/4)/(1/2). Let l be (0 - 0 - 111)/((-21)/(-14)). Let t = l - y. Which is bigger: 1/117 or t?
1/117
Let s be 25/15*-1 - 5/(-3). Suppose s = -13*a - 2 - 11. Which is bigger: -148 or a?
a
Let d = -2 - -1. Let k = 2849 - 2870.904. Let h = -0.096 + k. Is d <= h?
False
Let m = -7103 - -7103. Which is smaller: m or -0.0746?
-0.0746
Let z = 127788743 + -17762745367/139. Let j = -792 - z. Let m(n) = -n**3 + 11*n**2 - n + 11. Let q be m(11). Is j greater than or equal to q?
True
Suppose -8*c - 25 = 15*c - 2. Which is smaller: c or -2/779?
c
Let u = -198 + 196. Suppose 0 = 107*t - 106*t - 11. Which is smaller: u or t?
u
Let i = 34219/16 + -2138. Let c be (30/9)/((-448)/(-54)). Let t = i - c. Is t >= -2?
True
Let c = 796.58 + -788. Let d = c + -8.66. Let v be ((-6)/8)/(4 - 1). Is v greater than d?
False
Let o = -925 + 616. Let x = o - -312. Is 17/8 greater than x?
False
Let u = 1616 + -1634. Let r(k) = k**3 + 8*k**2 + 6*k + 2. Let c be r(-5). Let g = c - 142/3. Is u not equal to g?
True
Let n(c) = -c**2 - 162*c - 4099. Let i be n(-28). Which is greater: i or -348?
i
Let p = -21 - -107. Let c = p + 8. Let g = c - 93.99. Is g equal to -4?
False
Let m = -26437/14916 + -7/452. Let l be ((-43)/22 - -2)*-32. Let z = l - m. Is -47 not equal to z?
True
Suppose -282 + 166 = -5*m - 4*u, 4*u + 64 = 4*m. Suppose 0*w - 4*d = -w + 9, -5*d + 5 = 2*w. Suppose -w*x + 55 = -50. Which is smaller: m or x?
m
Suppose 6*p - 19 = 17. Suppose -126 = m + p*m. Let q = m + 182/11. Which is smaller: q or -2?
-2
Let z be (26015/(-22))/43*52/(-10). Which is greater: z or 144?
144
Let i = -5149.4 + 5150. Is i at least 327?
False
Let f = 359 + -198. Let z be (f/21 - 7) + 5/(-12). Which is greater: 0.81 or z?
0.81
Let b = -1.4 + 0. Let y = 61 - 59. Let t be 54/144*y/(-3). Is t not equal to b?
True
Suppose -134*g = -59*g + 7726 + 674. Which is bigger: g or -97?
-97
Let a(z) = -55*z - 1490. Let o be a(-39). Is 655 <= o?
True
Let y = -4933 + 1546. Is -1 > y?
True
Let n(h) = 38*h**3 + 2*h**2 + 6*h - 3. Let g(f) = 36*f**3 + 2*f**2 + 7*f - 4. Let l(s) = -3*g(s) + 4*n(s). Let u be l(-1). Is u < -89/2?
True
Let k be (((-30)/12)/5)/((-1)/46). Suppose -2*i - i + 5*m = -k, -3*i = -4*m - 19. Are 6/17 and i equal?
False
Let c = 3 - 2.9. Let a be ((-2067)/104*6)/(50/148). Let b = a - -353. Which is greater: c or b?
c
Let m = 3329 + -3402. Suppose -3*k - 4*l = 196, -134 = 2*k - l + 3*l. Is m greater than k?
False
Let p(g) = -354*g + 4. Let y be p(-2). Let z = y + -446. Let f = z - 158. Are 107 and f equal?
False
Suppose -382*l = -464*l - 4920. Do -94 and l have the same value?
False
Let w = -1024 + 2047/2. Which is greater: -231 or w?
w
Suppose q = 4 + 6. Let d(s) = -s**3 + 9*s**2 - 7*s - 6. Let f be d(8). Suppose 0 = -4*m + f*m + 3*i + q, 4*i = -3*m - 19. Is -1/3 at least as big as m?
True
Let q be 0/((-4)/(-6) + 23/69). Suppose q = u - 4*n - 32, 4*u - n + 6*n - 44 = 0. Which is greater: 18 or u?
18
Suppose 0 = -39*r + 35*r - 2*i + 6, i = r. Let u = -9.48 - -10.5. Which is bigger: r or u?
u
Let g be -7 - ((-48)/(-192) - 759/(-216)*-2). Which is smaller: g or 3/446?
g
Let t = -702 + 714. Let h be 3590/598 - t/2. Are h and 0 equal?
False
Suppose 40*a + x - 53 = 36*a, -3*x = -15. Suppose -5*z + 4*b = 7, -13*z + b - 2 = -a*z. Let s be 5/(-4)*2/(-9). Which is bigger: s or z?
z
Let a = -18 + 11. Let r = -1.22 + 157.22. Let o = -156.1 + r. Does a = o?
False
Let z be (-37)/(814/(-215292)) + 9. Is z greater than or equal to 0?
True
Let c = -83 - -159. Let h be -2*(c/(-48) + 3) + 4. Let j be ((1 + 1)/2)/(-4). Is h less than j?
False
Let i(w) = w**2 + 13*w + 42. Let f be i(-5). Suppose f*b + 87 - 57 = 0. Which is bigger: b or 0.2?
0.2
Let l be -4*23/(-4) + -5. Suppose -1 = 4*o - c - 0, -3*c + l = 3*o. Is 1/10 equal to o?
False
Suppose 3402 = 11*a + 16*a. Suppose 43*h = 52*h - a. Which is smaller: 18 or h?
h
Let l(j) = -j**3 - j**2 + j - 18. Let o be 0/(3 + ((-125)/(-5))/(-5)). Let y be l(o). Which is smaller: -0.2 or y?
y
Let n(r) = -r**3 + 8*r**2 + 10*r - 37. Let i be n(22). Which is smaller: -6594 or i?
-6594
Let u = 0.0496 - 5.0496. Let y be -3 + (-51)/15*-2. Let n = y + -47/15. Is n < u?
False
Let i = -6496 - -3424. Which is smaller: -2/5 or i?
i
Let k(q) = -q**3 - 13*q**2 + 29*q. Let s be k(-15). Suppose 4*h + s = -5*u, -41*h = -3*u - 43*h - 11. Which is bigger: -73/12 or u?
-73/12
Let s = -1.59 + 1.6. Let k = 30 + -64. Let a = -33.96 - k. Is a greater than s?
True
Let y = -7 - -15. Let p = -1072.09 - -1072. Is y > p?
True
Let d be (-91)/(-28)*-1*4. Let o be (-2046)/440 - (-2 - d/5). Suppose -18 = 5*n + 2. Which is bigger: n or o?
n
Let o = -4208 - 1928. Let v be 3/(-4)*o/531. Suppose 3*g - 10 = 2*g. Which is smaller: v or g?
v
Let d = -3.9 + 14.9. Let t = 10.8 - d. Is t at least as big as -0.15?
False
Suppose -3238211 = 342*k - 103*k. Is -13549 smaller than k?
False
Let s be (-16)/1*(-3)/6. Let h = 166 - 163. Let r be (-50)/(-15)*(h - 0). Which is smaller: r or s?
s
Let c(i) = -i**3 + 41*i**2 + 37*i + 172. Let d be c(42). Let m = 5242 - 21121/4. Which is smaller: m or d?
m
Let s = -12195.9 - -12196. Which is smaller: -31.71 or s?
-31.71
Let m be 1*-2 - (-15)/((-3105)/(-402)). Suppose -5*s + 4 = -1. Is s smaller than m?
False
Let a = 686 - 1891. Let z = 30129/25 + a. Let c = z - -11/25. Is 3/8 at most as big as c?
True
Let r = -32639 - -58695. Which is bigger: r or 0.1?
r
Suppose s - 330 = 5*x - 0*x, -4*s + x = -1320. Let f be (s/(-42) + 5)/(4/(-14)). Let d be (0 - 172/f)*(-7)/14. Is 8 less than d?
True
Let s be 4*(-3)/9*663/2. Let r = s + 373. Which is bigger: r or -70?
r
Let q = 353 - 353.187. Let b = -1.1509 + 0.1509. Is q > b?
True
Let d(j) = 39*j**2 + 47*j + 7. Let c be d(-1). Which is smaller: c or -3/2468?
c
Suppose 47*d = 10422 - 1962. Which is smaller: d or 159?
159
Suppose -2*a + 2 = 2*c, c + 2 - 3 = 4*a. Suppose -4*u + 15 + 65 = a. Suppose 40*b - 44*b + u = 0. Is b < 5?
False
Let r = 1.294 - 80.394. Let h = r + 82. Let t = h + -1.9. Which is bigger: t or 1/7?
t
Let b be (56/(-6) + 4)*(-10 - -13). Let g = -15 - 7. Which is greater: g or b?
b
Let q(y) = -y**3 - 29*y**2 + 69*y + 1990. Let i be q(-29). Which is bigger: i or -282/25?
i
Let k = 31766 + -31770. Which is bigger: 182/27 or k?
182/27
Let c be (-2*1)/((-11460)/(-1272) - 9). Let h = -212 - c. Is h < -2/99?
False
Suppose 28*k - 1559 - 121 = 0. Suppose -k = 6*x + 156. Is -30 greater than x?
True
Let b be 1/6 + 39/36. Let i = 291 - 151. Let p be i/147 - -3*(-4)/42. Which is greater: b or p?
b
Let q be (296/266)/((-530)/3710). Is q > -7?
False
Let x = -6454/3 - -2151. Let w = 0.09 - 0.89. Let c = -0.2 - w. Which is bigger: c or x?
c
Let x be (-1 - -8) + -47 + 58. Let a be x/(-24)*(-984)/63. Which is bigger: a or 1/4?
a
Let w