). Are n and p unequal?
True
Suppose 4*f - 4 = 3*m - 1, -2*f + 4 = -4*m. Let q = 23198 - 9209604/397. Which is smaller: q or f?
f
Suppose -2*l + 105 + 5 = 0. Let q = -50 + l. Which is greater: 35/6 or q?
35/6
Let i be (1644/10)/(-5*(-10)/375). Suppose -i + 597 = -6*f. Which is bigger: f or 105?
f
Let b = -139 - -138.92. Let q = -1.7 - 0.2. Let k = q - -2.1. Is b at most k?
True
Let v = 11429 - 14155. Which is bigger: v or -0.2?
-0.2
Let u = -17260 - -17259. Is u bigger than 24/607?
False
Let p be 15268/55 + (-8)/2. Let x = -27357/100 + p. Which is smaller: 0 or x?
0
Let h = -55784/3 - -18832. Let m = 237 - h. Is m at least as big as 4/43?
False
Suppose 2*w + w - 2*n = 31, 3*n + 15 = 0. Let a(h) = 20*h - 133. Let u be a(w). Suppose -15 = d + 2*o + 3*o, 0 = -3*d - 2*o + 20. Is u not equal to d?
True
Let c = 125 - -11. Let l = c + -116. Which is smaller: l or 17?
17
Let v = 35433/10 - 3551. Which is smaller: -8 or v?
-8
Let a be 2/(-7)*1 + 292932/1659. Let u = a + -176. Which is greater: 51/8 or u?
51/8
Suppose j - 6*j - 25 = 0, -2*n = j + 1. Let k be (-64)/112 + 256/7. Let z be k/(-4) - (n - (1 + -2)). Is z smaller than -23/2?
True
Let j = -303053 - -303012. Let o be -1 - 1 - -1*5. Is o less than j?
False
Let a(k) = 2*k**2 + 13*k + 15. Let m be a(21). Let g = m - 16367/14. Let x = g + -3/7. Is x not equal to 2?
True
Let r = 0 + -0.1. Let h = -100.8 - -117. Let z = h - 15.8. Is z at least r?
True
Let s = -5744 - -2180. Let j = 14325/4 + s. Which is smaller: 17 or j?
17
Let b be 4 + 1 + (-81604)/16320. Let d = -24989/4080 + b. Which is greater: d or -7?
d
Let c = -47 + 97. Let y = c - 199/4. Which is greater: 67 or y?
67
Let d(r) = r**2 + 2*r. Let k be d(-2). Let y = -762399/23 - -33148. Which is bigger: k or y?
y
Suppose k - 16 = 2*k - 4*s, 8 = -3*k + 2*s. Which is greater: k or 3/9247?
3/9247
Let k be ((-10)/120 - (-7)/(-60))*-30. Is 32/7 equal to k?
False
Let d = -30574/7 + 4354. Which is greater: d or 2?
2
Let z(d) = -18*d - 113. Let y(o) = 9*o + 57. Let x(p) = 7*y(p) + 4*z(p). Let k be x(-9). Let h be ((-35)/k*1)/((-2)/(-48)). Is h > -30?
False
Suppose 4*q = z - 190, 0*q - q - 57 = -5*z. Let h = q + 50. Suppose -h*c = -2*t - 13, 5*t + c + 39 = -19. Which is smaller: -12 or t?
-12
Suppose 919*d - 930*d = -8404. Which is greater: d or -4?
d
Let i = -20868 - -20869. Is -12405 at most i?
True
Let b(t) = 0 - t + 6 - 3*t + 3*t. Let a be b(5). Let c = 1191/869 + -6/869. Is c smaller than a?
False
Let y = 140 - 96. Suppose y = -4*u + 4*d, -u + 4*d = -0*d + 17. Suppose 2*f + 3 = 3*f - 2*b, -5*f - 40 = b. Which is bigger: u or f?
f
Let l = -297.837 + 298. Let f = l - 0.153. Which is greater: 1 or f?
1
Let r = 523 + -926. Let s = 378 + r. Which is bigger: s or 3?
3
Suppose 26 = 3*c - 5*c. Suppose 0*w - 5*p = 4*w - 56, -20 = 5*p. Let a = w - 29. Is c <= a?
True
Let b = 3215893/9 - 360379. Let d = b - -3054. Which is greater: -5 or d?
d
Let v(w) = -28*w - 22*w - 18 + 53*w. Let r be v(5). Suppose x - 6*x = -3*l + 16, -4*l + 4*x = -16. Are l and r non-equal?
True
Let w = 353668/33852895 + -1/157090. Is -1 <= w?
True
Let a = -56 + 55.943. Let v = 0.943 - a. Which is smaller: v or 10?
v
Let m be 2/(-4) - 1227/14. Let i = m - -89. Let v = -99659 - -99659. Which is smaller: i or v?
v
Suppose 4*a = 4*b + 4, -5*a - 4*b + 0 = -14. Suppose -2*x = a*v - 4, x + 5*v + 1 = 7. Let t be 1146/(-1134) - -1 - (x - 1). Is t at most as big as -1?
False
Let p = -774 + 776. Is p at least as big as 7/46?
True
Let y(u) = -118*u + 30 - u**3 - 6 - 14 + 26*u**2 - 13 - 27. Let s be y(21). Is s equal to 1/2?
False
Let j = 371 - -299. Suppose j = 3*o - 20. Which is smaller: o or 231?
o
Suppose 38 = -2*h + h - 5*j, -h - 66 = -2*j. Suppose 7*x + 276 = -375. Let p = x - -36. Which is smaller: p or h?
h
Suppose -3*q = 3, 2*u + 355 = -4*q - 581. Let l be u/(-6) - 1/(-18)*-12. Which is greater: 76 or l?
l
Let l be (96/(-18))/16 + (-28)/(-138). Suppose -5*f = 2*w - 41, -4*w = -2*f - 12 - 10. Suppose 0 = 3*q + 2*m + 3*m + 7, 2*q - 3*m = w. Is q < l?
False
Let q = -0.01118 - 51.98882. Is q smaller than -1?
True
Let b = 105719/2310896 + -20/439. Is b >= -1?
True
Let j(u) = -u**2 - 350*u - 4382. Let m be j(-13). Do 4/6855 and m have the same value?
False
Let b be ((-1232)/224)/((-21)/(-18) - 1). Which is smaller: -68 or b?
-68
Let f be -2*-9*(-6)/(-12). Let j = f + 9. Let z = -22 - -41. Is j <= z?
True
Let s be 1/(0 + 2/(-146)). Let p(c) = 4*c**2 - 5*c - 14. Let w be p(-8). Suppose 4*v - 2*h + w = 0, 5*v - 5*h = -301 - 39. Is v at least as big as s?
True
Let i be ((-240)/(-1100))/(2/(-30)). Suppose -2*s + 7*s = -p - 13, 4*s + 20 = -4*p. Which is bigger: s or i?
s
Let v = 873.9 + -951.9. Is v at most as big as -2/35?
True
Suppose -2*x = 5*c + 2*x + 177, -3*x + 6 = 0. Let f = 33 + c. Let t = 4 + f. Which is bigger: t or -0.31?
t
Let r = 106961/68075 + 2/9725. Is -0.58 >= r?
False
Let z be ((-3)/9)/((-2)/(-96)). Let t = -2/4011 - 641738/44121. Is t greater than z?
True
Suppose 445 + 599 = 12*p. Let g be (-145)/p*(7/2 + -2). Is 3/17 > g?
True
Suppose 4*u = -2*n - 2730, 4*n = 2*u - 5*u - 2055. Let a = u + 567. Which is greater: -113 or a?
-113
Let s be (42/7 + -3)/(15/(-2480)). Let t = s - -497. Are -1/224 and t equal?
False
Let r = -19.62 + 19.72. Let b = -26.2 - -204.2. Is b less than r?
False
Let f be (2 + 14)/(-4) - -4. Let q be 6033*(3/(-29) + f). Let d = q - -624. Which is bigger: 1 or d?
1
Let n be 3300/23394 - (-30)/(-210). Which is bigger: n or -1?
n
Let v = -9706 + 9694. Does 0.323 = v?
False
Let i = -109691.1 + 109691. Let c = 62.9937 - 63. Which is smaller: i or c?
i
Suppose -15483 = -4*c - 5*v, 2*c + 2*v + 2356 = 10100. Is c greater than or equal to 3876?
True
Suppose -22188 = 36*b + 17988. Which is greater: 9 or b?
9
Suppose 18*i = 789 - 15. Let h = 50356/5 + -10028. Which is smaller: h or i?
i
Let i = -1.38 + 1.38. Let a = i + -17. Let c = a - -16.97. Which is bigger: c or 2?
2
Suppose 0 = -8*m + 21*m - 32*m - 135*m. Which is smaller: -2/1473 or m?
-2/1473
Let r = -195.0079 + 0.3079. Which is bigger: 2/11 or r?
2/11
Let z = 5121/172 - 119/4. Let i be 2/4 + 294/12. Let n = -26 + i. Which is bigger: n or z?
z
Let d = 491/1320 - -1/330. Let y = 92 + -90. Suppose -6*o - 4 = -y*o. Is d equal to o?
False
Let c be 2*2/(-1160)*4. Which is greater: c or -1?
c
Let d = -2527945 - -745741016/295. Let k = 9/59 + d. Let f = 588/65 + k. Which is smaller: 1 or f?
f
Suppose -z = 3*x - 2 - 1, 2*z = -x + 6. Suppose 2*m = 5*g - 150, -117 = -4*g + z*m - 2*m. Suppose 3*h = 4*b - 91, 11*b + 5*h - 175 = 6*b. Is g greater than b?
False
Suppose 2*j = 4*c + 281 - 39, -178 = 3*c + 2*j. Which is smaller: c or -53?
c
Suppose -3 = -p - z, 4*p - 7 = 3*z + 33. Let d = 23 - p. Does 33/2 = d?
False
Let o = -607.5449 + 607.5. Is o greater than 2/7?
False
Let g = -4759.8 + 4764. Which is smaller: g or 0.05?
0.05
Let b = 245 - 191. Suppose 3*z - 5*x = -50, b = -5*z - 2*x + 3*x. Which is bigger: -2 or z?
-2
Let y = -2915 - -2960. Suppose -45 = 6*q - 7*q. Is y < q?
False
Let w(t) = 188*t + 357. Let h be w(-2). Which is smaller: 3 or h?
h
Let n(d) = d**3 + 23*d**2 - 8*d + 47. Let k be n(-23). Suppose -39 + 0 = -a + 3*c, -5*a - 3*c = -k. Which is bigger: 44 or a?
a
Let a be ((-6)/(-15))/(-5 + -1 - 5). Let r(w) = w**2 + 6*w + 2. Let h be r(-6). Let t be 0/((1 + 1)/h). Which is greater: a or t?
t
Suppose 0 = -3*k + 7*o - 12*o + 17374, -5*k + 28895 = -4*o. Is k not equal to 5784?
True
Let i = -1.462 - -476.662. Let z = i + -475. Is z at least 59?
False
Let x = -3051 - -186103/61. Let d = -368 + 369. Is x at most as big as d?
True
Let s(w) = -43*w**2 + 6*w + 9. Let g be s(-2). Let a be 495/860 - (-6 - g/28). Is a smaller than 0?
False
Let l be (1 + 1)*(-135)/18. Let f(x) = x + 15. Let d be f(l). Suppose -9*a + 14*a = d. Do a and 5/6 have different values?
True
Let d be 4/(-174)*(15/2)/(-5). Let u(j) = -j**3 + 7*j**2 + j - 5. Let c be u(7). Suppose 3*o = o - c. Is o != d?
True
Let l = 8920 - 8474. Which is bigger: l or 442?
l
Suppose 10*k - 5*o + 626 - 10006 = 0, 5*k = -3*o + 4690. Which is smaller: 937 or k?
937
Let v be (-15)/30*28 - 3195. Which is bigger: v or -3210?
v
Let u(m) = 30*m - 989. Let i be u(33). Let c = -443.18 - -461. Let o = 18 - c. Is i bigger than o?
True
Let b = 1327 + -1326. Is b at most as big as 8/583?
Fa