?
False
Let k = -11937/22945 + 34/65. Is 0.1 at most as big as k?
False
Let u be 24/16*2/3. Let p be 3*(7820/652 + -6 + -6). Which is greater: p or u?
u
Let y = 57 + -61.1. Let a = 4 + y. Let g = 2.0634 - 0.0634. Are a and g unequal?
True
Let f(c) = -3*c + 35. Let x be f(8). Suppose x*l - m + 29 = 13*l, 4*l = 2*m + 46. Which is smaller: -1 or l?
-1
Let i = 13 + -13. Let q = 667 + -664. Which is bigger: q or i?
q
Suppose 15 + 5 = 5*w, 4*w = -5*b - 204. Suppose -z = -6*f + 4*f + 47, 4*z + 5*f + 162 = 0. Which is smaller: z or b?
b
Let x be (2821/279 - 8) + 2/(-18). Do 255/88 and x have different values?
True
Let a be ((-2036942442)/(-129) - 4) + 2/(-4). Let d = a + -15789629. Let f = d - 618. Are f and 1 non-equal?
True
Suppose 182 = 5*m - 38. Suppose 0 = -5*a + 4*v + 44, -m = -2*a - a - 2*v. Which is bigger: 15 or a?
15
Let u be 583275/3600 + (-18)/(-2). Let f = -15 + 186. Let t = f - u. Which is greater: 1 or t?
1
Let d = -7.5 - -7.5. Let x = -21.83 + -0.17. Let b = -15 - x. Which is smaller: b or d?
d
Let r(x) = 6*x + 27. Let m be r(-3). Suppose -2*v - 4*z = 12, -3*v + z - m = -2*z. Let a be v/(-6)*12/(-20). Does -23 = a?
False
Let g(m) = 3*m + 18. Let q be g(14). Let u be q/12 - (-38)/(-8). Suppose 0*w = 2*w. Which is greater: w or u?
u
Let s = -77 + 40. Let q = 37 + s. Suppose q*a + 8 = -4*a. Which is bigger: a or -1?
-1
Let f = -9134 + 9134. Which is smaller: -352 or f?
-352
Let t be (4/(-6))/(455/(-75) - -6). Suppose 0 = -t*q - 11*q + 42. Let k = q - -17. Which is smaller: -1 or k?
-1
Let h be 10/(7130/(-9223)) + 13. Which is smaller: -0.15 or h?
-0.15
Let v = 1336765/69 - 19373. Is -1/2 > v?
False
Let j be 729/32238*2*-1. Is j at least as big as 0?
False
Let z be (-520)/56*66/(-10). Let p = z - 61. Which is bigger: p or 24?
24
Let h(i) = i**3 - 2*i**2 - 4*i + 4. Let g be ((-1)/(3/(-5)))/(55/99). Let u be h(g). Which is greater: 10/133 or u?
u
Let h(j) = -16*j + 27. Let z be h(7). Let f = 90 + z. Suppose -55 = -0*o + f*o. Which is smaller: -68/7 or o?
o
Let b be 2/(-4)*3*(-86)/3. Let f(j) = j**3 - 2*j**2 - 7*j + 2. Let k = 19 + -14. Let s be f(k). Is b < s?
False
Let k = -9 + 9. Suppose 4*n - 6*n - 8 = k. Which is smaller: n or 44?
n
Suppose -2*b + 12 = 2*q, -3*q + 0*q = -4*b - 4. Suppose -3*r - 2*r + b*l + 108 = 0, -r = -2*l - 20. Which is smaller: r or 18?
18
Let y(z) = 1. Let u(t) = 7*t - 64. Let k(a) = u(a) - y(a). Let b be k(10). Let f be (-2)/(-8)*b/(-15)*-6. Do 34 and f have the same value?
False
Let a = 40734 - 40728. Let d = 91/20 - -19/20. Is a <= d?
False
Let v(t) = -t**2 - 32*t - 16. Let p be v(-31). Suppose p*r - 26*r = -11. Which is smaller: 2/91 or r?
2/91
Let i(s) = -23*s**3. Suppose -2*b + 16 = -5*h, h + 6 + 0 = -b. Let a be i(b). Suppose 6*k + a + 164 = 0. Does k = -58?
True
Let v be 0*(-5)/(-10)*2. Let w be -6 + 1 + (v - -1). Let u be -3 - (w/1 - -4). Is -20/13 at most as big as u?
False
Let v be 0 - ((-4)/(-4) - 3) - 3. Let g = -6029/393558 - -1/5963. Which is smaller: v or g?
v
Suppose -4*r - 3*b = 321, 2*r + 0*b = 2*b - 164. Which is greater: -91 or r?
r
Let m = -20841 + 437665/21. Are m and 0.031 unequal?
True
Suppose -22648 = -105*k - 7554 + 22496. Is k > 360?
False
Let w(q) = 355*q - 4183. Let f be w(7). Is -18672/11 bigger than f?
True
Let p = -134 + 141. Suppose 0 = -p*u + 169 + 6. Do 4 and u have the same value?
False
Let q = -366 - -200. Let t = q + 166.69. Let x = -0.31 - t. Is 2/9 <= x?
False
Let y be 1/(-4) + (-333)/(-36). Let x(o) = -y + 32*o - 9 + 3 - 28*o. Let i be x(-3). Which is bigger: -26 or i?
-26
Suppose v = -47 + 43. Let c be v/((-1)/(-2) - (-18)/(-30)). Is c equal to -3/5?
False
Let k = -314 - -1564/5. Let i(q) = 2*q**2 + 2*q - 14. Let l be i(-3). Which is smaller: k or l?
l
Let d be 422/(-6) - 6*(-1)/(-9). Let z = -7012/155 + -780/31. Which is smaller: d or z?
d
Suppose 87 = -4*x + x. Let l = x + 91. Let u = l - 49. Is 14 >= u?
True
Let v be ((-426)/(-1))/(-129 - -151). Which is smaller: v or 19?
19
Let v be 5/9 + (-153642)/158166. Is v > 0?
False
Let v = -38.46 - -40.6. Let g = v - 1.14. Is g != 0.64?
True
Let i be 15/(-3) - 128736/(-25839). Is i bigger than 1?
False
Let k be 681/(-2)*(-322)/3864. Is 28 greater than or equal to k?
False
Let x = -240 - -246. Suppose 0 = -5*q + x*q + 6. Which is smaller: q or -4?
q
Let t be (-9)/(-7) - 13/((-1820)/(-40)). Let b = -37 - -18. Does b = t?
False
Let m be 5/((-70)/4)*((-378)/42 + 1808). Is -526 > m?
False
Let r(b) = 7*b - 82. Suppose -76 = -4*i - 28. Let x be r(i). Is -52 less than x?
True
Let v be ((-30806)/365)/((-8)/(-1020)). Are v and -10761 unequal?
False
Let t = -82 + 82. Suppose 5*y + 18 + 92 = t. Let v be (-7 - -5)/y + -3. Does v = -3?
False
Let q = 11926 + -11612. Is q greater than or equal to 0.02?
True
Let y be ((-168)/(-10))/(462/14630). Are y and 546 non-equal?
True
Suppose -979*a + 985*a - 594 = 0. Is 96 >= a?
False
Let w = 1/6655 + 452527/86515. Let u = w - 366/65. Which is smaller: 527 or u?
u
Let s = 0.0832 - -1.9168. Is s != -42/17?
True
Suppose -2*f = -3*q - 11, -15 = -3*f + 4*q + 2. Let j = -0.0467 - 21.2533. Let d = 21 + j. Is f >= d?
True
Let v = -1809 + 171913/95. Are v and 1 nonequal?
True
Let w = -22 + 15. Let u = 39.212 - 40. Let z = -0.212 + u. Which is smaller: w or z?
w
Let c = -29613 - -29743. Is 117 at least as big as c?
False
Let h = -56 + -1. Let x = 49 + h. Are x and 0.3 equal?
False
Let y be (12 - 223)/((-12)/(-8) - 1). Let x = y + 415. Suppose 0*m - 6 = m. Which is smaller: m or x?
x
Let w = 5634.95 - 5635. Which is smaller: w or -2/319?
w
Let j = -1555 - -1554.9223. Which is bigger: -2 or j?
j
Let s = -319 + 317.52. Let n = s - -1.53. Which is smaller: 0.2 or n?
n
Suppose -7*q - 6 = -8*q. Suppose s - q*s + 30 = 0. Suppose -4*x - 2 = s. Is 1 <= x?
False
Let s = -659 + 704. Suppose -17*x = -14*x - 135. Is s smaller than x?
False
Suppose -2*u - 8 = -4*u. Let v(s) = 104*s + 1046. Let p be v(-10). Is u <= p?
True
Let c be 38/5 + (-10)/(-25). Let q = 4021/576 + 51/64. Are q and c non-equal?
True
Let k = 141743/76 + -1865. Suppose -n = 4*d - 2*n + 3, -5*d = -4*n + 1. Which is smaller: k or d?
d
Let o = -412.9 + 666. Let s = -253 + o. Which is greater: 29 or s?
29
Let o = 5461 + -5458. Which is smaller: o or 105/37?
105/37
Suppose -4*a - 1 = 15. Let g be -18*2/(-24)*a. Let u(b) = -b - 6. Let p be u(g). Which is greater: p or -3/76?
p
Suppose -1214 = 21*l - 1235. Is -1 bigger than l?
False
Let w be (1015/(-70) + 22)*(-2390)/(-1992) + -9. Suppose 0 = -3*r + 5*r. Which is greater: r or w?
r
Let r be 1 + -2 + (-14)/(-20). Let o = 2.19 + -2.12. Let c = -0.27 + o. Are c and r equal?
False
Let o = 3745.24 - 3743.6. Is o less than -2?
False
Suppose 14328 = -20*y - 91232. Let f = -47416/9 - y. Which is smaller: 9 or f?
9
Let q(t) = -t**2. Let y(o) = -7*o**2 + 8*o - 10. Let h(j) = -6*q(j) + y(j). Let k(n) be the first derivative of h(n). Let p be k(0). Is p bigger than 10?
False
Let f be (-552)/14*(-630)/180. Is 138 less than or equal to f?
True
Let s = 1.0657 + 1.0343. Is 17 > s?
True
Let m be -27*25/242 - -3. Is m smaller than 0?
False
Let o = 0.03 - -0.16. Let j = 0.518 - 0.718. Let r = j + o. Is -0.2 > r?
False
Let g be (-10)/5*(-8)/1. Let r(l) = -33*l - 139. Let m(d) = 7*d + 35. Let i(f) = -9*m(f) - 2*r(f). Let o be i(g). Do 9 and o have the same value?
False
Let l be 7/(-21)*18/142. Let o = l + -121/497. Is o bigger than -6/5?
True
Let q be (-20)/(-25)*40/(-12)*3. Let f be -2*(q/(-68) + 91/(-918)). Is f > -1?
True
Let g = -555605/625894 - -330/373. Which is greater: 1 or g?
1
Suppose 5*m - 2*w = 32, 4*w + 16 = 3*m + 2*w. Suppose -m*b + 65 = -95. Is b not equal to 19?
True
Let w = 2139 + -2111. Is 0 >= w?
False
Let r(v) = v**3 + 7*v**2 + 10*v + 16. Let q be r(-6). Let i be ((-90)/(-3))/(-6 - q). Suppose 2*w - 17 = i. Is w at least 16?
True
Let b(w) = -22*w - 4. Let h be b(3). Let a be 7/(-35) + (-4)/80. Is a equal to h?
False
Let u(s) = s**2 - s + 8. Let h be u(-6). Let x = h - 15. Suppose 149 = 4*m - 5*d, 4*m - 80*d - 140 = -84*d. Which is smaller: x or m?
x
Suppose 0 = 32*d + 8488 + 13048. Let g = d + 733. Which is greater: 63 or g?
63
Suppose -3*f + 5*f = 2, 0 = 5*i + 4*f - 1304. Which is smaller: 268 or i?
i
Let r = -3059 + 3058.99. Which is greater: r or 263?
263
Let i = -3126 - -18695/6. Let u = -59/6 - i. Does u = -