 + 25. Are u and 41/2 equal?
False
Let k be (-54)/(-1168)*-18 + 393/524. Let t(h) = -h**3 + 13*h**2 + 1. Let w be t(13). Which is smaller: k or w?
k
Let y be 2 + 270/1245*(58/(-11) + -4). Which is bigger: 0 or y?
0
Let y be (-5)/((-25)/5) + 156. Suppose 149*z + 2232 = y*z. Which is bigger: z or 277?
z
Let q = -2/19 - -65/437. Let s(x) = -x**2 - 2*x - 3. Let u be (8 - 7)/(2/(-4)). Let l be s(u). Which is greater: l or q?
q
Let b = 72 - 67. Let v(g) = -3*g**3 - 10*g**2 + 4*g + 1. Let r be v(b). Is -604 < r?
False
Let r be ((-22)/(-4))/(55/(-440)). Let o = -43 - r. Which is greater: -2/7 or o?
o
Let f = -1 + 0.99. Let m = f + 6.01. Let p = 2160 - 2160. Which is smaller: p or m?
p
Let q be (-82)/160 + (22 - (-43)/(-2)). Which is greater: 0 or q?
0
Suppose -18*b - 16*b - 54400 = 0. Suppose -2*m + 8 + 0 = 0. Let d be (m - b/(-414)) + (-4)/18. Which is bigger: 1 or d?
1
Suppose 4 = 4*s, -3*i + 4*i + 65 = 3*s. Let g(t) = t**2 + 23*t - 99. Let o be g(4). Suppose 0 = -3*q - b - 188, 5*b + 311 = -5*q - o. Is q < i?
False
Suppose -3*y - 2*s = 61, y + 1 = -5*s - 15. Let r = y - -12. Let p be (r/6)/(6/(-88)). Is p > 21?
True
Let t = 570 + -565. Suppose 249 = 4*b - t*c, -71*b - 107 = -73*b - c. Which is smaller: 55 or b?
55
Let u = -29858/41 + 728. Do -17/2 and u have different values?
True
Let h = -14526.85 + 14455. Which is bigger: h or 0?
0
Let v = 2661.95 - 2604. Let d = -58.1 + v. Is d greater than or equal to 0.3?
False
Let i be ((-37647)/(-3423) - 11)*-7. Is i at least 29/3?
False
Suppose -69*j + 4*p - 6196 = -65*j, 7733 = -5*j + 3*p. Is -1542 less than or equal to j?
False
Let q(j) = 9*j - 3. Let p be q(5). Let i(t) = -3*t - 121. Let l be i(-49). Suppose l*u - 30*u = -172. Are u and p unequal?
True
Let h = -941/46 - -4472481/218638. Is h smaller than -1?
False
Let z(i) = -50*i + 765. Let q be z(0). Let y be (-24)/(-20) - 6698/q. Is y > -8?
True
Let g = -31257 - -31256. Let l be 4/14 - 5457288/(-2828). Let f = -1930 + l. Is f at least as big as g?
True
Let c = 86/21 - 41/21. Let i(u) = -15*u + 587. Let j be i(39). Is c less than or equal to j?
False
Let t = -233 - -230. Let c be 4*t/(-30) + 259/(-735). Is c greater than or equal to 1/4?
False
Suppose 0 = -5*k - 4*l + 975, 0 = 24*k - 27*k + 4*l + 553. Let w = k + -202. Let c(v) = -v**2 + 6*v - 1. Let g be c(6). Is g >= w?
True
Let k = 108593/84 - 9050/7. Are k and -433 equal?
False
Let f = -193 + 152. Let o = f - -40.95. Which is bigger: 0.1 or o?
0.1
Suppose -7*i + 9*i + 12872 = -2*l, -5*i = 2*l + 12890. Which is greater: -6429 or l?
-6429
Let n be 217/2604 - 9553/12. Is n < -796?
False
Suppose -2*k + 5*y + 17 = -3, -y + 8 = 2*k. Let s be k/(-10) - (-233)/(-2). Which is greater: -116 or s?
-116
Let i be 21/210*5*(1 + 1). Is i < 2/1119?
False
Let w = -385 - -218. Let b = w + 169. Which is greater: -28 or b?
b
Let p = 6940 + -6967.83. Let r = 65 + -37. Let w = r + p. Which is bigger: -1/4 or w?
w
Suppose 23*r - 24*r + 4*v + 16 = 0, 0 = -r - 2*v - 2. Suppose 3*h - 437 = -d, -r*d = -17*h + 12*h + 734. Does h = 146?
True
Let x be 4*(-2 - (-268)/16). Suppose -2*n = c + 47, 0*c + n - x = c. Is -56 bigger than c?
False
Suppose 131*g - 30 = 136*g. Let b be 2/5 - (-6)/(-24 + g). Let s be 1/(-12)*8/4. Is s < b?
True
Let n be ((-9 - -13) + -1)*(-8)/(-6). Suppose 75 = -n*k - 17. Do -27 and k have the same value?
False
Let l(n) be the third derivative of n**5/60 + 7*n**4/24 + n**3 - 5*n**2. Let w be l(-6). Suppose -3*y + 32*y + 29 = 0. Is y <= w?
True
Let k(m) = -15*m**2 - 131*m + 10. Let o be k(-9). Which is smaller: o or -1?
o
Let v = 7076 + -106424/15. Do v and -19 have the same value?
False
Let n = -0.01027 + 0.16127. Is -6/17 less than or equal to n?
True
Let v = 21 - -37. Let b = -6405/16 - -6425/16. Which is smaller: v or b?
b
Let h be (168/(-16) + 3/2)/(-1). Let c(v) = 18*v - 114. Let o be c(h). Is -4 < o?
True
Let i be 334/(-24) - (24 + (-3731)/156). Let a = -11.97 - -12. Is i bigger than a?
False
Let d = 49 - 44. Suppose -2*j + c = 2 + d, -j + 3*c - 11 = 0. Let y be j/(-3) + (64/(-312))/4. Is -2 not equal to y?
True
Suppose 2*c + 12 = 2*w, 30 = -2*w - 0*c - 5*c. Which is smaller: w or 9/205?
w
Let s be (16 + -8)/(38/57532). Is s greater than or equal to 12112?
True
Let c = 2463 + -2458. Suppose -8 + 72 = 4*n. Suppose 7 + n = d - 4*m, 2*m = c*d - 79. Are 14 and d equal?
False
Let r = -1.3 - -0.3. Let a = -250 - -278. Let z = a - -21. Is r at most as big as z?
True
Let a = -0.0701 + 2.9801. Let q = 2.773 - a. Which is smaller: q or -1?
-1
Let l be ((-70)/5822)/(-3*5/1245) - 1. Is 1 smaller than l?
False
Let o be (3/21*-5)/(6/(-42)). Let g be 159 - (2 + o)*1. Which is smaller: 151 or g?
151
Suppose 0 = 2*z + 4, 2*z - 176 = -5*h - 180. Which is greater: -4/1095 or h?
h
Let r(b) = -2*b - 18. Suppose 0 = 2*k + 2 + 12. Let f be r(k). Let v be f/(48/28)*3. Is -7 at least as big as v?
True
Let z = -10573.2 + 10573. Is z smaller than 3/19?
True
Let g = 29.8 + -28.23. Let o = 1.43 + g. Which is bigger: o or 4?
4
Let d be 7328181/(-1386) + (-13)/286. Is -5288 less than d?
True
Suppose -4*u + 207 - 67 = 0. Let b be 5/(1/(1 - (-364)/70)). Which is smaller: b or u?
b
Let r = 3 - 1. Let o = -6 + 19. Suppose -5*w = 4*f - o, -2*f - 8 = -r. Do 4 and w have different values?
True
Let p = -7014 + 8334. Is 1317 at most p?
True
Let z = -4425 - -4557. Which is greater: z or 137?
137
Suppose -41*f + 288 = -40*f. Suppose -36*y + f = -38*y. Is -146 greater than y?
False
Suppose 504*p - 513*p = 0. Is p greater than or equal to -2/2913?
True
Let u = -0.1258 - 0.0229. Which is greater: 1 or u?
1
Let l = -3382 - -1798. Let v be (-1)/13*926622/(-45). Let z = l + v. Which is greater: z or 0.1?
0.1
Suppose 5*g + 0*g - 105 = 0. Let k be 279/7 + (3 - 60/g). Suppose -5*v - k + 15 = 0. Which is smaller: v or -3?
v
Let p be 8 + -4 + -2 - -2. Let g be 2/p + 0 + 64/(-80). Is -1 bigger than g?
False
Let t(o) = o**3 - 29*o**2 + 99*o + 4. Let z be t(4). Is z equal to -46?
False
Let i = -20454 - -20448. Is i < -351?
False
Let r = 79 + -78. Let x be (6/(-8))/(-1) + 214/(-8). Let k(p) = p + 32. Let j be k(x). Are r and j equal?
False
Let l = 1 - -15. Let p = -120 - -122. Suppose 0*w - 9 = -h + p*w, -29 = -h - 3*w. Which is smaller: h or l?
l
Let o = -53/15 - -16/5. Let a = -2262 + 2262.1. Is a > o?
True
Let t(o) be the first derivative of -o**3/3 - 2*o**2 + 78*o + 76. Let l be t(-12). Which is smaller: -14 or l?
l
Let d be ((-3)/(-4))/(65/52). Let f(t) = 2*t + 6. Let q be f(-3). Suppose -3*i = q, -5*i = h - i + 2. Is d at most as big as h?
False
Let k(w) be the third derivative of -35*w**4/6 + 10*w**3 - 131*w**2. Let x be k(1). Which is smaller: -241/3 or x?
-241/3
Let q be (-886)/6664 + (6/255)/((-12)/(-60)). Which is greater: -1 or q?
q
Let s be ((-68)/6)/((-64)/(-168)). Let x(g) = g**3 + 7*g**2 + 4*g - 2. Let a be x(-7). Is a greater than s?
False
Let o(g) = 18*g**3 - 2*g - 2. Let j be o(-1). Let q = 4 - j. Let l be 214/(-3) + 4 + q/(-6). Are -69 and l equal?
False
Let z be (49/3)/(3124/1065*-20*1). Which is smaller: -1 or z?
-1
Let f(l) = l**3 + 16*l**2 - 5*l - 27. Let n be f(-15). Suppose n = -7*c + 280. Let y be (-15)/(-6)*6/230. Which is smaller: y or c?
y
Let d = -0.0489 - 0.3511. Which is greater: d or -3/503?
-3/503
Let q be 161/(-315) - (-4)/10. Let k be 2/9 - (-598)/(-18). Let w = -33 - k. Is w > q?
True
Suppose 13*b + 101 = 14*b + 5*i, -b - i = -89. Let c = -86 + 173. Let p = b - c. Which is greater: 19 or p?
19
Let b = 96.8 + -1.8. Let j = b - 94. Which is smaller: 35/2 or j?
j
Suppose -9799 = -350*s + 11551. Is 56 not equal to s?
True
Let j(q) be the first derivative of -q**4/4 - 7*q**3 - 19*q**2/2 + 14*q + 64. Let d be j(-20). Do -41 and d have the same value?
False
Suppose 5*u = 0, -s + 35 = 4*s + 2*u. Suppose 4*p - 63 = s*p. Let o = p - -10. Do o and -12 have different values?
True
Suppose 5*i + 0*l = -2*l + 7, 0 = -4*i - 3*l + 7. Suppose r + i + 1 = 0. Let j be (r + 0)/(-1)*15/(-90). Which is smaller: -7 or j?
-7
Suppose 0 = -597*m - 442 + 270 - 425. Let v = -2/8127 - 23957/1722924. Are m and v nonequal?
True
Let s = -165.8 + 8.8. Let z = 65.9 + s. Let p = z - -91. Are p and -2/9 nonequal?
True
Let c = -1/35 - 31/140. Let n = -345 + 344.9. Which is smaller: c or n?
c
Suppose -5*v - 124 = -2*q, -196 = 5*q - 9*q - 3*v. Suppose -5