an 1?
False
Let d be (-3 + -2 - -4)*85/(-1). Suppose -3*i = d - 82. Are i and 2/11 equal?
False
Let s = -9428.2 + 8653. Let y = s - -775. Which is greater: 46 or y?
46
Let i(x) = 7*x - 206. Let q be i(30). Suppose 0 = -16*t - 320 - 0. Which is bigger: t or q?
q
Suppose 0 = -8*y - 12*y + 7*y + 21450. Is 1651 smaller than y?
False
Let a be 27/12 + (-2)/8. Let w be (-2 + a)/((-3)/1 + 4). Let p be (-10)/(4 - (-3 + 0)). Which is smaller: p or w?
p
Let l be (234/(-15))/(2/(-10)). Suppose l = 4*d + 2*g, -4*g = -3*d - 2*d + 78. Let k = 25 - d. Is k at least as big as 1?
True
Suppose -173*x = -167*x - 36. Let q be (5 - 4)*5/(-1 + x). Is 5/123 less than q?
True
Let j be ((-76)/(-18))/(-1)*-3. Let t be (-53774)/(-42084) - (-2)/9. Is t at most j?
True
Let q(a) = -32*a + 150. Let m be q(7). Are -1/30 and m equal?
False
Suppose -2*s - 12 = -4*s. Let u be 4/(-42)*(-5 + (s - -1)). Let x(i) = i**3 - 2*i**2 + i. Let b be x(1). Are u and b equal?
False
Let j(h) = 18*h + 57. Let o be -3 + -1 - (-23 + 22). Let i be j(o). Which is greater: 6 or i?
6
Let t be 2786/21 + (-18)/(-54). Which is smaller: -0.03 or t?
-0.03
Let n = 246 + -242. Suppose -3*u + 3*q = -3, n*q + 0*q = u - 4. Which is bigger: u or -2/61?
u
Let t = -1989 - -1989.035. Let a be 3/2 - (7 + -5). Are a and t equal?
False
Let n(s) be the third derivative of s**5/60 - s**4/24 - s**3/2 - s**2. Let p be n(-5). Let x be (-20 - -37) + 4/(8/22). Is x greater than or equal to p?
True
Let r be (-20352)/(-2880) - (-1)/(-15). Let s be 0 + (-2 + 5 - -3). Which is greater: s or r?
r
Let b = 59.46 + -50.46. Do -61 and b have the same value?
False
Let d = 0.03113 + -99.03113. Is d greater than 2/33?
False
Let b = -162 + 142. Let m = b - -17. Which is greater: m or 15?
15
Let c = -420 + 409. Let a(y) = 2*y**2 + 25*y + 32. Let j be a(c). Let q be (1/7)/((-2)/34). Which is greater: q or j?
j
Let t = 1 - 1. Suppose n + n - 30 = -5*w, -5*n + w + 75 = t. Let m = 315 + -299. Do n and m have the same value?
False
Let p(k) = -6*k - 39. Let h be p(-7). Suppose 4*u - 5*y = -51, -8*y = 2*u - 3*y + h. Which is smaller: u or -53/6?
u
Suppose -2*m - 5*u = -3*m - 1, 4*m - u - 15 = 0. Let s be (-5 + 9)*18/m. Let b = -1 + s. Is 17 at least b?
True
Let t be (-14 - (24 - 40))/(16/(-1017)). Which is smaller: -128 or t?
-128
Suppose -18 = -4*o - 2*y, 4 = -o - 3*y + 11. Which is greater: o or 187/54?
o
Suppose -3 = w + 1. Let v be (w/1)/(6/(-6))*13. Let k be v/(-24) + 6/(-16)*-4. Is k <= -12?
False
Let h = 4669/25740 + 1/2340. Is 343/2 equal to h?
False
Let a = -1553 + 1596. Is a greater than 58?
False
Let y(b) = -21*b - 68. Let x be y(-3). Let g be (0 - 76/x)/(-2). Is -8 <= g?
True
Let f(y) = y**3 - 20*y**2 - 68*y - 23. Let j be f(23). Suppose -7*o = -0*o + 5*x + 20, j = 3*o + 3*x + 12. Are o and -8/159 unequal?
True
Let t be (4*(-3)/(-18))/((-23)/5037). Suppose -10*i + 730 = -15*i. Are t and i equal?
True
Let t = 0.44 + -3.44. Let w = 2.0571 - 0.0571. Which is bigger: t or w?
w
Let h be (8/66)/2*175014/(-63). Do -169 and h have the same value?
False
Let t = -61 + -1. Let p = t - -53. Let m(f) = -2*f**2 - 2*f. Let u be m(2). Is p bigger than u?
True
Suppose 3*f - 7*f + 302 = 2*l, -3*f + 229 = -l. Let p = f - 87. Let d = -31 + 19. Are d and p unequal?
True
Suppose 3*f + 4*w = -2 - 2, -f + w + 1 = 0. Let x = -37 + 1516/41. Is x greater than or equal to f?
False
Suppose 0 = -4*d + l - 7, -5*l = -10 - 5. Let o(y) = 7*y**2 + 4*y. Let m be o(-4). Let z be 12/4 + (-285)/m. Which is smaller: z or d?
d
Suppose 199 - 247 = -5*w + 2*y, -3*y = -3. Which is greater: w or 43?
43
Let z = 39 + -4. Suppose -4*h - h + z = 2*k, -5*k + 40 = 3*h. Suppose 3*t - 2 = -k. Which is greater: -2/5 or t?
-2/5
Let u = -4760.4 - -4801.589. Let d = u + -0.189. Which is greater: -1 or d?
d
Let k = -26074322/1403799 - -1876/101. Let d = 625439/111192 + k. Which is smaller: d or 7?
d
Let v(q) = 7*q - 33. Let u be v(11). Let p be 12 + -19 + 1004/u. Which is greater: p or 15?
p
Let b be ((-3)/(-2))/(666/(-112) + 6). Let o(p) = 24 - 3*p - b - 34. Let h be o(-13). Is h at most -1/11?
False
Let s = -193 + 294. Suppose -98*t = -s*t - 21. Let a be (-2 + -1)/6*12. Which is smaller: t or a?
t
Let g = 21823/5 + -4372. Which is greater: g or 22?
22
Suppose -3*z + 1471 = y, -26*z + 28*z + 3*y - 990 = 0. Which is smaller: -0.3 or z?
-0.3
Let h = 3430.89 - 3429. Is 1 at most h?
True
Let y be (6/492)/((-3)/2*1). Suppose 0 = -5*c + 3*g + 5, -3*c = -2*g - 1 - 2. Which is greater: y or c?
c
Suppose 0*d = -5*d - 275. Let l be 210/d + 2*1. Let g = 94 - 96. Is g equal to l?
False
Suppose -5*t - f = 852, -5*t - 2*f + 5*f - 864 = 0. Let k = t + 685/4. Which is bigger: k or -0.069?
k
Let t be -14 + ((-13720)/(-224) - 44)*(-16)/(-6). Let a(u) = 3*u**2 - 5*u + 6. Let q be a(4). Are t and q nonequal?
True
Let t be (-117000)/(-208)*(-8)/18. Let u(f) = -11*f**2 + 5*f + 1. Let b be u(5). Are t and b unequal?
True
Let u = -14431 - -14422. Which is smaller: 368 or u?
u
Suppose -9806*h = -9803*h - 15. Let t = -1 - -3. Suppose 2*d - h*d = -t*d. Are 2/19 and d non-equal?
True
Suppose 3*f = r - 16, -3*r = 2*f + 18 - 22. Suppose -5*u - 4*i = -212 - 169, 0 = u - r*i - 57. Are 1/4 and u nonequal?
True
Let n = -0.2 + -332.8. Let z = 333.157 + n. Is -0.1 bigger than z?
False
Suppose -8484*g - 39010 = -8474*g. Which is smaller: -3902 or g?
-3902
Let g = 2.07422 - 0.07422. Is g smaller than 0.0996?
False
Let o = -22685.198 - -22684. Is -3 greater than o?
False
Let m = 681.2 - 680.9. Which is smaller: m or -521?
-521
Let u = 386 - 306. Is 78 equal to u?
False
Suppose -4*d + 4*n = 144, -100 = 5*d - 3*d + 5*n. Suppose 15*y = 11*y - 456. Let w = y + 74. Does d = w?
True
Let c = -290.0305 + 0.0305. Let z = -289 - c. Is z at least as big as 27/2?
False
Let u = 0.5 - 0.446. Let f = u - -21.946. Let i = 9.2 + -9. Is f at least as big as i?
True
Let u be -4860*((6/6)/(-70) + 6/(-30)). Which is greater: u or 1041?
u
Suppose a = 4*n - 2*n - 5, 5*a - 8 = -n. Let c be -67*a/(-5)*-5. Let h = c - -206/3. Which is bigger: h or 2?
2
Let f = 53 + -40.8. Let z = 5.2 - f. Which is bigger: 0.3 or z?
0.3
Let m(c) = -75*c - 1576. Let g be m(-21). Which is bigger: 3/3406 or g?
3/3406
Let r(k) = -8*k**2 + 5*k - 3. Let g be r(2). Let c be (-8630)/g + (96/(-30) - -4). Is c less than 345?
False
Let d = -4658 + 4937. Which is smaller: 4/7 or d?
4/7
Let j be ((-18)/16)/(69/(-92)). Is j greater than -1.21?
True
Let z(f) = -13*f**2 + 5*f - 5. Let o be z(2). Let l = o - -115. Which is smaller: l or 0.2?
0.2
Let s be (0 + 18/1983)*30489/9. Let m = s + -1/2644. Which is bigger: 31 or m?
31
Let t = -261 - -430. Suppose -5*k = -t + 54. Which is smaller: k or 22?
22
Let g(n) = n**3 - 4*n**2 + 4*n - 12. Let b be g(5). Let h be (78/(-9))/(22/b). Suppose u = 4*u + 45. Are h and u equal?
False
Let f(k) = -2*k**2 - 50*k - 179. Let r(j) = j**2 + j - 1. Let w(o) = f(o) + r(o). Let b be w(-45). Let d be -4*((-2)/268)/(-1). Which is smaller: b or d?
d
Let b be ((-12)/15)/(63/105) - (-40)/30. Are b and 24/1945 equal?
False
Let o = -171 - -184. Suppose o*l - 53 + 1 = 0. Is 0 smaller than l?
True
Let j be (-20 - 1782/(-6)) + -7 + 0. Which is smaller: -15 or j?
-15
Suppose 44*v - 42*v = -28. Let q = v - -42. Let b = -18 + q. Which is greater: b or 9?
b
Let x = 3906 + 8. Are x and 3914 non-equal?
False
Let u be 106/(-12) + 15/(-10). Suppose 31 + 1 = 8*n. Suppose -n*k - 15 = 21. Is u greater than k?
False
Let k(g) = -g**3 - 5*g**2 - 2*g - 8. Let m be 15*(14/(-6))/7. Let x be k(m). Suppose -o = -18 + x. Which is greater: 17 or o?
17
Let m be -126 + (0 - -2)/(19/(-38)). Let y = -1301/10 - m. Is y < 1?
True
Let k = 20.6 + -45. Let m = k - -34.4. Suppose 2 = 2*l - 4*l. Which is smaller: l or m?
l
Let q be ((-528)/17880)/((-2)/(-4)) - 0. Is -1 != q?
True
Suppose -5*q = 2*z - 60, z + 4*z = 0. Let t(a) = -2*a + 8*a**2 - a**3 - 12 - q*a**2 - a. Let m be t(-4). Is m at most as big as 4/5?
True
Suppose -x - 20 = 3*x + 4. Let i = -3 - 5. Is x greater than i?
True
Let i be ((-2)/(-1) - 2)/3. Suppose -2*j + j + i*j = 0. Suppose -z = -j*z + 2. Which is greater: 0 or z?
0
Suppose -3413 = -5*z - 3423. Which is smaller: -618 or z?
-618
Let q be (38/(-18))/((-69)/414). Is 14 less than q?
False
Let b = 739291/1329311 - 174/313. Is 0 >= b?
False
Let u = 1.046 - -516.954. Which is 