-33
Suppose 4 = -969*c + 971*c. Suppose 23*r = c*r. Do 2/377 and r have different values?
True
Suppose 0 = 4*o + 58 + 22. Let a be o/5*1/4. Let x be 748/(-488) - 15/(-10). Is x <= a?
False
Suppose -2*i + 5*s = 14, -7 + 21 = -2*i - 4*s. Let c(k) = 2*k**2 + 10*k + 19. Let j be c(i). Are 189/4 and j non-equal?
True
Let u = 6950201/535 - 12991. Which is smaller: -1 or u?
-1
Let n = 155 - -139. Let i = n + -301. Which is greater: -0.4 or i?
-0.4
Let d = -50579 + 50637. Suppose -t = -34 - 25. Which is greater: t or d?
t
Let q(i) = -15*i + 1. Let y be q(1). Let w = -612 - -719. Suppose 0 = -7*u - 212 + w. Which is smaller: y or u?
u
Let r = 7756 + -8888375/1146. Is r less than -2?
False
Let b = 112.84 - 112.55. Is 106 equal to b?
False
Let d(g) = 2*g**2 - 2*g - 28. Let m be d(-6). Let b = 2.8 - 2. Let n = b + -0.9. Which is bigger: n or m?
m
Let d = -45030 + 10582082/235. Is 1 not equal to d?
True
Let j(k) = -k**3 + 6*k**2 - 5*k + 4. Let c be j(5). Let r = -321 - -323. Suppose 2*p + r*g = c*p - 8, 3*g = 0. Are p and -1 equal?
False
Let m be -2*(-15)/(-6)*231/(-35). Let y be (352/m)/((-3)/(-9)). Suppose -4*v + 21 + 3 = -4*p, -2*v = 2*p - y. Is v greater than 12?
False
Let n = -8.9 - -9.27. Let b = 0.34 - n. Which is smaller: 2.1 or b?
b
Let r be ((-3)/(-2))/((-38)/7524) - -3. Is -291 at least as big as r?
True
Suppose 27*b - 930 = 17*b. Let p = -94 + b. Which is smaller: p or 24?
p
Suppose 1 + 5 = 6*n. Let c(p) = 9*p - 1. Let f be c(n). Let d be (155/(-52) + 3)/(f/4). Is 1 not equal to d?
True
Let i(f) = -f**3 + f**2 + 9*f - 5. Let a be i(3). Suppose -w + a = -14. Is w <= -1?
False
Let j(q) = q**2 - 11*q + 2. Let k be j(11). Suppose 15 - 3 = k*o. Suppose 3*h - 9 = -o. Is 10/11 smaller than h?
True
Let m = 141 + 45. Let h be 1 - m/(-32) - -1. Let d = -16843/2160 + h. Which is bigger: 0 or d?
d
Let s = -7218 + 1081. Which is smaller: -6138 or s?
-6138
Let u = 16.129 + -23.129. Are u and 0.0958 nonequal?
True
Let q be ((6/(-15))/(461/5))/(-26 + -62). Which is bigger: 0 or q?
q
Let a(f) = 3266*f + 29394. Let v be a(-9). Suppose 3*b + 2 = -1. Is v bigger than b?
True
Let m = -562 + 793. Let r be 6/(-14) - (1539/m - 6). Is 0 greater than r?
True
Let j = 84 - 123. Let p(u) = -u**3 + 9*u**2 - 15*u - 16. Let h be p(7). Let l = j + h. Is l > -62?
False
Suppose 6*x - 12 = -6*x. Let d be (-2)/(-7) + 9/(-7) + x. Suppose -7*b + 20 = -2*b + 4*p, -5*b + 3*p - 15 = d. Are 4/11 and b equal?
False
Suppose -2*l - 3*l = -8*l. Suppose l = 4*w - 164 - 256. Let m be 2/(-10) - (-91)/w. Which is greater: 8 or m?
8
Suppose 23 - 5 = 6*a. Suppose r + 29 = a*s, s - 109 = 5*r - 2*s. Let u be 0 + (192/r)/3. Which is bigger: u or -4?
u
Let b = 2/20635 + 887297/82540. Is -3 equal to b?
False
Let j = 5/169 - -1543/16393. Is j > -1?
True
Suppose 1271*u = 1293*u. Suppose -b = -5*z + 32 + 55, 0 = 4*z - b - 70. Let r = z - 10. Is r less than u?
False
Let f be (-2944)/(-16) - (-5 - -1 - -1). Is f >= 187?
True
Suppose -5*d + 2043 = -14*d. Let h = -243 - d. Do -15 and h have different values?
True
Let m = 212 + -128. Let f be (m/(-35) - 6)/((-1)/10). Let t be 0 + (-38)/f + 10/35. Is -1 smaller than t?
True
Suppose -4*w - 5*h = -6, -5 = -4*w + 4*h + 19. Let x be (-1 + 2)/((-146)/w). Let u(o) = -3*o**3 - 210*o**2 + o + 69. Let f be u(-70). Is f >= x?
False
Let b be (-194667)/(-65263) - (4 + (1 - 2)). Is 1 greater than or equal to b?
True
Let g = 32 - 86. Let b = -822.1 + 780.1. Let u = b - g. Which is greater: u or 2?
u
Let o = 281.8 - 493.5. Let d = -203 - o. Let l = -10.7 + d. Which is greater: 9 or l?
9
Suppose y = 171*d - 173*d - 5, 0 = 3*d + 4*y + 25. Which is greater: d or -20/107?
d
Let j(v) = -6*v - 2*v - 4 + 10*v - 6*v. Let h be j(-18). Let w = -45 + h. Is w >= -2?
True
Let y be 55/22*(96/(-40) + 2). Is 10/8797 equal to y?
False
Let x = 326 - 233. Let i be (30/26 - 24/156)*6. Let m be (188/i)/((-52)/(-156)). Is x at most m?
True
Let q = 399/8 + -2917/24. Let b = q + 70. Which is smaller: b or -2?
-2
Let x be (11450/(-280))/((-18)/(-7)) - 2/9. Which is greater: x or -2?
-2
Suppose 263*m - 266*m = -5*y + 2907, 4 = -m. Is -2/11 > y?
False
Let y = -1 + -37. Let t = -36 - y. Let n = -15/7 + t. Which is smaller: 1 or n?
n
Let v = -1286 + 1348. Is 97 at least as big as v?
True
Let f be 64/(-112) + 781/7. Let d be (-74)/f + ((-152)/3)/(-1). Let t be (-1)/1 + d/45. Do t and -0.07 have the same value?
False
Let c be ((-6)/15)/((-4)/20). Suppose -4 - c = 3*k. Let u = -203 - -210. Which is greater: k or u?
u
Let n = -135 - -134.01. Let a = 0.01 - n. Suppose 77 = -8*r + 15*r. Which is bigger: r or a?
r
Suppose -o = 10*k - 5*k - 19, 5*o = 5*k - 25. Let l be (270/(-275) - 0) + k/22. Is -1 at least as big as l?
False
Let u be (-14)/(-21)*(-3 + 0). Let i be u/(-8) + 170/88. Suppose 437*t - 455*t + 18 = 0. Is t <= i?
True
Let y = 115 - 113. Suppose 0*k = -y*k, -2*k = m - 114. Is 113 equal to m?
False
Suppose h = 4*u + 6311, -12*h + 2 = -14*h. Is -1578 greater than or equal to u?
True
Suppose 3*n = n. Let q be 112/140*110/(-96). Is q not equal to n?
True
Let o be (262251/52452 + -5)*-77. Let l = o + 1/124. Is l != -1?
True
Let h(k) be the second derivative of -k**5/20 + k**4/2 + 4*k**3/3 - 2*k**2 + 21*k. Let o be h(7). Suppose o*q + 3 = -6. Is q at most -3?
True
Let c be (3 - (-143)/(-91))/(36/105). Let s(x) = x - 3. Let r be s(6). Are r and c nonequal?
True
Suppose -8 = -3*k + 7. Suppose 0*s - k*s + 30 = 0. Let y be 5/((9 - 13)/(-4)). Is y at most as big as s?
True
Let p be 273/(-39)*(-2884)/(-49). Do -405 and p have the same value?
False
Let d be 226412/20865 + (-1)/(-5) - 11. Which is smaller: -120 or d?
-120
Let x = -16513 - -14737. Is x at most as big as -1779?
False
Let d = 7.17 - 446.17. Let z = -471 - d. Is z at most as big as 5?
True
Let y be -276 - 44*2/(-8). Which is smaller: -263 or y?
y
Suppose 5*d = 0, 4*d = -2*s + 13 - 5. Suppose s*i = -i - 225. Let r(w) = w**3 + 11*w**2 + 12*w - 23. Let v be r(-10). Is i smaller than v?
True
Suppose 2*s = -5*d - s - 6, 21 = -5*d + 2*s. Let f be 0*(d/(-9) - 0). Let m = 27 + -241/9. Which is bigger: f or m?
m
Suppose 0 = -3*g - 5*v + 79 - 1620, 2*g + 1044 = 5*v. Let i = 518 + g. Which is smaller: i or -75?
-75
Let g(p) = 5*p - 178. Let a be g(37). Let s be a/(-1) - (-425)/(-35). Are -19 and s non-equal?
True
Let j(l) = -l**2 - 29*l - 53. Let o be j(-2). Which is smaller: o or 7/186?
7/186
Let x(j) = 1079*j**2 - 17*j + 110. Let s be x(5). Let p be 2/(-11) - (-5 - s/(-88)). Which is greater: -304 or p?
p
Let b be (-34)/(-272) - (-60)/(-224). Is b at least as big as -70?
True
Suppose 9 = -4*z - a, -2*z - 5*a - 10 + 1 = 0. Let s be (-315)/(-12) - z/(-8). Let k = -44 + s. Which is bigger: -17 or k?
-17
Let t = 1769 - 2485. Let y = 766.05 + t. Let p = -50 + y. Which is smaller: -0.2 or p?
-0.2
Let z be (5 + 205/(-30))*2 - -5. Let f be (304/(-12))/(1/(-6)). Let w = f - 1062/7. Which is smaller: w or z?
w
Let v = 1.048 + -1.048. Which is smaller: v or -1/261?
-1/261
Suppose -2*h - s = -6*h + 199, 2*s + 6 = 0. Suppose -q - 21 = -h. Suppose 0 = 2*i + 2*a + q, 0*i = i + 5*a + 30. Which is smaller: -12 or i?
-12
Let q be (-3)/(-12) + (-45)/4. Let f(h) = -41*h - 567. Let r be f(-14). Suppose -4*v = -3*y + 3 - 47, -y = 3*v - r. Do y and q have different values?
True
Let v be (-1)/(-3)*1 + 5969282/1794. Let c = -3330 + v. Which is bigger: c or -1?
-1
Suppose 2*n + 102 = 96. Let x be (-390 - 2)*(14/(-4) - n). Which is smaller: x or 198?
x
Let a(v) be the first derivative of -v**2 + v - 61. Let n be a(4). Is n less than or equal to -7?
True
Let s be (-3)/(-24) - 8910/2160. Which is bigger: -1113 or s?
s
Suppose 17 = 33*r + 248. Let d(g) = g + 1. Let b(y) = -y**2 + 10*y + 1. Let h(s) = b(s) - 2*d(s). Let k be h(8). Which is smaller: k or r?
r
Let m = -24323/27 + 901. Let y(j) = -j**2 + 9. Suppose 0 = 12*z - 3*z - 27. Let i be y(z). Which is bigger: m or i?
m
Let d(f) = -f**3 + 94*f**2 - 77*f - 8. Let c be d(93). Is c >= 1480?
True
Let i be (-5 + 158)*(-9 + 8). Which is bigger: -11 or i?
-11
Let l = -6577 - -6603.74. Which is smaller: 1/3 or l?
1/3
Suppose -5*p = -z + 146, 27*z - 4079 = 3*p - 5*p. Which is smaller: z or 140?
140
Suppose 5*a = -i + 23, 0*i + 4*a = 5*i + 30. Let g(j) = 5*j**3 - 2*j**2 + 3*j + 7. Let w be g(i). Which is bigger: w or -49?
w
Let j = 36 - 18. 