ose 4*s + 2*d - q = -3*d, -4*s + 18 = 3*d. Which is greater: s or l?
l
Suppose -3*a = a - 8. Suppose 0 = -a*s - 0*s. Let f = 19066 + -19093. Does f = s?
False
Suppose 4*b = -0*b - 156. Let s = 195348 - 195388. Which is greater: s or b?
b
Let u = -345.75 - 3.25. Which is greater: u or 5?
5
Let m be 11/7 - ((-48)/(-84) + 0). Suppose -2*a + 9 - 1 = 0. Let q be (a - (4 + m))/4. Which is bigger: q or -0.28?
q
Let j = -173.4 + 0.4. Let a = 123 + j. Let u = a + 47. Are 2/7 and u unequal?
True
Let j = 1.35 - 0.35. Let v = 4.258 + 35.687. Let k = v + -40. Is k <= j?
True
Let o be (-48)/(-27)*1/(-44). Let z(u) be the third derivative of 7*u**4/12 + 85*u**3/6 + 2*u**2 + 27*u. Let m be z(-6). Is m at least o?
True
Let c be (-4)/(-3) + (0 - -2 - 5). Suppose -3*i = -0*i + 126. Let j be 54/(-42) - 3/(i/4). Which is smaller: j or c?
c
Let r be ((16/(-3))/2)/(56/15708). Let v = r + 6718/9. Is -1 at most v?
False
Let f = 2/17 - 214/85. Let p = 205 - 11. Let r = p + -196. Which is bigger: r or f?
r
Suppose -3*b = -u - 1414 - 5101, -6495 = u + 2*b. Is -6504 less than u?
True
Let v = 340 + -654. Let c = v + 314. Which is greater: c or 14/17?
14/17
Let j = 7785 + -7723. Let h = -0.4 - 0.6. Which is smaller: h or j?
h
Let z = -106.1 - -92.1. Are -101 and z nonequal?
True
Let v(d) = d**2 + 28*d + 54. Let t be v(-4). Is -9 < t?
False
Let x = 31980 - 31578. Which is smaller: 398 or x?
398
Let i(y) = -y**3 - 20*y**2 + 105*y + 1286. Let f be i(-22). Which is smaller: f or -66?
-66
Suppose b - 6 = -1. Suppose -13 = -2*y + b. Suppose -4*j = -y*j. Are 1/21 and j nonequal?
True
Suppose 4*a - 360 = -5*w, 2*w = 24*a - 27*a + 137. Which is smaller: w or 80?
w
Let g = 83 - 79. Suppose -7*m = -g*m + 6. Let y be 4 + (1 - 14/m). Is 11 less than y?
True
Let y = -8036 + 6444. Is 1/4 <= y?
False
Let z = 15498 + -15992. Which is smaller: z or -481?
z
Let f(h) = 32*h**2 + 5*h + 2. Let l be f(-3). Let t = 6530921297/23758774 + 6/913799. Let v = t - l. Which is smaller: v or -1?
-1
Let w = -12/16937 - 28471049/67748. Let h = 406 + w. Let j = -225/16 - h. Which is greater: j or 1?
1
Suppose 0*j - 5*j = 4*s + 96, s - 81 = 4*j. Let p(r) = 2*r**2 + 10*r + 15. Let d be p(-7). Suppose 0 = -d*h + 48*h + 95. Are h and j nonequal?
True
Let l be (1/(-11))/(1/46). Suppose 11 = -2*q + j + 4*j, 5*j = q + 8. Which is smaller: q or l?
l
Let f be (824/(-16))/((-3)/(-2) + 0). Which is bigger: -35 or f?
f
Let z = 2.19 - 0.19. Let h(j) = -j**2 - 3*j + 7. Let p be h(-4). Let s be 7/p*(24 + -21). Which is smaller: z or s?
z
Let t = -7270 - -7228. Let z be (-1)/(2/82 - 0). Is t at most as big as z?
True
Suppose -7200 = -4*p + 4140. Let q be ((-6)/p)/((-28)/140). Suppose n = 4*v + 2*n + 5, v - 4*n - 3 = 0. Are q and v non-equal?
True
Suppose 12*d - 31 = 29. Suppose -d*f = 4*c + 6, -13*f - 1 = 3*c - 11*f. Which is smaller: 4/65 or c?
4/65
Suppose -106*f + 4333 = 22565. Which is greater: f or -162?
-162
Let m(p) = -141*p - 52. Let x(b) = 281*b + 103. Let i(h) = -7*m(h) - 3*x(h). Let j be i(-2). Do j and -232 have different values?
True
Let b = 24 - 21. Suppose -7*t - 8 = -b*t, t = 3*v + 64. Let m be v/10 + 12/20 + 1. Is -0.1 at least as big as m?
True
Let u(s) = -4*s + 20. Suppose 0 = 3*i + 5*t - 45, -29*i - 4*t = -30*i - 2. Let h be u(i). Are -22 and h non-equal?
True
Let l = -377 - -281.4. Let b = l - 1.4. Let q = -96.9 - b. Is 1/7 <= q?
False
Let b be 1*5/(-25) + (-2 - -2). Is 1/13 smaller than b?
False
Suppose 2*m - 4*m - 30 = 0. Let q be (-2605)/m*(-12)/(-28). Let y = -77 + q. Is y at most -4?
False
Let o = -0.19 - 30.01. Let z = o + 30. Is z less than -9/4?
False
Let y be (390/234)/((-49)/6). Let o = 1 - 2. Which is bigger: y or o?
y
Suppose -15*u = -18*u + 4*z + 1284, 0 = -8*u + 4*z + 3444. Are 433 and u non-equal?
True
Let i = -6 - -4. Let w(r) = -2*r**2 - 14*r - 2. Let m be w(4). Let j be (-5)/(m/(-4)) + 7/(-9). Which is bigger: j or i?
j
Let m = 40.057542 - 0.057542. Suppose -2*t = -7*t. Which is bigger: t or m?
m
Suppose 5*b = 2*n - 133, -5*n + 42 = -4*b - 61. Which is smaller: b or -207?
-207
Let n = 2234/209 - 117/11. Suppose -2*q = -q - 4, 3*q - 36 = -3*r. Let u = -7 + r. Is u less than or equal to n?
False
Suppose 44*u - 28 = 16. Which is greater: u or -2/447?
u
Let t = -6 + 15. Suppose -309 = 3*c + 2*k - 795, -c = 5*k - 175. Suppose 4*q = -16*q + c. Which is smaller: t or q?
q
Suppose 19*d + 877 - 953 = 0. Suppose 4 = x - 2*z, -9 = -8*x + 3*x - z. Suppose -x*u - 92 = d*g, -8 + 91 = -3*g + 2*u. Is -25 at least g?
True
Let j be (-7)/(-14) + 535/(-474) - 10/(-15). Suppose -4*f = -3*f. Is j < f?
False
Let u(r) = 2*r**3 + 33*r**2 + 15*r - 5. Let k be u(-16). Let c be (-35)/k + 126/(-33) + 4. Which is smaller: c or 9/5?
c
Suppose -13*h + 33 = -19. Suppose 7*n - 5 = 11*n + 5*f, 0 = -h*f - 4. Which is smaller: n or 5/43?
n
Suppose 4*b - 3 = 3*i, -4*i - b = 4*b + 4. Suppose -2*j + 2*q - q + 11 = 0, 4*j = q + 23. Suppose j*m - 14*m = -m. Is m equal to i?
False
Let t(u) = u**3 + 4*u**2 - 5*u - 4. Let n be t(2). Let d be n/12*(-124)/(-155). Is d greater than -0.045?
True
Let a = 236/7 + -2341/63. Which is smaller: -0.2 or a?
a
Let s = 5.42 + -9.65. Let z = 3.23 + s. Is -6/29 smaller than z?
False
Let w be (0 - 1)/(35*9/(-161154)). Is w equal to 512?
False
Let m(w) = 98*w**2 - 1186*w - 9. Let p be m(7). Is -3509 equal to p?
True
Let j be (3/(-6) + 1)/(-9 + 661). Are 0 and j unequal?
True
Let j(z) = -z - 8. Let c be j(-4). Let o be c/12 - (-2)/6. Let a be 2 + (-2 + 0 - o). Is -5/8 bigger than a?
False
Let k = -757 + 698.9. Let t = k - -58.035. Which is smaller: 2 or t?
t
Let y(t) be the first derivative of -t**3/3 - 7*t**2/2 - 13*t - 43. Let p be y(-14). Which is smaller: -110 or p?
p
Let l = 1301 - 1300. Which is greater: -2/29 or l?
l
Let v be -1 + 3325/165 + (14/11)/7. Let g(a) = 5*a - 5. Let o = 12 + -7. Let j be g(o). Is j at most v?
False
Let a be (-15)/6*((-1)/3 + 1265/5775). Is a greater than 3/730?
True
Suppose 3*f + 343*n = 337*n - 33378, 4*f = -4*n - 44500. Is f at most as big as -11125?
False
Suppose 49 + 191 = 5*z. Let s = z - 32. Let c = s + -7. Is c <= 10?
True
Suppose -g = -2*h + 4, -53 + 74 = -3*h - 3*g. Which is smaller: -38/191 or h?
h
Let c(v) be the second derivative of 20*v**3/3 - 87*v**2/2 + 43*v. Let a be c(4). Is a equal to 73?
True
Let r be (8 - 102/12)*8. Let f be (-4 + -5 - -14) + r + -1. Let a = -43337/318 + 817/6. Is a at least as big as f?
False
Let l = -41.5673 - -41.65. Which is smaller: -2 or l?
-2
Let u be (-352)/(-528) - (-1628)/6. Which is bigger: 6 or u?
u
Let h be ((-4)/(-23))/(-2) + 1362636/15613182. Which is smaller: h or 1?
h
Let t = 1302 - 1301.8. Let c = 3.1 + -3. Let i = c + -0.05. Which is smaller: t or i?
i
Let f = 1595 - 49481/31. Which is bigger: 0 or f?
0
Suppose -1682*o + 1677*o = -3*z - 12, 0 = 5*o + 5*z + 20. Is -1/7965 at most as big as o?
True
Let r = 64720/1353 + -740/123. Which is bigger: r or 42?
42
Suppose 0 = -2*s + z + 23, -z + 1 = s - 9. Let j be (-2 - -1)*s/(77/2891). Is -414 != j?
True
Let h be (1*-4 - (19 - 22))*-9. Let v be -1 - 4 - (-10 - -9). Which is greater: v or h?
h
Let i = -596 + -104. Which is smaller: -699 or i?
i
Suppose -2 - 1 = -b. Suppose 0 = -b*i - 2*o + 5, o - 13 = -3*i - 6. Let u be -1 + (1 - (-1 - 1)). Are u and i non-equal?
True
Let w be 16/(-12)*(-2 - -5). Let t = -36 - -85. Let m = t - 54. Is m <= w?
True
Let p = 25 - 9. Let g(x) = -2*x**2 - 3*x**3 + 113 - 4*x**2 - 12 - 5*x + 4*x**3 + 17*x**2. Let y be g(-12). Is y not equal to p?
True
Let i = 41593996703/5593974767 + 34446/399941. Let v = 538/71 - i. Let y = 5023/1773 + v. Is 2 != y?
True
Suppose 3*t - 4*k - 13 = 0, -5 + 12 = -3*t - k. Is t > -1/59?
False
Let p = -305 - -301. Let s = 4/153310553 - 2427212692676/673799880435. Let m = 2/879 + s. Which is smaller: p or m?
p
Let v = 202 - 377. Let j = -164.9 - v. Are -1/3 and j unequal?
True
Let m = -2318 - -2181. Is m greater than 1/4?
False
Suppose 0 = -u - 1 - 43. Let n be 206/(-31) + 51 + u. Which is smaller: n or 0?
0
Suppose -30 - 34 = -4*n. Let w = -40 + n. Let y be (18/264)/(2/w). Which is smaller: -2 or y?
-2
Suppose 82 = 3*y + 2*k, 2*y - 83 = -k - 30. Let v = 23 - y. Suppose l + 0*l = 5*i - 50, 0 = 3*i + l - 30. Which is smaller: v or i?
v
Let v(w) = -w**2 - 7*w - 10. Let s be v(-3). Let c(z) = 3*z - 10. Let j(n) =