s d not equal to q?
True
Let d = 4091 - 4066. Which is smaller: 51/2 or d?
d
Let c = -20 + 9. Let j = 17146 + -2263367/132. Let r = j - 1/33. Is r at least c?
True
Suppose j - 3907 = -3*b, -2*b + 1929 = -j - 684. Is b greater than -3/2?
True
Let o = 500 + -462. Which is smaller: o or 34?
34
Let d(x) = 13*x + 14. Let h(v) = -115*v - 125. Let j(n) = 35*d(n) + 4*h(n). Let b be j(-2). Suppose -4*y + 287 = 3*z, b = y - 6 + 4. Is 93 at most as big as z?
True
Suppose 4*z = 2*c - 6, -6*z - 3 = -5*c - 2*z. Let b(k) = -4*k**2 - 6*k + 6. Let y be b(-5). Let w be 2/((y/(-3))/(-4)). Is c less than w?
True
Let i = 740.419 - -1.581. Let o = -742.19 + i. Is o > -29?
True
Suppose 8*g - 2786 = -6*g. Let c = -285 + g. Let m = c + 90. Is 7 greater than or equal to m?
True
Let m be (646/(-102) + 5/(-3))*-859. Do m and 6870 have the same value?
False
Suppose -5*w + 4 = -1. Let m be -8 + ((-4260)/(-497))/((-3)/(-7)). Which is bigger: m or w?
m
Let v(t) be the third derivative of -t**4 + 151*t**3/6 - 137*t**2. Let d be v(13). Is -161 at most as big as d?
True
Suppose -3*o + 96 = -3*l, -3*o + 3*l = -5*o + 79. Suppose -z - 5 = 0, 0 = -5*m - z + 4*z + o. Let v be ((-2)/(-28))/(m/(-2)). Is v less than 1/2?
True
Suppose -4*o + 1 = -5*x, 2*o - 17 = 3*x - 16. Which is smaller: 1/8985 or o?
o
Suppose 0 = -b + 9*b + 248. Let m be b/(-186) - 254/(-60). Suppose -3*c - 40 = -11*c. Are m and c nonequal?
True
Let a = -55382 + 55378. Let p = 7/6 - 9/2. Is a greater than or equal to p?
False
Let o(c) = -c**3 - 8*c**2 - 2*c - 14. Let g be o(-8). Let k be g*(-24)/32*54. Is k >= -83?
True
Suppose -4*o - 3*j = -7 + 1, 8 = 3*o + 4*j. Let z be -396 - 4 - (0 + -3). Let v = 13893/35 + z. Is o greater than or equal to v?
True
Let x = -7521 + 7873. Is x at least 348?
True
Let k = -3223/269571 - -1/1523. Which is smaller: k or 0?
k
Let p = 41 + -41. Suppose 3 = q - 0*q. Let c be (5/q)/(-7 + 1). Is c at least p?
False
Let l = -3/2645 + -13216/7935. Let u(q) be the second derivative of q**4/12 - 4*q**3/3 - 11*q**2/2 - 7*q. Let v be u(9). Is v >= l?
False
Let z = 2277.8 - 2277.7. Which is bigger: 1343 or z?
1343
Let h(y) = y**3 + 6*y**2 - 26*y + 24. Let r be (-3 + (-165)/11)*(-1)/(-2). Let t be h(r). Which is smaller: t or 21?
t
Let g(p) = 3*p**2 + 177*p - 18. Let x be g(-60). Suppose -4*m + 543 + 105 = 0. Do m and x have the same value?
True
Let n = -1650 + 1796. Which is bigger: -4 or n?
n
Let y = 839/15 + -14401/255. Are -2 and y nonequal?
True
Let f = -88 + 160. Let w = 1017 - 1065. Let y = f + w. Is -1/3 > y?
False
Let x(o) = 7*o + 21. Let m be x(14). Suppose -31*h - 2737 = -54*h. Is m not equal to h?
False
Let b = 431 + -290. Let m = -141 + b. Is m <= -3/109?
False
Let h = 60319/68 - 887. Let d = -53 + 54. Which is greater: h or d?
d
Let t(r) be the second derivative of -r**5/10 - 5*r**4/12 + 2*r**3/3 - 2*r**2 + 7*r + 10. Let o be t(-3). Are o and -9 unequal?
True
Suppose -2*n + 10 = -18. Suppose i + n = -2*l, 0*i + 2*i = l - 3. Let o(s) = -2*s**2 + s - 2. Let a be o(2). Which is smaller: l or a?
a
Let y = 13177/253 + -1430/23. Do y and -1 have different values?
True
Suppose -5*i = 2*k - 4970, 2481 = k - 192*i + 194*i. Is k at most as big as 2464?
False
Suppose 2*y + 1222 = -5*x + 224, 4*y + 3*x = -2010. Let r be (-382)/y + (-5)/((-180)/(-8)). Do 1 and r have the same value?
False
Let x(q) = -4*q + 60. Let j be x(12). Suppose j - 14 = -2*o. Which is greater: -2/223 or o?
o
Let n = 301 - 291. Let c be (4/2910*n)/((-28)/6). Which is bigger: 0 or c?
0
Let t = -11/63 + -1/9. Let c = 0.085 - 13.085. Do t and c have different values?
True
Let d be 14/35 - 2/5. Suppose g = 2*w + 1, w = 4*g - d*w + 3. Suppose -28*a + 24*a = -5*j + 10, 2*a - 6 = 8*j. Is a greater than or equal to g?
False
Let p(l) = -947*l - 19917. Let i be p(-21). Suppose 0*r - 4*r + 5*k - 134 = 0, -23 = r + 4*k. Is i less than or equal to r?
False
Suppose 0 = -0*b - b + 4. Let k(y) = 46*y**2 - y + 7. Let j be k(2). Let h = 194 - j. Is b at least as big as h?
False
Let s(o) = -208*o + 2906. Let r be s(18). Which is smaller: -0.01 or r?
r
Let g(b) = 6 - 5 + 5*b - 3*b**2 + 7*b**2 + b**3 + 5. Let i be g(-3). Is i at least 3/13?
False
Let z be (-21)/6*(6 + 44/(-7)). Are 10/31 and z equal?
False
Suppose 3*d = -0*d + 24. Let b(y) = 4*y. Let o(p) = -p. Let r(w) = d*o(w) + 3*b(w). Let h be r(-5). Is h > -21?
True
Let r(d) = -d**3 + 46*d**2 + 104*d - 383. Let w be r(48). Which is smaller: w or 2/14519?
2/14519
Let q be 2/10*-2 + 2/5. Suppose q*o + o = p, 5*p = 4*o. Suppose -2*i + 8 + 10 = p. Which is smaller: i or 5?
5
Let h(f) = 33*f**2 - 1. Let k be h(1). Let n = 21 + k. Let i = 52 - n. Is i not equal to 2/15?
True
Let g = 16 - 22. Let d(o) = o**3 + 8 + 7*o**2 - 3*o**2 + 7*o**2 - 7*o - 5*o**2 - o**2. Let w be d(g). Is w greater than or equal to 11?
True
Suppose 4*g = -26 - 46. Let z = -24 - g. Is -27 smaller than z?
True
Let y(j) = -j**2 - 3*j + 41. Let s be y(-14). Is -115 at most s?
True
Let q(j) = 2*j - 14. Suppose 26*u + 38 + 40 = 0. Let p be q(u). Which is smaller: -11 or p?
p
Let s = 143172 - 1672535305/11682. Which is smaller: s or 1?
s
Suppose -9*x + 14*x - 2 = 3*w, 5*w = 5*x - 10. Let z be 5/(-21) - (-2)/24*w. Suppose c + y + 2*y + 13 = 0, -5*y = 15. Are c and z unequal?
True
Suppose -18*z + 19*z + 3*t = 14, -4*t = 5*z - 70. Let k be (8/z)/(3/9*-1). Let u = -0.02 + 0.12. Is u less than or equal to k?
False
Suppose 3*s + 2*s = 85. Let g = -216 - -218. Suppose 3*n + 13 = 4*p, g*p - 5*p = 5*n - s. Which is smaller: 2 or p?
2
Let p = 4245 - 4246. Let g = 3480455/14 - 248779. Let b = g - -175. Which is smaller: p or b?
p
Let s(n) = n**2 - 11*n + 5. Let f be s(11). Suppose f*t = 5*d - 4*d - 36, 3*d + 3*t = 36. Which is greater: d or 27?
27
Suppose i - 4 - 1 = 0. Let j = 1.811 + -1.921. Is i at most j?
False
Let t(u) = -u**3 + 10*u**2 - 8*u - 7. Let g be t(9). Suppose 5*d = 25, -42 = g*h + 2*h - 2*d. Let l = -683 + 673. Is h >= l?
True
Let n(p) = 351*p - 1441. Let h be n(5). Which is smaller: 313 or h?
313
Let x = 510 + -608. Which is smaller: x or -5?
x
Let n be (99/(-6) - 0)*(5 + -3). Let g be (n - -33)*1/2. Which is smaller: g or -1/85?
-1/85
Let w(d) = -167*d**2 + 3*d - 44. Let k be w(-6). Is -6075 less than or equal to k?
True
Suppose -y = 3*g - 1 - 10, 3*g - 15 = -3*y. Suppose -g*a + 34 = -2*o, 8*o + 3*a + 86 = 4*o. Suppose k - 4 = -2*c, 3*c + 6 = 6*c + 2*k. Is o < c?
True
Let u be ((-8)/(-20))/(1/20). Suppose 8*j - 8 = -u. Which is smaller: j or 5/53?
j
Let d be ((-5)/(-1))/(11/(-22)). Suppose 60*h + 369 = -231. Is d not equal to h?
False
Let n be ((6/(-60))/((-16)/320))/((-5)/2). Is n smaller than -9.1?
False
Let l = 1 + -1.6. Let o = 7.6 + l. Suppose -4*z + 4 = 16*m - 15*m, 0 = 3*z + 3*m + 6. Do o and z have the same value?
False
Let k(d) = 31*d + 177. Suppose 12*i + 55 = i. Let y be k(i). Is y smaller than 89/4?
True
Suppose 0 = 14*l - 4*l - 3510. Suppose -16*g = -3*g + l. Is -33 < g?
True
Let t = 8.448 + -8.348. Which is greater: 1209 or t?
1209
Let n = 109 + -75. Suppose 9*i = -540 + 774. Is i less than or equal to n?
True
Let r = -136426/5 - -1602596202/58735. Which is bigger: r or 1?
1
Let b be (39/26)/(8/144). Are b and 35 nonequal?
True
Let q = 239 + -186. Let w = -53.1 + q. Which is bigger: w or -0.053?
-0.053
Let r = -270 - -269.63. Let z = 2.63 - r. Which is greater: z or 138?
138
Let c(s) = 7*s + 12. Let u = -46 - -42. Let j be c(u). Let t be -3*j/(-12) + 4. Is t > 1/76?
False
Let j be (-2 + -3)*650/125. Suppose p - 3*m = 25, 0*m + 80 = 2*p + 4*m. Let q = p - 59. Which is smaller: j or q?
j
Let v = 6.86 - -0.14. Let m = -10 + v. Let j = -36089.9 + 36092. Is j >= m?
True
Let d be (-5166)/(-328) + (-1)/(-4). Is d smaller than 20?
True
Suppose 98*l = 66*l - 49120. Which is bigger: -1534 or l?
-1534
Suppose 178*r - 6159 = 175*r. Which is bigger: 2052 or r?
r
Let q be 392/23079*84/(-16). Does q = 0.5?
False
Let v = 21 - 16. Let u(m) = m - 9. Let b = 24 - 7. Let p be u(b). Is v bigger than p?
False
Suppose -15*l = c - 11*l - 24, 0 = 5*c - 4*l. Let f be (6 - 16)/(c/8). Let u be 4/(-5)*f/(-56). Is 2 less than or equal to u?
False
Let i = 6.44 - 4.53. Let y = -1.28 + i. Let l = -0.37 - y. Is 34 greater than l?
True
Suppose 0 = -5*g + 26*g - 4200. Suppose 11*o - 13*o = g. Is -97 greater than o?
True
Let c be (-280 - 2)/(2