- 450/493. Is g greater than or equal to m?
False
Suppose -3*p + 2*p = -2*y - 31, -3*y = -3. Let w = p - 20. Suppose w*n = 17*n - 36. Is n not equal to 11?
True
Suppose -g + 2*l + 425 = -1492, 5*g + 3*l - 9520 = 0. Which is smaller: 1909 or g?
g
Let k be (5/4)/(7/(-28)) - (-25)/5. Is k bigger than -99.48?
True
Let f be 1/(-9) - 330862/(-198). Let c = f + -1672. Let s(z) = -2*z**2 - 15*z - 19. Let h be s(-6). Which is bigger: h or c?
h
Let a be (17 - 72736/(-16)) + 16. Which is smaller: a or 4581?
a
Suppose 8*m = 11*m + 8535. Let z be (-4)/(-8) + m/(-22). Let p = -130 + z. Are -1/2 and p equal?
False
Suppose -15*y - 36 + 156 = 0. Suppose -2*r = -5*a - 90 + 304, 4*r = -y. Which is smaller: a or 41?
41
Let l(d) = d**3 + 15*d**2 - 18*d - 20. Let f(i) be the first derivative of i**2/2 - 37*i + 10. Let s be f(21). Let m be l(s). Is m bigger than 10?
True
Let x be 1*(2 - 0)*33/6. Let g(p) = 9*p**2 + 20*p + 8. Let q(i) = -5*i**2 - 10*i - 4. Let a(u) = -4*g(u) - 7*q(u). Let f be a(-8). Which is greater: f or x?
f
Suppose -54 = 3*q - 2*v, -7*v = 3*q - 3*v + 72. Let n be 24/60 - (-28)/q. Is n <= -7?
False
Suppose -2 = 4*s + 22, 5*c = s + 1. Let o(d) = -26*d + 1. Let w(p) = 13*p. Let u(v) = 2*o(v) + 5*w(v). Let i be u(c). Is i less than -13?
False
Let k = 2599 - 23366/9. Let b be 688/602 + (-12)/(-14). Do k and b have different values?
True
Suppose 0 = -0*f + 4*f - 340. Let r = 8 - 5. Suppose -r*k = -32 - f. Is 39 greater than k?
False
Let v = -223669 - -153682. Let f = 4199371/60 + v. Let r = 11/12 - f. Does 1/2 = r?
False
Let x be (4/6 - (-432)/(-1620))/((-14656)/30). Which is smaller: 0 or x?
x
Let i = 227 + -221. Let h be 15*i/15 + 4. Is 14 greater than or equal to h?
True
Let g be (7 + (-43800)/(-16))*(5 - 3). Which is smaller: g or 5491?
g
Let c(i) = i**3 - 20*i**2 + 66*i - 9. Let n be c(4). Is 1/5397 at least as big as n?
True
Let w be (3/(-379)*1258/(-102))/(9/(-9)). Is w <= 1?
True
Let o be ((-5058)/4)/(-6 + 81/12). Is -1687 at most o?
True
Let z = -2 + 2. Suppose z = -4*f - 12, 5*w + 5*f - 48 - 57 = 0. Suppose 5*r + r = w. Is r smaller than 9/2?
True
Suppose -9 = -4*y + y. Let h(t) = 0 + t - 2 + 4 - y. Let i be h(-4). Is -5 less than i?
False
Let i = 11.02 - -3910.98. Which is smaller: -0.2 or i?
-0.2
Let r(w) = w - 4. Let l be r(3). Suppose -4*q - 1216 = 1048. Let j = -17547/31 - q. Which is smaller: l or j?
l
Suppose -168 = -115*y + 118*y. Let a be 4*(6/(-7))/(y/98). Is -2 equal to a?
False
Let p = -11650 + 13388. Is p at most as big as -5?
False
Let v = 159 - 242. Let o be 1655/(-8)*12/30. Let d = v - o. Which is bigger: d or -13?
d
Let p(w) = 2*w**2 + w + 11. Let l be p(0). Let q(o) = 4*o + 10*o + l - 6*o**2 + 8*o**2 - 3*o**2. Let g be q(14). Is 11 greater than or equal to g?
True
Let k = -93.9086 + -0.0914. Let w = 100.99 + -1.99. Let l = k + w. Which is greater: -1/4 or l?
l
Suppose 441*u = 435*u + 72. Let b be 4/6*(-6)/u. Which is bigger: b or 50?
50
Let m(b) = 21*b**2 + 1476*b - 1066. Let n be m(-71). Let q = 613/354 - 11/6. Which is greater: n or q?
q
Let a = 57133/24483 + -2/8161. Is -5/7 at most as big as a?
True
Let c = 1075 + -583. Suppose 0 = -91*y + 85*y - c. Which is greater: y or -81?
-81
Let h = 134 + -95. Let a = 656 - 617. Are a and h unequal?
False
Suppose 0 = 2*s - a - 2020, 174*s = 169*s - 5*a + 5020. Is s < 1008?
False
Suppose 4*h - 271 = 5*s, 14418*s + 4*h + 114 = 14416*s. Let z be -57 + 4/(0 + 2). Is z equal to s?
True
Suppose -19*m = -18*m + 3*l, 0 = -2*m - 2*l + 4. Suppose -18*d - 24 = 2*o - 17*d, 4*o + m*d = -46. Which is bigger: -23 or o?
o
Let p = 0 - -1. Let t(d) = d**3 + d**2 + 5*d + 1. Let j be t(0). Suppose 2*o - 1 + j = 0. Which is bigger: o or p?
p
Let f = 617/91 + -90/13. Let y = f - 9/35. Are 84 and y nonequal?
True
Suppose -2*d - 34 + 46 = 0. Let w be d/(-2) - (46 - 17). Let x be 3/(-6)*4/(-3). Is x bigger than w?
True
Let s = 0.3 - 0.3. Let g = 2301524 - 18821863159/8178. Let m = g + 5/174. Is m greater than s?
True
Let d = 20351.4 - 20349. Are -148 and d equal?
False
Let g = 1253/97 + -21408467/1657342. Which is smaller: 0 or g?
0
Suppose -1628 = 18*r - 224. Let j = -77 - r. Does 4/71 = j?
False
Let r = -27 - -34.8. Let k = -6.8 + r. Let v be (4/(-6))/(1/15). Is k not equal to v?
True
Let u = 973 + -968. Suppose 0*k = 5*k - 205. Suppose 0 = u*x - 46 + k. Does 4 = x?
False
Let x be 2044/35 - 2/5. Suppose 9*k + 49 - x = 0. Is k < 5/49?
False
Let d = 40547/1798 + -690/31. Is -1 at least d?
False
Let v be 2 - 2/2 - -2. Suppose -484 = -24*i - 2020. Let r be (-2)/2 - (55 + i). Which is greater: r or v?
r
Let b = -2423/7 + 792293/2289. Is 0 at most as big as b?
False
Suppose 0 = -4*r - 2*j + 39704, 2*j = -101*r + 99*r + 19848. Is r less than 9928?
False
Let m be (22/(-6) + 3)*(-105)/(-10). Let k be ((-124)/(-130))/((m - -17)/150). Which is smaller: 15 or k?
k
Let q be (-10)/4*(-6)/(-10)*2. Let s be q/348*24/(-5). Let z = s - -458/145. Is z < 4?
True
Let a = -1791 - -1790. Are a and 12/43 unequal?
True
Let q = 61.63 + -102.63. Is q > -0.3?
False
Let b be 6/(-15) + (87/5)/1. Let z = 3.97409 + 0.02591. Is z bigger than b?
False
Suppose -3*c - i + 1506 = 9893, 2798 = -c + 2*i. Which is smaller: -2798 or c?
-2798
Suppose -v = v. Let p = 124662 - 1497601/12. Let f = -138 - p. Which is smaller: v or f?
v
Suppose 44*x = 30*x - 154. Let p(g) = -15*g - 166. Let y be p(x). Is y at most as big as 30/83?
True
Let b be 6/(7167/7230 - 1). Let u = 690 + b. Let x be 4 + (4/14 - (-90)/(-21)). Is x > u?
False
Let a be (-6)/(-18) + (-302)/(-3). Let f be 7/(-35) - a/(-5). Let g = 62 - 42. Is f smaller than g?
False
Suppose 0 = -2*r - 4*r + 114. Suppose 5*d = -t + r, -7*t + 3*d - 16 = -3*t. Let a be (-1 - t)*7/14. Is a greater than -4/9?
True
Let d = 10.3 + 4.3. Let w = d - -1.4. Let r = -24537/19 + 98091/76. Which is greater: w or r?
w
Let f = -198/25 - -83/10. Let m = -22/25 + f. Do m and 0.066 have different values?
True
Let f be (-84)/9*330/(-77). Let n be (-522)/27*(-6)/f. Is n smaller than 3?
True
Suppose 1847 - 835 = 44*m. Is -3 < m?
True
Let b = -1577 - -726. Which is bigger: -855 or b?
b
Let s = -57212.61 + 57500. Let m = s - 288. Which is smaller: m or 1?
m
Let i(t) = 643*t + 3. Let h be i(1). Let b be (-17)/102 - h/(-6). Let y = 103 - b. Is y less than or equal to -5?
False
Suppose 3*m = 132 - 27. Let o(u) = 65*u**2 - 17 - m*u**2 - 29*u**2 - 7*u. Let j be o(10). Is -0.3 > j?
False
Let b be (-7208)/16 + (-3)/6. Let d be -3 + b/(-47) + -6. Do 2 and d have the same value?
False
Let j(p) = -p**2 + 6*p. Let a be j(6). Let l = 174255/13 + -13404. Which is greater: l or a?
l
Let l be (-1 - -2)/((-1)/(-2)). Let t be -1 + l - (-944)/(-40). Suppose 506 = -157*c + 134*c. Which is smaller: c or t?
t
Let d = -16266 - -16243. Is d < -709/31?
True
Suppose 5*j - 4*j + 3*x = 0, 4*j + x - 11 = 0. Suppose -5*u = -j*f - 289, 4*f + 4*u = f - 244. Which is smaller: f or -349/4?
f
Let n(b) = b**3 - b**2 - 6*b - 35. Let u be n(0). Let m be 975/u + (-1)/(0 - -7). Is m >= -26?
False
Let q = 2.03 + 49.97. Let c = q + -84. Is 0.3 less than or equal to c?
False
Suppose -3*v + 5*g + 15 = -0*v, -v + 4*g + 12 = 0. Let h = 0.3 + -54.3. Let w = 58 + h. Which is smaller: v or w?
v
Suppose -2*j = 2*g - 5*g - 14, 4*g = j - 17. Let f be (-64)/(-40) + j - 3. Is f at most -3.4?
False
Let q be ((-3)/(-1) + (-6 - -6))*-1. Let c be 230/(-234)*q + -3. Let x = c - -88/195. Is -1/3 at least x?
False
Let r = 5/434 - 253/40796. Suppose -19*s + 34*s - 15 = 0. Which is bigger: r or s?
s
Let i = 2.49 + -0.49. Let h = -162 - -167. Which is smaller: i or h?
i
Let d = -68 + 68.058. Let g = d - 0.058. Let h = -0.1 - -18.1. Are h and g equal?
False
Let o = -16355.8 + 16359. Do 16/5 and o have different values?
False
Let h(w) = -182*w. Let r be h(-1). Let q be 1326/39 - (-10 + -140). Is q < r?
False
Let z be 2006/(-48) + 75/45 + (-2)/2. Is -40 less than or equal to z?
False
Let j = -153 - -138.9. Let l = 13.9 + j. Is l smaller than -1/88?
True
Let w = 9.02 - 2.14. Let h = 0.88 - w. Is -20 at least h?
False
Let w = -6.0127 - -6. Let i = w + 0.9867. Let t = 0.026 + i. Are 15 and t equal?
False
Let m = -5.34 - -5.1. Let g be 1/((-6)/(-9)*(-2)/4). Is m not equal to g?
True
Let n be 2 + -2 + 6 + -6. Suppose 2*c + 2*c = n. Let p = -1657/380 - -80/19. Is p at most as big as c?
Tr