 - 43, -m - 5*y + 25 = 0. Is m at least as big as -22?
True
Let d be (-316)/(-14)*(-67 + 60). Which is smaller: -159 or d?
-159
Let j be (99/(-18) + 7)*1/(-22). Which is greater: j or -5?
j
Let r(f) = 3*f**2 + 5*f. Let w be r(-1). Let v = -827/7 + 8887/77. Which is greater: w or v?
w
Suppose 10*a - 5 = -75. Is a at least as big as -27/4?
False
Suppose 5*j - 71 = 4*j. Let u = -496/7 + j. Which is bigger: 0 or u?
u
Let m be 3 - (-2)/(-4 - -2). Let d = 83 - 93. Let z = d - -6. Is m < z?
False
Let t = -2/1557 + 1228/147915. Which is bigger: t or -1?
t
Let h = 0.191 - 30.191. Is h at least as big as -0.4?
False
Let p be (-8)/(-20) - 128/370. Suppose j + 2 = 0, -2*j + 29 = 3*g - 9. Let u be (1/1*0/g)/1. Is p >= u?
True
Let w be (2/(-5))/((-9)/15). Let x = -17 + 33. Let s be (-4)/3*(-24)/x. Which is smaller: s or w?
w
Suppose 0 = n + 3*b - 206, n - 150 = 2*b + 31. Let o be 156184/819 - 4/(-18). Let t = o - n. Which is greater: t or 1?
1
Suppose -38*s - 33722 = -9022. Is -651 bigger than s?
False
Let x be ((-1)/(-2))/((-1)/16). Let w(u) = 14*u**2 + 9*u - 19. Let f be w(3). Let h = f + -142. Is x at least h?
True
Let a = -311 + 268. Which is greater: -46 or a?
a
Let d = -146/651 + 4/31. Which is smaller: d or 24/13?
d
Let r(v) = v**3 - 5*v**2 + 3*v + 6. Let z be r(4). Let s be (7 - 3) + -7 + z. Is s greater than -1/24?
False
Let u = -265/552 - -12/23. Suppose 21*l - x = 16*l - 7, 0 = 4*l - 5*x + 14. Is l greater than u?
False
Let q = 544/21 + -30517/21. Let p = q + 1421. Which is smaller: p or -5?
p
Let m(o) = 5*o**2 - 2*o - 2. Let r be m(-1). Let v(y) = y**2 + 6. Let i(f) = f**2 - 4*f + 3. Let q be i(3). Let k be v(q). Is k >= r?
True
Let m = 5 - -3. Let r = -9 - -11. Suppose 0*w - 10 = -r*w. Is w at least m?
False
Let d be ((-1497)/18 + 3)*2. Let a be 1747/11 - (-14)/77. Let b = a + d. Which is smaller: 0 or b?
b
Let h be 1242/2996 + 12/(-28). Let u = 811/3210 - h. Let o be 2/8 + 21/28. Is o less than u?
False
Suppose 0 = -u - 34*u - 35. Which is bigger: u or -4/385?
-4/385
Let l be ((10 + -10)/(0 - 2))/2. Which is bigger: l or -5/16?
l
Let j(t) = -2*t**2 - 24*t - 20. Let r be j(-30). Is -1101 at least as big as r?
False
Let p = 4088/3 - 1391. Let d = -29 - p. Is -0.01 less than d?
False
Let t = -5 - 2. Let v be (-63)/12 + 6/(-8). Is t less than or equal to v?
True
Let b(k) = 7*k - 58. Let y be b(12). Is y >= 26?
True
Suppose 2*u + 3*f = 3, -5*f - 6 - 2 = -u. Let q(y) = -2*y - 9. Let s be q(u). Suppose r - 3*r - 28 = 0. Are r and s unequal?
True
Let y = 1.277 - 5.277. Which is smaller: 98 or y?
y
Let l be 0 + 115/(5 - 0). Which is bigger: 27 or l?
27
Let l = -22 - -32. Suppose 4*n - 20 = 24. Let o be n - l - 2/7. Is o at least as big as 2?
False
Let g(f) = f - 1. Let l be g(-3). Let v be (1 - 1) + (-5 - l). Let p be (24/(-30))/((-52)/10). Which is smaller: p or v?
v
Let b = 3.4 - 32.4. Let u = -28.9 - b. Which is greater: u or 19/3?
19/3
Let t be -16 + 3531/(-44) + (-10)/(-8). Is t equal to -92?
False
Let r(a) = 2*a + 18. Let v be r(-8). Suppose 115 = 2*q - 3*l, v*q + l = -l + 90. Let c = q - 27. Is c greater than or equal to 23?
True
Suppose 4*s = -19 - 1. Which is smaller: s or -31/5?
-31/5
Suppose 3*p = 20 + 1. Let l(i) = -126 - i + 2*i + 121. Let z be l(p). Which is bigger: 3 or z?
3
Let i(n) be the third derivative of n**5/60 - 17*n**4/24 - 2*n**3/3 - 17*n**2. Let k be i(15). Is -34 less than or equal to k?
True
Let h = 210 - 176.9. Let t = h + -33. Is 7 smaller than t?
False
Let x = -58 + 74. Let k(v) = -v - 38. Let w be k(x). Which is smaller: -55 or w?
-55
Let r = 0.03 - -0.27. Which is smaller: 18/11 or r?
r
Let z(t) = -t**3 + 4*t**2 + 3*t + 6. Let k be z(5). Let l = k + 12. Is 7 less than or equal to l?
True
Let p(y) = -y**3 + 21*y**2 + y - 17. Let f be p(21). Let t = f + -5. Which is bigger: t or -3?
t
Let d be 10/(-35)*3/2. Let w = 29/84 + d. Let y(c) = -c**3 - 5*c**2 + 3*c + 15. Let b be y(-5). Is b at least as big as w?
True
Suppose -3*s + 13 = 4. Suppose 4*z - s*z = -4. Which is smaller: z or -60/11?
-60/11
Suppose 2*z = -0*z - 10. Let k be ((-24)/(-28))/(z/(-7)). Which is bigger: 1 or k?
k
Let m = 28 + -25. Suppose -3*n + 1 = 5*g + 4, -5*n + 2*g = 36. Let j be (0 + (-1)/2)*n. Is m less than or equal to j?
True
Let s = -5.1256 - -0.1256. Which is smaller: s or 1/50?
s
Let r be (-190)/(10/(-2)) - 0. Let y = r - 13. Which is smaller: y or 24?
24
Let t be 30/(-12)*60/(-25). Which is smaller: -7 or t?
-7
Let d be 4*(3/(-4) + 0). Let y be ((-2)/d)/((-2)/(-1)). Which is smaller: y or 0?
0
Let i be 1 - 34196/(-50) - -1. Let g = -686 + i. Which is greater: g or 1?
1
Suppose 0 = -3*m - 4*k - 6, k + 8 = 2*m - 6*m. Is 9 < m?
False
Let p = 0.4 - 0.2. Let w = -0.0881 + -0.0219. Which is bigger: p or w?
p
Let d = 111.42 + -97.2. Let i = -0.22 + d. Let m = i + -12. Is m smaller than 3?
True
Let u = -6204 + 37375/6. Let o = -25 + u. Do -9 and o have the same value?
False
Let n be ((-3)/3)/(1/84). Let w = 422/5 + n. Let f = 11.06 - 11. Which is smaller: w or f?
f
Let s(a) = 2*a + 21. Let w be s(-8). Suppose w*m = 25, 4*l + 3 = -0*m - m. Which is smaller: l or -11/4?
-11/4
Suppose -176*h = 3*q - 178*h - 58, 5*h = -10. Which is greater: 151/8 or q?
151/8
Let b(g) be the second derivative of g**3/3 - 2*g**2 - 8*g. Let t be b(4). Let m be ((-6)/t)/((-12)/8). Are 3/2 and m non-equal?
True
Let m(n) = 46*n**2 - 16*n - 18. Let t be m(-15). Let j = 95278/9 - t. Which is smaller: j or 13?
13
Let c be (-1 + 0)*(2 + -3). Suppose -3*o - o - 5 = k, -5*o = -5*k - 50. Let q = k - -12. Is q greater than or equal to c?
True
Let t be (-36)/30*(-5)/2. Suppose u - 15 = -t*d, d = u - 0 + 5. Is 10/9 > u?
True
Let u = -0.61 - -0.96. Let p = -0.35 + u. Do 2 and p have the same value?
False
Let h = -1627 - -47190/29. Which is bigger: 1 or h?
1
Let l = 628 - 117. Let w = 9712/19 - l. Which is bigger: w or 0?
w
Suppose 14 = f + 10. Let u be ((-14)/(-1218))/(6/f). Is 0 bigger than u?
False
Let j = 1 - 0. Let r = -85.1 - -86. Let n = r - -1. Is n less than or equal to j?
False
Suppose -20 = 4*n - 3*i - 0*i, -i + 8 = -2*n. Let b = 545/1136 - 74/71. Is b bigger than n?
True
Let b(u) = 9*u**3 + 2*u**2 - 10*u + 8. Let w be b(1). Let l be 4/6*w/6. Is l > 7?
False
Suppose 5*h - 1039 = 2*o, 4*o = -132*h + 136*h - 2096. Which is smaller: 0.1 or o?
o
Let f(c) = 12 - 7 + 2*c + 20. Let r be f(-12). Which is greater: r or -2/97?
r
Let y be (-4)/(-16) + (-49)/4. Let j be (-10)/y*(-6)/15. Is -14 bigger than j?
False
Let s = -6.7 + 7.2. Let m = -0.6 + s. Let k = -0.4 - 0.1. Which is bigger: k or m?
m
Let z be (-6)/(-2) + 7966/(-2646). Which is smaller: z or 0?
z
Suppose 0 = 3*v - 15, 0 = -2*j + 7*j - 3*v + 1665. Let r be 1/(-5) + 234/j. Which is smaller: r or 0?
r
Let j(s) = s**3 - 21*s**2 + 20*s + 8. Let n be j(20). Which is bigger: -0.031 or n?
n
Suppose 0 = 3*d + 6, 0*d + d = -k. Let n(l) = l**2 - 11*l - 18. Let g be n(13). Suppose 0 = -5*m + x, k = -2*x - g. Is 1 less than m?
False
Let r be 3/(-1 + (2 - (-1735)/(-1720))). Is -345 less than or equal to r?
True
Let w = 377 + -378. Let u = 1.3 - 0.1. Which is smaller: u or w?
w
Let x = -602/15 - -154/5. Let t = 190/21 + x. Let f = t - -1/7. Which is smaller: f or 1?
f
Let z be (0 + 1)*(11 + (-3 - 7)). Which is bigger: 2/803 or z?
z
Suppose -5*k = r - 27 - 170, r - 4*k = 233. Let q = -423/2 + r. Let a be (-2)/(-27) - 7480/(-1080). Is a bigger than q?
True
Suppose 0*u - 9 = -3*g - u, -2*g = -u - 1. Is g bigger than 7?
False
Suppose 2*a = 5*q + 267, -16*a + 14*a + 2 = 0. Which is bigger: q or -50?
-50
Suppose -2*m - 57 = v, -6*m + 3*m - 9 = 0. Which is smaller: v or -48?
v
Let s = -831/4 - -209. Suppose -15 = 3*x - 3*q, 0*x - 10 = x - 2*q. Suppose -4*z - z = x. Is s > z?
True
Suppose v - 26 + 7 = 0. Suppose -v*l = -14*l + 135. Which is bigger: l or -25?
-25
Let t be 749/119 - 12 - -3. Which is bigger: -2 or t?
-2
Let p = 39116 + -3559596/91. Which is smaller: -1 or p?
-1
Let h(v) = 41*v - 587. Let p be h(14). Is p >= -152/11?
True
Suppose 167 = 10*t + 317. Let i(g) = -3*g - 1. Let l be i(4). Is l less than or equal to t?
False
Let b = -21 - -21.098. Let i = -22.102 - b. Let f = -22 - i. Which is bigger: 14 or f?
14
Let l be 48/56 - 0 - (-39)/(-21). Is 322 <= l?
False
Let f = -12 - -10. Let k = f + -1. Let p = -3 - k. Which is smaller: 4 or p?
