x
Let z be -7*(3176/(-168) + 19). Are -387 and z unequal?
True
Suppose -2*r + r - 126 = 0. Suppose 0 = -32*m + 14*m - 0*m - 21*m. Is m less than r?
False
Suppose -33*w = -39*w - 6. Let h = -992/3349 + 12/197. Which is smaller: h or w?
w
Let x = -2607835/21 - -124143. Which is smaller: -41 or x?
-41
Let k be ((-1)/(-1))/(-2 + 3). Let g = k - 5. Let v be 1 + g - ((-15)/6 - -1). Is -3 at least as big as v?
False
Let u = 39.9 + -383.9. Let i = 369 + u. Which is greater: i or -0.3?
i
Suppose -105 = -3*l + 5*v, 0 = 4*l - 4*v + 3*v - 140. Suppose 5*z = -x - l, -7*x - 65 = -2*x + 3*z. Does -7 = x?
False
Let q = -12 - -17. Suppose -4*y + 3*j - 9 = 0, -q*y + 2*j + 1 - 7 = 0. Let w be 0 + -4*2/54. Which is smaller: w or y?
w
Let h = -419 - -4185. Which is greater: 3767 or h?
3767
Suppose -23 = u - 5*g, 0*g = -2*u - 5*g + 29. Let i be u*30/(-25)*(-6900)/(-9). Let a be (i/(-465))/8 - 3/9. Is 0 not equal to a?
True
Suppose 5*f + 2 = -3. Let c be (4 - 3)*-10 - 0. Let t be 76/(-126) + c/35. Is t less than or equal to f?
False
Let c = -5125 - -15373/3. Which is smaller: 0.907 or c?
c
Let m = 307/3535 - 2/35. Let k = -158/1919 + m. Let n = -1.149 - -1.449. Which is smaller: k or n?
k
Let w = 17285 + -17433. Is w at least as big as -1910/13?
False
Suppose -302 = -3*k + 3*c - 5, 2*k - 3*c = 202. Is k smaller than -12?
False
Let m be 17620/6*(-2937)/(-4895). Which is bigger: 1763 or m?
1763
Let b(h) = -2*h**2 + 2*h - 5653. Let p be b(0). Let c = -1238009/219 - p. Which is smaller: 0 or c?
c
Suppose -3*x - 3 = -0*x. Let l = 11850746/347 + -34152. Is l at most as big as x?
False
Suppose 0 = -4*t + 24, 4*l + 21*t - 32830 = 16*t. Is l equal to 8199?
False
Let h be (-2988)/(-126) - (-48 + 72). Let t be (3 + -1)/2*0. Let c(a) = -a + 63. Let q be c(t). Which is smaller: q or h?
h
Let s = -14/15621 - -16543283/718566. Let w = s + -12/23. Let g = 22 - w. Is 0.6 bigger than g?
True
Let s(z) = -3*z - 25. Let w be s(-8). Let q be 14/(-21)*15*-1. Let x be (3/q)/((-35)/25). Are x and w non-equal?
True
Let y be 8*(0 - (-1)/2). Let z be ((-2)/y)/(1/(-10)). Suppose 8 = -3*r + 4*t - 38, -z*r - 3*t - 125 = 0. Is r at most -23?
False
Let y = -111 + 113. Let k be ((-15)/10)/(6/(-16)). Suppose -2 = -k*w + 3*w. Is w at least y?
True
Let g(f) = 177*f - 1064. Let u be g(6). Are 13 and u nonequal?
True
Suppose 0*x + 2 = -2*x. Let o(t) = -2*t**2 + 14*t + 20. Let n be o(13). Let i be 2*2 - (-595)/n. Which is smaller: x or i?
x
Let w = 12919 - 9836. Which is smaller: 2 or w?
2
Let p = 0.7 + 0.3. Let d = -35.558 - 131.442. Is d less than or equal to p?
True
Let d be 4/(-30) + (-3 - 3968/(-60)). Let k = -62 - -126. Which is smaller: d or k?
d
Let m = -0.13 - -0.03. Let t(f) = 3*f + 29. Suppose -10 = -2*v - 26. Let i be t(v). Which is smaller: m or i?
m
Let d = -1254 - -710. Let k be (-12)/d*4/18*3. Is 1 at least k?
True
Let y = -3.061 + 0.061. Is y at most as big as -1927?
False
Suppose 0 = -o + 5*w + 26, -o + 128 = 2*o - 5*w. Let h = -57 + o. Let i be 2/(h/(-2) + -6). Which is smaller: -1 or i?
-1
Let q(n) = 6*n + 23. Let f be q(4). Let y = f - 44. Let r be y + (-22)/6 - (-246)/45. Which is bigger: 6 or r?
6
Suppose -2*i + f + 15 = 0, 0 = 3*i - 2*f - 1 - 23. Let h be (i/12)/((-2)/(-12)) - -2. Suppose 5*m - 4*w + 72 = 3*m, 0 = 2*m + h*w + 117. Is -46 less than m?
False
Let j = -933 - -1325. Let r be ((-2)/(-8) - 2)/((-7)/10976*7). Is r > j?
False
Let b = 26/50821 - -580375586/457389. Which is bigger: b or 1270?
1270
Suppose 232 = 15*l - 11*l. Suppose -6*w - l - 188 = 0. Which is smaller: w or -45?
-45
Let w be (-22)/308*16/356. Which is smaller: w or -0.2?
-0.2
Let h be -1*(4/(32/(-14)))/(5/(-100)). Which is smaller: -669/19 or h?
-669/19
Let i = -83730262/2641 - -31704. Which is greater: -1 or i?
i
Suppose 38*v + 252 = 52*v. Let b be (-146)/16 - (-13)/104. Let r be v/8*(24/b + 2). Which is smaller: -0.1 or r?
r
Let v(w) be the second derivative of 3*w**3 + 19*w**2 - 125*w. Let p be v(15). Which is smaller: 307 or p?
307
Let r be (-12)/(-9)*45/2625*-10. Let p(y) = -y**2 + 9*y - 1. Let b be p(9). Is b < r?
True
Suppose 5 = 7*c - 12*c. Let z be (0/(6/2))/c. Suppose 0 = 2*p - h - 14 + 47, -3*p - 5*h - 56 = z. Are -16 and p equal?
False
Let w = 27 - 16. Suppose 16*m + 7*m - 706 = -269. Is w smaller than m?
True
Let j = 44 + -6. Suppose -19*q = -5*q - 2730. Let n = q - 156. Which is smaller: n or j?
j
Let q be (152/12)/(4/(-18)). Let l = 8925441/40 - 223193. Let x = l - q. Which is greater: -1 or x?
x
Suppose -5*a + 70 = g, -5*g + 7*a = 6*a - 246. Suppose 4*n = 5*n - m - 14, 3*n - 5*m - g = 0. Is 102/11 > n?
False
Let i(d) = -2*d - 16. Let v be i(-6). Let z be (-66)/v*20/3. Let o = -149 + z. Is -39 < o?
False
Suppose -196 - 554 = 6*q. Let v = -126 - q. Which is bigger: v or -3/55?
-3/55
Suppose 0 = -80*i - 25603 + 1923. Which is smaller: -297 or i?
-297
Let z(j) = -6*j - 16. Let m be 6 + 105/(-18) - 22/(-12). Let u be z(m). Is u <= -26?
True
Let t = 9313 - 9312. Is t equal to -20/393?
False
Let w = 1137 - 652. Let r = w - 627. Which is smaller: r or -140?
r
Suppose 5*z - 4*v - 62 - 268 = 0, -3*z + 176 = 2*v. Let x = z + -165. Which is bigger: x or 1?
1
Let q = -8451 - -8680. Is -1.3 <= q?
True
Let u(i) = -19*i - 169. Let y be ((-5)/40*-4)/(4/(-72)). Let j be u(y). Which is smaller: 13/6 or j?
j
Let b = 292/91 + -38/13. Let g = -313 - -958/3. Is g <= b?
False
Let l = 3/3437 + 653003/30933. Which is smaller: 20 or l?
20
Suppose -37*y + 36*y = -115. Let d = 813/7 - y. Let q be (-1)/(-2)*(1 - -1). Which is bigger: d or q?
d
Let x = -189.127 - -0.127. Let m = -3627 + 3626.9. Which is greater: m or x?
m
Suppose 0*g = 3*g - 4*m - 8, -g - 1 = -5*m. Let f be (-6)/(-18)*(g + -19). Let o be (-1)/1 - 36/(-8). Is o at most f?
False
Let z(b) = -31*b - 130. Let r be z(-4). Let p be r/(-36) - (-2 + 430/(-12)). Is p at most 39?
True
Let z = -2223 + 2060. Which is bigger: z or 0.2?
0.2
Suppose 2*s + 52 = 4*s. Let w = 1643 + -1613. Is s greater than w?
False
Let c = -313 + 312.9964. Let g = c - 0.0964. Let t be 9/63 + (-58)/112. Is g less than or equal to t?
False
Suppose 185*a = 27*a. Suppose 4*u + 4*h = 60, u + 3 = h + 4*h. Let d be 1/8 - 2/u. Is d equal to a?
False
Suppose -4*q + 12 = 0, -5*n + 0*n - 3*q + 184 = 0. Let i(u) = u**3 - 36*u**2 + 35*u - 28. Let p be i(n). Is p != -27?
True
Suppose -2 - 18 = -5*f. Suppose -f*r + 0*p = -3*p + 15, 0 = -r + p - 4. Let j be (r*3/9)/(-1). Which is greater: 3/7 or j?
j
Let l be (800/(-210) - -4)*(-18)/(-12). Which is smaller: -142 or l?
-142
Let d = -0.5 + 0.2. Let s = d - 5.7. Let g = 375/17 - 22. Which is greater: s or g?
g
Let w = -22.5248 + 21.7348. Suppose -38 = 5*h - 13. Is w greater than or equal to h?
True
Suppose -5*g = 25*g - 41880. Suppose -5*z + 2*z + g = -5*a, -2*z = -2*a - 556. Which is smaller: a or -282?
-282
Let t = -22.4 - -22.7. Are t and -6.06 nonequal?
True
Suppose 5*c + 676 = -h, 2*c = -h - 739 + 54. Is -1 greater than h?
True
Suppose -2*k = 2*l - 14, -4*l + 8*l = -5*k + 31. Let t = l + 14. Let i be (((-12)/9)/(-2))/((-24)/t). Which is bigger: 10 or i?
10
Let k = 480 + -483. Let u be (k + (-203)/(-70))/((-6)/(-35)). Which is smaller: u or -2?
-2
Let n be 7/3 + (-266)/(-21)*-23. Do n and -282 have different values?
True
Let k = 150 + -149. Suppose 0 = m + 8 - 11. Suppose 0 = 3*r - 9 + m. Is r >= k?
True
Let g = 1.42 - 1.02. Let v = -43 - -42.6. Let r = v + g. Is -16 != r?
True
Let m = 4365 + -4367. Do m and -1368 have different values?
True
Let u = 19202 - 19094. Does 111 = u?
False
Let y be (666/(-4))/((-45)/60). Let n be 3/(-12) - y/8. Suppose -9*s = -s + 216. Is s < n?
False
Suppose 7*z - 3101 = 2121. Suppose p - 741 = -z. Is -2/13 >= p?
True
Let b = -45.639 + 45.439. Let g = 0.02 + 0. Let r = 0.05 - g. Is r > b?
True
Suppose -424 = -2*k - 5*i, 3*k - 4*i = -6*i + 636. Let o be 53/k - (-82)/(-392). Is -3 <= o?
True
Let g(k) = 4*k**2 - k**3 + 4*k**2 + 21 + 0*k - k + 8*k. Let a be g(9). Suppose -a*q + 3*v - 86 = 4, 4*q - 2*v = -126. Do q and -32 have different values?
True
Let p be 92572/20 + 9 + 9/(-15). Let j = 13727/3 - p. Which is greater: -60 or j?
-60
Let g = -1 + 0. Let y = -2/851449 + -851065/163478208. Is g bigger than y?
False
Suppose -2*i - 3*p + 12 = -5*i, -i + 21 = 4*p. Which is bigger: 1/9026 or i?
i
Let f(s) = s - 6. Suppose 26*l + 168