*4/6 + 25*p**3/6 - p**2. Let h be v(6). Let d be h + -5 - (13 - -2). Which is bigger: -20 or d?
d
Let t be (2/(-4))/((-14402)/720 - -20). Which is smaller: 175 or t?
175
Suppose -2*p - 3891 = 6*w - w, 4*w + p = -3111. Let j be 3/15 - w/(-35). Let y be (-2)/52*j + -1. Do -3 and y have different values?
True
Let h be 0/1 - (17 - 20). Suppose -h*a - 8 = -7*a. Which is greater: a or -8?
a
Let b = 147174 + -5078974739/34510. Which is smaller: -1 or b?
-1
Suppose z - 5 = -4*u, 2 = 5*u - 149*z + 146*z. Which is greater: u or -2/4945?
u
Let u(h) be the third derivative of 31*h**5/30 - h**4/3 + 4*h**3/3 + 3*h**2 - 78*h. Let y be u(2). Which is smaller: y or 238?
238
Let j(u) = u**2 - 27*u + 66. Let g be j(23). Let q be (g/91)/(108/(-28)). Which is smaller: q or -15?
-15
Let l be 1/(146/300) - 2. Let s = -17911 - -17912. Is s greater than or equal to l?
True
Suppose -1255*q = 4*v - 1260*q + 210, 5*v + 11*q + 159 = 0. Let a be (-43 - 0/2) + 0. Which is smaller: v or a?
v
Suppose 0 = -5*d, -4*z - 9*d + 4*d = -56. Suppose -2*q + z = 4*x, 24*x + 9 = -3*q + 28*x. Is 7/115 greater than q?
False
Suppose -2*j + l = -23, 4*l + 0*l - 48 = -2*j. Suppose 5*x = 2*h - 143, 28*h - 24*h = x + 259. Suppose 9*g - 13*g + h = 0. Which is greater: g or j?
g
Let g(z) = -z**3 + 18*z**2 + 18*z + 57. Let j be g(18). Suppose 231 = 6*o + j. Is o < -13?
True
Let x(u) be the third derivative of 7*u**4/12 - 101*u**3/6 + 34*u**2 - 2*u. Let n be x(10). Is n equal to 75/2?
False
Suppose 3*n = 37 - 31. Let f(a) = -20*a + a**3 + 12*a + 3 + n*a + 11*a. Let q be f(-2). Which is greater: q or -17?
q
Let g(s) = s**2 - 7*s + 3. Let a be g(10). Let q be (2/a)/(6/(-18)). Is q != 53?
True
Let d(k) = k**2 + 2*k - 3. Let f be d(2). Suppose 0 = -f*y - 68 + 8. Suppose -5*t + 8*o - 76 = 0, -t + 23*o = 18*o + 22. Is y not equal to t?
False
Let s(g) = g**3 - 10*g**2 - 2*g + 9. Let j(z) = 12*z**2 - 2. Let p be j(1). Let y be s(p). Which is smaller: y or -20?
-20
Let y = 3806 + -198053/52. Which is greater: -2 or y?
-2
Suppose 279 = -10*b - 481. Suppose 161*i - 1500 = 181*i. Does b = i?
False
Suppose 480*c = 478*c + 3480. Suppose 14*g - c = 164. Is g bigger than 137?
False
Let g be (0 - -72)*137/274. Is 67 > g?
True
Let y(b) = -4*b**2 + 470*b + 1846. Let h be y(-4). Is -30 greater than or equal to h?
True
Let l(i) = 2*i + 3 + 4 - 4 + 1. Let q be l(-3). Let a be (-912)/(-304) - (-120)/(-34). Which is smaller: a or q?
q
Let q = -15277 + 15277. Is q smaller than 18449?
True
Let r(l) = -12*l**3 - 2*l - 2. Let n be r(-1). Let d be (-75)/60 + 2919/n. Is d at most as big as 243?
True
Let t = -2304 - -2526. Which is bigger: 230 or t?
230
Suppose 5*d + 2*t = 30 - 230, -47 = d - t. Suppose -n + 4 = 3*n. Which is bigger: d or n?
n
Let g be 25023/285 - (7 - (-56)/8). Suppose 0 = -5*n + 201 + 164. Are n and g non-equal?
True
Let v = 3580 + -2376. Let w = -773 + v. Are w and 1 equal?
False
Suppose -10 = 17*n - 7*n. Suppose -4*o + 133 - 85 = 0. Which is greater: o or n?
o
Let h = -39018 + 72885623/1868. Which is bigger: h or -1?
h
Let f(o) = o**3 - 8*o**2 + 6*o + 6. Let i be f(7). Let s be 175/30 + -6 - (825/1010)/(-5). Is i smaller than s?
True
Let w be 1640/(-360) + (-4)/9 - -5. Which is smaller: w or -556?
-556
Suppose 19509 + 8304 = -215*m - 34752. Is -291 equal to m?
True
Suppose -22*c + 28*c + 2*o - 26344 = 0, -4*o + 20 = 0. Are 4389 and c equal?
True
Suppose 0 = -2*p + 7*p + 4*g + 1884, -2*g = -3*p - 1126. Let r = 259 + p. Is -1 != r?
True
Let q = 362 - 361.925. Let b = 1.075 - q. Is 126 not equal to b?
True
Let h be (-4250)/51*-3*1. Suppose -249*y = -h*y - 4. Is -18 at least as big as y?
False
Let v(n) = n + 6. Let l be v(-7). Let a be (l + 624/615)/((-3)/(-15)). Which is smaller: 0 or a?
0
Let w = 26.81 + 0.19. Suppose 11*y - 13 = -2*b, -3*b + 5*y = -105 + 107. Is b at least w?
False
Let u(y) = -8*y**2 - 19*y - 110. Let c be u(-10). Let d = -720 - c. Do d and 1/226 have different values?
True
Suppose 252*l - 254*l + 10 = 0. Let q be (2/(-20))/(4*l/50). Is -83 smaller than q?
True
Let t be (4071/(-21) + 1)*(1 + -8). Let k = t - 22941/17. Which is greater: k or 1?
1
Suppose 4*p - 48 = -4*p. Suppose -t - 2 = -p. Let m be t + (1 - 122/20). Which is smaller: -2 or m?
-2
Let d be -1892 + (8 - -14) + 8. Which is smaller: d or -1859?
d
Let m be ((-38)/(-20) - (-14)/(-35))*(-25265)/93. Which is bigger: m or -409?
m
Let n be 2 + 0 + 8 + 0. Suppose -20 = j - n. Let s be ((-4)/j)/((-4)/10). Is -8/17 equal to s?
False
Let i = 16.9 - -11.7. Let a = -28.6 + i. Is 51 not equal to a?
True
Let y be 682 - (-34 - -10 - -46). Is 664 greater than y?
True
Let v be 6/10 + 52431*9/(-3465). Let k = v + 986/7. Are k and -0.1 unequal?
True
Let d be 20056/(-276) + 2/(-6). Let g be (d/(-730))/((-1)/(-6)). Is 14/9 bigger than g?
True
Let f = 9.05 - 0.05. Let n be 10 + -3 + -2 - -4. Suppose -93 = -22*u - n*u. Which is bigger: u or f?
f
Let k = 14319 - 14320. Is k less than or equal to -129/98?
False
Let g = -231 - -38. Let b = 193 + g. Let p = 0 + 0.1. Is b at least as big as p?
False
Let u be (6/(-9))/(2/12). Let c be u/11*2/(-4). Let q = -1946 + 1945. Which is bigger: c or q?
c
Suppose 4*y - 16078 = 4*p + 3*y, -3*p + y - 12057 = 0. Which is greater: -8043/2 or p?
p
Let k(s) = s**2 - 202*s - 1. Let b be k(0). Which is smaller: 1/137 or b?
b
Let o be (-4)/100*(-5)/50*-2. Let v be (-1 + 1)/(-30 - -31). Is o at most as big as v?
True
Let q be (-32 + 31)/((25/(-20))/((-3)/6)). Which is smaller: -152 or q?
-152
Let t be 0/(-5) - (1 - 0). Let b be t/3 - (-2 - 76/3). Which is smaller: 16 or b?
16
Let t(k) = k**2 + 24*k + 1. Let i be t(-24). Let g(f) = 39*f - 2. Let y be g(i). Let h = y - 36. Is h <= 2/93?
False
Let s = -2573.1 - -2573. Which is smaller: 8/531 or s?
s
Let d = -230 + 232. Suppose -67 = d*l - 41. Is l at most -6?
True
Let x be (-3)/5 + (59976/(-90) - 18). Is x at least as big as -685?
True
Let z(d) be the second derivative of d**4/12 + 2*d**3 + 13*d**2/2 + d. Let k be z(-11). Suppose k*t = -t - 12. Which is smaller: t or -3?
t
Let d be 210/(-4) - (32/(-208) - 63/13). Do -48 and d have different values?
True
Let j(x) = x**2 - 4*x + 3. Let q be j(3). Suppose -5*r + 10 = -5*m, 4*r = -3*m + 2*m + 3. Let s be (12/76)/(m/(-2)). Which is smaller: q or s?
q
Suppose 4*z = -6*y + 9*y + 12, -z - 4*y = 16. Suppose -4*v + 5*w - 11 = 0, -v + w - 2 = -z*w. Is v less than -9/37?
False
Let u = -104677/11 + 1505407/143. Which is smaller: u or 1011?
1011
Let t = 6 - 3. Let y(b) = b - 5 + t - 6*b - 3*b. Let l be y(5). Which is smaller: -43 or l?
-43
Let h be 255/68 - 6/8. Suppose 0 = -4*k - h - 1. Are -6.6 and k unequal?
True
Let d(s) = -13*s - 9. Let i be d(0). Let n be (0/3)/(i/9). Is -18/17 less than or equal to n?
True
Let f = 277.9961 - 0.9961. Which is smaller: f or -0.12?
-0.12
Let a = 55549 + -25941395/467. Let t = a - 18165/1868. Let v = 18 - 28. Which is greater: v or t?
t
Suppose 4*m - 28 = 4*o, -5*o = -3*m + 16 + 9. Let u be 2 - (140 + (0 - m)). Are -132 and u unequal?
True
Let v = -4908.05 + 4908. Are v and 0.08 unequal?
True
Let z = -2.2 + -4. Let w = -6.5 - z. Suppose 6*y = y - 25. Does w = y?
False
Let c(i) = -i - 28. Let q be c(-13). Let p be (826/119 + -7)*q/(-9). Is p >= 1?
False
Let h = 225 - 224. Is h equal to -66/347?
False
Let r be (2 + -100)/7*(-222)/78*2. Is r at most as big as 79?
False
Let g = -201 + 131. Let i = g - -415/6. Let l = 27 + -26. Is i less than or equal to l?
True
Let c be 2/(5*3/(-30)). Let h = -16131/194 - 34/97. Let g = 81 + h. Which is bigger: g or c?
g
Let t be (-12)/(-28) - 3715749/21. Let r be (t/(-42) - 4)/54. Let g = r - 543/7. Is 0 less than or equal to g?
True
Let p be (-220)/((-17)/((-397205)/(-1370))). Let g = -3752 + p. Is 0 > g?
False
Let o = -165783/49 + 3383. Suppose -5*c = -n + 20, 0 = 3*n + c - 1 + 5. Is n bigger than o?
True
Suppose 0 = -y - 2*q + 17*q + 123, -3*y + 2*q = -111. Let z(t) = -2*t + 4. Let i be z(-4). Is i greater than or equal to y?
False
Let a = -871.7 - -870.7. Is -42/1115 less than a?
False
Suppose -92*l - 58 - 17 = 17. Let z be 1/(-2) + 1/18. Which is smaller: z or l?
l
Suppose l = 5*c - 14, -7*l = -2*l - 4*c + 28. Is -245/47 not equal to l?
True
Suppose 215 = 4*d + 651. Let t = -74 - d. Suppose 15*f - 4*r = 13*f + 28, 86 = 4*f - 5*r. Which is smaller: f or t?
f
Let w = -