ose -2*x - 2 = h, 2*h - 2*x = 7*h - 22. Suppose 0 = n - h*n - 2*k + 8158, 4*n = k + 6516. Let a = n + -151592/93. Is a < 0?
True
Suppose -4*x + 4 = 0, -6670 = -24*t + 29*t + 5*x. Is t < -6682/5?
False
Let s(f) = f**2 + 12*f + 1. Let r be s(-10). Let w be (-9)/((-24)/(-32)*8/12). Is w bigger than r?
True
Let c = -2961.2101 + 2962. Does 1 = c?
False
Let u(j) = -5*j - 12. Let b be u(-4). Let a be b/((-4)/6*(-33)/(-55)). Let x(v) = 3*v + 2. Let d be x(-7). Do a and d have the same value?
False
Let p be 40/(-12)*-3 - 5. Suppose -g - 10*v + p*v = 62, 2*g + 79 = -v. Which is smaller: -0.3 or g?
g
Let u = -130.8 - 39.2. Let o = u + 169.7. Is o greater than 3/14?
False
Suppose 0*x = 4*x + 692. Suppose 33*k - 41*k = 1392. Are x and k non-equal?
True
Suppose 0 = 221*g - 163*g - 16820. Which is smaller: g or 289?
289
Let k(r) = -r**3 - r**2 + r. Let o(n) = 5*n**3 - 23*n**2 + 19*n + 71. Let d(t) = -4*k(t) - o(t). Let g be d(26). Which is smaller: 8 or g?
g
Suppose -3*s = -2*s. Let w be 5/(-2)*24*(-1)/2265. Let d = -2/11325 - w. Which is smaller: s or d?
d
Let a(h) be the third derivative of h**6/60 - h**5/60 + h**4/8 - 133*h**3/3 + 192*h**2. Let k be a(0). Which is greater: k or -267?
k
Let a be 2 - -1 - 18 - 8. Let i = -238884 + 7883929/33. Let y = i + a. Which is smaller: y or -1?
-1
Let h = -18.92 - 60.24. Let k = h - -0.16. Let z = k + 85. Is z at least as big as -2?
True
Let o be 5002/2562 + (-3)/(-63). Which is smaller: o or 941/7?
o
Let l = 39060569/11601 + -3367. Is 1 > l?
True
Suppose -2*f - 6789 = 3*f - 3*d, d = -f - 1361. Let o = 2659/2 + f. Let r = -29 - o. Is r greater than or equal to 1?
False
Let x be -2 - ((-330)/85 + 4/(-34)). Suppose -x*t + 3*q = -8 - 16, 3*q = -2*t + 36. Which is bigger: t or 21?
21
Let q = 4171.89 + -4172. Is q < -1/13?
True
Let f be (-9 - (-147 + 9))*1*20. Which is bigger: f or 2583?
2583
Suppose 0 = 10*x - 45206 - 62684. Let i = x - 1607555/149. Which is bigger: -1 or i?
i
Let s be 9/(324/(-14720)) - 1. Let x = s - -409. Let g(z) = -z**3 - 6*z**2 + 7*z - 2. Let r be g(-7). Which is smaller: x or r?
r
Let p be 9/24*(12 - 8)*-2 + 3. Is p less than or equal to -16/555?
False
Let k(n) be the third derivative of -5*n**2 + 5/2*n**3 + 0*n + 1/8*n**4 + 0. Let u be k(-5). Which is smaller: u or 4/51?
u
Suppose 5*f + 5*j - 34 - 46 = 0, 44 = 3*f + 5*j. Suppose 5*v - 7 = f. Let l = 676/3 - 1990/9. Which is smaller: l or v?
l
Let p(n) = 57 + 26*n + 0*n + n**2 - 4*n + n. Let w be p(-10). Is w greater than -75?
True
Suppose 13*a + 2796 = -2482. Let l = 407 + a. Is l less than or equal to 147?
True
Suppose 0 = -2*y + 4*y - 2*r - 578, 569 = 2*y + r. Let l = y + -300. Which is smaller: -17 or l?
-17
Let j = 5.93964 - -0.06036. Are j and 2135 equal?
False
Suppose 8*d + 4*r = 10*d + 272, 7 = -r. Are d and -126 non-equal?
True
Suppose -5*x - 172 = 648. Let p = x + 167. Which is bigger: p or 0.05?
p
Let m = 8/6235 + -6267/24940. Let i = 0 - 1. Let f be (1 + i)/(1 + 1). Which is smaller: f or m?
m
Let d = 28.8316 + -0.0316. Let l = d - 31. Which is bigger: l or -1?
-1
Let t be (120/13)/(-5) - (-9 - -7). Which is bigger: t or -54?
t
Let n(x) = 2*x**3 + 16*x**2 - x - 3. Let d be n(-8). Suppose 7 = 4*p + d*k, 3*p = -0*k - k - 3. Let l be ((-1)/(-2) + p)*(4 - 0). Is -7 greater than l?
False
Let w = -21 + 21. Suppose w = 5*c - c. Let s be (1/(-71))/((-7)/14). Is s greater than c?
True
Let u = -0.2 + 0.2. Let r = 25717 + -25704. Which is smaller: u or r?
u
Let v be (-34)/(-4) - (-2)/(-4). Let w(d) = d - 7. Let a(t) = -2*t**2 + 13*t + 32. Let h(g) = -a(g) - 4*w(g). Let f be h(v). Is f <= -10?
True
Suppose -5*t + z - 112 = -4*t, 4*t + 463 = z. Suppose -4*p - 139*r - 451 = -136*r, 2*r = -3*p - 340. Which is greater: p or t?
t
Suppose -67*k + 21*k = 64*k. Do k and -230/11 have different values?
True
Let w be -2*1 + 45 + 33/(-11). Suppose 4*z = 5*m - 104, m + 0*z + 4*z - w = 0. Is m >= -2/29?
True
Let y(l) = 42*l**2 - 119*l - 735. Let g be y(-7). Do 2157 and g have different values?
True
Let r(w) = w**3 - 2*w**2 + 3*w - 3. Let v be r(2). Suppose -v*d + 68 = -d. Suppose -5*z = 5*b - 205, -85*b + z + 95 = -82*b. Is d at least as big as b?
True
Let q be 2*1 - ((-2 - 5) + -9). Suppose -9*o + q = -27. Suppose -n - 6 = -v - 2, -o*v + 35 = -2*n. Which is smaller: 10 or v?
v
Let c be (-24)/(-15) - 22/(-55). Suppose -n + 2*n - 5 = 0. Let f be -2 + 0/(-3) + n. Is c at least as big as f?
False
Let c(l) = 1. Let f(p) = p**3 + 3*p**2 + 2*p + 6. Let y(s) = c(s) - f(s). Let z be y(-3). Let n be -6 + (4 - z) + -1. Which is smaller: 0 or n?
n
Let k = 18 - 12. Suppose 4 = k*s + 382. Which is greater: -64 or s?
s
Suppose 4*y - 3 = 5. Suppose 0 = 25*r - 214 + 689. Let d be 2/(-1)*(y + r/2). Which is greater: d or 18?
18
Let f = 180 - 181. Let l be (-300)/(-182)*20/(-6). Let z = -90/13 - l. Which is smaller: z or f?
z
Let m = 78 - 74. Let z be (1 - 2/m)*(-2)/3. Let w = -5.7 - 0.3. Which is smaller: w or z?
w
Let n be (4 - 9)*6/2. Let q = 29818 - 328000/11. Which is bigger: n or q?
q
Let z = 5516 + -3383. Which is smaller: z or 2132?
2132
Suppose -4*u - y - 103 = 0, y + 30 = -2*u - 19. Suppose 2*v = 5*k + 52, 5*k = -2*v + k + 52. Let w = v + u. Is -1/2 greater than or equal to w?
True
Let m(x) = 2*x**3 - 5*x**2 - 5*x + 5. Let l be m(3). Let j be l/(-1 - (0/4 - 0)). Let h be (-15)/(-20)*(-16)/(-42). Which is smaller: h or j?
h
Let o = 3842 + -3843. Is o <= -8/937?
True
Let t = -336.207 + 335. Let a = -8.137 - t. Let r = a - -7.1. Which is smaller: r or -3?
-3
Let p = 20219 - 20137. Suppose b + 415 = 6*b. Which is bigger: b or p?
b
Let u(j) = 7*j**2 + 4*j. Suppose -4*x + 2*r = 4, -r = -0*r + 4. Let w be u(x). Let s = -237791/2 - -118895. Which is smaller: w or s?
s
Let y(f) = f**2 + 21*f - 73. Let j be y(-23). Let w be 6/j - (3200/45)/(-5). Is w at least as big as 15?
False
Let o = -2.8877 + -0.0523. Which is smaller: 13 or o?
o
Suppose -2*k + 8*j = 6*j + 16, -3*j - 1 = 2*k. Let v be 28*(75/(-12))/(-5). Suppose 4*a + a = -v. Do k and a have the same value?
False
Let k be (-1)/3 + (-228)/(-9). Suppose 225*n - 233*n = -24. Suppose b - 15 = -n*h, -b - 2*h = -3*h - 27. Which is smaller: k or b?
b
Suppose 23 - 15 = 4*h. Let a be 0/(-5) - h/332. Let l = -1677/2822 - a. Which is bigger: l or -2?
l
Let y(q) = q**3 - 5*q - 93. Let n be y(-12). Which is bigger: -1760 or n?
-1760
Let v = 16115 + -16114. Which is bigger: -5/1024 or v?
v
Let y = 5.7 + -5. Let t = -0.4 + y. Let i = 19630.1 - 19630. Is t greater than i?
True
Suppose 0 = -n + 2*u + 10, 2*n + 27 = 5*n - 5*u. Suppose n*z + 42 - 24 = -2*d, z + 9 = -d. Is -47/6 <= d?
False
Let h = -13.45 + 13.22. Is -0.07 smaller than h?
False
Suppose 29*z - 1766 = 7108. Let h be (z/4)/(-3) - (-23)/(-46). Is h >= -224/9?
False
Let i = 28889 + -216898613/7508. Which is smaller: 0 or i?
i
Let z = 12.4 - -3.2. Let t = z - 13.6. Which is smaller: t or -2/35?
-2/35
Suppose -9*k + 240 = -3*k. Suppose -k*z + 46*z = -84. Is -10 greater than or equal to z?
True
Let p(d) = -5*d**2 - 35*d + 40. Let s be p(-7). Are 688/17 and s unequal?
True
Suppose -211*n + 216*n - p = -10, -4*n - p = -1. Is n < 1/2038?
True
Let g be (0 - 9/(-2)) + 15/30. Is 29/8 at least as big as g?
False
Let p(r) = r**2 + 26*r - 9. Let l(y) = 12*y - 5. Let x(m) = 5*l(m) - 2*p(m). Let d be x(1). Are -2/233 and d unequal?
True
Let k = 381 - 376. Suppose -3*t - 400 + 98 = -4*g, 0 = -k*g + 10. Is -96 equal to t?
False
Suppose 861*q - 833*q + 3528 = 0. Which is smaller: q or -140?
-140
Let b be -15 - (-37968)/(-147) - 1. Which is bigger: -2/5 or b?
-2/5
Let g = 3/62 - -23/806. Let m(p) = -p**2 + p. Suppose -2*c - 3*v + 4*v = 0, -5*v = 3*c - 13. Let x be m(c). Which is greater: x or g?
g
Let j = -314 + 319. Let t be (j/2)/(5/(-90)*-3). Which is bigger: 14 or t?
t
Suppose 4*z - 25 = a, -2*z + a = 3*a - 20. Suppose -2*m = -h + z, 0 = 3*m - 2*m + 2*h - 9. Let f = -4/65 - 139/65. Which is greater: m or f?
m
Let n be -2 + (-1 + 46)*(-16)/20. Let q be (1/11)/(-10*(-1)/n). Let h = -6/11 - q. Which is smaller: 1 or h?
h
Let g be 4/180*70/(-4). Suppose -4*y + 37 = -o, -7*y + 43 = -2*y + 2*o. Suppose -14*r + y = -5. Is g greater than or equal to r?
False
Suppose 3*j + 26 = 5*k + 1, -j = 4*k - 3. Suppose -28*y + 72 = 4*q - 24*y, 62 = 3*q + 5*y. Let a be q/(-7) + (-5 - k). Is -9 greater than a?
Fal