(-2 + 4)/((-1)/(-18)). Let o(y) = y**2 - 116*y + 1096. Let c be o(10). Is c greater than s?
False
Suppose -13*i - 125 = 5*t - 14*i, 2*i - 125 = 5*t. Which is bigger: -29 or t?
t
Let j = -332 - -328.17. Let z = j - -2.83. Is z equal to -47?
False
Suppose -172*j - 43*j - 7955 = 0. Let w be 0 + 0 - (38 + 1). Is w at most as big as j?
True
Suppose 0 = 12*t + 131 + 313. Let c be (1/3)/(2/18). Suppose 4*n - 3*p = -157, c = p - 0*p. Does n = t?
True
Let o be ((-32)/(-6))/((-88)/(-132)). Suppose -o*u + 615 + 841 = 0. Is u less than 183?
True
Let y = 175.99 + 748.01. Which is greater: y or 0.4?
y
Let t(a) = 2*a**2 - 6*a + 2. Suppose -699 = -2*y - 693. Let z be t(y). Which is greater: 5 or z?
5
Let f = -688/217 + 309464/90489. Which is smaller: -1 or f?
-1
Suppose 0*v + 2*i + 96 = v, -4*v + 2*i = -402. Let a = -102 + v. Which is greater: a or 3/4?
3/4
Suppose 12*q + 251 - 839 = 0. Let p(z) = z**3 + z**2 - z + 51. Let v be p(0). Is q not equal to v?
True
Suppose 5*g - 13 = -3. Suppose -4*d - 12 - 6 = -l, -l - d - 2 = 0. Suppose g*v = 2*k + 52, 3*k - k + 44 = -l*v. Which is bigger: -2 or k?
-2
Let t(q) = -q + 49. Let z be t(11). Let a be ((-18)/22 - -1)/(z/76). Suppose 0 = x - 3*x. Which is greater: a or x?
a
Let b = 242723/1691 - 521/89. Is b <= 139?
True
Let t = -51.5 - -2.2. Do t and 11 have different values?
True
Suppose -d + x = -4*x, 2*d + 3*x = 0. Let l be (-16)/((-16)/3) + 1 + d. Which is smaller: -6 or l?
-6
Let a(h) = h**2 + 9*h + 9. Let l(x) be the first derivative of x**3/3 + 3*x**2/2 - 8*x - 6. Let t be l(0). Let r be a(t). Is 2/15 at least as big as r?
False
Let j = -58.924 - -62.2. Let a = j + -0.276. Which is greater: a or 5?
5
Suppose 4*z + c = -5, 4 + 21 = -5*c. Let u be z*(-2)/(-4) + -22. Let i be (15/1 + -1)/(293/((-21975)/50)). Is u not equal to i?
True
Let v be (5 - (4 + 5)) + (-220)/13296*-242. Is 0 > v?
False
Let o = -8459 + 4536. Which is smaller: o or -3925?
-3925
Suppose -25*b - 137 = -29*b + 99. Let s(o) = o**3 + 8*o**2 + 3*o - 2. Let m be s(-5). Is m > b?
False
Let l = 1705.9 + -1075. Let i = l - 631. Is -20/13 bigger than i?
False
Suppose 0 = -23*b - 22 + 137. Let n(g) = 11*g - 26. Let w be n(b). Which is greater: w or 28?
w
Let t(g) = -31*g + 20*g + 37 + 4. Let p be t(4). Which is smaller: p or -2?
p
Let i be 190/(-87666)*15/(-100). Does i = 0?
False
Suppose -27*g + 683238 = -90*g - 136266. Is g less than or equal to -13009?
False
Let b be (-2 + 2 + -1)*0. Suppose 57*q - 54*q = b. Suppose 2*f - f + 13 = q. Is f != -12?
True
Suppose -h + 1 = 11. Let v(b) = b**3 + 9*b**2 - 8*b + 24. Let u be v(h). Suppose -3*f = -u*q - 2*f + 88, 3*q + 5*f - 43 = 0. Is 21 equal to q?
True
Let p = 45 - 30. Let j = 428 - 252. Let t be (44/j)/((-3)/4). Which is smaller: t or p?
t
Suppose 2*s - 3 = -s. Let m = 252379510724/10179 + -24794136. Let p = -1/351 + m. Is s less than or equal to p?
False
Let w(t) = -4*t**2 + 2*t + 2. Let q be w(1). Which is smaller: q or 126/107?
q
Suppose 0 = -3*b + 10*b - 133. Let d be b/(0 + (35/10)/(-7)). Which is greater: d or -116/3?
d
Let i be (-1)/(-2) - (-759)/(-638). Let h(v) = 8*v + 102. Let r be h(-13). Which is bigger: i or r?
i
Let r = 8 + -10. Let n be r/9*6*(-3)/2. Suppose -o = -q - 5*o + n, q = -2*o. Are 12 and q unequal?
True
Let d(b) = 9*b**2 - 206*b - 462. Let y be d(25). Is 261/20 at most y?
False
Let p = -31494 + 1133777/36. Which is bigger: 49 or p?
49
Let r(q) = 39*q - 104. Let k be (-5)/2 + 9 + 56/(-16). Let d be r(k). Which is bigger: d or 9?
d
Let d be (35/30*-4)/((-15)/(-2385)). Do -744 and d have different values?
True
Suppose -w - 425 = -2*o + 2*w, 4*o + 3*w - 841 = 0. Let d = 167 - o. Does -38 = d?
False
Let y be (1/(-2))/(4 - 3). Let z(k) = -k**2 - 6*k - 6. Let q be z(-4). Let s(c) = -c**2 + c. Let x be s(q). Which is smaller: x or y?
x
Let l be 0 - -5 - (49/(-49) + 2 + 4). Which is smaller: l or 3/11872?
l
Suppose 0 = 12*c - 22*c + 600. Let t = c + -59. Which is bigger: t or -2/213?
t
Let z = -4 + 2. Let h = z + 2.1. Suppose -63*r + 7089 = 9168. Which is bigger: h or r?
h
Let u be (1 + 255/(-44))/9. Let l = u - 1/44. Let h = -16077 + 16077.1. Is h at most as big as l?
False
Suppose -2*b = -c - 20171, b - 6*c = 7712 + 2346. Is b smaller than 10088?
False
Let p = -3445 + 24038. Is 20593 smaller than p?
False
Suppose -36*a + 632 = -1420. Suppose 2*z + 2*z = -224. Let f = a + z. Is 5/12 equal to f?
False
Let h = -304 + 312. Suppose h*u - 31*u + 2369 = 0. Which is greater: 104 or u?
104
Let z be (-15)/90 - (4847/6 - -5). Is -812 smaller than z?
False
Let d = 5247 - 1083. Let t = -1020178/245 + d. Let w = 0.06 + -0.16. Are w and t nonequal?
True
Suppose 2*z - 14 = -4*h, 0 = 3*h - 2*h + z - 5. Suppose -4*u = h - 10. Suppose 4*w = 8, -u*w = 4*c + w - 214. Is c at most as big as 53?
True
Let z = 2695 - 2596. Let i = -0.9 - -1.9. Which is smaller: z or i?
i
Let v = -41230 + 41228. Is v smaller than 3/8008?
True
Let x = -679752 + 6126418/9. Let t = x - 956. Is t at most as big as 6?
True
Suppose c + 2*n = -26 - 61, 318 = -4*c - 2*n. Which is bigger: -605/8 or c?
-605/8
Let p be -143*((-126)/(-6))/231. Which is greater: p or 0.512?
0.512
Suppose -3*v - 5 = -8*v. Let b = -2/35847 - 107507/609399. Is b equal to v?
False
Let v = -18.032 + 0.032. Let k = 7.3 + 0.7. Let l = v - k. Which is bigger: 1 or l?
1
Let n be (-1 + 45/2)/(26/52). Let z be n/35 - (-3)/15. Suppose 0*u = -6*u + 12. Is u bigger than z?
True
Let z(u) be the second derivative of u**3/6 + 3*u**2/2 - 23*u. Let s be z(-9). Let d(r) = 2*r**2 + 8*r - 7. Let w be d(s). Is 17 > w?
False
Let y be (481191/7)/(6498/(-76)). Let u = 804 + y. Which is greater: u or 1?
1
Let p = -51073/8 + 6384. Is 74 > p?
True
Let d be (42201 + 3)*(-55)/(-220). Which is smaller: 10549 or d?
10549
Let g = 25907/22 - 1181. Let m = 43319/12694 + g. Is 1 smaller than m?
False
Suppose 2*j = 4*g - 16, 5*j - 5*g = -0*g - 20. Suppose j = -4*k - 3*k. Let o be (10 - 12)/(2 - k). Which is bigger: o or -2/59?
-2/59
Let y = 13201 + -13307. Is y != -117?
True
Let m = -107746/310415021 + 4/37171. Which is greater: 1 or m?
1
Suppose 4848 = 30*b - 14*b. Let m = -315 + b. Let z(r) = -2*r - 1. Let j be z(5). Which is greater: m or j?
j
Let f = -6314 + 6313.2. Is 91 >= f?
True
Suppose 5*x + 75 = -2*z, 3*x + 150 - 57 = -2*z. Is z >= -3?
False
Let z be (38/(-6) - 910/(-210)) + (-520)/(-353). Which is greater: 0 or z?
0
Let y = 94320 - 374419/4. Let a = -715 + y. Is 33.9 at least a?
True
Let v = 1.5978 + 0.4022. Let i = -1.98 - -2. Let c = 0 - i. Which is smaller: v or c?
c
Suppose 0 = 47*r + 2569 + 2789. Which is greater: r or -107?
-107
Let w = 4188 - 4169.815. Let a = w + -0.185. Is 0.6 >= a?
False
Let n be 3*(16/(-16))/((-255)/70). Is n at most as big as 1?
True
Let t = -55675 + 171571/3. Let m = -1534 + t. Which is bigger: -18 or m?
-18
Let s = 17.29 + -17. Let f = s + 0.21. Which is bigger: -3 or f?
f
Let r(g) = -5*g**2 - 63*g - 305. Let y be r(-5). Let s(f) = f**2 + 35*f + 122. Let b be s(-26). Is b less than or equal to y?
False
Let y = -2168/5 + 80281/185. Is 0 equal to y?
False
Suppose 2*f + 3*x = -8, -20*x = 4*f - 15*x + 16. Let n be f - (5 + 12896/(-1432)). Is n smaller than 0?
False
Let r = -0.2 + 0.2. Let o = -218 + 248.73. Let f = o - -3.27. Which is bigger: f or r?
f
Let p be 4/(-34) + (-150822)/306. Let u = 2959/6 + p. Which is smaller: u or 17/4?
u
Suppose -4*x + 58 = h - 7*x, 5*h + 5*x - 390 = 0. Let m = h - 87. Is m at least as big as -15?
True
Let p be ((-104)/(-12))/((-4)/(-6)). Let v = -32 + p. Let n(z) = 510*z + 1001. Let u be n(-2). Is v greater than u?
False
Let m = -131 - -230. Let c = -1.04441 + 0.04441. Which is smaller: m or c?
c
Let p = -53 + 53. Let v be (3 - 35/10)*(-2 + p). Are v and -6 unequal?
True
Let b(f) = 9*f + 7. Let o(z) = z + 2. Let y(t) = 2*b(t) - 14*o(t). Let g be (-1)/3 - 62/(-6). Let l be y(g). Is l greater than 27?
False
Let g(n) = n**3 - 36*n**2 - 77*n + 72. Let h be g(38). Suppose -39 = 5*d - h. Which is smaller: d or -4/183?
d
Let p = -20 - 92. Let a be 496/p - (2 + -4). Let q(y) = -y + 9. Let z be q(12). Is z at least a?
False
Let y = 13654.2 + -13653. Which is bigger: y or 55.8?
55.8
Let l be (-5 - (-42)/8)*(0/2)/6. Which is greater: l or 3/21815?
3/21815
Suppose -10 = -10*a + 5*a, 3*p = 2*a - 4231. Are -1406 and p nonequal?
True
Let 