ch is greater: b or -9349/4?
-9349/4
Let i be -6 - (48/(-456) - (-74)/(-19)). Let l be 4 - ((-285)/(-25) + -2). Is i at least as big as l?
True
Let c(h) = -h**3 - 7*h**2 - 6*h + 7. Suppose 2*n = 5*n + 18. Let r be c(n). Is 2 smaller than r?
True
Let r be (2 - (-228)/104) + (-1 - (-9)/(-6)). Which is bigger: 2 or r?
2
Let t be 1/(-3) + 2480/3120. Which is smaller: t or 1/33?
1/33
Let i = -6631 - -6629.79. Is -13 >= i?
False
Let v be (1 + (-6)/7)/(49163/1640520569). Let a = v - 4767. Is 1 less than a?
False
Suppose -80 = 4*v + 88. Let r be 5*-1*v/14. Suppose 4*l + 19 - 5 = -2*k, -5*l = 5*k + r. Do -2.1 and k have different values?
True
Let d(v) = 2*v - 26. Let h = -416 + 420. Let c be d(h). Which is greater: c or -20?
c
Let f be (-3)/((-285)/50 + 6). Let n be f/(-12) + 7315/(-210). Are n and -34 equal?
True
Let y be 47/(-141)*(0 + -42). Is y at least as big as -42?
True
Let a = 3051 + -3085. Are 33 and a equal?
False
Suppose -6*g - 3*g - 1098 = 0. Let m = g + 411. Let s be 34/m*(0 - 2). Are -1 and s nonequal?
True
Let f = -298 - -249. Which is bigger: f or -28?
-28
Let a = 13981.4 - 13982. Which is bigger: a or 2/675?
2/675
Let o be (22/33)/((-2)/(-246)). Suppose 72*u - o*u = 20. Is u at least as big as 4?
False
Let l be 2/30 - 29822/(-195). Suppose 3*f - 471 = 3*w, 0*f + 3*f = -5*w + 431. Which is smaller: f or l?
f
Suppose -y + 2*w = 150, -5*w = -3*y - 0*w - 445. Let r be (-2 - (-269)/4) + (-105)/y. Is r bigger than 68?
False
Let a = -0.512 + 0.4415. Let b = a - 0.0295. Which is smaller: 17 or b?
b
Let j be (-2480)/221 + 172/(-559). Is j >= 1?
False
Let b(d) = -d**3 - 22*d**2 + 40*d - 221. Let r be b(-24). Which is greater: -474/17 or r?
-474/17
Let i(h) = h**2 - 22*h - 21. Let o be i(23). Suppose 4*q = 5*k - 3*k, -2*q - o*k = 0. Which is smaller: q or -3/358?
-3/358
Suppose -7*h = 7*h + 70. Let g be h + (5/(-1) - (-198)/9). Is 14 at most g?
False
Let w(f) = 2*f + 10. Let r(q) = q**2 - 7*q + 9. Let s be r(4). Let d(u) = -4*u - 21. Let j(x) = s*d(x) - 5*w(x). Let t be j(-6). Which is bigger: -0.2 or t?
t
Let q(h) = 32*h**2 - 2*h + 18. Let l be q(5). Let x = l - 4126/5. Which is greater: -17 or x?
-17
Suppose 0*h - 3*v = 5*h - 94, 0 = 4*h + 5*v - 83. Suppose 2*m - 6 = -y, -4*y + 2*m + 90 = y. Which is greater: h or y?
h
Let f = -20835/8 + 2601. Let x = 1385/408 + f. Which is smaller: 0 or x?
0
Let b(h) = -1390*h + 34. Let y be b(3). Is y less than -4135?
True
Suppose -4*z = 5*q - 36, 0 = -4*q + 2*z + 13 - 5. Let r be (6 + -9 + q)*-1*7. Is r > -4/9?
False
Let g(m) = 8*m - 962*m**2 + 1935*m**2 + 21 - 972*m**2. Let c be g(-6). Let n be (-205)/(-8)*12/30. Which is smaller: n or c?
c
Suppose -7*q = -9*q + 26. Let l be (-39)/q + 20/(-2) - -3. Which is greater: l or 1?
1
Let c = -1775 + 1152. Is c greater than -2/9?
False
Let p be 8/(-1) - 45550/(-125). Are 356 and p nonequal?
True
Suppose 2*c = -4*b + 8, 10*c = 5*c + 5*b - 25. Let n be 0/(c/(-6) + 105/(-45)). Which is greater: -11 or n?
n
Let v be (-1)/(-2) - (90 + -91). Let k = 13.2 - -5.8. Which is smaller: k or v?
v
Let o = 7005 - 7011.6. Which is greater: 31 or o?
31
Suppose 15*n - 33*n = 39*n - n. Which is smaller: -2/9099 or n?
-2/9099
Let z be (-195)/(-3)*(-5)/(0 + -5). Suppose -3*p + z = -4*l - 187, 0 = -4*l - 3*p - 276. Is l > -65?
False
Let l be 10/1 - 70/10. Let r be (l/(-2))/(-24 - -33). Is r <= -6/7?
False
Let p be (-1)/2*(-2 - -2). Let r = 13379 + -13379.172. Which is smaller: p or r?
r
Let w be (8 - 10)/(0 + (-4)/(-14)). Let i be (-2)/(-4)*-2 - w. Suppose 2*r - 5*r - i = 0. Which is smaller: 1/2 or r?
r
Let q(c) = 2*c**3 - 79*c**2 + 36*c + 256. Let i be q(39). Which is bigger: 109 or i?
i
Let b(v) = v**3 - 6*v**2 - 2*v - 21. Let f be b(7). Let h = f + -4. Suppose 18*r + 136 = h. Is 2 at most r?
False
Let a = 493.5 - 483.5. Which is smaller: a or 102?
a
Let k = 623.1 + -509.5. Which is bigger: -1/3 or k?
k
Let o(d) = -4*d - 13. Let a(b) = -b**2 - 3*b + 4. Let k be a(2). Let v be o(k). Suppose 5*y + v + 19 = -5*p, -2*y - 9 = -p. Is p less than 2/47?
True
Suppose -1454*w + 1493*w = -78. Which is greater: w or -63/107?
-63/107
Let o = 22.8 - -98.2. Let a = o + -125. Is 2/39 > a?
True
Let p(v) = -121*v - 7659. Let l be p(-55). Which is bigger: -1003 or l?
-1003
Let b be 69052/(-165) - 334/(-2505). Which is smaller: b or -418?
b
Let f be 0 + ((-51)/(-24) - 4). Let m = 450.6 - 450.7. Which is smaller: m or f?
f
Let k = 369 + -385. Let n be 24/k*(-2172)/(-1623) - -2. Is 0 at least as big as n?
True
Let a = -29515.033 - -29481. Let l = -34 - a. Let u = -4.9 - -4.8. Which is smaller: l or u?
u
Suppose 1 = 7*h - 6*h + t, 0 = -h + t - 1. Suppose 2*m - 6*m + 2*q + 806 = 0, -3*m + 3*q + 609 = h. Which is smaller: 201 or m?
m
Let a(m) = -10*m - 29. Let u be a(-8). Suppose 4*d + 3*r - 222 = -2*r, 4*d - 5*r - 202 = 0. Which is smaller: u or d?
u
Let i be (-87)/(-21) + -12 + (2 - -6). Are i and 428 unequal?
True
Let u = -44.6 - -58. Let j = -13.4 + u. Which is smaller: j or -29?
-29
Let a(n) = -n**3 + 16*n**2 + 19*n - 35. Let f(v) = 6*v + 125. Let u be f(-18). Let l be a(u). Is -2/411 at least as big as l?
True
Suppose -5*f + 71*g - 74*g + 965 = 0, -2*f = 5*g - 367. Which is smaller: 586/3 or f?
586/3
Let w = 131.38 + 2.62. Let f = 122 - w. Which is smaller: -6 or f?
f
Let i = 4.6 + -22.6. Let h = -11 - i. Let z = 0 - h. Is -2/3 smaller than z?
False
Let d = -251.33 - -249. Let u = d - -2.42. Which is greater: 1/7 or u?
1/7
Let z = 3 - 2.6. Let m = -560.970335 + -0.059665. Let o = -561 - m. Which is bigger: z or o?
z
Suppose -4*u - 70 = -4*y - 5*u, -3*y = 2*u - 55. Suppose y*b + 665 - 104 = 0. Suppose 57 = -4*c - 67. Which is greater: b or c?
c
Let x be (-1310)/(-196) + -4 + -12 + (-110)/(-11). Is 0 > x?
False
Let w(a) = -129*a + 5. Let q be w(4). Let r be q/28*-4 - 2/(-1). Is 74 > r?
False
Let b be (-70)/(-1744)*(-338)/(-5). Let x be 126/654*-5 - -1. Let s = b + x. Which is greater: -0.1 or s?
s
Suppose 0 = -5*f - 4*d - 1061, -4*f + 2*d - 853 = d. Let t be (408/22)/(6/(-69)). Let v = f - t. Is 1 at most as big as v?
False
Let j = 337/2085 - -16/417. Which is greater: -7654 or j?
j
Let u = -5722 - -6333. Is u at most 6708/11?
False
Let c = 1.1 - -4.9. Let z = 40 + 47. Let r = 87.1 - z. Which is smaller: r or c?
r
Let r be 3*((-4)/(-10))/(64/(-80)). Suppose -5*q + 18 = -0*q - 3*y, 0 = 3*q + 4*y - 34. Suppose 3*x = -0 - q. Which is greater: x or r?
r
Let m = -295551 + 295530. Suppose -2*y + 5*f = 0, 8*f = -4*y + 3*f. Let p be -21 + y + -1 + 1. Is m less than p?
False
Suppose 6 = 3*a, 839 = -5*z + 2*a + 265. Do -99 and z have the same value?
False
Let a(d) = -20*d**2 - 30*d - 34. Let x be a(-1). Which is greater: -176/7 or x?
x
Let q be (-8)/6*(-36975)/50. Which is smaller: q or 985?
985
Let z = -37.67 + 2.67. Let i = 23 - z. Which is smaller: -3 or i?
-3
Let j(t) = 3*t**2 - 16*t - 9. Let f = 16 - 10. Let y be j(f). Suppose 0 = 4*x + 20, 0 = -u - 2*u + y*x + 15. Which is greater: -4/13 or u?
u
Let z = 35404 - 35405. Is z at most as big as -82/351?
True
Let h = 2.5 - -0.5. Let v = 109.97 - 107.47. Is h at most as big as v?
False
Let v be -1 + (-1)/((-135)/133). Let y(s) = s**3 - 12*s**2 - 46*s + 252. Let u be y(14). Which is smaller: u or v?
v
Let x be (-1*(-1284)/16)/((-6)/8 + 2). Which is greater: 63 or x?
x
Let s = -156868/105 + 1494. Let x = 54 - -268. Let o = 322 - x. Is s at most as big as o?
False
Suppose 267*b = 479*b - 277932. Is b equal to 1310?
False
Suppose 4*g - 474 = 2*r, -3*g + r + 354 = -0*r. Let o = 4605 + -4486. Which is smaller: g or o?
g
Let z = -6466 - -6572. Is z > -3/10?
True
Let s be (54/120 - ((-8)/32)/(-1))*10. Is -5399 at least s?
False
Let u(k) = 12*k + 170. Let a be u(-18). Let o(w) = -11*w - 2. Let x be o(-1). Let m be 1648/(-36) - 2/x. Is a greater than m?
False
Let b = -7.2252 + 8.351. Are 0.2 and b unequal?
True
Let q = -129139 - -425771279/3297. Is q smaller than 0?
True
Suppose 17*a - 16*a = 1. Let d(i) = -i**2 + 20*i - 37. Let o(f) = 1. Let u(c) = a*d(c) - 6*o(c). Let g be u(14). Is 42 at most g?
False
Suppose -15*u + 4*u = 0. Suppose -9*w + 15*w - 660 = u. Let r = 121 - w. Which is smaller: r or 13?
r
Let x(c) = -c**2 - 30*c - 71. Let h be x(-26). Suppose b - h = -t + 3*t, -3*b = 4*t + 61. Are 0.3 and t equal?
False
Let r be -4*3*(-198)/121. Let b = -58082/2959 + r. 