
Let p be 1017/(-54) + 13 - -6. Let l be (6/(-15))/(2/(-20)). Which is smaller: p or l?
p
Suppose 150*i - 3988070 = -124*i. Which is greater: 14554 or i?
i
Suppose -16*d - 92*d + 324 = 0. Are 98/47 and d equal?
False
Suppose 208 + 157 = -l - 193. Are l and -0.13 non-equal?
True
Suppose 167*x - 172*x - 3*w + 40 = 0, 2*w - 40 = -5*x. Let p = -20 + 11. Are p and x non-equal?
True
Let o(p) = 32*p**2 + 86*p + 85. Let j be o(-1). Is j at most as big as 142?
True
Let y = 454819 - 454918. Suppose 0 = m + 4*i - 1 - 4, -5*m + 3*i = 21. Do m and y have different values?
True
Suppose 3*g = 24*g + 28*g + 9163. Do -170 and g have the same value?
False
Suppose 25*j - 8439 = -1168 + 2554. Which is smaller: j or 389?
389
Let o(n) = -9*n**2 - 14*n - 6. Let d be o(-1). Let l be (-21 + -1)/((-2)/10). Let k be (-164)/l + (-4)/(-10). Which is greater: k or d?
d
Suppose -11*t - 9169 = -209952. Which is greater: t or 18254?
18254
Let z(m) = -22*m**3 - 2*m**2 + 45*m + 3. Let y be z(5). Is y at most -2571?
True
Let n = 669696/7 + -95670. Suppose -5 = -m + 5. Let b be m/(-15) - 8/(-3). Which is smaller: n or b?
n
Suppose 0*l = 15*l + 2085. Let i = -211 - l. Which is smaller: i or 2/5?
i
Suppose -7*p + 57*p = -14*p + 9*p. Is p equal to 4/753?
False
Let a be (963/12)/(246/(-1640)). Suppose -b - 542 = -4*z, 2*b + 2*z - 2140 = 6*b. Is b not equal to a?
True
Let p be -8 + (-5 - -25) + -9. Let s be -3*1/p + 0 - -65. Is 64 less than s?
False
Let x(z) = -11 - z - 3*z + 35 + 5*z. Let c be x(-20). Let s be (1/c)/((-8)/32). Is s <= 4/11?
True
Let g = -35 - -41. Let t be ((-2)/g)/(20/(-72)). Let l = t + 2/5. Is l at most 2?
True
Let h be (-2 - -3) + (-12930)/(-33) + 1. Let m = 394 - h. Is m smaller than 2/59?
False
Let s = 5.85 + 0.15. Let n be 16/12 + (-16)/(-6). Let g be -6*(4/(-16) + n/(-16)). Is g less than s?
True
Let j(q) = q**3 + 28*q**2 + 24*q - 87. Let t be j(-27). Let v be ((-39)/(-4))/(-13)*(-4)/t. Is v at least as big as -0.04?
False
Let f be 80*((-145)/(-10) - 15). Is -39 less than or equal to f?
False
Let s(i) = -i**3 + 34*i**2 - 18*i + 45. Let z be s(31). Is z smaller than 7106/3?
False
Let v(y) = 43*y + 118. Let a be v(-4). Let x be -5*-52*(-2)/10. Let k = x - a. Which is greater: -3 or k?
k
Let h = -218.511 + -0.489. Let m = h + 242. Which is smaller: -1 or m?
-1
Let w = 33 - 33.72. Let z = 0.42 + w. Let c = 1.7 - z. Is c > 2?
False
Let l(p) = p**3 - 10*p**2 + 13*p - 17. Let n be l(7). Let v = -198 + n. Is -272 < v?
True
Suppose -16*x - 504 = -37*x + 84*x. Which is bigger: x or -333?
x
Let x(i) = 7*i**2 - 125*i + 103. Let l be x(16). Which is bigger: 5 or l?
5
Suppose 3*g = -0*g + 18. Suppose d = 4*y + g - 48, 5*d + 90 = -4*y. Let t be (-95)/(-220) + 4/d. Do t and 3 have different values?
True
Let m(o) = -26*o**2 - 17*o + 22. Let i(z) = 77*z**2 + 50*z - 67. Let r(k) = 3*i(k) + 8*m(k). Let q be r(2). Is q < 95?
False
Let s = 1 - 0.8. Suppose -3*t - 350 = -13*t. Let y be (-6)/(-90)*t/14. Which is smaller: s or y?
y
Suppose -3*v + 198 = -2*d, -9*d = -7*d + 4*v + 184. Is -12 greater than or equal to d?
True
Let f(i) = -i**3 + 9*i**2 + 5*i - 5. Let t be f(9). Suppose -2*v - 3*v - t = 0. Let u be 520/(-56) - (0 - 4/14). Is u bigger than v?
False
Let q be (15 - (-570)/(-40)) + (-10362)/(-8). Is q >= 1297?
False
Suppose -71 = z + 2*b, 4*b + 147 - 151 = 0. Which is smaller: -143/2 or z?
z
Let x(n) = -4758*n**2 - 1127*n - 2. Let b be x(2). Which is smaller: -21290 or b?
-21290
Let a = 20106014/9 + -2236506. Is a less than or equal to -2504?
True
Let j be ((-136)/(-80) - 2) + 302537/190. Which is greater: -4 or j?
j
Let a(l) = 1498*l + 5562. Let j be a(-4). Which is greater: j or -438?
j
Let d = -32.8 - -35.8. Is 1.49 not equal to d?
True
Let z be ((-794)/(-1191))/(1 + 359/(-353)). Are z and -38 non-equal?
True
Let d(k) = -3*k + 19. Let z = 34 + -24. Let x be d(z). Let w(h) = 2*h**2 + 22*h + 1. Let a be w(x). Which is greater: a or -2/51?
a
Let c = -4824 - -4819. Let m be 8/30*(-3)/2. Is c at most m?
True
Let i be 1 - 0/1 - 2. Let q be (18 + -2)*(-222)/(-36). Let y = 2951/30 - q. Are i and y non-equal?
True
Let s(a) = a**3 - 6*a**2 - 7*a - 6. Suppose 43 = 5*d - 4*u, 2*d = d - 4*u - 1. Let t be s(d). Let o = 71.7 - 72. Is t <= o?
True
Suppose -17 = 2*w - u, 2*u = u + 1. Let j be (-12)/(-8) - (-13)/w. Let f be (-18)/22 - (-50)/(-275). Is f smaller than j?
True
Let a(l) = l**3 + 24*l**2 - 21*l + 28. Let k be a(-24). Suppose -4 = -533*t + k*t. Is -28 less than or equal to t?
True
Suppose 176*w + 9051 = 3997 + 40078. Which is greater: 221 or w?
221
Let w = -6386 - -6376. Is -3/62 not equal to w?
True
Let p(u) = u**2 + 7*u + 2. Let t be p(-6). Let z be 2/(-13) + (-137)/39. Is z < t?
False
Let x be 20/(6/354*-2). Let z = x - -612. Which is greater: z or -0.04?
z
Let o = -195327/32708 - -221/37. Which is bigger: -1 or o?
o
Let y(s) = -s**2 + 18*s - 18. Let c be y(17). Let p = 12.3 + -22.3. Is p <= c?
True
Let l(d) = -2*d**2 - 14*d + 4. Let m be l(-7). Let i be 2/(m*(-1)/(-12)). Suppose 5 = 4*j - 9*j, -32 = -3*v + 2*j. Which is smaller: v or i?
i
Let j be (20/1675)/(32/(-14320)). Is -4 at most as big as j?
False
Let b = 1580 + -376. Let s = 456 - b. Let p = s - -14218/19. Which is smaller: -1 or p?
-1
Let n(d) = -312*d + 934. Let h be n(3). Which is bigger: h or 576?
576
Suppose 4*f - 2*j + 160 = 0, -j + 0*j + 40 = -f. Let r = -22 - f. Let a be 2*20/3*6/4. Which is smaller: a or r?
r
Let q = 1814 - 1813. Which is bigger: 247 or q?
247
Suppose 2*f - 4*c - 21 = 5, -2*c = f - 5. Let h be ((-7598)/(-7610) - 1)/(f/(-15)). Which is greater: 0 or h?
h
Let t = -938/7503 - 31/123. Which is bigger: -1 or t?
t
Let y be ((-60)/(-50))/((-3)/(-30980)). Let i be y/(-23016) - (-3)/(-21). Let q = i + 2/137. Which is smaller: q or 2/15?
q
Let v be (-28)/36 - -1 - 233050/1050750. Which is bigger: v or 1?
1
Let n = 55.065 - 0.065. Let a = -54.66 + n. Which is smaller: a or -1?
-1
Let r(x) be the second derivative of -7*x**5/5 + x**4/12 - x**2/2 - 12*x. Let q be r(1). Let z be (q/2)/(-11 + 7 + 2). Which is smaller: 8 or z?
z
Suppose 4*u + 9 = r, -4*u + 23 - 6 = r. Suppose 2*c = 3*s, 33*c - 28*c = s + r. Are s and 13/14 unequal?
True
Let l be ((-406)/(4 + -11))/((-2)/3). Let h = -85 - l. Which is smaller: h or -22?
-22
Let x = 6397/4 + -19187/12. Suppose -j - 188 = 2*h - 0*j, -5*h - j = 467. Is x at most h?
False
Let w be (-146)/(-11 - (-4 + 0)). Suppose -62*h - 1320 = -122*h. Which is greater: w or h?
h
Suppose 0 = 85*m + 127301 + 13204. Is m not equal to -1652?
True
Suppose -3*g - 2*h = -g - 16, -5*g + h + 10 = 0. Suppose -3*y + 118 = s, 5*s - g*s = 2*y - 76. Is y != 39?
False
Suppose 0 = -7*g + 41 + 57. Suppose -g*k + 8*k = -156. Suppose -60 = -5*v - 5*r, 2*v + 2*r - k = r. Is 9 bigger than v?
False
Suppose -4*t - 4*d - 464 = 0, -2*d + 348 = -3*t + 2*d. Let r be 280/84*(-1)/t*3. Which is bigger: r or -1?
r
Suppose 0 = 38*g + 2*g + 25*g + 367055. Is -5646 less than g?
False
Let t = 676 - 709. Let z be t/(-231) + (-258)/(-154). Which is smaller: z or 0?
0
Let x = 5 - 5. Let o be -3 - (3/(-9)*x - 17). Let f = 15 - o. Is 1/129 <= f?
True
Let m = -20143 + 20363. Is -1/49 bigger than m?
False
Let a be (-7)/(-4)*(-106)/4 + -1. Let r = a - -102725/2168. Which is smaller: 0 or r?
0
Let u be (-3)/30*2 - (5 + (-1079)/195). Is -74.1 bigger than u?
False
Let v(s) = -3*s**3 - 2*s**2 - 2*s + 4. Let o be v(1). Let a be ((-1)/2)/((o/4)/3). Which is smaller: a or 80?
a
Let x = 127 + -124. Let j(z) = 5*z**2 - z - 10. Let f be j(x). Suppose f = -21*p + 19*p. Is -16 at most p?
True
Let f = -34 + 34. Let r = 60245/37 - 1628. Which is greater: r or f?
r
Let b be 112*(3 - (-286)/4). Let o be b/280 - (-1)/5. Which is smaller: o or 38?
o
Let w = -186 - -177. Let u be (3 + -2 + -11)*w/(-15). Is -92/13 < u?
True
Let z = 78000 - 510431997/6544. Which is bigger: z or 1?
1
Let l = -76.858 - 0.142. Let b = l + 78. Which is smaller: 0.1 or b?
0.1
Let n = -153 + 57. Let v = -95 - n. Let q be (-1 + 1)/(2 + (-3 - v)). Which is smaller: 2/191 or q?
q
Suppose 0*u - 3*u = 27. Suppose -69*p - 88 = -58*p. Let k be (2 + 42/35)/(p/20). Which is greater: k or u?
k
Let b(d) = -d**3 - 51*d**2 - 108*d - 479. Let o be b(-49). Is 217 < o?
False
Suppose 1879 = -15*l + 6454. Which is smaller: 307 or l?
l
Let k(j) = -15*j + 65. Let z be k(4). Suppos