 x. Is 14 less than y?
False
Let r = -20 + 43. Suppose -2*m = n - 3, 4*m - m - 4*n = -r. Which is smaller: m or 1/272?
m
Let q = -229 + 238. Suppose -114*s = -123*s - q. Is -4/295 less than or equal to s?
False
Let w = 38001/8 - 4750. Which is greater: 68.7 or w?
68.7
Let a = 61.37 - 57.37. Is a at least 8/5?
True
Let s be (1951 - 2035)*(-36)/5*15/14. Which is greater: s or 649?
649
Let u = -1633/15 - -494/3. Let v be 4*(-20 - -29 - (0 - 3)). Let h = v - u. Are -8 and h unequal?
True
Let k be -2 + -3 + (-3)/2*-4. Let l be ((-2)/28*-7)/(k/(-2)). Let i = 59/17 - 3161/901. Which is greater: i or l?
i
Let h = 82267 + -82246. Suppose -4*j + 60 = j. Is h less than j?
False
Let m = 333.37 + 9.63. Let g = 346 - m. Which is smaller: 141 or g?
g
Let j be 645/(-129) - 10/1. Let y = -21 + 1. Is j at least y?
True
Let a(v) = v**3 - 42*v**2 + 84*v + 89. Let n be a(40). Let y be 1*((-5 - -1) + n/4). Which is smaller: y or 59?
y
Let y = -24513 - -24131. Which is greater: -3442/9 or y?
y
Let v(x) = x**2 + 37*x - 37. Let k be v(-38). Let j be -1 - k - (-116)/40. Suppose 2 - 12 = -5*f. Which is smaller: f or j?
j
Suppose -6*r + 8 = 2*u, 0*u = u + r - 4. Is 95/22 greater than u?
True
Let q be ((-119)/(7 - -10))/((-1)/5). Are q and -11 non-equal?
True
Suppose -632 = 6*j - 121 + 65. Is -663/7 > j?
True
Let g = -23.755 + 0.555. Let p = -23.3 - g. Is -77 smaller than p?
True
Let c be 18/(-27) - 83/(-3). Let i = c - 26. Suppose 3*l = -5*m - i, 2*m = -l + 3*m + 5. Is l smaller than 11/6?
False
Let c be 56/528 - (-56)/924. Is c less than 163?
True
Let h = -0.816 + 5.302. Let l = 4.4 - h. Let p = l + 4.086. Which is smaller: p or 0.3?
0.3
Let w be 188/2256*18/(-96). Let p(b) = -b - 7. Let n be p(-6). Which is smaller: n or w?
n
Let q = 205.31 - 171.31. Which is greater: q or -15/4?
q
Let l = 3.86 + -2.28. Let u = l - 1.68. Which is smaller: -162 or u?
-162
Let r be ((-4)/12)/((-5)/3). Let u = 0.0304 - 6.4504. Let x = u + 0.42. Does r = x?
False
Let i = 7.08 - 0.08. Let c = -0.431 + -246.569. Let z = 247.1 + c. Which is smaller: z or i?
z
Let n be 2 + 3*(2 + -1). Suppose -n*q = -2*q - 24. Let p = -9 + q. Which is greater: 1 or p?
1
Suppose 10 + 14 = -3*w. Let n = 7 + w. Let v be 539 - 529 - (-2 + 227/19). Is n bigger than v?
False
Let n = 16.64 + -16.54. Which is smaller: 2/169 or n?
2/169
Suppose -7 = 5*u + c + 13, -1 = 2*u - c. Let t be -18*u/((-1365)/14). Which is smaller: 0 or t?
t
Let p = 835 - 517. Is 322 at least p?
True
Let l = -6.6 + 6. Let t = 0.031 - -0.869. Let k = l + t. Which is smaller: k or 0?
0
Let d = -1370 + 1401. Which is smaller: d or 6?
6
Let g be (5 + (-3)/(-6))*2. Suppose -184 = -4*v - 68. Is g smaller than v?
True
Suppose 2 = -7*v + 2*v - x, 4*v + 4*x = -8. Let h be -1 - -1 - v/(-20). Let u(r) = r**3 - 3*r**2 + r. Let s be u(1). Which is smaller: h or s?
s
Let v(t) = -21*t**2 + 27*t + 115. Let c be v(-10). Is -2255 less than or equal to c?
True
Let o(q) = -54*q**2 + 48*q + 8. Let m be o(2). Let r = 2 - 59. Let z = m - r. Do z and -55 have the same value?
True
Let z be (-15)/5 - 48804/(-16260). Let l = 544/1355 - z. Which is bigger: l or 2?
2
Suppose 0 = -3*j, 5*l + 5 = 4*l - 4*j. Suppose 8 + 34 = 3*w. Let f = l - w. Which is smaller: f or 0?
f
Suppose 0 = -121*j + 117*j + 4*r - 9456, 2*j - r = -4724. Is -2358 less than j?
False
Suppose -5*n + 422 = -3*n. Let b = n - 143. Is 68 bigger than b?
False
Let r be (2/(-3))/(80/(-840)) - 1. Let p = -8/15 - 4/15. Is p greater than r?
False
Suppose 104*x + 56 + 2 + 254 = 0. Which is smaller: 249 or x?
x
Let m = -179 + 317. Let x = 5715 - 5856. Let r = m + x. Which is smaller: -0.11 or r?
r
Let b = -38240/393 - 4/131. Which is smaller: -97 or b?
b
Let l = -43/94 - 2/47. Let p = -2574 + 2570.9. Which is greater: p or l?
l
Suppose -5*o + 57 - 47 = 0. Suppose -5 - 3 = o*y, -4*h = -4*y - 36. Let w be 9 + h - 5 - (2 - 0). Is -1 equal to w?
False
Suppose 68*j - 53*j - 20347 - 38243 = 0. Which is bigger: j or 3905?
j
Let g be 6/5 + (-148687)/385. Is -383 bigger than g?
True
Let h be 1 + (-18)/2 - 11. Suppose 2*s + 2 = 0, -i - 4*i - 107 = 2*s. Which is greater: i or h?
h
Let s = -197 + 202. Let i be (-6 + 1)/1*3/s. Which is greater: i or 3?
3
Let c(g) = 13*g**2 - 5*g - 34. Let i be c(0). Let w(p) = 7*p - 1. Let l be w(-1). Let d be (2/i)/(l/(-24)). Which is greater: -1 or d?
d
Let n(z) = -28*z - 62. Let a be n(-2). Let k be 1/a*-6*-439. Is -438 < k?
False
Let c be (-1119)/2235 + ((-144)/30)/(-12). Is c greater than 1?
False
Suppose 3*w - 147 = 5*u, 5*u - 4*w = 5633 - 5779. Which is bigger: 24 or u?
24
Let n be 11010/25*35/21. Is 733 less than n?
True
Let i = 32.35 - -9.55. Let k = i - 30.9. Which is smaller: 0.8 or k?
0.8
Let r = 68910840/2617 - 26332. Which is smaller: r or -1?
-1
Let n = -1598.2 + 2070. Are -1 and n non-equal?
True
Let r be -15*(1 + (-2)/6)/2. Let c(f) = -f**2 - 11*f. Let n be c(-8). Let d be -7 + ((-2)/4 - (-36)/n). Which is bigger: r or d?
r
Let j(w) = w - 6. Let i be j(3). Let o be (-11141)/2 - (-2)/4. Let n = o - -72374/13. Which is bigger: i or n?
n
Let d(u) = u**3 + 5*u**2 + 5. Let w be d(-5). Let o = -137 + 170. Suppose o*i - 28 = 29*i. Which is smaller: i or w?
w
Let a be (1 + -3 + -18)*-2. Let s be 1*3 + (-17 - -16). Suppose -z - 4*z + 2*x = a, s*x + 24 = -3*z. Is z <= -9?
False
Let y(s) = -s**2 - 6*s + 116. Let u be y(-14). Do 10 and u have the same value?
False
Let o = -1/4424 - 6631/22120. Which is smaller: o or -37?
-37
Let j be (-4)/16 + 1964*40/313216. Which is smaller: 1 or j?
j
Let t(v) = -v**3 + 14*v**2 - 46*v + 32. Let a be t(7). Which is bigger: 55 or a?
55
Let j = 48.7 - -289.3. Let o = j - 361. Do o and -6 have the same value?
False
Let h = 6 - 3. Let l = 314857/4 - 78710. Is l not equal to h?
True
Let j be -1545*(-2)/(6 + 0). Which is smaller: 1 or j?
1
Let x(q) = -9*q**2 + 105*q - 67. Let k be x(11). Let r = 1 - -2. Is r smaller than k?
False
Let x be (-1 - 55/(-54))*-56. Suppose 0 = 327*q - 1650 + 2304. Do q and x have different values?
True
Let k = -0.0307 - 51.7693. Let r = -9.33 - -61.33. Let p = k + r. Which is smaller: p or -2?
-2
Let j be (-9)/3 + 41420/3450 + -9. Is -17 at most j?
True
Suppose q - 2*z + 4*z = -22, 4*q = -2*z - 136. Let j = -3.03 - -0.03. Which is smaller: j or q?
q
Suppose 6*g - 949 = 78*g + 491. Which is bigger: g or -95?
g
Let x = 41409 - 23329. Which is smaller: x or 0.1?
0.1
Suppose 2*z = -2, 5*h - 50 = z - 6*z. Let m be ((-3)/(h - 5))/(51/(-132)). Is -1 less than or equal to m?
True
Suppose -7*d - 8*d - 3262 = 12488. Is d >= -1047?
False
Suppose -3*v = -0*v - b - 5, 3*b - 3 = 0. Suppose -2*m - 206 = -43*k + 41*k, -3*m - 414 = -4*k. Let s be v + 0 - 198/k. Which is bigger: s or 1?
1
Let h be 4 + -10 + 5 - -1. Suppose 2*v - 5*v + 51 = h. Which is smaller: 13 or v?
13
Let y(l) = 40*l - 28. Let n be y(-47). Are -1908 and n equal?
True
Let w = 122.03 + -134.03. Which is smaller: w or -146/3?
-146/3
Let a = -33 - -37. Suppose 3*l + 7 = -3*d + 2*l, 5*d + a*l = -21. Let y be (d - (-111)/105)/(5/50). Does 2 = y?
False
Let n = -381.31 + 385. Let z = 0.49 - n. Let m = z - -3.2. Is m <= -0.11?
False
Let j be ((-108612)/(-1368) + (-2)/(-19))/(4/24). Which is bigger: j or 473?
j
Let h = 280 - 169. Suppose 0 = -5*o - 0*o - 4*d + h, -3*o + 45 = -3*d. Is 79/4 at most o?
False
Suppose -a + 112*l = 108*l - 589, 5*l = 10. Is 1792/3 smaller than a?
False
Let b = 3/6080 + -487/1216. Is b greater than 22/321?
False
Let f = 102/7 - 15. Let o = -0.627 + 139.627. Let u = o - 141. Is f at least u?
True
Suppose -p + 3 = -2. Let v(c) be the third derivative of c**4/12 - 3*c**3/2 - c**2 - 49*c. Let q be v(p). Is q smaller than -0.033?
False
Let h = 2108 + -2106. Let c(q) = -6 - 6*q + 0*q - 3*q. Let f be c(h). Which is greater: f or -68/3?
-68/3
Suppose 5*x + 3*g - 126 = 0, -x - g = -2*x + 22. Let f = 46 - x. Let t = 40 - f. Does 18 = t?
True
Let w = 348 - 436. Suppose -59 = 3*m + 19. Let a be (-16)/w + m/22. Which is greater: a or 72?
72
Suppose v = -2*d - 2, -16 = -3*d - 3*v - 7. Do d and 300/7 have different values?
True
Let z be ((220/(-33))/(-5))/8. Which is smaller: -1706 or z?
-1706
Let n(t) be the second derivative of -t**5/20 + 5*t**4/12 - t**3/6 + 2*t**2 - 4*t + 66. Suppose -20 = -0*q - 4*q. Let j be n(q). Is 3/8 less than j?
False
Let m = 747 + -746. Let w = -