 z or 7858?
z
Let o = -235 + 263.4. Let l = 4.6 + -33.6. Let b = o + l. Which is bigger: b or 1/7?
1/7
Let w = 81001 + -98659205/1218. Is w at most as big as 1?
True
Let j = -1909287/2035 - -4691/5. Do -1 and j have the same value?
False
Let n be 25/1820*(-3422)/(-10). Let t = 65/14 - n. Which is greater: -1 or t?
t
Suppose b - 2 = -2*n - 7, -4*n = 5*b + 19. Are 1/2439 and n non-equal?
True
Suppose -15 = -k - 3*s, -33*k = -38*k - 5*s + 35. Suppose -2*v + v = -3, -k = -3*a - 2*v. Let d = -1 + 2. Are a and d non-equal?
True
Let h = -21.773 + 0.073. Let o = 21.4 + h. Which is smaller: 1 or o?
o
Let w = 0.6973 + -152.7663. Let u = 152 + w. Let q = u + 5.069. Are q and 2 nonequal?
True
Let r = 6284 - 6284. Which is smaller: 37/279 or r?
r
Let d(z) = 12*z**2 - 707*z + 73. Let j be d(58). Does -568 = j?
False
Let i(t) = -28*t - 926. Let l be i(-37). Does 125 = l?
False
Suppose -3*b + 10 = -4*r, 0 = 4*b + 4*r + 30 - 6. Which is smaller: b or -9/122?
b
Let f be -7 - (-20)/(-2)*(-41 + -23). Are 633 and f equal?
True
Let v = 83.856 - 7.856. Which is smaller: v or -3/20?
-3/20
Let r(g) be the first derivative of -g**2/2 + 67*g + 64. Let j be r(41). Is 28 not equal to j?
True
Let c = -0.0306 + 0.0095. Let i = c + -193.9789. Which is greater: 1/4 or i?
1/4
Let g(t) = 24*t**2 - 71*t + 3. Let i be g(2). Which is bigger: -86 or i?
i
Let t = 141 - 299. Let y = t - -156.74. Do -1 and y have the same value?
False
Let j be (-2)/5*(-3 + -7). Let p(m) = -m**3 + 5*m**2 - 8*m + 2. Let g be p(j). Let w be 2/4 + (0 - (-11)/g). Is w bigger than -6/5?
True
Let t = -1247 + 1251. Is t less than or equal to -174?
False
Let l be (-2 - 1) + (3 - (-5 + 1186)/(-1)). Which is smaller: -1 or l?
-1
Suppose 4*r = 300 - 292. Which is smaller: 206 or r?
r
Let k = 3915/368 + -171/16. Are 3 and k equal?
False
Let r = -166183 - -166185. Let o be 2/6 - (-202)/78. Which is smaller: o or r?
r
Let h(t) = 2*t**2 + 10*t - 9. Let p be h(-8). Suppose 9 = -y + p. Let w = y + -25. Which is bigger: w or -1?
w
Let g = -4.6 + -1.4. Let a = -120 - -93. Let n = 24 + a. Is n >= g?
True
Let l(d) = -d**2 - d + 3. Suppose 2*s + 9 = 11. Let h be 0/((3 + -2)/s). Let w be l(h). Which is greater: 5/2 or w?
w
Suppose 49*k - 4 = 47*k. Let s be (-2)/(140/126*(-3)/k). Let y(t) = t**2 - 3*t - 11. Let n be y(6). Which is smaller: n or s?
s
Suppose 71*p - 2724 = 4021. Which is smaller: p or 89?
89
Suppose 0 = -4*v + 3 + 5. Let i be (3 - (-13494)/(-4862))*(-1 + 12). Which is smaller: i or v?
v
Let d be -3*(-4 + 16/3). Let o be -4 - (-3 - (d - -17)). Suppose 6*z = -o - 30. Are 0.1 and z equal?
False
Let r = -41 - -45. Suppose 5*n - s + r*s = -5, -5*n = 2*s. Suppose q + 3*f = 5, n = -3*q + 3*f - 7. Which is smaller: q or 1/66?
q
Let y = -2.3 - -3.2. Suppose 10*v - 19 + 49 = 0. Let m be ((-56)/(-12))/(-7)*v/5. Is y greater than m?
True
Let z = -20 + 118. Let o = 64 - z. Suppose -165 = 5*q + m, 0 = -4*q - m - m - 126. Is q at most as big as o?
True
Let a be 8/(5*(-20)/(-1250)). Which is smaller: a or 123?
a
Let r be (-16)/5 - (-2)/10. Let o = 7205 + -7204.43. Do r and o have different values?
True
Let h be (-6)/(-10)*4*((-270)/(-215))/(-6). Is h at most as big as 0?
True
Let l = 0.1176 + 1771.8824. Is -0.3 < l?
True
Let k(f) be the second derivative of 4*f**3/3 - 16*f**2 - 48*f. Let h be k(5). Is h < 10?
True
Suppose -1 = -3*q - 22. Suppose 4*w = -5*f + 1 + 5, 4*f = -5*w + 3. Suppose -4*p = 2*d + 24, -f*d = 3*p + 8 + 9. Is q at least p?
True
Let d be (1 + 10/(-6))*(-443823)/(-478). Is d equal to -3094/5?
False
Suppose -3*j - 1 + 19 = -3*l, 3*l = -j - 6. Let i(z) = -z + 0*z - 2*z - 6 - j*z. Let r be i(-4). Which is smaller: 16 or r?
16
Let m(j) = -10*j**3 + 6*j**3 - 1 + 6*j - 2 + 5*j**3 - 4*j**2. Let x be m(2). Which is greater: x or 7/13?
x
Let d be (-8)/8 + 1/(1/6). Suppose n = d*k - 1115, n + 1222 = -k + 137. Let c be 1/6*-1 + n/120. Are c and -10 nonequal?
True
Let b be 2/(-20) + (4 - 0) + (-42)/12. Is b bigger than 7041?
False
Let l = 1736 + -1738. Is l not equal to 1.52?
True
Suppose 11*s - 37*s = 30*s + 113904. Which is smaller: -2033 or s?
s
Let g(m) = m**2 - 4*m - 251. Let t be g(-15). Suppose 1 = -4*k + 3*k. Which is smaller: k or t?
k
Let x = -4369/209 + 6294347/14212. Let n = 422 - x. Is n less than 1?
True
Let d = 14 - -6. Let v(c) = 47*c - 843. Let w be v(18). Suppose -w*y + 2*y = n + d, -4*y = -4*n - 88. Are n and -20 unequal?
True
Let w = -10896 - -6518. Let q = 39344/9 + w. Which is smaller: q or -7?
-7
Let h = -5.098 + 1.255. Which is greater: h or -0.3?
-0.3
Let v = 172 - 185. Let t = -1405 - -4204/3. Is t less than v?
False
Let u be -2 - (-80 + (2 - 1)). Let l be (-27)/u - 6/21. Suppose -4*t = -24, 13*m - 15*m - 3*t = -14. Which is greater: l or m?
l
Let m(x) = -x + 13. Let l be m(5). Suppose -2*r - 2*w + l = 0, -4*r + 5*w + 0 - 29 = 0. Let y be (-12)/(r/(-5) - (-66)/(-30)). Which is smaller: y or 4?
4
Let s be (9 + 333/(-36))*-4. Which is bigger: s or -3/323?
s
Let j be (781/391 + -2)*30/75. Is j at most 1?
True
Let n = 0.5773 - 147.5773. Which is smaller: n or 0.11?
n
Let h = -98.183 + 98. Let g = -10.183 - h. Which is bigger: g or -5?
-5
Let g(l) = l**2 + 4*l - 7. Let y be g(-12). Let z be (-20)/5 + (-2)/(-45)*y. Is 1 greater than or equal to z?
True
Let h be 435/(-58)*28/(-6). Suppose 0 = h*v - 29*v + 1290. Is v != -214?
True
Let w = -564 - -583. Let d be (-5)/1 - (w/(-4) - 0). Let f be (-27)/(-20) - 2/(-5). Is f smaller than d?
False
Let w = -2/25177 - 8099/214986403. Is w at least 1?
False
Let v be -7 - (3/(-15) - 1621/240). Do 0 and v have the same value?
False
Let z = 5043800/521 - 9681. Which is smaller: z or -46?
-46
Let s = 376 - 365. Suppose -3*i = -15, -j - 5*i + 65 = -s. Which is bigger: -3 or j?
j
Let o = 128 + -122. Suppose o*h = h. Which is smaller: h or 1/267?
h
Suppose -3*b - 73 = 2*j, 3*j - 2*b = 4*j + 35. Let v be ((-4)/6)/((-8)/492). Suppose v = -5*c + 4*c. Is j equal to c?
True
Let t be (-384939)/(-2079) + 32/56. Which is smaller: 186 or t?
t
Let v be 90/(-8) + 27/108. Let s(z) = -z**3 + z**2 - z. Let g be s(-3). Suppose g = -4*q + q. Is q < v?
True
Let q = 54.932 + -55. Let z = -1.068 - q. Let n = -3 - z. Is n <= -2?
True
Let s = 244 - 464. Let d be 1/(4/s*-5). Is d less than or equal to 2?
False
Let y be 5/(30/(-57)) - 0. Let o(c) = c**2 + 12*c - 9. Let j be o(-12). Which is bigger: j or y?
j
Let k(s) = -102*s + 1585. Let r be k(24). Which is smaller: r or -868?
-868
Let j = -5465427/83 - -65847. Which is smaller: j or -1?
j
Let t(o) = 17*o**2 + 356*o - 50. Let v be t(-21). Is -23 smaller than v?
False
Let v = 367 + -366.464. Let c = v + -0.436. Which is greater: c or -197?
c
Suppose -n - 2*n = -15. Suppose -2*r - n = -3*m, -5*r - 3*m = -8*r - 6. Let s be (61072/2310 - 27) + 6/14. Do s and r have the same value?
False
Suppose 7*o = 9*o - 82. Let t = -41 + o. Let u = -84/5 - -593/35. Is u less than t?
False
Suppose 0 = q + 7, 5*y - 9*y + 14790 = -2*q. Is 3691 < y?
True
Suppose 81*a = 60 - 708. Let r(x) = x - 4. Let f be r(6). Suppose -9 = 3*g + f*m + 12, 3*m + 9 = 0. Which is smaller: g or a?
a
Let b = 11 - 2. Let c(q) = -q + 67. Let a(w) = -w + 60. Let s(d) = -7*a(d) + 6*c(d). Let f be s(b). Which is bigger: -6 or f?
-6
Suppose -299*g - 5250 = -320*g. Which is smaller: 260 or g?
g
Let b(c) = 6*c**3 - 2*c + 4. Let m be b(3). Let x = 248 + -87. Which is greater: m or x?
x
Let z = -445.9 + 446. Let h(c) = -33*c**3 - c**2 - 2*c - 1. Let y be 4/5 - 63/35. Let t be h(y). Which is bigger: t or z?
t
Let q be (-459)/600 - 3/(-24). Suppose 0 = -100*z + 4*z - 96. Which is smaller: q or z?
z
Let q = -1874 - -1746. Which is greater: -1015/8 or q?
-1015/8
Let t be (-48)/(-660)*(-21 + 1). Suppose 0 = -1039*j + 1003*j - 72. Which is bigger: t or j?
t
Let h be ((-2)/(1*6))/((120/(-45))/(-8)). Is h equal to -47/28?
False
Let r be ((-1)/3)/((-2)/(-30)). Let p = r + 14. Let x(i) = 26*i - 441. Let s be x(17). Are p and s nonequal?
True
Suppose -2*b - 7174 = -t, 0 = 3*b + 508*t - 511*t + 10767. Is -3587 smaller than b?
True
Let o = 8.62 + 14.74. Let x = o + -23.5. Is -0.12 bigger than x?
True
Let y = 30.493 - -0.307. Let t = y + 0.2. Let k = 30.9 - t. Which is bigger: k or 3.2?
3.2
Let r = -19711.9 - -19711. Let l = -0.4 - 0.1. Are r and l non-equal?
True
Let a be -2 + (-3)/(-1) - -1. Let i(r) =