4/15 + k. Is 1/10 at least j?
False
Suppose -283*p - 1136700 + 3386368 = -3003095. Are p and 18561 non-equal?
False
Let d = -316498773/3667 + 86310. Is 0 bigger than d?
True
Suppose -16*r - 27222 = -59*r - 11183. Is 4 at most as big as r?
True
Let m = -79.6 - -15.6. Let o = m + 61.3. Let g = 4.7 + o. Is -0.04 less than g?
True
Suppose f = 5*f - 16. Suppose 4*v = -0*v - f. Let p be 3*(v + (-26)/(-42)). Is p < -2?
False
Let u = -1928/45 - -65737/1530. Let w = u + -1/102. Let y = -56 + 57. Is w less than y?
True
Let i = -9 + 19. Suppose -2*d + 11*u = 6*u - 116, -4*d + 2*u + 216 = 0. Let h = -46 + d. Which is smaller: h or i?
h
Let w(j) = -175 - 8*j + 248 + 238 + 80. Let k be w(16). Is 265 less than or equal to k?
False
Let u = -10.17 - -225.97. Is u >= -1/2?
True
Suppose 48*k - 43*k + 2*l - 11 = 0, 4*l = 3*k + 9. Are 15/224 and k equal?
False
Suppose 2*r = -3*i - 8, -10*r + 5*i = -8*r - 24. Which is bigger: r or 41/37?
r
Let h(a) = -262*a**3 + 4*a**2 - 9*a - 33. Let p be h(-2). Does 2098 = p?
False
Let f = -15111 - -15841.7. Do 0.1 and f have the same value?
False
Let a = -219 - -218. Let z = 8.98 - 0.98. Which is greater: z or a?
z
Let b = -3/448 + -86349/448. Is -193 less than or equal to b?
True
Let q(j) = -j**2 + 5*j. Let d be q(5). Let p = 113 + -117. Let r be ((-1)/(10/p))/(1089/(-495)). Which is greater: d or r?
d
Let a be (-15860)/(-115) + (-4)/(-46). Let b = -138 + a. Is 25 != b?
True
Suppose -y - 153 = 8*y. Suppose 4*c - 21 = 3*a, -4*a - 10*c + 12*c = 38. Which is smaller: y or a?
y
Suppose 2*q + 2*c - 3 + 11 = 0, -4*c = 20. Suppose 85 - q = 4*i. Let t = i + -49. Which is bigger: t or -27?
-27
Let d = 0.0025 - 209.0025. Let u = 208 + d. Let q = -0.03 - -7.03. Which is bigger: u or q?
q
Let a = -7.03 - -0.03. Let q = -35.626 - -36. Let t = q + -0.074. Which is greater: a or t?
t
Suppose 4*k + 2*j = 6, 3*j = 4*k + 5 + 14. Is 3/2876 >= k?
True
Let p = -4680.06 + 4680. Is -5/2 >= p?
False
Suppose 31 = 4*d - 3*s - 6, -d + 4*s + 6 = 0. Let c be (-2992)/(-1210)*d/4. Which is bigger: 5 or c?
c
Suppose -3*t + 402 = -510. Suppose -t = 5*w - 34. Let z be -23*24/10 + 1/5. Is z greater than w?
False
Let m = -192444091/48873 - -43314/11. Which is smaller: m or 1?
m
Let r be 14*1 + (202 - 216). Is -2/5903 less than r?
True
Suppose 14*x + 208 = -2*x. Let b = 115/9 + x. Are -10 and b unequal?
True
Let w = -214 + 198. Let i = w - -16. Which is smaller: -1/152 or i?
-1/152
Suppose -9*d - 21576 = 78*d. Which is greater: -247 or d?
-247
Let z be -24 - -21 - (-3*9)/3. Let i(w) = -w + 3. Let m be i(-4). Suppose t = m*t - z. Which is bigger: -1/25 or t?
t
Let r = -154 + 157. Suppose -6*s + 0*s + r*s = 0. Let g be -3 + 4 - (-114)/(-105). Is g < s?
True
Suppose -5*x - w + 211 = 607, -x = 2*w + 72. Let j be 2352/(-30) + 0 + (-6)/10. Which is smaller: j or x?
x
Let h be 22/(-2) + (-595650)/(-54186). Is h < 1?
True
Let s = -389.1 + 389. Is -0.8288 at least s?
False
Let v = 507355591 - 630643042079/1243. Let q = v + 376/11. Is q at least as big as -1?
True
Let h be 2*((-266)/(-1729) + 6912/26). Is h greater than or equal to 531?
True
Suppose -2284 - 2828 = 6*f. Let w = f + 864. Is w < 128/11?
False
Suppose -4*q + 48 = -96. Let b be (-2 + 1382/690)/(4/q). Is 0 greater than b?
False
Let u be 1 - 11 - (-3168)/352. Which is bigger: u or 8/549?
8/549
Let v be (-11400)/(-72) + (-2)/(-3). Let k = 87 - v. Let t be k/(-130) + (-4)/26. Which is smaller: t or 0.5?
t
Let j = 1845 - 1845.067. Which is bigger: j or -23?
j
Suppose 0 = 24*a - 26 - 46. Suppose 3 + 12 = 3*z + 4*i, -10 = -z - a*i. Is 27 > z?
True
Let c = 36047/39 - 2723/3. Let z = -49490/2977 + c. Which is bigger: z or -1?
z
Let h(u) = u**3 - 27*u**2 + 24*u + 67. Let v be h(26). Suppose 5*r - 14*i + 10*i = -v, -3*i + 14 = -r. Let b = -19/35 - -2/5. Which is greater: r or b?
r
Let c = -24761/2 + 12135. Let l = 246 + c. Let d = 3.2 - 5.3. Which is smaller: l or d?
d
Let q = 51 + -54. Let y be ((-6)/9)/(q - 561/(-9)). Is 1 at most as big as y?
False
Suppose 5*p = 1398 - 18. Suppose -5*v + 11 = p. Which is greater: v or -215/4?
v
Let g = -132 - -395/3. Which is smaller: -84.24 or g?
-84.24
Suppose 547*f + 1730 = -318*f. Let a = 3668 - 1243454/339. Are f and a non-equal?
True
Suppose 10 = -2*d, d + 50 = 3*a + 2*a. Let v be 0/(3*(-3)/a). Let l be (-1 - v) + (-26)/(-16). Which is greater: l or 0?
l
Let o(b) = 2*b**2 + 27*b - 498. Let n be o(9). Which is smaller: 5/4 or n?
n
Let r = -277 - -281. Is r greater than or equal to 26?
False
Suppose -3*k + 28 - 41 = -4*y, -5*k + y = -1. Which is smaller: k or 1/32838?
1/32838
Let s be 0/(4 + 2 + -3). Let l = -176000/1807 + 1266/13. Is s bigger than l?
True
Let m(u) = -u**3 - 14*u**2 + 70*u - 22. Let w be m(-18). Suppose 0 = -p - 23 - 35. Let x be 2/w + p/14 - 0. Is x greater than -10/3?
False
Suppose -28 = 24*x + 188. Let r be x/(-6)*23 - -2*1. Do r and 38 have the same value?
False
Let j = -38357/276300 - 1/15350. Suppose f + 2*l + 8 = -f, 2*l = -4*f - 8. Which is smaller: j or f?
j
Let u be -2*12*(-12)/(-288). Do u and -3239 have the same value?
False
Let n(i) = i**3 + 108*i**2 + 114*i + 798. Let j be n(-107). Which is smaller: 30 or j?
30
Suppose 15 = 6*j - 3. Suppose -j*t + 5*t + 4 = 0. Let k be 0/t + 6/(-6). Which is smaller: k or -2/11?
k
Let r = -8951 - -6958. Is -1992 at most as big as r?
False
Let h = -85 + 50. Let u be 21/h + -1 + 206/10. Which is smaller: u or 153/8?
u
Let z be 1/6 - (-3558)/36 - 0. Are 5 and z nonequal?
True
Let y = 1684/7 - 241. Let p = -19.995 + 20. Let d = p + 1.995. Is y smaller than d?
True
Let t = -4611 - -327354/71. Does 0 = t?
False
Let p = -124 - -360. Let k = p + -249. Let d be -3 + (2/(-2))/(-1). Is k at least d?
False
Let n = -40 + 47. Suppose 0 = -n*o + o + 12. Suppose o*q + 3 = -5. Is q != -4?
False
Let y = -15512.9 + 16177. Let x = y + -664. Is x at least -332?
True
Let l be (-3)/(-4) - (-15)/(-20). Let u(w) = -w - 4. Let b be u(l). Let o be (-88)/(-6)*3/(-12). Which is smaller: o or b?
b
Suppose -13*x + 3 = -3 + 19. Is -36/127 at most x?
False
Let p = 31 + -30.949. Let o = 37.049 + -37. Let n = p + o. Which is smaller: 65 or n?
n
Let b be ((15/(-9))/5)/(1/(-369)). Let r = b - 3074/25. Are 2 and r unequal?
True
Let w(g) = -g**3 - 7*g**2 - 2*g - 12. Let q be w(-7). Are -20 and q unequal?
True
Let v = 17 + -1. Let f = -18 + v. Let x be (-297)/126*f/(-3). Are x and -2 nonequal?
True
Suppose 3*m = t - 924 - 181, -2210 = -2*t - 5*m. Let a = 7708/7 - t. Which is smaller: -3 or a?
a
Let p = 221 - 241. Let j be p/((-24)/(-6)) - 15. Is -56/3 less than j?
False
Suppose -3*a - 6 = -z, -4*z + 12 - 5 = 5*a. Does -2/735 = a?
False
Let v = -891/56 - -114/7. Let o = -39 + 39. Which is greater: v or o?
v
Let v = -1/78 - -121/312. Let o = -1.538 - -1.55. Let z = o + -0.112. Is v at most as big as z?
False
Suppose 0 = -2*d + 4*z + 168, -236 = -3*d - 0*z - 2*z. Let v be 2/(-8)*(d/895)/8. Which is smaller: v or 0?
v
Let f(u) = 381*u + 1253. Let d be f(-3). Which is smaller: d or 112?
d
Suppose -r - 5 + 3 = 0, -3*r - 13 = -j. Suppose 609 = -j*l + 84. Is l < -76?
False
Let c be (-300522)/(-20) + 2 + (-211)/2110. Is 15027 smaller than c?
True
Let t be (-12)/(-40)*335/9. Let k = t + -343/30. Is k less than -1?
False
Let d be (-3122)/70 - 1/((-5)/3). Let c be d/(-132) - (-22)/6. Is c >= 11?
False
Let i be 14/105 + (-32)/15. Let g be (-85)/(-17) - (3 - i). Let b be ((-2)/5)/((-114)/10). Is g > b?
False
Let t be (-2)/(-4)*-2*(-117)/49. Let r = t - 29231/12201. Let l = -41/15438 - r. Which is bigger: 1 or l?
1
Let b = 0.438 - 0.478. Let p(t) = 3*t + 1. Let j be p(-1). Let i be (-4)/j*8/(-32). Which is smaller: b or i?
i
Let o = 16 - 5. Let j = 189 - 113. Let l = 86 - j. Is l greater than o?
False
Let l(j) = -5*j**2 - 2*j - 77. Let w be (-6 - 0 - -4) + 2. Let i be l(w). Which is bigger: -78 or i?
i
Suppose -5 = -12*o + 7. Let q be 0/(-1*o)*(13 - 12). Do -2/73 and q have different values?
True
Let l = 510612/27023 + -1154/61. Let o = 88221845/4 - 273575845937/12404. Let p = l - o. Is -7 smaller than p?
False
Suppose 298 = 5*d + 18. Suppose 4*z - j - 48 = j, -4*z + d = -4*j. Let s(w) = w**3 + 22*w**2 - 165*w - 7. Let v be s(6). Is v at most z?
False
Let c be 60/(-12) - 1/(2/(-6)). Let y be (-52)/88*-2 + c/11. Are 13 and y nonequal?
True
Let c = 673 - -503. Are c and