?
False
Let l(t) = 27*t + 674. Let o be l(-25). Let h(y) = 17*y**3 - 3*y**2 + 2 + 6*y**2 + 4*y**2 + 7*y - 16*y**3. Let f be h(-6). Are f and o equal?
False
Let k(h) = 2*h - 1. Let v be k(2). Suppose 2 + v = 4*w + 3*q, 5 = w + 2*q. Let i be 16/(-12) - (20/12)/w. Is i less than 1/2?
True
Let v(p) = 27285*p**2 - 366*p - 369. Let j be v(-1). Is j less than 27281?
False
Let p = 1048.1 + -2468.1. Which is smaller: p or -1/2?
p
Suppose -5*u = -212 - 243. Let t = 267 - 177. Which is greater: t or u?
u
Suppose 5*z + 15 = 4*z - 3*t, 0 = 4*t + 12. Let r be 647/(-984) - ((-20)/z)/(-5). Is -1 at most r?
True
Let q = -173.9 + 168. Let p = q - 9.1. Which is bigger: -3/5 or p?
-3/5
Let v(f) = 3*f + 3. Suppose -3*m = 5*d - 7, -5*m + 2 = 2*d - 4*m. Let k be v(d). Suppose k*g - 5*g = 210. Which is smaller: g or -1?
g
Let i = -0.3186 - 39.6814. Let x = -15 - -14.95. Is x greater than or equal to i?
True
Let f = 35 - -45. Let t = -196 - f. Is -277 bigger than t?
False
Let v be (0 + 3/(-2))*(-3388)/42. Suppose 126*n - v*n = 415. Which is smaller: 0.1 or n?
0.1
Let k = 35374844/273 + -129578. Which is greater: k or 0?
k
Let a = 12721624593/14878244 - 5/362884. Let b = -2894 + 2039. Let f = a + b. Which is bigger: -1 or f?
f
Let v be (-12)/9*3 - 144740/(-36188). Which is bigger: 1 or v?
1
Let c be (-3)/(-20)*(9 - (-9705)/45). Do 33 and c have the same value?
False
Let k = 133 - -182. Let z = k - 308. Is z smaller than -44?
False
Suppose 3*g - 1 = -4*b, 0 = -7*g + 2*g + b - 29. Is -1/85 greater than or equal to g?
True
Let a = 1.38 - 80.3. Let p = a - -79. Let u = 2 + -2.2. Is p at least as big as u?
True
Suppose -y + 3 = 1. Suppose 0*t + 6 = 2*i + y*t, 0 = 4*i - t - 27. Let z be i*(3 + 2)/75. Is -4 less than z?
True
Let q = 38577 + -24854. Which is bigger: q or 13725?
13725
Let z = -22446/31 - -724. Let w = 1.4523 - 1.3523. Which is greater: z or w?
w
Let v be (-23)/((-184)/12)*30. Which is bigger: 443/10 or v?
v
Let r = -15391 - -15391.326. Do r and 3 have the same value?
False
Let j be (((-756)/144)/((-3)/8))/1. Suppose -6*p = 64 + j. Which is smaller: p or 2/7?
p
Let z = 157 - 153. Suppose -z*t - 60 + 84 = 0. Which is bigger: t or 19?
19
Let c = -915.14 + 935. Let w = 20 - c. Is 1 > w?
True
Let i be (16948 + -1)*(-693)/(-1617). Which is greater: 7262 or i?
i
Suppose -7*q = -4*x - 280, x - 4 = 2*q - 73. Which is smaller: x or -84?
-84
Let s(r) = 51*r - 155. Let b be s(7). Let q = -269 + b. Is q less than or equal to -68?
False
Let y = 103462/7 - 14774. Which is smaller: -7.8 or y?
-7.8
Let y = 27 - 12. Let w = y - 8. Let g = 8 - w. Are g and 1/54 nonequal?
True
Let r be (-1)/(-6)*(6072/288 + -21). Is r at most -30?
False
Let k(r) = -r**3 + r**2 + r - 421. Let b be k(0). Suppose -11*m = -48*m - 5195 - 4809 - 5610. Which is bigger: m or b?
b
Let h = -6596.27 - -6598. Which is greater: 30 or h?
30
Let c = -89909/4 + 22306. Which is greater: -172 or c?
c
Let p = 131 - 128.4. Let n = p - -187.4. Which is smaller: n or -0.1?
-0.1
Let n(g) = -2*g**3 - 158*g**2 + 160*g + 256. Let k be n(-80). Do 262 and k have the same value?
False
Let x = 23 - 22. Let a be (x - -1) + 0 + -6 - -3. Which is smaller: 68 or a?
a
Let a(m) = -2*m**3 - 9*m**2 + 42*m + 167. Let v be a(-10). Is v less than or equal to 848?
True
Let h = 255266/5 - 50456. Is h greater than 598?
False
Suppose -2 - 8 = 5*w. Let i be 12/9 + w - 4/(-6). Suppose 4*m = -i*m. Which is smaller: m or -0.8?
-0.8
Let m be 0 - (0 + -1)*-1. Let s(j) = -9*j**2 + 7*j - 49. Let b be s(4). Let x be 2 + ((-451)/b - 5). Which is bigger: m or x?
x
Suppose -243*r + 78 = -249*r. Let i = 11 + r. Is i at least as big as 6?
False
Let u be ((-66)/4)/((-3)/4). Let b(w) = -u*w + 29 + 31 - 40 + w**2. Let q be b(21). Is -2 bigger than q?
False
Let c be (-6 - (-9672)/(-27)) + 4/18. Suppose -5*d - 2*a - 8 = -3*d, a + 8 = 3*d. Let z be 4/14*d - c/(-931). Is z > -2/3?
True
Let k(l) = 74*l**2 - 5*l + 5. Let z be k(-2). Let y = z + -316. Which is smaller: y or -11?
-11
Let g(j) = -j**3 + 6*j**2 - 30*j + 182. Let z be g(6). Which is bigger: 17/5 or z?
17/5
Suppose 2*c - 31 = -4*h - h, 0 = 3*c - 3*h - 78. Suppose -24*g + 126 = -c*g. Suppose 3*s + 2*d + 51 = 152, 3*s - 3*d - g = 0. Which is greater: s or 36?
s
Suppose -2*l + d = -35, 4*l + d - 51 - 34 = 0. Let a be ((-5)/(-2) + -2)*l/55. Which is greater: a or 0?
a
Let c be (-1653)/(-95) + (-4)/10. Suppose 5 = -5*t - 2*h, -2*t + 4*h + c = h. Is t greater than or equal to -3/68?
True
Suppose -h = k + 1, -4*k + 26 = -3*h + 2. Suppose -n + 61 = -a, -71 = a + k*n - 6*n. Is -59 less than a?
True
Let x be (-2)/8 - 33/(-4). Let m = 9103 + -9101. Which is smaller: x or m?
m
Let m = -18.7 + 107.7. Let p = 49.83 - -38.17. Let u = m - p. Which is smaller: 23 or u?
u
Let y be (((-16)/14)/4)/((-25795)/(-539)). Is y not equal to 0?
True
Suppose -2*u + 5*f = -1735, 0*f + 2*f + 868 = u. Let p = u + -1246. Does p = -376?
True
Let m = 8.4 - -11. Let o = 6270 + -6268. Which is smaller: o or m?
o
Let g = 9163.8 - 9157. Which is smaller: g or -5/3?
-5/3
Suppose -2588*b = -2606*b - 5562. Which is smaller: -264 or b?
b
Let r(g) be the third derivative of g**5/60 + g**4/12 + 2*g**3/3 + 21*g**2. Let k be r(-5). Suppose -p = k*p - 60. Which is bigger: p or -3?
p
Let x be ((-3)/10)/(435/1904430). Which is smaller: x or -1314?
-1314
Let x = -30 - -32. Let r be (x - (-765)/767) + -36 + 33. Are 0 and r equal?
False
Suppose 86 + 58 = 2*w. Let c be 816/w*(-1 + (-2)/4). Is -14 less than or equal to c?
False
Let o be -3 - (-4 - 3) - (0 - 2). Suppose 4*l + 15 = o*l - t, -3*l = -5*t - 5. Which is smaller: 6 or l?
6
Let q be (-1012)/92 + (-839)/(-1). Is 828 at least q?
True
Let j be ((-5)/30*3)/((-1)/36). Suppose -4*z - j = 22. Let r be (1 - 0) + 19 + z. Are 10 and r unequal?
False
Suppose 5*l + 3*u = 4*u + 325, 0 = 3*u. Let f = 13266 - 13200. Which is smaller: l or f?
l
Let y = 0.0937 - -47.6063. Let n = y + 1.3. Which is greater: n or 2?
n
Suppose 3*q + n = -69, 27 = -2*q + 4*n - 33. Let m be (12/q)/((-1)/(-126)). Let s = m + 63. Which is greater: 3/20 or s?
3/20
Let m be 1/3 + 136/24. Let n be -22*(-309)/(-1134) + m. Is n != 1?
True
Suppose -127 + 17 = -110*q. Which is smaller: q or 7/9?
7/9
Let u be ((-2781115)/417180)/(12/9 - -2) + 2. Is -1 greater than u?
False
Let k(h) = 2*h**3 - 11*h - 20. Let v(x) = x**3 - 5*x - 9. Let q(w) = -3*k(w) + 7*v(w). Let f = 4 + -4. Let o be q(f). Are o and -3 non-equal?
False
Let t = -33.582 - -32.65. Is -1/4 > t?
True
Suppose -3*o = 3*h + 9, 21*h - 19*h + 10 = -3*o. Which is smaller: -245 or h?
-245
Let v = -1206 - -2166. Let d = 972 - v. Which is smaller: d or 3?
3
Let y = -79556.91 - -80021. Let d = y - 464. Let z = 908/7 - 130. Which is greater: d or z?
d
Let g = 2/6051 - -326732/66561. Suppose 4*y - 2*h = 20, -3*y + 2 = 4*h + h. Is g equal to y?
False
Suppose -38*u = -33*u - 16*u - 25927. Which is greater: -2356 or u?
-2356
Suppose -g - 94 = -3*i, 4*i - 1756*g - 136 = -1760*g. Is 44 at least as big as i?
True
Let y = 1.44 - 92.44. Let j = y + 91.041. Let i = -2.041 + j. Is i at least 2?
False
Suppose 22762 = 9*t + 29*t. Let d = 638 - t. Do 39 and d have different values?
False
Let x(q) = 14*q**2 - 113*q + 7. Let w be x(8). Is w smaller than -192/119?
False
Let i(w) = -w**3 + 16*w**2 + 4. Let j be i(5). Suppose -2*b - 2*b = -3*z - j, b = -2*z + 78. Let m = b - 40. Which is smaller: m or 31?
31
Let p(w) = -3*w + 32. Suppose 3*o - u - 31 = 0, -2*o + 16 + 12 = 3*u. Let y be p(o). Which is greater: -18/11 or y?
y
Let s(t) = -t**2 + 11*t - 9. Let c be s(10). Let h(g) = -28*g**3 + g. Let d be h(c). Let l be (-5 - 1)*36/8. Is d greater than l?
False
Let h be 0 + (-30)/(-205)*((-58)/(-8) - -2). Is 1 at least as big as h?
False
Suppose 16*g - 18*g = -4*f - 6, 5*f + 5 = 0. Which is greater: g or 26?
26
Let f be 1/(2/(-4)) - 0. Let v be (210/1035)/(5/(-30)). Which is smaller: f or v?
f
Let a(s) = 84*s + 1160. Let v be a(-10). Are v and 318 nonequal?
True
Suppose 0 = 158*z - 1569 - 9491. Let g be 2/(-7) - (-998)/14. Which is bigger: z or g?
g
Let i = 34574 + -95562537/2764. Is 1 bigger than i?
True
Let y be (-2)/(3444/(-3429) + 1). Suppose -254 = u + 198. Let t = u + y. Which is smaller: 6 or t?
t
Let g be (15/(-10))/(1/2) - 6. Let a be -2 - (5/((-10)/(-262)) + 3). Let z = -134 - a. Which is greater: g or z