104)/(-65) - (-4)/10. Let o = 98 - 58. Suppose 0*l = 4*p + 2*l - o, 5*p - 60 = -5*l. Are p and i unequal?
True
Let s(y) = y**3 - 11*y - 60. Let a be s(0). Is a <= -6?
True
Let r = 14 - 20. Let c = r - -6.2. Is 0.14 equal to c?
False
Let j = 2 - 2. Let i be 2/5 + (-10)/25. Suppose i = 3*p + 3*q - 21, 5*p + j*q = 4*q + 17. Which is greater: p or 4?
p
Let m be -51*((-50)/12 - (-10)/20). Do m and 0 have different values?
True
Let z be -235*(-3 - (-858)/275). Which is bigger: -27 or z?
-27
Suppose 3*j = 7*j - 3312. Is 828 bigger than j?
False
Let a(u) = -7*u**2 - 2. Let j be a(-2). Let g = -9 + j. Is g equal to -39?
True
Let c(x) = 2*x**2 - 2*x - 3. Let d be c(3). Let q be 2/(-21)*(-12 + d). Let r be 2 - (-6)/(-1 + -2). Which is smaller: r or q?
r
Let q(n) = -n - 17. Let r be (-1 + (-52)/(-12))*-6. Let x be q(r). Is -1 != x?
True
Let u be 102/21 - 2/(-14). Suppose u = 3*d - 4. Suppose d*m + 4*r = 2*r + 4, -4*m = 2*r - 4. Is m != 2/51?
True
Suppose -5*i - 28 + 3 = 0, 0 = -3*b - 3*i + 93. Suppose -4*w = 2*w - b. Let q(f) = -f**2 + 7*f - 6. Let x be q(4). Is w > x?
False
Let m = 254198/1611 + -1420/9. Which is bigger: m or -1?
m
Let n(y) = -y**3 + 6*y**2 + 19*y - 18. Let x be n(8). Is 46 at most x?
False
Let d be 9 + -3 - (0 + -3). Let y be 3/4 - d/12. Suppose 0 = -3*i - y*i. Which is smaller: -2/45 or i?
-2/45
Let q = 140 - 136.5. Let c = q + -3.6. Which is smaller: -14 or c?
-14
Suppose -34 = 18*w - 124. Suppose -w*k - 1016 = -13*k. Is 126 at least as big as k?
False
Let r = 2308 + -2326. Which is smaller: r or -75?
-75
Suppose -13 = -3*p - 5*c, -p = -0*p + c - 1. Let b be -2*(p - 25/(-10)). Let f(o) = o + 8. Let a be f(-6). Which is smaller: a or b?
a
Let b = 8 + 8. Let i = 52.7 - 52.8. Which is smaller: i or b?
i
Let a = 8.9 + -9. Let o = -229 - -229.3. Is o <= a?
False
Let i be 28/3*(-12)/(-20). Are i and 6 unequal?
True
Let n = 1243 - 1258.86. Which is bigger: 1 or n?
1
Let v be 3514/14*(-5)/25. Which is smaller: -51 or v?
-51
Let b = -174/209 + -59357/1254. Is -49 at least as big as b?
False
Let s(v) = -v**2 + 22*v - 25. Let b be s(21). Let j(k) = 3*k + 2. Let f be j(b). Let d(a) = -a**2 - 2. Let g be d(-3). Is f at most g?
False
Let n = -571/12 - -195/4. Suppose 3*k = -15, -d - 14 = -0*k + 3*k. Are d and n unequal?
True
Suppose 4*z = 3 + 21. Suppose 7*g + 52 + 88 = 0. Let n be (-3)/((12/g)/1). Which is smaller: n or z?
n
Let m = 114 + -41153/361. Which is bigger: -1 or m?
m
Suppose -9*i = -16*i + 70. Let l be 16 + -3 + 1/(-1). Which is greater: l or i?
l
Let f = 187 + -185. Is 8/9 smaller than f?
True
Let j(k) = -985*k + 10. Let v be j(2). Let a be 1/(-4) - v/(-96). Which is smaller: a or -22?
-22
Let n(y) = y**2 - 18*y + 78. Let a be n(-26). Do 1222 and a have different values?
False
Let i be (-2 - -1) + 44/76. Let b = i - 20/133. Let m be (-8)/4 - (-4)/1. Which is smaller: b or m?
b
Let x(s) = -6*s - 26. Let k be x(-13). Let p = k - 51. Which is greater: 1/38 or p?
p
Let a be (-30)/320*2/(-8). Does a = 1?
False
Let w = 0.162 - 1.162. Is 7 greater than w?
True
Suppose -38*i - 23030 = 29866. Which is greater: i or -1394?
i
Let f(h) = h**3 + 5*h**2 + 3*h + 2. Let a be f(-5). Suppose -29*k + 34*k = 80. Let o = a + k. Is -1 less than o?
True
Suppose -4*q + 1 = -11, 3*q - 49 = -4*t. Suppose b - 7 = -3*r, -2*b = r + r - t. Suppose b*v + 5 = 9*v. Is v at least 2/41?
True
Let m = 0.072 - 0.08. Let s = m - 0.992. Is -0.51 <= s?
False
Let d(k) = -2*k**2 + 17*k - 11. Let z be d(10). Let x = z + 40. Which is greater: 12/25 or x?
12/25
Let f = 291 - 6401/22. Let z = -4 - -4. Is f smaller than z?
False
Let w be 5 + (2 - 1 - 3). Suppose 2*a = -2*m - 6, -5*m + 0*a - 9 = 3*a. Is w < m?
False
Let s = -1192 + 1227. Is s < -0.2?
False
Let f be 2/(-6) - (-25)/12. Let x be (3/4 - 1) + 97/4. Let q be 4*3/x*4 - -1. Which is smaller: f or q?
f
Suppose 5 = 10*q + 35. Which is smaller: q or -22/7?
-22/7
Let b be ((-354)/4)/((693/84)/11). Which is smaller: -123 or b?
-123
Suppose 4*y - 15 = -3. Suppose -y*c = 2*c - 2*r - 123, r - 88 = -4*c. Which is smaller: 22 or c?
22
Let m(l) = -l + 20. Suppose 55 = 3*z + 2*z. Let a be m(z). Suppose s - i = 2, s - 5 = 4*i + a. Is -2 smaller than s?
False
Let b = 107 + -36. Let i = -131 + b. Is i greater than or equal to -59?
False
Let a = -43 - -45. Let l be (-309)/6 + 1/a + 4. Is l greater than or equal to -47?
True
Let m be 15/5 - (4 + -1). Let q be (2*(-1)/(-35))/(114/(-190)). Is q > m?
False
Let z = -619/2444 + 2/611. Which is smaller: z or 826?
z
Suppose 0 = 5*b - 2*b + 72. Let p be 6/((27/b)/(-3)). Suppose -j + 1216 - 1201 = 0. Which is greater: p or j?
p
Let l be 7 + -6 - (0 + 3). Let k be l*(-4)/(-16)*-2. Let p be (4/12 + k)*3. Are 5 and p equal?
False
Let h = -6 - -69. Suppose 4*p = h - 7. Is 14 equal to p?
True
Let d be (-4)/30 - (-1 - 4826/(-30)). Which is smaller: d or -161?
-161
Let l be -1 - (-3 + 156/65). Let x = 1 - 1.01. Is x smaller than l?
False
Let q = 0.66 + 24.34. Let p = 26 - q. Which is smaller: p or -0.03?
-0.03
Let j = -1623817 + 61701277/38. Let s = j - -199/2. Is 0 less than s?
True
Let b be (0 - 0) + 6 + (-4 - 128). Let q = b + 126. Are 2 and q nonequal?
True
Let z = -2046 + 1987. Which is smaller: z or 12/7?
z
Let r = -172 - -101. Let s = r - -72. Which is smaller: s or 29/3?
s
Let d = 15/13 + -19/39. Let p = 5 + -4. Let j(c) = c. Let n be j(p). Which is smaller: n or d?
d
Let p = 9 + -9.2. Let o = -6.7 - -1.5. Let b = p - o. Which is bigger: 0.1 or b?
b
Let a = -74 - -187. Is 111 at most as big as a?
True
Suppose -g - 2*g + 3 = 0. Let d = g + -1. Let m = -74 + 74. Is m < d?
False
Let o be -1*2/(-2) - 1525/1520. Are 0 and o unequal?
True
Let p = -31 - -104. Let j = 25 - p. Let i be j/(-99) + 4/(-6). Is i at most as big as 1/6?
True
Let y = -69 + 81. Let f be (-206)/30 + y/(-90). Which is bigger: -10 or f?
f
Let v = -158.087 - -158. Let h = v - 0.013. Let c = -0.4 + 0.35. Are c and h non-equal?
True
Let i = 323 - 322. Let y = -13 + 8. Let v be (1/(-15))/(y/(-15)). Which is greater: i or v?
i
Let f = -92.8 - -96. Which is smaller: 1/4 or f?
1/4
Let x be (-1976)/(-18) - 3/9. Let r = x - 109. Let u = -10/9 + r. Which is greater: u or -1?
u
Let s = -15295 + 6072110/397. Let i = s + 21/64711. Is -1 > i?
False
Let q = -139 + 143. Suppose -q = 15*x - 13*x. Let r = -34 + 100/3. Which is bigger: x or r?
r
Let w = 78 - 32. Let r = w - 45.8. Is 19 greater than or equal to r?
True
Suppose 2*j - 4*z = -180 - 64, 3*z - 378 = 3*j. Is j greater than -521/4?
True
Suppose -6*a = 5*z - a, 2*a = 2. Let t(p) = 7*p**2 + p. Let r be t(z). Is r at most 8?
True
Let v be (-7)/(-42)*(2 - 3/6). Which is bigger: 12 or v?
12
Let o = 285 + -291. Is o less than -120/19?
False
Let z be ((-8)/32)/(57/(-2040)). Is 8 != z?
True
Let d = 2/1157 + 31223/9256. Which is smaller: d or 3?
3
Let d(r) = 2*r**3 + r**2 - 3*r - 3. Let m be d(-2). Suppose -u + 34 = 35. Let x = m - u. Is -8 at most as big as x?
True
Let p(b) = 90*b - 2. Let l be p(-5). Let u be (l/(-156) - 3)*(-6)/4. Which is greater: u or 0?
u
Suppose -5*t = 4*z - 57, 0 = -z - z - 5*t + 41. Suppose 12 = 4*y - z*y. Let l be (-22)/4 + 2/(-4). Is l > y?
False
Let x be (-38)/(-152) + (-1)/4. Is 11/23 < x?
False
Let g = -117 + 38. Do -78 and g have the same value?
False
Let c = -0.24 + -0.06. Let r = -18 - -12.8. Let p = 3.2 + r. Is c at least as big as p?
True
Let t = -9026/319 - -312/11. Let f = 8 + -14. Let r = -7 - f. Is t less than r?
False
Let j = 206.15 + -206. Is 0.22 at least j?
True
Let i(b) = b**3 - 7*b**2 - 9*b + 11. Let h be i(8). Let u be 1/h - (-17)/3. Let d be 4 + -2*(-4 + u). Is d bigger than -2/25?
True
Suppose -5*u = -5*m - 20, -4*m - 14 = 4*u + 10. Is -2/99 > u?
True
Let a be 7*96/(-112) - (0 + 13). Let h = -9 + -12. Is h > a?
False
Let l be 1 - (-2 + 145 + -5). Let b = l + 135. Is -20 less than or equal to b?
True
Let b be (-2)/(-3) + (-66)/(-9). Let w(p) = -p**2 + 12*p - 1. Let o be w(b). Let n = o + -40. Is -10 at most n?
True
Suppose -28*n + 25*n = -30. Suppose -2*v = -12 + n. Which is smaller: v or -1/34?
-1/34
Let h = 11 - 6. Suppose -h*f - 3*w - 11 = -3, 0 = 4*w + 4. Let g be 53/(-141) - (-1)/3. Is f > g?
False
Let m be (-7)/((-137130)/8)*(-5)/2. Which is greater: m or -1?
m
Let b = -300 + 15001/50. Which is smaller: 1 or b?
b
Let f = 66 - 87. Let t = -5 - f. 