 14*p - 5*w, 2*p = -5*w - 1105. Do -550 and p have different values?
True
Let k = -9941 + 8872. Which is greater: k or 3?
3
Let s = -12.431 - 16097.569. Which is smaller: 0 or s?
s
Let c = -0.26544 + -650.37456. Let n = -671 - c. Let j = n - -20. Which is smaller: j or 0?
j
Let d = 511.2 + -672. Let c = -161 - d. Let f = 0.4 + -0.4. Which is bigger: c or f?
f
Let l be 1/(3/(-4))*(-24)/16. Suppose l*s - 3*a = 18, -3*a - 8 = -4*s + 22. Suppose y = -4 + s. Which is smaller: y or 15/8?
15/8
Let a = -30408 - -10825247/356. Let t = -7/6 + 3/2. Do a and t have the same value?
False
Let m be (-4218)/133 - 2/7. Let b be (m/(-224))/(2/4). Is b < 1?
True
Let g be 5 + -7 - ((-198)/102 + 7). Is -7 smaller than g?
False
Let c be 0 + 421 - 7/((-49)/(-21)). Does c = 416?
False
Let p be -11 - (6054/(-366) - -4). Is 3 greater than p?
True
Let x be -6 + (-6 - -2) + -62. Let w be (172/x + 2)*2. Suppose 0 = 2*t + 2*t + 8. Which is smaller: w or t?
t
Let a(s) be the first derivative of -s**4/4 + s**3/3 - s**2 - 3*s + 647. Let u = -1 - -1. Let t be a(u). Which is bigger: t or 2/7?
2/7
Let x(q) = -31*q**2 - q + 4. Let b(k) = 7*k**2 - 1. Let y(d) = 9*b(d) + 2*x(d). Let l be ((-4)/(-2) + -8)*-1. Let s be y(l). Which is smaller: s or 24?
s
Suppose 0 = 20*p - 38*p + 72. Let u(y) = 9*y**2 - 7*y - 9. Let z be u(p). Is z at least 108?
False
Let u = -0.5534 - -482.6534. Which is smaller: u or -2?
-2
Let j = -21 - -35. Let z be (-3)/(12/j) + 2. Let q be 132/(99/3) - 7. Is z less than q?
False
Let b = -88.6487 + -0.0513. Let o = b + 110. Let v = o + -22. Which is bigger: v or 0.6?
0.6
Let y be 0 + 9 + 0/2. Suppose -25*h - y = -34*h. Is -1/102 equal to h?
False
Suppose 0 = -5*x - 3*i + 66, x + 2*x - i - 34 = 0. Let n be ((-6)/x)/((-2)/152). Let b = -39 + n. Is b greater than or equal to 1/10?
False
Suppose 3*m - 4*u + 15 = 0, -5*u = 2*m - 5 - 8. Which is greater: m or -23/80?
-23/80
Suppose 0 = 10*c - 4*c - 24. Suppose -252 = -c*o + g, 0*o - 3*g = 3*o - 174. Let a = 54 - o. Which is smaller: 1/3 or a?
a
Let w = 5232 - 5220. Let r be ((-79)/12)/(3/6). Let j = -1/2 - r. Is w <= j?
True
Let t(l) = -l**2 + 9*l + 7. Let b be t(10). Let w be 56/11 + 2/8*-20. Which is bigger: b or w?
w
Let x = 7633 + -15651/2. Let v = 193 + x. Which is greater: 3/136 or v?
v
Let l(t) = -t**2 + t + 2. Let n be l(2). Let d(z) = z**2 + z - 11. Let p be d(n). Let g = -30 - -18. Which is bigger: p or g?
p
Let j = 251.7 - 567.4. Let z = 280 + j. Which is smaller: z or 0?
z
Let f be (-20 + 1)*(-65 - -73). Suppose 2114 = -37*t + 23*t. Is t less than or equal to f?
False
Let q(f) = f**3 + 17*f**2 - 46*f + 80. Let l be q(-12). Do l and 1353 have different values?
True
Let i(u) = u**3 - 10*u**2 + 10*u - 23. Let c be i(10). Suppose -84*z - 49 = -c*z. Suppose 3 = p + 4. Which is smaller: z or p?
z
Let p be ((1351232/(-24))/8)/(6/(-18)). Is 21113 <= p?
True
Suppose b = -2*w - 75 - 30, 3*b - w + 280 = 0. Do -120 and b have different values?
True
Let t be (-2 - -72)*47/(1222/28). Which is smaller: 74 or t?
74
Let v = -9262 - -9269.4. Is v less than -36?
False
Let t = 9898.061 - 9905. Let p = 6.82 + t. Is p at most -1?
False
Let p = 790 + -669. Suppose -120 = r - p. Is 6/85 bigger than r?
False
Let g = 53.244 + -53.3. Which is smaller: 0.2 or g?
g
Let d = 22 + -9. Let b = 15 - d. Suppose 0 = -2*a + 3*y + 53, 0 = -a + 3*y + 15 + 7. Do a and b have different values?
True
Let d = 18030.1 + -18030. Is d greater than -11461?
True
Let d = -2 + 6. Suppose 64 = 4*j - d*a, 2*j + 3*a - 19 = 8. Let o(f) = -17*f + 1. Let l be o(-1). Is j < l?
True
Suppose -27 = -7*t - 258. Let c be (t - 1)*(-20)/40. Is c smaller than 95/6?
False
Let a = -0.12 + -11.88. Let y = 85 - 94. Are y and a equal?
False
Let h = -22248.64 - -21826. Let l = -423 - h. Which is smaller: 2 or l?
l
Let w = 11674 + -11673.2. Which is smaller: w or -307?
-307
Let n = -127229/585003447 + 1/186129. Which is smaller: n or -1?
-1
Let p be ((-19)/(-16))/((-13)/(-52)). Let d be (-459)/(-68) - (-7)/(-4). Is d greater than p?
True
Let a(m) = -8*m**2 + 42*m + 2. Let s be a(9). Let z = 268 + s. Which is smaller: -23 or z?
-23
Let p = -258 + 260. Suppose d = 2*h - 22 - 19, p*d = 2*h - 36. Which is greater: h or 24?
24
Let g = 8689 + -8660. Which is smaller: -30 or g?
-30
Let g = -42377 - -42388. Suppose -6*u + u + 33 = 3*k, 4*u = -5*k + 16. Which is greater: u or g?
g
Let w = -5 + 2. Suppose 0 = -42*c + 49*c. Suppose g - 5 = c, 3*q + 3*g - g - 1 = 0. Is w greater than q?
False
Let j be 3924/40*(-10)/(-4). Let d = j + -247. Is d at most -1?
True
Let y(f) = 1 + 7 + 2*f + 6. Suppose 5*k + 20 = 0, 2*d + 32 = -4*k - k. Let a be y(d). Is 7 <= a?
False
Suppose 43*s = 48*s + 505. Let c = s - -71. Let u be 1/(4/c + 562/(-60)). Which is greater: 2 or u?
2
Suppose -3*w - 5*v - 1602 = -7*w, -4 = -2*v. Let l = w - 4431/11. Which is greater: 5 or l?
5
Suppose 3*t + 4174 = -u + 869, -5*t = 3*u + 5507. Is -1101 <= t?
False
Let v(u) = 2*u**2 - 26*u + 1548. Let r be v(0). Which is greater: -2 or r?
r
Suppose 114 = -19*n + 25*n. Is n greater than or equal to 38?
False
Let r = 5.9 - 0.9. Let c = 47.1 + -51.1. Let n = c + r. Which is smaller: n or 3/4?
3/4
Let c = 64 - 64.1. Let v = -22 - -21.38. Let n = v - -0.52. Is c greater than or equal to n?
True
Let b = 7373/152 - 544/19. Which is smaller: b or 19?
19
Let z = 141 - 140.924. Let b = 4.076 - z. Which is greater: -2/11 or b?
b
Let b = -123 + 114.7. Let k = b - -8.4. Is k >= 11.4?
False
Let a be 5/30 + (-507)/18. Let n(w) = -w**3 - w**2 + w + 4. Let d be n(-2). Suppose -27 = -d*k + 7*k. Is a not equal to k?
True
Let u = -2.3959 + -0.6041. Are -0.0454 and u non-equal?
True
Suppose 3282 + 6143 = -218*z + 3321. Which is bigger: -2/37 or z?
-2/37
Let n = 1/7019 + -21086/203551. Let s be 1/(0/2 - -1). Which is greater: n or s?
s
Suppose 5*h = -147*m + 146*m + 5, -3*m = 5*h + 15. Suppose 5 = -3*i + 17. Suppose 26 = -i*v - 18. Which is bigger: v or m?
m
Suppose 50*s - 104 = 48*s. Let p be -7 + s/8 + (-6)/(-4). Is p smaller than 13/9?
True
Let l be (5 + -2 + 33)*2. Let z be (-6)/(-28) - 36/l. Let g = 0.22 + -0.2. Which is bigger: z or g?
g
Let j(g) = 1 - 11 + 2 + 5 + g. Let l be j(7). Which is smaller: 46/11 or l?
l
Let o = 26906 + -242434/9. Which is greater: -0.07 or o?
-0.07
Let h = -135 + 275. Let g be 80/6 - (h/(-15))/(-7). Which is greater: g or 13?
13
Let u be (-439)/(-7 + 7 + -1). Let l = -372 + u. Which is smaller: 64 or l?
64
Let n = -1.919 - 31.081. Which is smaller: -79 or n?
-79
Let u(g) = -19*g - 43 - 28*g - 163 + 65*g - 26*g. Let r be u(-23). Is r > -22?
False
Let j = 65.906 + -65.926. Let i = 0.9 + 5.1. Is i not equal to j?
True
Let u(t) = -3*t**3 + 40*t**2 - 135*t + 1586. Let b be u(13). Which is greater: 1/4563 or b?
1/4563
Suppose 0 = 2*z - 4*i - 1004, 3*z - i + 142 = 1653. Let x = z - 469. Is 27 not equal to x?
True
Let c(s) = 3*s + 8. Let n be c(-6). Let w(g) = g**2 + 13*g + 34. Let l be w(n). Let p be (-2*8)/l*10/(-4). Is p greater than or equal to 1?
True
Let b(o) = -o**3 - 14*o**2 + o + 16. Let k be b(-15). Suppose -234*w + k*w = 24. Is -4 bigger than w?
False
Let u = 194 + -273. Let a = 13 + -90. Let h = a - u. Which is smaller: h or 1?
1
Let l(x) be the second derivative of x**3/3 - 5*x**2 + 4*x + 5. Let s be l(5). Is s smaller than 1/112?
True
Let r(n) be the first derivative of -127*n**2 - 26*n + 133. Let b be r(-1). Which is greater: 1 or b?
b
Let g(t) = -14*t + 23. Let n be g(2). Let q be 21 - (n + 3)/2. Which is smaller: q or 3?
3
Let s(h) = -h**2 + 17*h - 31. Let y be s(4). Let r(g) = -g**2 + 19*g + 42. Let f be r(y). Which is smaller: 1/572 or f?
f
Let d = -214.118 - 54.088. Let s = d - -268. Is s at least -0.1?
False
Suppose -2*w - 22 = -4*w - 2*o, 5*w - 2*o = 20. Suppose 2*f + w = f - 5*y, 34 = f - 5*y. Is f > 1/4?
True
Suppose 0 = 4*a + 4, 4*a + 8 = -o - o. Let q be ((1 - 0) + o)*1. Let z be (-1 - -1) + (-66096)/(-6696) - 10. Is q > z?
False
Let k = 1 - 1.2. Let g = -1.2 - k. Let d = -47094.9 - -47095. Is d at most as big as g?
False
Let k be -1*((-20)/(-12) + 5/(-3)). Are -0.189 and k nonequal?
True
Suppose 203 = 98*v - 385. Which is bigger: -1087 or v?
v
Let x(m) = -m**2 - 18*m + 20. Let j be 1 + -23 + 0 + 3. Let r be x(j). Let a be (-1 + (-102)/(-60))*4/119. Is r at most as big as a?
False
Suppose 43960 + 3