- 23 + 53 = 16*b. Which is bigger: 147/50 or b?
b
Let r(v) = v**3 + 26*v**2 - 59*v + 68. Let a be r(-27). Let p be 12/48 - a/3536. Which is bigger: -1 or p?
p
Let m be (-1166)/((6/(-8))/(72/(-128)*-2)). Which is smaller: 1752 or m?
m
Let d = 101 - 91.4. Let l = 0.3248 + -29.7248. Let w = l - d. Is w less than or equal to -0.1?
True
Suppose -6*y + 24*y = -11*y. Suppose 2*g + y*n = 3*n + 2, -3*n = 4*g - 4. Let z = 22607/33 + -685. Does g = z?
False
Let k be (-25 - (-8232)/330)*(0 - 35). Which is bigger: k or -1/44?
k
Let x(o) = o**3 + 3*o - 8. Let t be x(-4). Suppose 0*w + 3*w + 255 = 0. Is t at least as big as w?
True
Suppose 104 = 5*s - l, -s - s + 5*l + 60 = 0. Suppose 5*g = 45 + s. Suppose -95 = -8*d + g*d. Which is smaller: -1 or d?
d
Let c = 0.0983 + -501.0983. Let w = c + 503. Is -3 at most w?
True
Let r be (-2 + (-3)/(-2))*((-15876)/2276 - -7). Are r and 2/7 unequal?
True
Let v = -20 + 28. Let z(i) = -3*i + 26. Let u be z(v). Suppose u*q = 11*q + 180. Is q >= -20?
True
Let v = -184 + 203.2. Let h = -24.2 + v. Let a = -0.01 - 0.05. Which is smaller: a or h?
h
Let i = -40.64 + 36.64. Which is bigger: i or -0.0304?
-0.0304
Let s = 6.016 - 6. Let r = -163.296 + 163.3. Let q = s + r. Is q < -2/3?
False
Let w(t) = -t**3 + 9*t**2 + 10*t + 18. Let o be w(10). Let v be (-1177638)/1368 - 3/o. Let s = v - -861. Which is greater: 1 or s?
1
Let b = -1134 + 1141. Let v(q) be the second derivative of -q**4/12 + 5*q**3/3 - 7*q**2 - 2*q. Let z be v(b). Is z less than or equal to 7?
True
Let y = 6 + 22. Suppose 0 = y*x - 16*x - 12. Which is bigger: x or 1/16?
x
Let h(z) = -11*z**3 - 10*z**2 - 15. Let s(w) = 9*w**3 + 10*w**2 + 14. Let a(v) = -4*h(v) - 5*s(v). Let n be a(-8). Is n > -139?
True
Suppose -21*c - 1904 = 47*c. Which is smaller: c or -375/14?
c
Let t = 2399 - 2398.5. Let v = -1.6 + 0.7. Let b = 0.4 + v. Which is bigger: b or t?
t
Let p = 15817 + -15515. Is p at least as big as -1.6?
True
Let z(j) = -2*j**2 + 33*j - 8. Let k be z(16). Let q be k/32*1*-1*-18. Is q < 0?
False
Let d(p) = 2*p - 2. Let a(u) = -9*u + 65. Let q(z) = -a(z) + 2*d(z). Let f be q(-20). Is f at least -329?
True
Let z(j) = 14*j - 241. Let v be z(17). Suppose 21 + 6 = -s - 3*h, -5*s - 4*h - 124 = 0. Let q = -27 - s. Do q and v have different values?
False
Let d be (-72)/42*1*(-154)/4. Let t be (-4)/36*-3 + (-13)/d. Is t < 0?
False
Suppose -96 + 24 = -2*l - 4*c, 36 = l - 2*c. Is l bigger than -3/8?
True
Let l = 104 + -89. Suppose -2*g + l = j, 0*j + 4*j - 5*g - 8 = 0. Let u = -2 - -4. Is u less than or equal to j?
True
Let y = 8283 + -8854. Are y and -575 unequal?
True
Let o be (-1 - -1) + 241 + -1. Suppose 2743*n - 859894 = -870*n. Is n not equal to o?
True
Let h be ((-16)/88 - (-42)/110)/((-36)/5580). Is h greater than -539/18?
False
Let s = -3748 - -4339. Is -0.1 at least s?
False
Let p(o) be the first derivative of -23*o**4/4 - 7*o**3/3 + 2*o**2 - 26*o - 14. Let h be p(6). Let n = -1550932/297 - h. Which is smaller: 1 or n?
n
Let i be -7 + (-24688)/(-11280)*3. Which is bigger: -1 or i?
i
Suppose -3*n + 6*n = 8*n. Suppose -5*u + c + 2*c + 25 = 0, n = -3*u + 3*c + 21. Let j be (-22)/(-8) - u - 2565/3900. Which is greater: j or 0?
j
Let d = -521/6 + 87. Let i(u) = -219*u - 31. Let s be i(-2). Let m = s - 1219/3. Is m bigger than d?
True
Let i = 290 + -289. Suppose 5*s = 5*o + 85, 0 = o - 3*o - 5*s + i. Are o and -0.05 unequal?
True
Let d = 43.11 + -44.11. Which is smaller: d or 306?
d
Let w = -19.0063 + 0.0063. Is 22/13 less than w?
False
Let d be 1 - 126/99 - (-18)/66. Which is smaller: d or -23/170?
-23/170
Let l be (-1 - -1)*(6*(-8)/(-32))/3. Let v be 38/(-133) - 1388/(-5054). Which is greater: l or v?
l
Let h be 1/(9/(-111)) - 1. Let c be (4/6)/((12/(-1467))/4). Let s = 313 + c. Which is smaller: h or s?
h
Let b be (-160)/(-168) + 2/(-3). Let v = 274 - 270. Suppose -10*n - 48 = -v*n. Which is smaller: b or n?
n
Suppose -16*d = -1379 - 368 - 317. Are d and -19 equal?
False
Let b(m) = -m**2 + 62*m - 254. Let z be b(4). Is z >= -539/23?
True
Let s = -392 + 386.6. Let q = 7.4 + s. Do 0.02 and q have the same value?
False
Let b be (-2046)/(-8)*1/(-6)*4. Let f = b - -170. Which is smaller: f or -1?
-1
Suppose -5*y - 20 = 0, q + 9*y = 10*y + 4. Is q at most as big as -11/32?
False
Let s be (21/(-35))/((-2)/(-5)). Let v be 4 + 210/(-48) + 2/(-80). Do s and v have different values?
True
Let g = -545 + -3491. Let o be (-12)/4 - g/1348. Which is greater: 1 or o?
1
Let g = -14809 - -17385769/1174. Which is bigger: g or 0?
g
Let u(m) = -4*m + 10. Let y be u(-6). Let r be -3 + (-1 - (-2 - y)). Suppose 0 = 52*a - 724 - 888. Is a less than r?
True
Let a be (-1 - (-5435)/2)*172/(-2322). Does a = -202?
False
Suppose 4*m - 12 = 4*r, r = 12*m - 10*m - 9. Suppose -300*h + m = -306*h. Which is smaller: h or -2/1407?
h
Let m(f) = 11*f**3 + 8*f**2 - 12*f + 9. Let i be m(4). Is i equal to 796?
False
Let p = -23 + 39. Let c be 6/15*10/p. Let z = 121 + -125. Is c greater than z?
True
Let j be 3/(-15)*(1 + 1). Let r be 48/64*488/30. Are r and j unequal?
True
Let v = 172851 + -4880793685/28237. Is v greater than or equal to -1?
True
Let q(j) = -j**2 + 16*j + 19. Let m be q(16). Suppose -5*y + 144 - m = 0. Let p = y - 26. Is -2/7 less than or equal to p?
False
Let k(c) = c**3 - 47*c**2 - 92*c + 112. Let t be k(50). Is 3012 > t?
False
Let a be (-3)/(-94)*12*10/(-45). Let i = -5.12 + 5.02. Is i >= a?
False
Let p = -5327 - -5337.4. Is -33/5 smaller than p?
True
Let v(i) = -2*i**3 + 94*i**2 - 493*i + 7. Let k be v(6). Let c = -45/34 + 56363/42534. Which is greater: c or k?
k
Let j = -1.2923 - 0.0077. Let b = 9.2 - 9. Is b smaller than j?
False
Let c(a) = a**3 + 7*a**2 + 4*a - 11. Let l = -32 - -26. Let i be c(l). Let z be (21/9 - i)/(-2). Which is bigger: z or -0.2?
-0.2
Let v(y) = 2*y**3 - 5*y**2 - 2*y + 5. Let l be v(4). Suppose 4*u = -3*b + l, -u + 5*b = u - 55. Let x = -40/3 + u. Is 3 greater than x?
True
Let m be 6*(-1658)/72 + 4/(-30). Which is greater: m or -138?
-138
Let v be (-1)/2*(0 + -577 - 5). Let d = v - 295. Suppose 5*k - 2*k = -24. Is d greater than or equal to k?
True
Let o = 1.04 + -76.04. Let h = 74.38 + o. Let c = h + 10.62. Which is smaller: c or 1?
1
Suppose -5*p - 6*f + 11 + 20 = 0, -3*p = 3*f - 15. Which is smaller: p or -5/3272?
p
Let t = 322.8 + -324.8. Let m = 0 - -0.1. Let c = 0.1 + m. Which is smaller: t or c?
t
Let h(o) = -o - 7. Let d be h(-12). Suppose -114 = -2*k + 3*r + r, r = -d. Do k and 46 have the same value?
False
Suppose -6 = -2*r - 0*r, -3 = 2*n - r. Let m = -14 + n. Let y be ((-4)/(-14) - 0) + (-122)/m. Is y > 9?
False
Let z = 379676/3 + -128389. Is z at most as big as -1830?
True
Let c = -14.2 + 9.2. Let a = 5.1 + c. Which is greater: -1/233 or a?
a
Let q = 35.14 + -27.14. Let o = -0.1 - 0. Which is greater: o or q?
q
Let v be ((-6)/(-8))/((-11)/(-616)). Let o be (99/12 - 9)/(v/16). Which is smaller: -119 or o?
-119
Let v(w) = -2*w - 11. Let o be v(-13). Suppose 5*g + 492 = 47. Let s = 90 + g. Which is greater: o or s?
o
Let y = -29992340 - -1812886992029/60445. Let g = y + -12/385. Which is bigger: g or 0?
0
Let a(c) = -8808*c**2 + 32*c + 15. Let m be a(-1). Is 2/5 greater than or equal to m?
True
Suppose -28 = 28*f - 42*f. Suppose -3*i = -5*x - f*i + 462, -357 = -4*x + 5*i. Which is greater: 0.1 or x?
x
Let b = 0.8 + -1. Let l = 73.2447 - -0.7553. Is b > l?
False
Let m = 350.5 - 351.5. Is 742 not equal to m?
True
Let x = 131 - 131. Suppose x = -2*p - 0 + 8, 4*p + 20 = 3*t. Let q be (22/(-6) - -4)/((-2)/t). Which is smaller: 2/19 or q?
q
Suppose 23*v - 419 = -465. Let q = 1147/6 - 192. Which is greater: v or q?
q
Let c(q) = 8*q + 275. Let m be c(-34). Suppose -2*h = 4*u, u + 2 - m = -h. Does u = -3/11?
False
Let p(f) = -f + 4. Let q be p(0). Suppose -5*a + 45 = 5*u, 4*a - 35*u + 31*u + 12 = 0. Which is smaller: q or a?
a
Suppose 5*h = 2*z - 31, -h + 4*z - 15 - 2 = 0. Let v be h - ((-46)/161 - (-14374)/(-3052)). Which is smaller: v or 0?
v
Suppose -3*g + 198 = a, 0 = 4*g - 4*a + 145 - 393. Suppose 13 = q - h - 12, 0 = -2*q + 5*h + g. Is 17 at most as big as q?
True
Let h be ((-4)/(-14))/(1420/70 + -20). Which is smaller: h or 1/6087?
1/6087
Let j be (8/(-52))/((-4)/(-14)). Let b(y) = -y**3 + 18*y**2 + 88*y. Let l be b(22). Suppose 5*t = -c - 1, -c + l + 8 = -4