*r. Is 18 less than r?
False
Let f(w) = -w**2 - 6*w - 4. Let j be f(-1). Let t be 1 + j - (-26)/13. Suppose 3*r + 8 = -5*l, 2*r - t*l = -7*l - 5. Which is smaller: 4/31 or r?
r
Let r be 4 + (40/(-30))/((-8)/6). Suppose 17*g - 19*g - r*x - 100 = 0, 80 = -g + 5*x. Let l = -70 - -10. Is g at most as big as l?
True
Let i = -14 - -30. Suppose -n - 5 = 0, -4*d + 45 - 95 = -2*n. Let s = i + d. Which is greater: s or -4/19?
s
Let x be 2*-3 + (-17)/((-391)/(-21942)). Is x at most as big as -959?
True
Let d = 33295 - 33620.6. Which is greater: -2 or d?
-2
Let j = -511951 - -11347393913/22165. Which is smaller: 1/2 or j?
j
Let v(w) = 7*w + 32. Let u be v(-5). Let f be ((-5)/u*1)/((-5)/(-165)). Let i be 8*((-33)/f + 47/70). Is 0 > i?
False
Suppose 0*u - 4*u + 64 = 0. Let h be 10/(-25) + 17/5. Let c(j) = j + 12. Let r be c(h). Is u less than r?
False
Let j(x) = -46 + 288*x - 297*x - 21. Let r be j(-7). Is -10 <= r?
True
Let x be 312/(-91)*268/(-32604). Let f = x + 1/209. Which is bigger: 1 or f?
1
Let c(m) = -2*m - 7*m - 1 - m - m**2 - 2. Let y be c(-5). Let k = -11 + y. Is 10 bigger than k?
False
Let f(r) = 88*r + 1779. Let n be f(-20). Which is smaller: 0 or n?
0
Let x(g) = -1790*g - 76848. Let w be x(-43). Let a be (-740)/(-6) - 2/6. Which is greater: w or a?
a
Suppose -16*b - 555 = 5*s - 21*b, 5*s + 563 = 3*b. Is -70 != s?
True
Let f be 10/(-6)*(-49)/((-694575)/(-30)). Which is greater: -1 or f?
f
Let x(n) = -367*n + 764. Let i be x(-4). Is 2232 at least as big as i?
True
Let y = -9.9 + 10. Let n = 2057/4 + -499. Which is greater: n or y?
n
Let b(v) = -v**2 - v - 4. Let m be b(-3). Let s be m/(-21) + (4 - 232/56). Which is bigger: -16 or s?
s
Let h = -6105 + 6057. Does h = -522/11?
False
Let x = 27/518 + 4145775/5698. Which is bigger: x or 728?
728
Suppose 5*h + 20 = -5*c, -c - 2*c = 15. Let w be h + (2 - 4) - 23512/38390. Let r = w + 89/55. Which is bigger: r or -1?
r
Let g = -29 - -28. Let o be (-12)/2*(-3)/(-5). Let n = -211/60 - o. Is g > n?
False
Suppose 16*u - 61*u = -31*u - 42. Suppose 0*j - 2*j = -28. Let d = j - 8. Which is bigger: d or u?
d
Suppose 5*t + h = -h - 177, 4*t + 144 = -h. Suppose 0*c + 4*c + 192 = -12*u, -76 = 2*c + u. Which is smaller: t or c?
t
Let o = -12.636 + 0.516. Let l = o - -9.12. Is -23/5 at most l?
True
Let z = 175/22 + -4331/550. Is z at most 0.202?
True
Suppose 3*u - 166 - 371 = 0. Suppose 0 = -7*g - 74 + u. Is g equal to 7?
False
Let j(r) be the second derivative of -r**5/20 + 2*r**4/3 + 5*r**3/2 - 2*r**2 + 6*r. Let z be j(10). Let s = z - -30. Is -23 equal to s?
False
Let v = -5 + 5.175. Let p = v + -3.175. Is p bigger than 0.1?
False
Let p = 0.06 + -2.06. Let j = 1409/765 - 17/9. Let r = 11/17 + j. Which is greater: p or r?
r
Let h = 23281 - 23276. Which is bigger: h or -0.3?
h
Let z = 5 + -3. Suppose -4*q + 8 = 4*f + q, -4*f + 36 = -2*q. Suppose -3*j + 2*j = z*u - f, 5*u - 35 = j. Is u smaller than 20/3?
True
Let c = -89 + 87. Let t be (-2 - (183 - c))/2. Is 1 at least t?
True
Let q = 53.35 - 46.692. Which is smaller: -1 or q?
-1
Suppose 0 = 2*k - 3*t - 4, 4*k - 4*t - 16 = -2*t. Suppose -y + k*y - 128 = 0. Suppose -38*i + 353 + 901 = 0. Which is smaller: y or i?
y
Let f be 9/(-15) + 106/10. Suppose 3*z - f = -7. Let b be (-2)/15 + -4 + (-11949)/(-2880). Which is bigger: b or z?
z
Let o(g) = 133*g + 609. Let n be o(74). Which is bigger: 0.1 or n?
n
Let k = -1475 + 1490. Is k not equal to -25?
True
Let d = -23379 + 18533. Which is greater: 0.2 or d?
0.2
Let w = 0.04388 - 23.94388. Which is smaller: w or -0.1?
w
Let v = 0.239 + 0.099. Is -3.1 greater than v?
False
Suppose -6*q + q = 4*v - 70, -4*v = 0. Let y(r) = -r**3 + 15*r**2 - 11*r - 1. Let i be y(q). Suppose -4*o + 144 = 4*n, n - 26 = -o - 2*n. Does i = o?
True
Suppose 2*g + 72*y = 69*y + 63, 5 = 5*y. Let q = -24 + 53. Is q smaller than g?
True
Let k = 10575 - 10656. Are -46 and k equal?
False
Let i = -3899 + 3914.864. Let a = 0.136 + i. Which is bigger: a or -2/7?
a
Let t = -43 + 45. Suppose 19 = -i + 5*z, 7 - 20 = -5*i - t*z. Is -2/551 < i?
True
Let a be 3220/170 + (2 - 8). Let v = a - 2571/221. Which is smaller: v or 1?
1
Let h = -246 - -124. Let s = 13907/114 + h. Let x be (1 + -1)/(1 + -3). Which is smaller: x or s?
s
Let a = 1060 - 438. Which is bigger: 3106/5 or a?
a
Suppose 4*v - i = 3, 3*i + 0*i = -v - 9. Let g be -3*(-10)/(-15) - -330. Let r be 4/((-1248)/g) - 4/(-6). Which is greater: v or r?
v
Suppose -2094*q + 5*p = -2097*q + 30, 5*q + 4*p = 24. Suppose 0 = u + u + 10. Let k be (u/(-3))/((-3)/135). Is q equal to k?
False
Suppose -20 = 9*s - 13*s. Let f(n) = n**3 - 5*n**2 + 10. Let v be f(s). Let y be (v/35)/((-3)/(-21)). Which is smaller: y or 16?
y
Let z = 10929/1807 - 79/13. Suppose 17*g - 15*g - 22 = 5*s, -12 = 3*s. Is z greater than g?
False
Let c(l) = 2*l + 25. Let x be c(-11). Suppose 7*k + 3*z = 2*k + 10, 0 = -2*k + x*z + 4. Suppose k*d = -4*s + 76, -2*s + 16 - 74 = -d. Is d bigger than 48?
False
Suppose -16*x = -4*x - 36. Let t be 5/(-15)*25 + x*1. Let c be -2 + -4*3/6. Which is smaller: t or c?
t
Let o be (-606)/(-8)*((-138)/(-9) + -2). Let w = o + -1009. Is w at least as big as 2/233?
True
Let k = 0.0002 - 0.3002. Suppose -2*y - 3 - 19 = -4*u, 0 = -3*y + 3*u - 24. Let v be (0 - y/(-3))*-3. Do v and k have different values?
True
Let b(x) be the second derivative of x**4/6 - x**3/6 - x**2/2 - 9*x. Let h be b(-2). Suppose -7*c - 40 = h. Is -7 greater than or equal to c?
True
Let g = -6828 - -7344. Which is smaller: 0.01 or g?
0.01
Let a(z) = -807*z - 15329. Let m be a(-19). Is -36 greater than m?
False
Let o = 0.292 + -0.232. Which is smaller: o or 0.39?
o
Let w = -7/677 - -2347173/1354. Is w at most 1734?
True
Let k(d) = -13*d - 12. Let r be k(11). Let z = r + 2016/13. Suppose -10*j - 53 = -43. Which is bigger: z or j?
z
Suppose 637*b - 1088 = 671*b. Is -15 greater than or equal to b?
True
Suppose -2175 = 57*s - 178*s + 2181. Suppose i - 35 = 3*j + 7, 3*i = -2*j + 115. Which is smaller: i or s?
s
Suppose 4177*t = 4228*t. Let i = 45 + -314/7. Do i and t have different values?
True
Let c = -7311/4 + 49837/28. Which is smaller: c or -47?
c
Let g be 5 + 2/6*(-10 + 22). Suppose -g = -3*h - 9. Is 1/662 greater than h?
True
Suppose 0 = -4*q - 144 + 684. Let l be 2168/(-2710) + 12/(-30)*(-669)/2. Is l > q?
False
Let b be (-11 + (24 - 12))*(6 - 0). Suppose -i + 74 = -4*x - b*i, 0 = 2*x - 4*i + 24. Which is greater: -20 or x?
x
Suppose 4*x = -3*s + 539, -2*x - 378 = -5*s + 3*s. Suppose -182*w = -s*w - 180. Which is smaller: w or -59?
w
Suppose 4*a - 9 = 7*a. Let p = 1050 + -1057. Which is smaller: p or a?
p
Suppose 2*j - 28 = -5*j. Suppose 0 = -j*z - 62 + 2. Let s be z/(-50)*(-10)/(-12). Which is bigger: s or 24?
24
Suppose 60 = 5*l - m, -4*l - 4*m - m = -19. Let r = 21 - l. Let t = -1452 + 1454. Which is smaller: t or r?
t
Suppose 0 = 11*y + 40 - 634. Suppose 0 = 5*k + 179 - y. Is 4 less than k?
False
Suppose -3*n = -n - 2*j - 10, 2*j = 4*n - 28. Let p(z) = -32 - 17*z**2 + 14*z + 0*z - 5*z**2 + 21*z**2. Let k be p(10). Which is smaller: k or n?
k
Let p = 639 - 618. Suppose 216 = -17*c + p*c. Is c bigger than 53?
True
Let i = 26 + -29. Let l(f) = 10*f + 3. Let o be l(i). Suppose -30 = 2*p + 26. Is p at most o?
True
Let n be 10/(-15) - 34/(-6). Suppose -n*s = -8*s. Suppose 5*z + 68 = 9*z. Which is smaller: s or z?
s
Let n be 172/22 + 2/11. Let v be ((-4)/16 + 9/(-12))*5. Let h be (-30)/v*(-5)/(-5). Is n at least h?
True
Let a be (-952)/544 - (-21)/12. Which is greater: a or -10/673?
a
Let m be 20956/(-5148) + (-1892)/(-387). Let x(l) = -6*l. Let c be x(1). Let f be (-2)/(-8) - c/8. Which is greater: m or f?
f
Let w = -1683 - -1683. Is w >= 888?
False
Let y be ((-12)/562)/(31 + (-1352)/26). Is 0 less than or equal to y?
True
Let t = 927 + -932. Let y be (-6 - (126/(-20) + -4)) + t. Which is smaller: y or -2?
-2
Let q = 50 - 45. Suppose -34 = -q*m - 174. Suppose -3*t - 152 = -65. Which is greater: m or t?
m
Suppose a - 7 = -t, 3*t = -5*a + 108 - 77. Is 1011 at most as big as t?
False
Suppose -28*d + 283330 - 283358 = 0. Let s be 16/6*15/(-2). Let o be 7/s + (-2)/(-6). Which is greater: o or d?
o
Suppose -v = 4*l + 567, -253*v - 139 = l - 250*v. Is -717/5 less than l?
True
Let w be (-11 - -5 - (-294)/(-63)) + 16/6. Let x = 19 - 27. Is x != w?
False
L