 -4 + 2 + (1 - -4 - 3). Suppose s*c = 5*c. Let j be (-2)/7 - (-6)/(-7). Which is smaller: j or c?
j
Let w(m) = m + 261. Let x be w(27). Does x = 288?
True
Suppose 9*i - 8 = 7*i. Let j be -184 + 1 + 7 - (1 - i). Which is smaller: j or -172?
j
Suppose -3*q = -219 + 759. Let k be (-4833)/q - (-30)/(-24). Is 27 != k?
True
Let s(w) = w**2 + 133*w + 3792. Let n be s(-42). Let o be ((-12)/10)/((-6)/20). Suppose b = -o, -2*b = -5*j - 71 - 71. Is j equal to n?
True
Let i be 187/7 + (-6)/(-21). Suppose 5*m + a = -2*a - i, 2*a = -8. Let l be -22 - -2 - (m + 1 + 3). Is -20 > l?
True
Suppose -4*f - 3*s = -284, -f + s + 2*s + 56 = 0. Let t = 94 - f. Which is greater: t or 19?
t
Let f(o) = 2*o + 6. Let l be f(-3). Let b = -3/347 + 950/69747. Which is smaller: l or b?
l
Suppose d - 5 = -y + 4*d, 2*y + 5*d = 32. Let x be ((-7)/(-1))/(-1)*y/22. Let l = -35 + 32. Which is bigger: l or x?
l
Suppose -2*l + 204 = 15*l. Suppose -l*a = 10*a. Which is greater: a or -4/317?
a
Let g = 56 + -56. Let p = 1282 - 80765/63. Which is bigger: g or p?
p
Let t = 68/45 - 10/9. Suppose 5*q - 125 = 190. Let f = 438/7 - q. Which is bigger: t or f?
t
Let s = 301.87 - 222.87. Which is smaller: s or -50?
-50
Let h(z) = -125*z - 7124. Let p be h(-57). Which is bigger: 1/3590 or p?
p
Let s be (48/1854)/4*-54. Is s smaller than -1?
False
Let n be ((-1168)/(-10864424992))/(2 + 101072680419/(-50536318542)). Let k = n + -2/1018539843. Let j = k - -15/107. Is j less than -1?
False
Let i be ((-8959)/(-352036))/(1/2). Which is smaller: -0.1 or i?
-0.1
Suppose 242*l - 3 = 239*l. Is -1/340 < l?
True
Let c be 425277/(-1269) - ((-2)/(-1) + -2). Let j = 335 + c. Is j bigger than 0?
False
Let m = 1839 - 1797.2. Is 0.5 at most as big as m?
True
Suppose -2*c - 54 = -3*c + 3*r, -148 = -3*c - 5*r. Let k = c + 51. Which is smaller: 105 or k?
k
Let j = -1374 + 582. Let z be (4 - (-33)/(-6))/(2/j). Let k be (-1232)/z + 2*1. Is -0.1 equal to k?
False
Suppose 27*q - 2*q = -81 - 2019. Which is bigger: -82 or q?
-82
Let p be 4907/39 - (-5)/15. Let h = p + -126. Which is bigger: 24 or h?
24
Suppose 6 = -3*c + 2*c. Suppose 30 = 4*q + 2*q. Suppose -5*v + 17 = -2*g, q*v + 0 = -5*g + 10. Are v and c equal?
False
Let u be (-104)/(-5928)*(-31)/2. Which is smaller: 0 or u?
u
Let i = -1688.1 - -1687.987. Which is greater: 33 or i?
33
Suppose 30 = -22*i + 12*i - 0. Is i less than -68.1?
False
Let r be ((-88902)/41040 - -9) + (-2)/(-12) - 7. Which is smaller: -1 or r?
-1
Let m be (-2)/12 - (-2600)/(-78). Let v = -331/10 - m. Is 25/3 greater than v?
True
Suppose -5*p - 6*s = -4063, 5*s = -5*p + 4964 - 899. Is p bigger than 799?
True
Let z(q) = 2*q - 43 + q - 16*q**2 - 2*q**3 + 3*q**3. Let v be z(16). Suppose -5*w - 313 = -3*m, -105 = -2*m - v*w + 62. Which is smaller: m or 0?
0
Suppose -l - 4*l = l. Suppose -2*x - i + 19 = l, -i - 36 = -x - 2*x. Suppose 7*d = x*d. Is -3 at most as big as d?
True
Suppose -5*j = j + 156. Suppose -3*n + 5*t = 47, 0 = -4*n + 105*t - 102*t - 81. Which is bigger: j or n?
n
Let k = 1.06 + -1.51. Let n = k + 1.45. Which is smaller: 0 or n?
0
Let t be 2/4 + (-1000)/(-16). Suppose -3*f + 15 = -t. Let c be (2/(-7))/((-2)/f). Which is greater: c or 5?
5
Let t be (-14)/147 - (-5599)/41811. Is t less than 1?
True
Let y = 3992 - 3984. Which is smaller: 77/10 or y?
77/10
Suppose -5*o - 56 = -5*n - 21, -n = -3*o - 11. Suppose -a + 25 = n*j, 5*a - 4*a = -2*j + 22. Let i be a/6 + 7/(-21). Is 6 at most as big as i?
False
Let v be (7 + -3)*(35/(-20) + 1). Are 18 and v equal?
False
Let n = -225.2 - 49.8. Let x = n - -304. Are x and -2/7 unequal?
True
Suppose -6*a = 3*a + 2034. Suppose -71*y + 4068 = -89*y. Is a less than y?
False
Suppose -5*w + 3 = -2. Let m = w - 0. Let j = 1694/41 + -21981/533. Is m < j?
False
Suppose 2*i - 5*l + 8 = 6*i, -i = 5*l - 2. Suppose o + z + 20 = i*o, -20 = -o + 4*z. Let q be o/70 + (-137)/(-35). Does 4 = q?
False
Let i = -496 + 54. Let j be ((-20)/(-2) + (-3483)/344)/((-1)/(-3562)). Let o = i - j. Is o >= 3?
True
Let c = 468 - 646. Are c and -1595/9 nonequal?
True
Let c = -1/4660 + 167789/135140. Suppose 0 = 2*j + 4*k - 10, 4*k + 0 - 8 = 0. Is c at least as big as j?
True
Suppose -16*l = -20*l - 4*z + 496, 7*l = -3*z + 888. Which is smaller: 1043/8 or l?
l
Let a = -4592 + 4592.1. Is a not equal to 36/77?
True
Suppose 3*a - 8*a + 2*l - 381 = 0, -5*l = 4*a + 285. Let u = a - -111. Let c be (20/12)/((-2)/u). Is -29 smaller than c?
False
Let s be (4/48)/((-315)/90). Suppose 0*x - 5*i + 10 = x, 4*x + 4*i - 8 = 0. Which is bigger: s or x?
x
Suppose -3*f + 4*w + 2 = 0, 3*f - 5*w + 0 = -2. Let b be 21/(432/132 + 3/(-11)). Is f at least b?
False
Let d = -127/386 - 880349/2702. Let g = d - -326. Does 1/2 = g?
False
Let z = 0.69 + 1.31. Let v = 34 + -34.38. Let s = -0.11 - v. Is z bigger than s?
True
Let p = 6 - 9. Let y be ((-14)/3)/(18/972*18). Let j be 24/(-21)*y/(-12)*3. Is p greater than j?
True
Let h = -3 + 6. Suppose -4*a + 5*s + 0*s = 8, h = 5*a - 3*s. Let d = -38437 + 38436. Which is smaller: d or a?
d
Let i = 68 + -202. Let u = i + 251. Let p = -115.7 + u. Does 2 = p?
False
Suppose -3*v = 6, -6*n - 14 = -4*n + 7*v. Which is smaller: n or 2/9589?
n
Let t = -21131 + 21162. Is t less than or equal to 75?
True
Let q be 4/22 + (-90)/(-110). Let h(i) = i**2 + 1. Let b(m) = -3*m**2 - 8*m - 5. Let v(o) = q*b(o) + 2*h(o). Let g be v(-8). Which is greater: g or -6?
g
Let p = 162.61 - -61.39. Which is bigger: -6 or p?
p
Let s be 8/(640/(-10616))*2. Let a = -265 - s. Is -650 <= a?
True
Let o(s) = 3*s**3 - 25*s**2 + 9*s - 15. Let j be o(8). Let z be j*33/(-77) + -3. Let m be (-2)/(-86)*(-4)/(-6). Which is bigger: m or z?
m
Let f(t) = 475*t - 29451. Let q be f(62). Let n = -2/5990687 + -868644049/16672081921. Let w = 20/121 - n. Which is smaller: w or q?
q
Let r = 0.115 - 0.017. Let j = -110.098 + r. Let a = j - -108. Is 0.09 greater than a?
True
Let m = -473 - -484. Let y = -9.74 - 0.26. Let f = y - -9.7. Which is greater: m or f?
m
Suppose 324*o - 104 = 220*o. Which is smaller: -15/172 or o?
-15/172
Suppose 11*u = -1883 - 8996. Let m = u + 78129/79. Is m <= 2/5?
True
Suppose y + 6*y = -2093. Let i = y + 298. Which is smaller: i or -3/85?
i
Let i be ((-1)/(7/6))/(288/2016) - 3021. Is -3026 greater than i?
True
Let h be (-3 + 8)/((-2)/6). Let p = -16 - h. Is 1/190 less than or equal to p?
False
Let s = 9370 - 9382. Which is greater: -591 or s?
s
Let m = -189/334 - -1523/2839. Suppose -j = -0*j. Which is greater: j or m?
j
Suppose -90 = 77*l - 82*l. Let h be 1058/(-18) + (-4)/l. Let r = h - -42. Do -20 and r have the same value?
False
Let y = 698 - 1152. Which is smaller: -450 or y?
y
Let m be (-20)/(-30)*(1 - 31/(-2)). Suppose 15 = 14*p - m*p. Suppose -2*i = -0*i + p*y + 2, y = 0. Do i and -2 have different values?
True
Let z = -3691 + 217771/59. Which is greater: z or 56?
56
Let t be (-2)/((2448/(-77435))/(-18)). Is t >= -1140?
True
Let h(m) be the second derivative of 7*m**3/2 + 101*m**2/2 - 197*m. Let o be h(-11). Is o less than -128?
True
Let g = -646.5 - -651.5. Which is bigger: g or -1.1?
g
Suppose 45*l = -113*l + 4424. Which is smaller: 30 or l?
l
Let y(h) = 3*h**2 + 178*h + 45. Let i be y(-32). Is i less than or equal to -2580?
False
Let u be (-9)/6 + -1*(-478)/(-4). Let c = -99 - u. Which is smaller: 28 or c?
c
Let z be (-7133)/1*(7 + (-9 - -3)) - -7. Which is smaller: -7128 or z?
-7128
Let m = -9369/8420 + -6082633/4437340. Let i = m + 42/17. Suppose 0 = 1986*j - 2004*j + 18. Is j bigger than i?
True
Let m = 2717 + -1922. Let w = m - 656. Which is smaller: -1 or w?
-1
Suppose -o = 2*o + 2*c - 62, 3*c = -4*o + 84. Suppose 0 = -d + 4*w + o, -w - 2*w - 6 = 3*d. Suppose d = -2*z - 0. Is z >= -8/5?
True
Let w be (8/(-1630))/(30/(-75)). Let i = 66.924 + 0.076. Let f = 67.1 - i. Which is bigger: w or f?
f
Let a = -74 + 120. Let z = 44 - a. Which is smaller: -5 or z?
-5
Suppose 5*w - 173 = 4*x - 153, x - 3*w = -12. Which is smaller: x or 1/4741?
x
Suppose 28 = -11*d + 13*d + 20. Is -306 >= d?
False
Let v = -328377187/5948 - -55208. Which is greater: v or 1?
1
Suppose 657*m + 5*z + 939 = 659*m, 3*m - z - 1441 = 0. Which is smaller: 479 or m?
479
Let g = 8348.01404 - 0.01404. Are 0 and g nonequal?
True
Let y = 5949267/52 + -114413. Which is smaller: -5 or y?
-5
Let d be (-27)/(-315)*7 + 682/