 y = 6763 + -8053. Are y and -1291 nonequal?
True
Let q(t) = t**3 - 4*t**2 - 15*t + 19. Let r be q(6). Suppose 3*w - g + 4 = 0, r = w - 2*g + 4. Let x = -16 - -27. Which is greater: w or x?
x
Let b = -50 - -5. Let n = -41 - b. Suppose n*d - w + 4 = 3, 5*w = 4*d + 21. Are d and 9/7 equal?
False
Suppose 0 = -3*l - l - 2750 + 878. Is -469 bigger than l?
False
Let j(n) = 14*n + 629. Let l be j(-32). Which is smaller: 190 or l?
l
Let h(t) = t**3 + 16*t**2 + 11*t + 2. Let u be h(-15). Suppose -7*n - u = 22. Which is greater: -9 or n?
-9
Let y = 27 - 9. Suppose 0 = -21*m - 42 + 546. Suppose -68 + 38 = -x + 4*s, 0 = -x + 2*s + m. Is y at least x?
True
Let j = 13425 - 13423. Which is smaller: j or -170/31?
-170/31
Let t(w) = -5*w + 319. Let b be t(63). Let i be (-8)/36 + (-94)/(-18). Suppose 0 = i*q - b*n + 5, -4*q + 8*q - n = -4. Is -1/87 not equal to q?
True
Let a = 201 - 175. Let d = 5.11 + -31.01. Let b = d + a. Which is greater: 18 or b?
18
Let p(i) = -6*i**2 + 23*i - 31. Let j(a) = -2*a**2 + 8*a - 10. Let b(u) = -11*j(u) + 4*p(u). Let q be b(5). Which is greater: -43 or q?
-43
Suppose -30*n + 347 = 377. Which is greater: -3/9491 or n?
-3/9491
Let m = -194.177 - -0.177. Let r = m - -194.1. Are r and -130 nonequal?
True
Let d be ((16/7)/(-2))/(72/(-252)). Suppose -a + 2*a = c - d, -2*c + 13 = 3*a. Are a and -2/115 non-equal?
True
Let q = -28 + 85. Let r = q + -63. Let z = -6.4 - r. Which is greater: z or -0.08?
-0.08
Let m be 6 + (-3 - ((-57)/95 - 26/(-10))). Let a = 49.755 + -87.738. Let g = a - 0.017. Is m >= g?
True
Let h(g) = 3*g**2 + 117*g + 1021. Let a be h(-21). Suppose 2*w + 233 - 5 = 0. Is a at least as big as w?
True
Let t be 22/(-55)*19/2. Let k = -21/5 - t. Let w = 937 - 936. Which is smaller: w or k?
k
Suppose 2*d - 11*p = 6657 - 28825, 11008 = -d - 4*p. Which is bigger: d or -11039?
-11039
Let q = -89 - -88.982. Let b = 9.882 - q. Let c = b - 10.1. Is c != 0.08?
True
Let z = 6127/8 + -760. Let c = -199/40 + z. Is c greater than 0?
True
Let t(n) = n - 1. Let f(q) = -20*q - 8. Let h(m) = -2*f(m) + 14*t(m). Let a be h(-1). Let b = a - -88. Is b >= 36?
True
Let u = -75 + 63. Let v be (6 - 2) + (u - -4). Let n be (3/(-2))/1 - (-6)/v. Is n at most -13/5?
True
Let m = 48 + -81. Let l = m + 32. Let x be l/(-5) - (-83)/(-40). Is x >= -2?
True
Let t be (-2)/(-24) - (-485)/(-60). Let a be 6156/(-92) + t/92. Are -67 and a non-equal?
False
Let t(w) = -432*w - 5570. Let u be t(-40). Which is bigger: u or 11709?
u
Let t be 13336/40 - (-3)/5. Is 336 smaller than t?
False
Let l(o) = -o**2 - 7 + 16*o - 7*o - 5. Let q be l(6). Suppose -10*j + q*j = 4. Which is smaller: -1/13 or j?
j
Let v be (1/5)/(77/154). Is v not equal to 12/25?
True
Let w be (11/(-10) + 1)/(182993/(-5342215)). Which is bigger: w or 4?
4
Let b be ((-19)/(2793/(-14)))/((-133)/(-57)). Let f be (-72)/(-38) - (-1 + 3). Which is smaller: b or f?
f
Let r = -2146897/46606 + -22/3329. Which is smaller: -46 or r?
r
Suppose 0 = -9*p - 19*p. Suppose -6*j + 7*j = -d - 52, p = 2*d - 5*j + 132. Which is smaller: d or -55?
d
Let o = 2333 + -10098. Is o less than or equal to 0.1?
True
Let f be 10*(-27)/(-45) - (3 - 1). Suppose -3*i + 256 = f*u, -4*i + 5*u = u - 360. Let r be -2*(60/i)/5. Is -1 < r?
True
Let v = 10268 - 10928. Is -4617/7 bigger than v?
True
Let c(v) = 115*v + 212. Let b be c(-12). Is b bigger than -1167?
False
Let m(h) = -1282*h + 1921. Let z be m(7). Is 0 less than z?
False
Suppose 10*y - 16*y = -24. Suppose -2*s - y*i - 16 = s, 3*i + 12 = 0. Is s greater than 13/28?
False
Let t = 15 + -22. Let q be -3 - ((-307)/7 + 1/t). Is 42 at least q?
True
Let t be ((-44)/5)/(16/(-120)). Let h be (2/6)/((16/t)/(-8)). Let r(p) = -2*p**2 + 7*p - 6. Let s be r(4). Which is smaller: s or h?
h
Let c = 1930/7 + -275. Suppose 20*g - 4 = 8 + 8. Which is smaller: g or c?
c
Let v be ((-85)/(-153)*(-108)/24)/(2/1636). Which is greater: v or -2048?
v
Let t = 3292/851 - 84/23. Let c(y) = -y**3 + y**2 - 2. Let m be c(-1). Which is bigger: t or m?
t
Let j be (-188)/126 + (8 - 740/90). Suppose -2*k - 8 = -6*f + 2*f, 0 = -f + 2*k - 1. Let q = f - 6. Which is bigger: j or q?
j
Let g = -5755 + 5512. Is -1704/7 < g?
True
Suppose 39*c - 171 = -2199. Which is greater: c or -50?
-50
Let a = 5998 - 5948. Suppose 0*o + 144 = 3*o. Which is smaller: a or o?
o
Let k(o) = -o**3 + o**2 + o - 1. Let m(z) = -7*z**3 - 3*z**2 - 2*z + 1. Let g(r) = 2*k(r) - m(r). Let v be g(-3). Does 0 = v?
False
Let k = -0.134 + -1.466. Let c = -0.15 - -0.55. Let d = k - c. Which is smaller: -4 or d?
-4
Let i = -23315153/28 - -832592. Let t = -76312/875 + -134/125. Let n = t - i. Does 4 = n?
False
Let n = -6/35 + 199/140. Let a = 427 - 257. Suppose a*z - 165*z = 5. Which is smaller: z or n?
z
Let f be (-271635)/45305 - ((-2)/(-3) - (-180)/(-27)). Are 2 and f nonequal?
True
Suppose 2*w = -862*n + 858*n + 106, 115 = 4*n - w. Does n = 32?
False
Let w(s) be the first derivative of -3*s**2/2 + 31*s - 11. Suppose 20 = -x + 3*x. Let l be w(x). Which is smaller: -2/73 or l?
-2/73
Let q be -12 + 5 - (-6 + (-15)/25). Which is greater: 2/2583 or q?
2/2583
Let v = 427 - 67. Let z = -369 + v. Let t = -13 + 6. Are z and t unequal?
True
Let j be (8 + -6)/(1/8). Let a be 543/4 + (-12)/j. Suppose -a = 48*o - 53*o. Is 26 smaller than o?
True
Let g(l) = -2*l**3 + 21*l**2 - 26*l + 93. Let o be g(13). Which is smaller: o or -1094?
-1094
Let x = 9 - 12.44. Let c = 1.44 + -1. Let k = x + c. Is 0 at least k?
True
Let h = -8821 + 8861. Which is smaller: -3 or h?
-3
Let i = -368/83 - -837034/188825. Which is greater: i or 1?
1
Let q(p) = -5*p**3 + 17*p**2 + 41*p + 84. Let s(a) = 2*a**3 - 9*a**2 - 21*a - 42. Let l(z) = -3*q(z) - 7*s(z). Let r be l(-10). Is 22/21 not equal to r?
True
Let d be (-2)/8 + (-12053)/(-68). Suppose 7*k - 324 = -d. Is -2 smaller than k?
True
Suppose 7*u + u = 208. Suppose -61*v = -62*v + 75. Suppose 4*j + 41 - 132 = -r, 3*j + 3*r - v = 0. Is j not equal to u?
True
Let l = 31.4 + -164.4. Let k = l + 131.5. Which is bigger: k or 2?
2
Let r = 1.211 - 1.08. Is 9.2 at least as big as r?
True
Let z be 405 + -21 + -2*7. Which is smaller: 373 or z?
z
Suppose -64*v = -125*v - 24461. Which is smaller: v or 2?
v
Let d be (-5)/18 + -4 + 374/99. Which is greater: 52 or d?
52
Let q = 185.98976 - 0.18976. Is q equal to -2/5?
False
Let y(k) = k**3 + 2*k + 2. Let m be y(0). Suppose -5*w + 3*l + 115 = 0, 11*w = 6*w - 4*l + 150. Let h be w/(-14*(5 - 6)). Which is smaller: m or h?
h
Let k(o) = -52091 + 26041 - 2*o + 26075. Let z be (6/12)/((-2)/(-104)). Let p be k(z). Which is greater: -28 or p?
p
Let g be 7/((-105)/12) - (-44080)/100. Let t = 349 - g. Is -91 at most as big as t?
True
Let o(w) = -4*w**2 - 43*w + 15. Let a be o(-11). Let g be a + (6/12 - 8/2). Is g smaller than -66?
False
Suppose x - 3*u - 200 = 0, 373 = 2*x + 4*u - u. Suppose -12*i = 5*g - 2319, 64*i - 2*g = 59*i + 954. Is x at least i?
False
Let d = -210.5 + 210.107. Is d < -6?
False
Let m be 51 - 49 - (-817)/286. Let k = 59/13 - m. Which is bigger: -1 or k?
k
Let y = -0.0479 + 1.4479. Suppose 0 = 3*x - 3*t + 42, 2 - 22 = -4*t. Which is bigger: x or y?
y
Suppose 2 + 2 = 4*f. Let s be (4746/(-452))/(6/(-134)) + 1/(-2). Is s less than f?
False
Let t(j) = -81*j + 5831. Let x be t(72). Is 2/112515 less than or equal to x?
False
Let t = -0.3342 + 1050.3342. Is 0.1 equal to t?
False
Let z = -869 + 362. Let o = z + 507.18. Which is smaller: o or 0?
0
Let h = -958/37549 + 30638797/846204264. Let r be (32528/(-2504) - -13)*(-1)/(-3). Let v = r + h. Is v at most 1?
True
Suppose 5*p - 2*d = 122, 0 = 7*p - 6*p + 4*d - 42. Let u be (-100)/p + 1/(2/8). Which is smaller: 8/15 or u?
u
Let f(d) be the first derivative of -d**4/4 + 5*d**3/3 - 5*d**2/2 + 6*d + 10. Let t be f(4). Suppose 2*k - k + 5 = -s, k = -t*s - 9. Is s greater than -3?
False
Suppose v = -137 + 142, -3*c + 9335 = -2*v. Which is smaller: c or 3116?
c
Let b = -1/24 - 37/840. Let t = -180 - -179.8. Does t = b?
False
Let v = -563688/187 - -47730/17. Which is greater: v or 1/5?
1/5
Let u(t) = 2*t**3 + 2*t**2 - t + 6. Let q be u(0). Let z be q/(-11 + 9 + -1). Let i = -6/815 - 21124/8965. Which is smaller: z or i?
i
Suppose 240*d + 33*d = 30*d + 148959. Which is smaller: 1 or d?
1
Suppose 10*q + 12 = 14*q. Suppose -q*f = 3*w, -2*f - 3*w = 2*w. Let l