?
False
Let a be 20/(-210) + 4154633/12054. Let n = a + -689/2. Let s(f) = f + 4. Let h be s(-5). Which is smaller: n or h?
h
Let z = 2959 + -6359. Which is smaller: z or -3399?
z
Suppose 5*n + 108 + 555 = 2*i, 5*n + 651 = -i. Is -127 equal to n?
False
Let r = 11296 - 11323. Is r at most 0.14?
True
Suppose 4*o - 183 = 153. Let u be 404/(-6) - 1 - 8/(-6). Let x = u + o. Which is greater: x or 19?
19
Let u be 2/3*(88182/92)/(-71). Let c be (-1)/(-2) + 46/(-4). Is c less than or equal to u?
True
Let q = 0.78 + -37.78. Let r = 37.11 + q. Let z = 3.11 - r. Are z and -2/15 nonequal?
True
Let i(h) = h**3 - 7*h**2 + 14*h - 38. Let k be i(11). Suppose k = -5*r - q, 6*q - 9*q - 134 = r. Is -118 less than r?
False
Let h(q) = -q**2 + 5*q + 51. Suppose 6*b - 18*b - 60 = 0. Let y be h(b). Which is smaller: y or -4/13?
-4/13
Suppose h - 5*d - 1 = 4, -4*h = 4*d + 28. Let t = 24011/4543 + 2/4543. Let w = t + -209/21. Do w and h have the same value?
False
Let s be 3 + 0 + 1 - (221 + -215). Which is smaller: s or 0.24?
s
Let z = -40517/4 - -10065. Is -65 not equal to z?
True
Let w(z) = -4*z**3 - 2*z + 1. Let r(m) = m**2 - 3*m - 8. Let g be r(6). Let q(f) = -f + 11. Let t be q(g). Let l be w(t). Which is smaller: l or -3?
l
Let q = -658/3 - -280. Let n = 131 - 193. Let g = n + q. Which is bigger: g or -2?
g
Let v be 32/(-35) + (-2)/(-5). Let a be (-1)/5*(-2)/(1274/(-1573)). Let z = a - v. Which is bigger: z or -1?
z
Let o = -7392 + 36933/5. Let w = 3 + -7. Which is greater: w or o?
w
Let i = -44 - -38. Let s be (-36)/44 - i/(-33). Let y = 6/47 + -331/2961. Which is bigger: y or s?
y
Let l = -38211 + 38208.31. Is l greater than -7?
True
Let u = 1481 - 16221/11. Suppose -4*g = 4, 167*w + g + 6 = 168*w. Is u != w?
True
Let v = 564.72 + -550. Let j = 14.7 - v. Is -4/3 not equal to j?
True
Let m = -1026.27 - -1040. Let k = -1.27 - m. Which is bigger: k or -2?
-2
Let q = 223964035/6179 + -36246. Is q < 0?
False
Suppose 3*u + 4*x = -116, 12*x - 10*x = 3*u + 104. Let j(s) = -s**3 - 3*s**2 - 4*s + 4. Let g be j(-4). Let o = g + u. Is o less than or equal to 5/16?
True
Let j = 153/304 + -6/19. Let f be -811 + -1 - 29/((-261)/(-54)). Let r = -817 - f. Which is greater: j or r?
r
Let a = 58 - 24. Suppose -9*v - 8*v - a = 0. Is -11/8 > v?
True
Let a(c) = -c**2 - 68*c - 237. Let l be a(-32). Is l > 915?
False
Let f = -4914 + 5077. Which is greater: f or 1/6?
f
Let f be 59*1 - (46 + -40). Suppose -6*m - 41 = -f. Which is greater: 8 or m?
8
Let w = 0.0119 + 239.9881. Let x = 248 - w. Let f = 0 - 0.1. Is f less than x?
True
Let b = 220 + -197. Let m(n) = -n**3 + 25*n**2 - 47*n + 13. Let p be m(b). Which is greater: -12 or p?
p
Let i(f) = 5*f**2 + 12*f - 5. Suppose 8*c = -0*c - 24. Let o be i(c). Is o smaller than 40/9?
True
Let p be (-4)/(32/(-142638))*(-15)/(-80). Let s = p - 3343. Is s at most -1?
False
Let q(k) = k**2 - 9*k - 8. Suppose -4*w + b + 32 = 0, 2*b = 2*w - 14 + 4. Let n be q(w). Let h = -16 - n. Which is bigger: h or -9?
h
Suppose 10*i - 69 - 371 = 0. Let b(k) = 13*k**2 - 3*k - 1. Let a be b(-2). Suppose 2*l - a = 29. Which is greater: l or i?
i
Let l = 2585/37 + -17991/481. Let t = 72136/2223 - l. Which is bigger: t or -1?
t
Let y = 10031 + -10415. Is -402 equal to y?
False
Let q = 5892 - 13472. Which is smaller: -7578 or q?
q
Let q = -2590.8 - -1960.8. Do 1.6 and q have different values?
True
Let u be ((-4)/(-3))/(6/(-270)*-6). Let t(f) = -3*f + 39. Let h be t(u). Is h <= 10?
True
Suppose 4 = 4*c + 12. Let a be (-4)/11 + 1484/(-154). Let v be (-2)/(c*5/a). Is -7 greater than v?
False
Let k = 359 + -212. Suppose -25*v + 18*v + k = 0. Which is greater: v or 24?
24
Let t be (-272)/(-20) + 2 + (-8)/(-20). Suppose -4*c = -14*c - 10. Let f be (-3 - c - -19) + (-12)/4. Is f < t?
True
Suppose 3*x - 18 = 18. Let d be (8 + -14)*(-46)/x. Is 13 less than d?
True
Let r be (-92)/28 + 2 - 6/(-21). Let w = r + -257. Is w greater than or equal to -257?
False
Let b = -479 + 419. Is b > -2/29?
False
Suppose q + 459749 = -80*q + 49322. Is -5067 equal to q?
True
Suppose 3*t + 45 = 36. Let d(j) = -2*j**2 - 6*j + 2. Let s be d(t). Let o be (s - (-24)/(-10))/(6/(-15)). Is 12/13 greater than o?
False
Let u(n) = 5*n + 106. Let f be u(22). Let j = f + -191. Which is bigger: 169/7 or j?
j
Let f(o) = o**2 - 8*o - 12. Suppose 0 = 10*u - 52 - 18. Let g be f(u). Which is smaller: g or -20?
-20
Suppose -24*v = -15*v - y - 2, -5*v + 2 = -y. Which is greater: v or 1/309?
1/309
Let t be 202 + (-196)/(23 + -9). Which is bigger: 157 or t?
t
Suppose -5*q + 14 - 129 = 0. Let m = q - -17. Let x be (-3 + (-16)/m)/(2/6). Is x > 14?
False
Let k be ((-12)/45)/(4/6)*15. Let a be (-51)/60 - k/24. Is a greater than or equal to 2/41?
False
Let d(u) be the third derivative of u**5/60 - 3*u**4/8 + 13*u**3 - 17*u**2. Let a be d(0). Suppose -3*t = b - 229, -4*t = -t - b - 239. Are a and t non-equal?
False
Suppose -4*b - 5*n - 29 = 0, 0*b = -3*b - 5*n - 28. Is 21/212 > b?
True
Let i be ((-84)/20)/(801/1335). Let n = 2/19 - 25/57. Is i less than n?
True
Suppose 5*w - 7*w + 5460 = 5*w. Which is smaller: 778 or w?
778
Let t(g) = 4*g**2 + 6*g - 6. Let n be t(3). Let l = -38 + n. Let c be 2/4 - (-279)/30. Is l at most c?
False
Let q be (-162 + (-3 - -2))*14 + 2. Let p be (1 + (q/126)/(-10))*3. Are p and 9 equal?
False
Let k be ((-1)/5)/((-2)/4). Let x = -119 - -130. Suppose -4*b = -4*i - 16, 0*b + 3*i + x = 4*b. Is k <= b?
False
Let j be (-136)/272 - 1/2. Is -2/7285 < j?
False
Let c = 53 - 38. Suppose 1566011 = 12*t + 1566023. Which is bigger: t or c?
c
Let l = -31 + 31. Suppose -3*u - 3*u = l. Let r be 2/(u + 4/6). Is 1 bigger than r?
False
Suppose -3*a + 3*r - 9 = 0, 4*r = 5*a - 4*a. Let w be 30/a*(3 + -1). Let y(f) = -28*f - 339. Let h be y(-12). Are h and w equal?
False
Let p(q) = 9*q**2 - 186*q - 9. Let b be p(8). Is b at least as big as -923?
True
Let f = 0.28 - 1.28. Let m be (-3)/6*(-68)/378*-141. Let s = -118/9 - m. Which is greater: s or f?
s
Let v(c) = c + 2. Let q be v(4). Suppose -4*m = -2*b - 8, -q = -3*b + m - 3. Suppose -3*y + b*h = -195, y + 65 = 2*y - 3*h. Does 64 = y?
False
Let g(u) = 7*u**3 - 2*u + 1. Let z be g(1). Let h be (-1)/((-12)/(-8)) - 124/(-6). Suppose -a = k - 3, -4*k + 9*k + 4*a - h = 0. Which is smaller: k or z?
z
Let d = 173 - 2433/14. Suppose -2*k - 3*f + 0*f - 17 = 0, 4*f + 18 = 2*k. Which is bigger: k or d?
d
Suppose 18*y + 3724 = -58*y. Which is greater: 4/5 or y?
4/5
Let a(u) = 3*u - 9. Let v = -432 + 435. Let j be a(v). Which is bigger: -1/338 or j?
j
Let m = -35.134 - -35.1934. Are -13 and m non-equal?
True
Let p(c) = 15*c**2 + 54*c - 24. Let y be p(-4). Which is greater: y or -2211?
y
Let v = 6 + -10. Let l = v - -2. Let y = -1918.4 - -1891.4. Which is smaller: y or l?
y
Suppose -u + 1054 = -b, u + 4*b - 1046 = b. Let f = u - 444. Let g = f + -48030/79. Are 0 and g equal?
False
Let u be ((-7)/7)/((-1)/5). Suppose -124 = u*g - 9*g. Let f = 24 + 7. Is f greater than g?
False
Let y(v) = -v**2 - 6*v + 88. Let w be y(7). Let a be ((-2)/w)/((-1652)/(-414) + -4). Is a less than -71?
False
Let x be 828*-1 + 9 + -13. Is x greater than or equal to -832?
True
Let p = -311 - -666. Let m = 354 - p. Which is bigger: 1/277 or m?
1/277
Suppose -3*b = -2 - 13, 3*u - 56 = -4*b. Let r = -1454 + 1466. Is r bigger than u?
False
Let h = -1359 + 14959/11. Let a(k) = -5*k**3 + 2*k. Let l be a(1). Let t be -1*((-6)/(l + 4) - -4). Which is smaller: t or h?
h
Suppose 5*g + n = -7 - 10, 2*n = 3*g + 5. Let f(j) = -16*j + 8. Let p be f(g). Suppose p = 12*y + 572. Are -42 and y unequal?
True
Let x be 7*(680/210)/17. Is x greater than or equal to -1/198?
True
Suppose 4*o + 5 = -o. Let s(q) = -q**2 + 21*q - 78. Let j be s(14). Let z be ((-5)/j)/(o/(-2)). Are z and -1.4 nonequal?
True
Let c be (-1976)/(-266) + -7 + -1. Suppose -14 = -2*w + 6. Let p = -10 + w. Do c and p have different values?
True
Let v be 10/(320/(-228)) - (-2)/16. Let b be ((-3353)/240)/7 - -2. Let u = -487/1680 + b. Which is smaller: u or v?
v
Let y be (216/(-396) + (-50)/(-11))/4. Let j = 27313/8616405 - -1/13965. Is j at least as big as y?
False
Let p = -17489 + 17462. Which is smaller: p or -520/19?
-520/19
Let n(g) = -5*g**2 + 188*g - 103. Let l be n(45). Does -1768 = l?
True
Suppose 0 = -z - 3*z. Suppose -12*o + 2*o + 120 = z. Suppose