v(x) = 28*x + 459. Let p be v(-6). Which is greater: p or 289?
p
Suppose 257 = -5*v + 6*v. Let f = 563 - 306. Is v at least f?
True
Let f be (-6)/(-63) - 20/1092*120/36. Do 0 and f have different values?
True
Let j = -728 + 18203/25. Let n be (1 - (-10)/(-6))*-3. Let r be n/(-3 - (-2 + 1)). Is r < j?
True
Let p be ((-4)/(-3310))/(7 + 1014/(-130)). Which is greater: p or -1?
p
Let z = 201 - 177. Let c be (10/15)/(4/z). Is 5/2 != c?
True
Let s(n) = 4*n**2 - 9*n - 197. Let j be s(31). Is j > 3368?
False
Let x be 626/(-34)*(-8)/(-14)*(-7)/(-2). Which is smaller: -36 or x?
x
Let a(n) = -n**2 + 12*n + 10. Let f be a(9). Let g = 24 - f. Let u(r) = -2*r**2 - 8*r - 3. Let c be u(-5). Does g = c?
True
Suppose 150*a - 198*a + 64128 = 0. Is 1336 < a?
False
Suppose -a + 115 = z, -125 = -a + 25*z - 28*z. Suppose -4*x + 120 = -0*v - 4*v, -4*x = v - a. Is x smaller than 28?
False
Let i(r) = -r**3 + 14*r**2 - 15*r + 26. Let y be i(13). Suppose 5*u + 3*f - 70 = -2*f, y = -5*u + 5*f + 50. Is u > -0.1?
True
Let x be ((-2)/5)/((180/135)/(12590/9)). Are x and -419 unequal?
True
Suppose 5*d - 108 = -178. Suppose -5*b - 4*a = -26, -b + 0*b - 5*a = -22. Suppose 0 = 4*g - 20, -16 + 0 = b*j + 2*g. Which is smaller: j or d?
d
Let f = 3.742 + -3.842. Are f and 622 nonequal?
True
Let v = 7.44 + -12.2. Let d = -3.76 - v. Which is bigger: 21 or d?
21
Let m = 33 + -18. Let h = 124.2 - 139. Let p = 14.7 + h. Which is bigger: p or m?
m
Let k(i) be the second derivative of -i**4/6 - 7*i**3/2 - 3*i**2 - 3*i + 916. Suppose 2*p + 2 = 0, z - 7*p + 2*p = -5. Let y be k(z). Are 1 and y equal?
False
Let s = -117 - -119. Suppose s*u - u = -j + 5, 0 = 4*j + 5*u - 19. Let k(o) = -2*o - 7. Let p be k(j). Which is smaller: p or -16?
p
Suppose -144 - 192 = -16*l. Suppose -l = -p + 5*f, 7*p - 57 = 2*p + f. Suppose -5*d + 5*h + 20 = 0, -2*d + 3*h + 1 = -2. Which is smaller: d or p?
d
Let f = 6/1447 - 1471/5788. Which is greater: f or -97?
f
Let h be 1500/200 - 3/(-2). Which is smaller: 43 or h?
h
Let i = 3 - 3.01. Let o = 9956 - 30577/3. Let m = o - -235. Which is greater: m or i?
i
Let m be 4026/(-15) + 20/50. Let i be (-2)/(-4) - m/(-248). Which is greater: -2 or i?
i
Let v = -55 - -1. Let f = -24 - v. Suppose 6*h + f + 78 = 0. Is -56/3 at most h?
True
Suppose 2*u - 2*h = -0*u + 60, -5*h + 120 = 4*u. Let c = -16 + u. Let x = -18 - c. Which is smaller: -33 or x?
-33
Let u = 173 - 175.8. Let t = -1.1 - 3.9. Let z = 3 + t. Is u bigger than z?
False
Let u = -9.8 - -856.8. Let g = 898.9 - u. Let p = g - 52. Is p greater than 40?
False
Let r = -12 + 8.7. Let o = -5.13 + 1.93. Let s = r - o. Is -41 greater than s?
False
Let h = -212 + 262. Let z be (-51)/3*(-2 + -4)/2. Is h at most as big as z?
True
Suppose 24*v = 23*v + 21. Suppose -24*b + 363 = -v*b. Let m = b - 80. Which is smaller: m or 42?
m
Let w = -362/13547 + -4/1767. Which is smaller: w or 1?
w
Let d(o) = -2*o**3 - 17*o**2 + 59*o + 45. Let s be d(-11). Which is bigger: -2/4807 or s?
s
Let d = -6827.9 - -6904.9. Let g = 0 + -2. Which is greater: d or g?
d
Suppose 39 = 29*z - 16*z. Suppose -7 = -d - 3*l + 46, 3*d = -z*l + 147. Is d less than or equal to 43?
False
Let s(z) = -z**2 - 6*z + 5. Suppose 0*r + 16 = r + 3*g, -5*g + 32 = 3*r. Suppose r*a - 2*t = -4*t - 24, -a - 4*t = -1. Let q be s(a). Is -1 smaller than q?
False
Let o be ((-11)/(-33) + (-11)/6)*(-2346)/187. Are o and 19 non-equal?
True
Let z = 1442/1227 - -16068451/15951. Let t(h) = -169*h - 5. Let j be t(-6). Let g = z - j. Which is smaller: g or -1?
-1
Let y = -25 + 31. Suppose -6 = -y*s + 7*s. Let d be (-984)/(-33) + s/(-33). Do 31 and d have the same value?
False
Let b = 200923211/3959 - 50751. Which is bigger: 1 or b?
1
Let o = 8 + 40. Let f = -209 - -207. Is f greater than or equal to o?
False
Let g(d) = 7*d + 82. Let q be g(-12). Which is smaller: 135 or q?
q
Let o = -117106153/1878272 - 1/81664. Which is smaller: -61 or o?
o
Let r = 8703/4 + -2191. Which is greater: r or -4/15?
-4/15
Let j = -5.8 + 5.801. Let t = 0.001 - j. Let g = -21 + 20.81. Is g equal to t?
False
Let y = -47/15 + 43883/14010. Let j = y + 6075/3736. Which is smaller: j or 1?
1
Let g(d) = 147*d**3 - 7*d**2 + 11*d - 9. Let s(t) = 73*t**3 - 4*t**2 + 6*t - 5. Let k(c) = -3*g(c) + 5*s(c). Let y be k(1). Which is smaller: y or -77?
-77
Let g be 4/48 + (-5)/(-120)*-2. Is g < -1/3705?
False
Let y = 17/33 + -1042/165. Let a = y + 31/5. Is a at most as big as -29?
False
Let h = 31337 + -31194. Which is greater: h or 4?
h
Let u = 127 + -47. Suppose u - 530 = 5*g. Let r = 88 + g. Is -8/13 <= r?
False
Suppose 10*r + 4*j = 12*r - 8, -j = -5*r + 20. Suppose -324 + 324 = r*o. Is o at most as big as -1/926?
False
Let y = 29893/22 + -1359. Let m = y - 29/66. Let j = -159 - -180. Which is smaller: m or j?
m
Suppose 0 = 3*a, -i + 0*i + 4 = -4*a. Suppose p = -3*p + i. Let b be 2698/4655 - (5 + 22/(-5)). Are p and b equal?
False
Let o = 2 + -2. Let f be (-6*(-69)/288)/((-65)/52). Is o bigger than f?
True
Let l = -6616/3 + 3407222/1545. Is -1 <= l?
True
Let k = 4.26002 + 0.04898. Let r = k - -0.691. Are -2/15 and r non-equal?
True
Suppose -2*g - 5*y - 281 = 0, -118 = g + 2*y + 23. Let k = -143 + 144. Is k at most as big as g?
False
Let f = 73 + -71. Let t be 30/(-9)*(-4 + 5/f). Let x be ((-1)/(-7))/(t/10). Is x smaller than -0.1?
False
Let o = 77 - 77.69. Let x = o + -2.41. Let i = 4.1 + x. Is i smaller than -7?
False
Suppose 0 = 8*j - 16*j + 72. Suppose 3*h = j - 15. Let t be 1 + 1 - (-3 - -6). Is t at most h?
False
Suppose -27878 = -5*w + 4*a, -2*a + 9384 - 3814 = w. Is -1/4 at least w?
False
Suppose -211412 = 116*z - 892100. Which is smaller: 5866 or z?
5866
Let v = -526 + 460. Let k = -192 - -124. Which is smaller: v or k?
k
Suppose 36*n = 5*n - 4872 - 114664. Is n bigger than -3858?
True
Suppose 7 + 1 = 2*s. Suppose s*g = 5*g + 2. Let j be -3*(g/12 + 0). Which is bigger: j or 2?
2
Let a(v) = v**2 + 27*v + 28. Let n be a(-19). Let j be (-4)/n*2/(-3). Suppose 7 = -14*q + 21*q. Which is greater: q or j?
q
Suppose 4*o = -c + 223, 55*o = 2*c + 57*o - 470. Is 259 != c?
True
Suppose 6*m = 4*m - 292. Let j = 250 + m. Let h = -725/7 + j. Which is bigger: -1 or h?
h
Let p = 901 - 9009/10. Suppose 5*s = -5 - 0. Is s <= p?
True
Suppose 37*w - 55 = 26*w. Let o(u) = u - 5. Suppose -21 = -3*r - 2*x, 5*r - 2*x + 3*x - 42 = 0. Let p be o(r). Is w at most as big as p?
False
Let r = 5 - -12. Suppose -3*f + 5*q = 74, -4*q + 89 = -4*f - 7*q. Let z = f + r. Which is greater: -5 or z?
-5
Let i be (-22)/(-55) - (-20)/(-100). Is i >= -618?
True
Let h = -98632336/65979 - -118/7331. Which is greater: h or -1494?
-1494
Let c = 238.9 - 239. Let z = -978 - -924. Which is greater: c or z?
c
Let u(d) = 3*d**3 - 72*d**2 - 126*d + 1279. Let m be u(25). Let f = 23 - 14. Are m and f equal?
False
Let u = -309 - -415. Suppose -u = 2*q - q. Which is smaller: -104 or q?
q
Let h = 158 + -158.2. Suppose m - 3*n = -36, -3*m + 2*n - 60 = 5*n. Let p be (-2)/4 + m/16. Which is bigger: p or h?
h
Let b = -15289 + 15307. Let h = 1349/78 - -27/26. Which is bigger: b or h?
h
Let d be 163752/(-54582) + -3 - (-10 + 4). Is 1 equal to d?
False
Suppose -2*t - 3*g + 1 = -8*g, g = 5*t + 9. Suppose 30 + 4 = -y. Let j = -38 - y. Are t and j nonequal?
True
Let m = 27.7 + -27.83. Which is bigger: -206 or m?
m
Suppose 2*x + h + 1 - 6 = 0, 2*x - 5*h = 35. Let u be 2 + 5/(x/(-2)). Let a be u/(-2) + (-11 - -13). Which is smaller: 1 or a?
1
Let w be (-4)/14 + (-48)/(-70). Let o be -622 + 597 + 3*-7. Which is bigger: w or o?
w
Let t be (-112)/120*4690/56. Which is bigger: 1 or t?
1
Suppose -k + u = -u - 7, 3*k - 2*u = 13. Suppose 2*s - n + k = 9, 0 = -3*s - 2*n + 9. Let j = -19 + 25. Are s and j non-equal?
True
Suppose -155*s + 4208 = 4*n - 159*s, 5*n - 4*s - 5264 = 0. Are n and -4 unequal?
True
Let o = 63 + -48. Let f be 6 - (2 + o/(-5)). Suppose v - 4 = -3*s + f*s, 3*s - 4*v = -16. Is s bigger than -4/7?
True
Let y(z) = -36*z - 356. Let f be y(-10). Let s be f - (-3 + 9)*2/6. Which is smaller: 108 or s?
s
Suppose 2*m + 6 = -o, -3*m = 3*o + m + 8. Suppose -o*v - 5 = -3*j, 2*j = j + 5*v - 2. Suppose j*i + 28 = 2*p + 2*p, -4 = -p. Which is smaller: i or -1/3?
i
Let j(m) = -m**2 - 17*m + 137. Let u be j(-22). Suppose -s - 58 = z + 4*s, z - 5*s + 8 = 0. Let v = z + u. Does -8 = v?
False