7*(-5)/(-105)*f/4. Does w = -1?
False
Let l = 173/7 + -28. Is -2 at most l?
False
Let a(q) = q**3 + 9*q**2 - 7*q + 22. Suppose 2*v + 46 - 1 = -5*n, 4*v - 2*n + 30 = 0. Let f be a(v). Let k be f/(-7) + (-2)/14. Which is bigger: k or -1?
k
Let l = 27 + -30.2. Let g = l - -3.56. Let d be ((-2 - 0) + 4)/3. Do g and d have the same value?
False
Let w = 0.1795 - 3.1795. Which is greater: w or -0.265?
-0.265
Suppose 5 = -2*m + m - 5*f, 0 = -2*f. Let u be (-32)/(-33) - m/(-5). Which is bigger: u or 1?
1
Let n = -2287/10 - -229. Suppose a + 12 = 4*a. Suppose -a*g - 8 = -4. Is n bigger than g?
True
Let a(l) = l + 11. Let t be a(-7). Suppose -n + 4 = 3, r - t*n + 1 = 0. Let v = 0 - -3. Is v not equal to r?
False
Let l(p) = -p**2 - 2*p. Let w be l(3). Let v be 8/14 - 2/(-14)*178. Suppose 256 = -v*m + 10*m. Are m and w nonequal?
True
Suppose -202 = 2*s - 4*h + 198, 0 = -3*s + h - 595. Which is smaller: s or -197?
s
Let w = 6.49 - 6.39. Which is smaller: w or -1/35?
-1/35
Let p = 237.21 + -236. Let u = -0.11 + p. Let j = u - 1.13. Is j bigger than 1?
False
Let x(s) be the first derivative of -s**5/60 + 3*s**4/8 - 2*s**3/3 - 3*s**2 + 6. Let k(d) be the second derivative of x(d). Let p be k(9). Is p at least -5?
True
Let c be (18/(-28)*(-91)/(-78))/114. Is c less than or equal to -1?
False
Suppose 0 = s - 4, -5*c - s - 2*s + 7 = 0. Let a be (63/4)/((-4)/(c*16)). Are 64 and a equal?
False
Let i(n) = n**3 + 15*n**2 + 28*n + 23. Let k be i(-13). Let h be (16/(-6) - -3) + 97/k. Which is smaller: h or -30?
h
Let c(r) = r**2 + 12*r - 14. Let n be c(-12). Let u be n + (-6 + 5)*4. Is -17 smaller than u?
False
Let z(m) = -m**2 + m + 4. Let j be z(-2). Let r be -1*(-1172)/(-56)*-12. Let c = r + -252. Is c at most as big as j?
False
Let s be (-1)/2*6/(-3) + -2. Let m be (5 - 9)*-2 + 0 + s. Which is smaller: 13/2 or m?
13/2
Let m(i) = 3*i + 1. Suppose 5*q + 28 = -p, 4*q - 3*p = -7 - 4. Let l be m(q). Let b = -21 - l. Is b bigger than -2?
False
Let g be 18/387 - (-256)/(-12900). Which is smaller: g or 0.8?
g
Let l = -350 + 433. Are 84 and l equal?
False
Let w = 0.561 - 0.477. Which is smaller: w or 0?
0
Let d be ((-12)/(-10))/(18/(-585)). Is d at least as big as -41?
True
Let g = 1846/11 + -168. Suppose -45 = 59*v - 54*v. Let i(s) = -s**2 - 9*s. Let c be i(v). Is c bigger than g?
True
Let w be (-3)/(-6 - 8211/(-28)). Is -1 not equal to w?
True
Let c be (0 - 0)/(51/(-17)). Let u be 0 + c + 15 + -16. Is u at least as big as -1/4?
False
Let b = 37.1 + -37. Is 0.053 bigger than b?
False
Let o(a) = 2*a - 16. Let c be o(4). Let s be 4/(-14) + 30/7. Let x be ((-14)/s)/((-3)/(-6)). Which is smaller: c or x?
c
Let t = 0.22 - 0.22. Which is bigger: t or -38?
t
Suppose 5*s - 8*s + 51 = 0. Suppose -f - 4*k + 7 = -1, 0 = f - 5*k - s. Is f > 11?
True
Let h be (-2)/7*(-105)/15. Let s = -22 - h. Is -24 >= s?
True
Let h be (-13 - -7)*1/57. Let n = -45 + 44. Does n = h?
False
Let u(q) = q - 13. Suppose -15 = -4*t + t - 5*j, -2*j = -3*t - 6. Suppose t = -6*k + 3*k + 39. Let a be u(k). Are 2/29 and a nonequal?
True
Let g(o) = 2*o + 14. Let m be g(-6). Let r be 2/4*2*m. Let c = 37 - 34. Which is greater: r or c?
c
Let d be (9 - 3) + 0 + 0. Suppose 4 = 4*v, 0 = -2*r + d*r - 4*v. Let i = -267 + 265. Is i at least as big as r?
False
Let j = 566 - 566. Is j not equal to -2/347?
True
Suppose 5*a = -o + 201, 16*a = 19*a + 2*o - 122. Which is smaller: a or 39?
39
Let l(z) = 1 + 4 - z + 1 + z**3 + z**2. Let a be l(0). Suppose 4*n + 2*x = -a, -2*n = x + 4*x + 23. Which is smaller: 0 or n?
0
Let q = 0.026 - 47.026. Let i = q - -44. Let x = 7 + -6.7. Do i and x have different values?
True
Let w(m) = 4*m - 29. Let d be w(17). Let b = 2 - d. Which is smaller: b or -38?
-38
Let z be (25 - 26)/(1/(-123)). Which is smaller: 122 or z?
122
Let y(h) = -h + 7. Let j be y(5). Let r be (2/4)/(j/72). Is r smaller than 18?
False
Suppose 0 = -42*w - w - 4945. Which is smaller: w or -113?
w
Let z = -1.8 + 0.9. Let d = 1 + z. Let f = -20 - -23. Is f at most as big as d?
False
Let m be (1/(-3))/(15/4725). Which is bigger: -100 or m?
-100
Suppose -w + 3*j + 88 = 0, -4*w + j + 2*j = -397. Are 101 and w equal?
False
Let j be -10*(1 + 0 - 0). Let w be (-5)/10*6*(288 - -1). Let g = w + 2572/3. Which is smaller: j or g?
j
Suppose -5*a = -4*w - 1, -5*a = 2*w + 29 - 6. Let z be ((-12)/(-70))/(a/(-10)). Which is smaller: z or 0.1?
0.1
Let z = -299 - -299.337. Which is smaller: z or -1?
-1
Let g be 5/(-10) + (-9)/(-2). Suppose g*s + 7 = n, 3*n = -s - s - 21. Let u be s*(-2)/6*-2. Which is bigger: 1 or u?
1
Let t = -97658 - -28320883/290. Let z = t - 1/58. Is z > 1?
False
Let w = 269.985 + -269. Let o = w - -0.015. Is 0.4 not equal to o?
True
Suppose h - 4 = -r, 11 = 4*h + 199*r - 196*r. Is h > -4/585?
False
Let i(r) = r**2 + 2*r + 6. Let p be i(0). Let x be (p/(-8))/((-30)/200). Suppose -x*w - 4*m - 14 + 4 = 0, 0 = -2*m - 10. Is w <= 3?
True
Let t = 1.2 - 2.2. Which is bigger: -205 or t?
t
Let h be 1/((-2)/(4/2)). Let j be (70/(-55))/(h + 0). Let f = j + -31/33. Is 1 smaller than f?
False
Let i = -337 + 332. Let n be 0 - (39/(-12) + 3). Is n > i?
True
Let i(y) = -y**3 + y. Let q be i(2). Let p(t) = -13*t + 411. Let o be p(32). Let f = q - o. Is f at least -3?
True
Let j = -30185/196 + 154. Are -4/5 and j nonequal?
True
Let w = -1.281 + 1.271. Do 52 and w have the same value?
False
Let t(w) = -3*w - 1. Let l be (-1)/((-2)/8*-2). Let g be t(l). Let o be -3*g/((-105)/(-12)). Which is greater: -3 or o?
o
Let j(y) be the third derivative of -y**5/60 - 3*y**4/4 + 19*y**3/3 + 18*y**2. Let d be j(-20). Which is greater: -8/15 or d?
-8/15
Let u = 31 + -27. Suppose y + 2*m = 7, y + 4*m - u - 11 = 0. Which is smaller: 3/7 or y?
y
Let c = 37 + 25. Let s = c + -68. Which is smaller: s or 1?
s
Let t = 22 - 21. Suppose 8 = 2*k, 0 = n - k - 3 + 12. Is t bigger than n?
True
Suppose -188 = 17*m - 52. Which is smaller: -5 or m?
m
Let p be (1*(-2)/(-10))/(-2*3/42). Let o = -1 - 1. Which is bigger: o or p?
p
Let r be (-1)/(1 - (-12)/(-8)). Suppose -4 = -r*w + 4*j, -2*j - 12 = -w - 5*j. Suppose 0*h = -6*h + w. Is 1 >= h?
True
Suppose 0 = 3*j + 2*d + 75, -4*j - 5*d - 100 = -2*d. Let o(f) = -7*f**2 + f + 1. Let s be o(2). Is j at most as big as s?
True
Let k be (-1482)/(-330) - 4 - 3/5. Do 0 and k have different values?
True
Let l(u) = -u**3 + 14*u**2 - 15*u + 19. Let n(m) = -m + 6. Let b be n(-7). Let y be l(b). Let k be (0 + -1)/(7/y). Is k smaller than -1?
False
Suppose 17 = -c + 5*o, -2*c = 2*c + 4*o - 4. Is -19/9 less than c?
True
Suppose 0 = -2*q - 6*q - 9*q. Suppose -4*l + 85 - 57 = q. Are l and 4 non-equal?
True
Let y be 70/21*(-54)/15. Let d be (-12)/(-10)*(-20)/y. Is d > 1.7?
True
Let l be -12*((-32)/(-12) - 2). Let b = l + 30. Suppose 0 = -2*z + 5*p + b, 4*p + 10 = -2*z + p. Which is smaller: 2/13 or z?
2/13
Suppose -30*h + 371 = -23*h. Which is smaller: 370/7 or h?
370/7
Let u = -41 - -50. Let k(x) = -2*x**2 + 4*x - 3. Let s be k(3). Let r = s + u. Which is bigger: r or 2/19?
2/19
Let w = 2012.1 + -1906. Let a = 101 - w. Let j = a + 5. Which is smaller: j or -1?
-1
Suppose 2*p = -4*i - 0*p + 6, 2*i + 4*p = -12. Suppose i*r = r - 6. Is r > 25?
False
Let p be 2/(-8) - 1/(-4). Let v = -67536/145 + 2329/5. Is p equal to v?
False
Let q be (22/(-36))/((-1)/(-2)). Let h = -226873/39654 + -2/2203. Let c = q - h. Is c greater than 4?
True
Let t be (0 + 6)/(-2 - -1). Let q be (-2)/t - 1472/6. Let r = 2697/11 + q. Is 1 at least as big as r?
True
Suppose 0 = g - 6 - 5. Let h be 2/g + 20/(-110). Which is smaller: h or -2/21?
-2/21
Let q(x) be the first derivative of -x**3/3 + 9*x**2/2 + 12*x - 5. Let v be q(10). Let k be 1 + -4 - 200/(-56). Do k and v have the same value?
False
Let t = 1451/657 + 1/73. Suppose -7*x - 12 = 4*p - 12*x, 0 = -2*x + 8. Which is smaller: t or p?
p
Let h = 52 - 46. Let l = h + -5.9. Let s = 0.5 + 6.5. Is s at least l?
True
Let k = 14353/9 + -1645. Do -49 and k have the same value?
False
Let x(g) = -2*g - 5. Let o be x(-4). Suppose 15 = -o*c, -2*l + 2*c + 67 = l. Do l and 17 have the same value?
False
Let y(z) = z**2 - 5*z + 4. Let v be y(4). Suppose v = -3*b + 2*i + i + 9, -3*b - 3 = 3*i. Which is greater: -2/65 or b?
b
Let p be (6/(-14))/(((-64)/(-168))/(-2)). Suppose -4*f = -8, -4*k = -0*k + 5*f - 38. Suppose 1 = -2*t + 