+ 42 = 315. Is r != 70?
True
Let f be ((-1863)/915 - -2)/((-62)/155). Which is greater: f or 0?
f
Let u = 553695 + -553682. Let l be 1 - 8/(-2)*2. Is l smaller than u?
True
Let n = -4590 + 9179/2. Which is smaller: -1 or n?
-1
Suppose -3*j = 4*n - 628, -5*n - 2*j + 273 = -505. Is n < -4?
False
Let s = 0.06 + -21.06. Let x = 35.6 + -31.14. Let y = 2.46 - x. Which is smaller: y or s?
s
Let g be ((-40339)/321)/(1/(-3)). Is 384 > g?
True
Let r = -4734 + 4733. Is r equal to -9/76?
False
Let j(o) = 2378*o**2 - 93*o - 92. Let k be j(-1). Which is smaller: 0 or k?
0
Let q be (-1)/(-6*4/(-7320)). Let v be q/(-561) + (-15)/255. Are v and -1 non-equal?
True
Suppose -v - 52 = 2*m - 140, 219 = 5*m + 3*v. Suppose f - 2*h - m + 113 = 0, 2*f = 2*h - 132. Is -64 < f?
False
Suppose 3500 = 8*z + 12*z. Suppose 5*a + 10*t - z = 11*t, -3*t - 15 = 0. Is a bigger than 28?
True
Suppose -22*g + 25*g = 3. Let a be (-2)/695*-5*g/(-2). Which is smaller: a or 0?
a
Let d = -2620020173/237482 + 4/118741. Which is greater: -11034 or d?
d
Let w be 2/4 + 315/90. Let c be ((-738)/w)/(-3) - (-480)/192. Are c and 65 non-equal?
True
Let z(d) = d**3 - 7*d**2 + 8*d - 3. Let p = 9 - 3. Let q be z(p). Suppose -l + 22 = -28*t + 30*t, -t - 9 = -2*l. Do q and t have different values?
True
Suppose 41*c - 7495 = 39*c - 5*j, -c - j = -3752. Is 3752 <= c?
True
Let q be 88/10*(5/6 + 1). Let w = 84/5 - q. Is w at least -2/3?
True
Suppose 5*l = -0*l - 85. Let o(m) = -m**2 - 6*m. Suppose 35*u - 23*u = -96. Let j be o(u). Which is smaller: l or j?
l
Let b be (-157)/(6 + -3 - (-76)/(-26)). Is -2039 != b?
True
Suppose -540 = -146*j + 137*j. Suppose 4*y + j = 72. Which is smaller: -9/17 or y?
-9/17
Let v = 5644 - 2768. Is v at most 2876?
True
Let u = -0.3211 + -43.6789. Are u and 0.05 nonequal?
True
Let t = 5440 - 5563. Which is bigger: 11 or t?
11
Suppose 587*g + 536 = 591*g - 4*o, 2*o - 12 = 0. Which is smaller: g or 2362/17?
2362/17
Suppose -2*s = -26 - 12. Suppose 4*t - 29 = s. Let w be (t/(-8) - -2)/(-22). Which is bigger: 0 or w?
0
Let d(z) = -z**2 - 63*z + 413. Let r be d(6). Let n = -170 + 108. Let s = -432/7 - n. Which is smaller: r or s?
r
Let q(r) = 2*r**2 + 25*r - 14. Let c be q(-13). Let h = -100 - -120. Let x be h/(-25) - (-132)/290. Which is smaller: x or c?
c
Suppose 17 + 88 = -7*c. Let y(i) = i**3 + 17*i**2 + 32*i. Let d be y(c). Let p be (-12)/d - (-58)/5. Which is smaller: p or 4?
4
Let z = -0.3918 + 115.5018. Let w = -115 + z. Is 0.3 < w?
False
Suppose -2*r = -r - 2. Suppose r*c + 4*w = -c + 86, 5*w - 62 = -2*c. Suppose -2759*f + 2757*f + 44 = 4*v, -5*f + 4*v + 124 = 0. Which is smaller: f or c?
f
Let z = -5620 - -5622. Is -283.2 < z?
True
Suppose 147 = -21*o + 302 - 134. Let a be 242652/(-141) - 3/(-3). Let q = -1720 - a. Which is greater: q or o?
o
Suppose 13*g + 2844 = -146. Let f = -214 - g. Suppose -64 = -3*c + 3*i - 13, -5*i = 10. Is c greater than f?
False
Let v(q) be the third derivative of -q**5/30 - q**4/12 - q**3/6 + 12*q**2. Let p be v(-1). Let z be (9 + -6)/(p/((-20)/(-3))). Is -19 not equal to z?
True
Suppose f + 6960 = 30*f. Let m = 1204/5 - f. Let z = 2.3 - 2. Is m at least as big as z?
True
Let g = -2855 - -4433. Is g at most 1578?
True
Let f = 3269 + -3297. Which is greater: f or -49?
f
Let c be (60/(-7))/((-17)/(-119)). Let p = c + -43. Are -102 and p non-equal?
True
Let w = 15951 + -15907. Are 104 and w non-equal?
True
Let j be (-15)/((-2)/6*3). Let m = j + 7. Let i(c) = -c**3 + 22*c**2 - c + 22. Let u be i(m). Which is greater: 2/43 or u?
2/43
Suppose -3*q + a = -10, q + 6*a - 4*a = 1. Suppose -k = q*t + 123, 2*t - 3*k - 2*k = -82. Is t > -41?
False
Let l = -1528 - -2063. Is 536 bigger than l?
True
Let d(p) be the first derivative of -14*p + 1/3*p**3 - 9*p**2 + 17. Let j be d(20). Is j equal to 24?
False
Let r = -12 - -41. Suppose 0 = 2*c + c + 2*u - 60, 2*c = -5*u + r. Is 21 > c?
False
Suppose -60*h - 734080 = -430*h. Is 1987 <= h?
False
Let f = 283827281/13189 + -21520. Is -1 equal to f?
False
Let i = -7160 + 7163. Which is bigger: i or -0.0395?
i
Let z = 0.105 + 49.895. Let f = z - 35. Let n = -14.98 + f. Which is bigger: 0 or n?
n
Suppose -2*p + 5*o = -0*p + 19, -3*o = 2*p + 11. Suppose -271*n = 49*n. Which is smaller: p or n?
p
Let o be (17 - 22 - (-65)/15) + 0. Is o > 814?
False
Let a = 23.1 - 6.4. Let u = a - 16.1. Which is smaller: u or -0.01?
-0.01
Let l(u) = -u**3 + 13*u**2 - 19*u - 23. Let i be l(11). Suppose -i*p + 71 = 21. Is 84/13 at most p?
False
Let c(h) = -3*h**3 + h**2 + 4*h + 6. Let j be c(-2). Suppose 0 = -5*f - j + 66. Suppose f*u - 11*u = -60. Which is smaller: 19 or u?
19
Let p = -45504 - -179711/4. Which is greater: p or -576?
-576
Suppose -5*b = 4*y + 1359, -18*b + 19*b - 1764 = 5*y. Let g = -62 - 288. Which is bigger: y or g?
g
Let l be 14/(-8) + 2 - (6 + -2). Which is smaller: l or 26?
l
Suppose -5*i + 4 = 3*p + 12, -2*p + 2 = -4*i. Let r = -0.81 - -0.31. Let c = 1 - r. Which is greater: c or i?
c
Let z be 22/143 - 8517/53586. Which is greater: 1 or z?
1
Let k(l) = l**2 - 7*l - 79. Let x be k(-6). Let q = 153330103288/60495 + -12672957/5. Let o = -1/327 - q. Is x smaller than o?
True
Let i = -1575754/9 + 175082. Let b be (-4)/(-6) - 22/6. Which is smaller: b or i?
b
Suppose 11*d = 31 + 13. Let t(n) = -n**3 + 6*n**2 - 12. Let m be t(d). Let f = 33 - 13. Are f and m non-equal?
False
Let x = 2657 - 2656. Which is greater: x or -1/456?
x
Let j = 24910.9701 - 24912. Let o = j - -0.0299. Is 111 greater than o?
True
Suppose -d = 4*w - 474, 5*w + 3*d + 0*d - 603 = 0. Is w != 125?
True
Let t = 79361/281691971 + 3/48409. Which is smaller: -1 or t?
-1
Let l = 3.2 + 149.8. Let b = 152.8 - l. Which is smaller: -12 or b?
-12
Suppose -103*h + 99*h - 12 = 4*i, -h + 13 = -3*i. Which is smaller: h or -19/1091?
-19/1091
Let a be (-36194)/7 + (-972)/(-378). Is a at least -5167?
False
Let w(f) = f**3 + 29*f**2 + 56*f - 48. Let m be w(-27). Let u be (-6082)/34 - (1110/m + 11). Is -179 < u?
False
Let b be 0 - 5/(-165)*-11. Let u = -0.5 - -59.5. Is u < b?
False
Suppose -3*i - 5*c - 2311 = 0, 2*i + 4*c = 5*i + 2266. Let w = -797 - i. Which is smaller: w or -27?
w
Let p = 478.5 - 464.8. Let k be (3/9)/((-20)/(-24)). Which is smaller: p or k?
k
Let r = -31829 - -31943. Which is smaller: r or -153?
-153
Let b(q) = q**2 + 9*q - 39. Let a be b(-9). Let h be (-130)/4*(-468)/a. Is h bigger than -390?
False
Let u(s) = s**2 - 2*s - 13. Let v be u(5). Suppose 5*x - v*m = -956, -m - 5 = -8. Which is greater: x or -189?
-189
Let m(l) be the first derivative of -15*l**4/4 + 3*l**2/2 + 2*l - 2. Let g be 10/(-14) - 8/28. Let h be m(g). Is h > 13?
True
Let d = -0.2253 + 0.0253. Which is smaller: d or 42.9?
d
Suppose -4 + 5 = 30*v + 31. Which is smaller: v or 12/1477?
v
Let v be -10 - 876*28/21. Is v bigger than -1180?
True
Let c = -871 - -1804. Let q = c - 932. Which is smaller: q or 4/87?
4/87
Let c = 12/13 + -61/52. Suppose -2*u + 4 = 0, k - u - 4 - 46 = 0. Let d be 5 + (-247)/k + 81/12. Is d >= c?
True
Let a(j) = 3*j + 14*j**2 - 1 - 27*j**2 - 5*j. Let c be a(-1). Let n be (c/(-9))/(4/(-6)). Is n greater than or equal to -15/7?
True
Suppose 4*u = -8, y + 2704 = 6*y + 3*u. Let z = -523 + y. Do 141/8 and z have different values?
True
Let w be 132/2 + (-580)/48 + (-22)/(-264). Suppose 0 = 3*a - a. Suppose -2*f - 2*u - 2*u + 124 = a, 5*u - 74 = -f. Is f not equal to w?
False
Let r(q) = -4*q + 48. Let k be r(10). Suppose 89 = -3*h + k. Let a(m) = m**3 + 8*m**2 + 2*m - 11. Let b be a(-8). Is b bigger than h?
False
Let h = 3.01 + -0.01. Let r be ((-2)/8)/(5/(-20)). Let q be r - (0 - 4 - -4). Which is smaller: q or h?
q
Let t be (600/(-2))/(212/(-1166)). Is 1650 bigger than t?
False
Let r be 1/2 + (-62)/36. Let q(c) = -c**3 + 29*c - 29. Let u be q(1). Is u less than or equal to r?
False
Let w(l) = l**3 + 19*l**2 - 13*l + 21. Let f be w(-18). Is 579 >= f?
True
Suppose -6*o - 1220 = -11*o. Let n be 8/(-4) + (-1932)/(-8). Let c = o - n. Is c greater than 4?
True
Let p(a) = -2*a**3 - a**2 - 7*a - 6. Suppose j = 2 + 2, 5*j - 11 = -3*c. Let s be p(c). Is 60 not equal to s?
False
Let x = 482 - 474. Let f(w) = w**3 - 7*w**2 + 15*w + 1. Let a be f(x). Is 183 <= a?
True
Let r = -766.314 + 0.314. Let i = r + 762.3. Is 5 bigger than i?
True
Suppose 5*r + c - 11 = 2*c, 3*c - 7 = -5*r. Le