Let h = 0.234 + -387.234. Let k = -386.06 - h. Which is smaller: k or 1/2?
1/2
Let n = 47.38 + -47. Let u = n - 0.08. Let c be (-10)/(2 + 3 - -2 - 0). Is c < u?
True
Let u = -17 + 24. Suppose u*g - 3*g = 12. Let n(v) = v**2 + 10*v - 7. Let b be n(-11). Which is greater: b or g?
b
Suppose 61124 = -448*y + 151*y - 22927. Which is greater: y or -271?
-271
Let n be 69*(-50)/105*(-55 + -1)*1. Which is smaller: 9203/5 or n?
n
Suppose 0 = -12*q + 7*q + 400. Let s = q - 72. Is s less than 68/9?
False
Let u = -42.6 + 64. Let b = -21.5 + u. Is 3/35 less than b?
False
Let f = -22582944/445 - -50748. Let m be 18/12*(-6)/801. Let k = f + m. Which is bigger: 0.04 or k?
0.04
Let h = 25871 - 25925. Let u(o) = 2*o**3 - o**2 - 2*o + 1. Let g be u(-3). Which is smaller: g or h?
g
Let j = -14 + 14.124. Let n = -8512.624 + 8513. Let d = j + n. Which is bigger: d or 7?
7
Suppose -1 = 3*g - 19. Suppose -55 = -7*p - 6. Suppose -8*s = -p*s - 4. Which is smaller: g or s?
s
Let s(o) = -39*o**2 - 9*o + 4. Let w be s(10). Let m be 2 + 3 + w/24. Let k = m + 161. Are -1/5 and k unequal?
True
Let k be ((-1351079)/162)/(13 + -11). Let a = -4170 - k. Which is smaller: -1 or a?
-1
Suppose -2*u + 75 = -0*u + 5*n, 4*u = n + 139. Suppose -u*x + 16 = -39*x. Let t be (x/7)/((-156)/42). Is t > 1?
False
Let g = -4185 + 3976. Which is bigger: 17 or g?
17
Let f be (-528)/1*-28*(-45)/1260. Is -3693/7 less than f?
False
Let a(w) = -w**2 + 67*w + 6712. Let q be a(122). Let k = 134 - 71. Do k and q have the same value?
False
Let t be (9 + 1)*2/(-1701)*7. Which is greater: t or 1?
1
Suppose 61 = 7*a - 114. Let q be (-8175)/(-20) - (1 - a/20). Is 409 equal to q?
True
Let d be 22/77 - 155/(-21) - (-4 + 10). Is 0.76 < d?
True
Suppose 5*k + 15 = 0, -5*x - k + 54523 = -7*x. Which is bigger: -27264 or x?
x
Let t = -111.8 - -109.6. Let j = 3 + 0. Let x = j + t. Which is greater: -0.1 or x?
x
Let s = 31775/8723 - 5/793. Which is greater: s or 1?
s
Let a(i) = -i**3 - 12*i**2 + 14*i - 10. Let q be a(-13). Let m = -16589 + 16586. Is q >= m?
False
Suppose 92 = 4*b + 3*d, b - 20 = -b + 5*d. Suppose -f + 0 - b = -3*v, 5*f + v = -116. Suppose 0 = -66*t + 773 - 2423. Which is greater: f or t?
f
Let x = -4 - -3.86. Let j = 146 - 237. Let s = j + 91. Is x at most s?
True
Let y = 30 + -20. Suppose 0*m = -5*m + y. Suppose 0 = f + m*p + 17, 4*f - 3*p + 32 = -2*p. Are -9 and f unequal?
False
Let b = 64.115 + -0.115. Let t = -9/982 + -971171/2946. Let h = t + 329. Is h greater than b?
False
Suppose a + 4*y = -66, 3*a + 3*y + 164 = 8*y. Let l be 11 + 272/(-16) - (50 - -1). Is a at most l?
True
Let c be 19/(-26) + (21 - (-2160)/(-104)). Which is smaller: -1214 or c?
-1214
Let u = 0.06 + 3.94. Let g = u + -3.7. Let i = -21528/7 - -86119/28. Are i and g nonequal?
True
Let c be 1/3*(12 + 39109/(-3259)). Is c greater than or equal to 0?
False
Let l = 89 + -53. Let t be -3 - ((-88)/24 + (-36)/(-81)). Which is smaller: l or t?
t
Let v = -853.9 - -1011.9. Suppose -p - 5*g = -14, g + 2 = 5. Is p bigger than v?
False
Let h be (-1248)/(-33) - -2 - 8/(-44). Let o be (-5)/h*-1*-13. Let x be 32/(-14) - 12/(-42). Is x != o?
True
Let d be (-977 - 0)/((-27)/(-27)). Are d and -974 unequal?
True
Let w be (6 - 52/9) + 4/(-18). Let u = -70760 - -425605/6. Let b = -175 + u. Are b and w non-equal?
True
Let l(o) be the second derivative of o**4/12 + 10*o**3/3 + o**2/2 + 36*o. Let k be l(-20). Suppose -29*f - k = -30*f. Which is bigger: -2/27 or f?
f
Let z = 12247 - 12330. Let n = -42 - 41. Is n at least z?
True
Suppose 5*k - 402 = k - 2*y, 5*k - 2*y - 489 = 0. Suppose k + 266 = 5*p. Is 74 not equal to p?
True
Suppose -840*z - 3294 = -835*z - 6*f, -3*z - 1970 = -2*f. Is -651 less than z?
False
Suppose -y + 4*n - 155 = 0, 25*n = 5*y + 27*n + 775. Which is smaller: -160 or y?
-160
Let p = 21 - 43. Let y be 12/22 - (1631/66 - 86/516). Which is bigger: p or y?
p
Let k = -17102 - -17102.1. Do 589.3 and k have the same value?
False
Let a = -25 + 28. Let n be 2 + (4 - (4 + a)). Let l be ((-4)/(-140))/(84/(-20)). Which is smaller: n or l?
n
Let s(m) = -22*m - 8. Let x be s(3). Let r be (x/(-111))/((-2)/6*-2). Is r greater than -2/425?
True
Suppose 4*y + 3*y - 56 = 0. Let l be y/28 - (-10)/14. Is l at most 95?
True
Let v = -59 + -25. Let u = -180 - v. Is -96 greater than u?
False
Let o = -10271 - -10273.2. Which is bigger: -3/7 or o?
o
Let g = -14953 - -18188. Which is smaller: -1 or g?
-1
Let o(m) = -19*m - 7. Let d be o(-4). Suppose -2*n = -2*p - 38, -p = 4*n - n - d. Let t be (0 + n + -7)*(-4)/10. Are -7 and t equal?
False
Let z be ((-75)/20)/(3/(-8)). Suppose -4*y - 25 = -0*s + s, 5*y = z. Suppose -k - k = 4, -2*a = -5*k + 56. Is a less than or equal to s?
True
Let j = -13 - -28. Let d be (-313)/1252 + (-3)/((-9)/6). Is d not equal to j?
True
Let j = 2362 + -2363. Which is greater: j or 66?
66
Let k(c) = 2*c + 59. Let i be k(-34). Let h(o) = o**3 + 6*o**2 - 21*o + 7. Let v be h(i). Which is smaller: v or -142/3?
-142/3
Let s = -1593.6 - -1593.625. Which is smaller: s or -149?
-149
Let g be (1*(-4)/6)/(48 + -31 - -69). Which is smaller: g or -1/20?
-1/20
Let c be (-1)/20*((-130)/(-846))/(-13). Is 0 < c?
True
Let x be (1152/(-27))/8*420. Is x > -2240?
False
Let k(h) = 2*h**2 - 66*h + 180. Let t be k(30). Let x = -1.713 - -1.7. Are x and t nonequal?
True
Let p(n) = 9*n**2 - 20*n - 9. Let k be p(3). Is k at least as big as -10/11?
True
Let j = -149104 - -149108. Let l = 0.1 + -0.11. Which is smaller: j or l?
l
Let l be 354/27*60/8*3. Let k = 299 - l. Which is smaller: 2 or k?
2
Let a = 10244 + -113002/11. Suppose 0 = -2*z - 20 - 38. Is a equal to z?
False
Suppose -11 = -7*d + 10. Let x be 28/(-21) + 1/d. Are x and 3/44 nonequal?
True
Let w be -34 + 33 + (-6)/(-1). Suppose t - 6*s = -3*s + 4, -52 = -w*t - s. Are t and 0.2 nonequal?
True
Let l be 649 - (1 + -2)/((-1)/4). Suppose 427 = 8*n - l. Let p be n*((-12)/8 - (2 + -3)). Is -67 less than p?
False
Let g be (10332/(-26866))/(83/(-8)). Let q = g - -4/1577. Is q less than or equal to -1?
False
Suppose -12*q + 1446 = 3*o - 9*q, -1927 = -4*o - 3*q. Are o and 480 unequal?
True
Let v be 1072/(-52) + -15 + 11 + 12. Is v equal to -12?
False
Let h be 4*(34/(-8) + -2). Let z = -997 + 972. Is z at least h?
True
Let c(n) = 42*n - 125. Let q be c(10). Suppose 286*s = q*s. Which is bigger: s or 2/179?
2/179
Suppose -p = -0*p - 3. Suppose -4*y = -q - 77, -p = y - 5*q - 8. Let z = 1266090 - 1266071. Is y <= z?
False
Let y = -58 + 54. Let u = -0.06 - 15.94. Let f = u - -16.05. Does y = f?
False
Let a be (-8 - (-1695)/210)*(-33 - -1). Suppose -5*j = -7*j - l - 7, 3*j = -3*l - 12. Which is smaller: a or j?
j
Let t be 9/(-3)*(-5)/5. Let c(f) = f**3 - 2*f - 3. Let n be c(t). Let y be (n/33)/3 + (-780)/55. Do y and -12 have the same value?
False
Let g = -1 + 0. Let f be (-5485)/1100 + (-15)/(-3). Let m = f + -5/44. Is g at most as big as m?
True
Let y be (-3)/(-7) + 100/28. Suppose h - y*h - 45 = 0. Let o = -196 + 196.1. Which is smaller: h or o?
h
Let m be (-6)/((-1)/((-392)/(-18))). Let n(c) = -c**2 + 294*c - 9379. Let b be n(37). Which is smaller: m or b?
b
Let s = -41342 + 41317. Suppose -129 = 5*n + 3*t - t, -48 = 2*n - t. Is n greater than s?
False
Let v be 18/42 + 1971/7. Let m = -4797/17 + v. Let r be ((-44)/(-176))/((-1)/(-4)). Which is bigger: r or m?
r
Let q = 1255 + -1256. Which is smaller: q or -23?
-23
Let i = -143 + 144.92. Let b = 18.92 - i. Is 1 less than b?
True
Suppose -24*a + 17*a + 112 = 0. Let s be (5/(-10))/(15 - a). Which is smaller: 193 or s?
s
Suppose 11*l + 92 = 38 + 43. Is l < -16/465?
True
Let z be (160/(-8))/(2/(-8)). Suppose x + z = -3*g - 2*g, 0 = -4*g + 5*x - 93. Let d = 22 + g. Are 6 and d equal?
False
Let l = -194.99 + 195.3. Which is smaller: -4 or l?
-4
Suppose 3*v + 16 = -2. Suppose -15*b + 9*b + 18 = 0. Let i = b + v. Is -2/19 <= i?
False
Let t = -979 - -1837. Let z be 3/(-7) + t/91. Suppose x - 5*i + 5 = 2, -3*x - 4*i = z. Is x equal to 6?
False
Let b be 4*(-7)/28 + -121. Let v = b + 282. Are 161 and v equal?
False
Let u be -3*1*9/(-27). Suppose -22*n = -12*n - 2*n. Let p be (-9)/(n - (1 + 55/20)). Which is greater: p or u?
p
Let k = -3075 + 3074. Which is smaller: k or -276?
-276
Suppose -5*l = -3*v - 534, v - 328 = -3*l - v. Let k be ((-20)/8)/(18/l). Which is bigger: -69/