4/71?
14/71
Let k = -124.142 - -124. Let b = -0.052 - -0.01. Let y = k - b. Which is bigger: y or -1.4?
y
Suppose 9*p - 2*z + 30 = 4*p, 5*z + 18 = -3*p. Let m(x) = -x**2 + 8*x + 3. Let r be m(p). Let a = r + 93. Are -1 and a equal?
False
Suppose -236*t + 235*t + 3 = 0. Let d be 8/2 + 4 - t. Suppose -d*j = 34 + 46. Is j greater than or equal to -18?
True
Let y(s) = s**3 + 26*s**2 - 150*s - 586. Let x be y(-30). Which is smaller: x or 313?
313
Let m = -7277 + 7327. Is m != -14?
True
Let c(w) = w**3 + 16*w**2 - 30*w + 6. Let i(n) = n**3 + 15*n**2 - 29*n + 5. Let h(l) = -5*c(l) + 6*i(l). Let t be h(-12). Which is smaller: t or -4/205?
-4/205
Let r = 48 - 45. Let j be (r - 2)/((-2)/(-12)). Let u be (-70)/(-150) - 2/j. Which is smaller: -1 or u?
-1
Suppose -d + 0*f - 4*f - 8 = 0, 3*f = 2*d - 17. Let v be -3 + d - 36/33. Is v not equal to -1/4?
True
Suppose 0 = -v - 1. Let g = 0 + v. Let i be 2/(34/119) + 7434/(-1064). Is g equal to i?
False
Let o = -2317897/24374868 - -2/85827. Which is smaller: 0 or o?
o
Let d be 13 + (1 - (-27)/(-3)). Suppose -4 = 2*r, 5*j + 100 = -0*j + d*r. Is j bigger than -18?
False
Let q(z) be the third derivative of -z**4/8 - 35*z**3/6 + z**2 - 70*z. Let x be q(-12). Let p be (2/(-3))/((-28)/15). Do x and p have the same value?
False
Let r(c) = 9*c + 9. Let x be r(-1). Suppose 3*u + x - 12 = 0, -3*g - 35 = -5*u. Which is smaller: g or -3?
g
Let q = 3 + -1. Let h be (30/45)/(0 - 1/(-84)). Suppose 0 = -60*w + h*w - 12. Which is bigger: q or w?
q
Suppose 15*p = 16*p - 11. Suppose p*h - 5*h - 186 = 0. Suppose -h*y = -32*y - 5. Which is smaller: -6 or y?
-6
Let p(d) = 8*d + 48. Let b be p(-5). Let w be 1 + 1*(-2)/b*4. Which is smaller: w or -2/19?
-2/19
Suppose -6*w = -9*w - 4*o + 4, 2 = w + 2*o. Suppose w = -35*q + 7*q + 84. Is q != 58/15?
True
Let n = 260 + -260.0223. Let a = n - -20.0223. Which is bigger: a or 1/5?
a
Let y be (4 + -4)/(-30 - -29). Which is bigger: y or -10/581?
y
Let q = 6410 + -6567. Let s be 1401/(-9) + (-1)/3. Is s bigger than q?
True
Let h = 444 - 578. Suppose -59*n + 71*n + 1596 = 0. Which is greater: h or n?
n
Let w = 1.12852 - 0.02852. Which is smaller: -123 or w?
-123
Let y(p) = -3*p - 3. Let v be y(0). Let d be 35/11 + v + 45/55. Let i = 732 - 12438/17. Which is smaller: i or d?
i
Let q be (-1 - 10/(-4))/((-7)/(-462)). Let r = -106 + q. Is -36/5 <= r?
True
Let m = 295.2 + -260. Let h = -85 + 50. Let s = m + h. Which is greater: s or 2/13?
s
Suppose c - 4*n + 0*n = 37, 137 = 4*c - 5*n. Let j = 21 + c. Let m be (3/6)/(9/j). Is 8 > m?
True
Let g = 35 + 15. Let h be -5 - (-3636)/63 - (-250)/(-350). Which is greater: h or g?
h
Let g be (-7)/(-24)*(-24)/80136*30. Is g less than 1?
True
Let q(x) = 8*x**3 + 3*x**2 - 2. Let b be q(2). Let i = -4 + b. Let o be 15/i*(-21)/(-6). Which is bigger: -1 or o?
o
Let t(m) = -3*m**3 - 12*m**2 + 6*m - 102. Let b be t(-7). Which is smaller: 889/3 or b?
889/3
Suppose 4*p - z + 3 - 298 = 0, -p - 4*z + 61 = 0. Let b be p - (6/(-21) + 48/21). Let t = b - 82. Do t and -2/7 have different values?
True
Let o = -5111538439 - -4909060178355155/960388. Let k = o + -3/1012. Is 1 >= k?
True
Let r be 596/2*(-119)/22120. Let l = r - -1/316. Which is smaller: -12 or l?
-12
Let i = 0.78 + -0.5. Let h = -243 + 243.18. Let o = h - i. Which is greater: -26 or o?
o
Suppose -5*b + 2*k = 10, 0 = -6*k + k - 25. Let u be 20/6 - (-4)/6. Let o be (2 + b)*(10/u)/1. Is -36/7 <= o?
True
Let y be (-33)/6*(-26)/429. Which is bigger: -904 or y?
y
Let c = -144 + 143.876. Let l = 0.324 + c. Which is greater: 6 or l?
6
Let l be (-252)/(-31) + (11248/37)/(-38). Let f = 3 + -2. Which is greater: f or l?
f
Let z be 2/(-8) + -5 + (-305)/(-20). Let f(r) = -2*r + 18. Let b be f(z). Let h be ((-70)/22 - -3)*(-5)/(-1). Is b smaller than h?
True
Let a(j) = 6*j**2 - 21*j + 9. Let z be a(3). Which is smaller: z or 5/248?
z
Let b = -267/64 + -7687/704. Let q = 5279/352 + b. Is q greater than or equal to 0?
False
Let v = -71 - -48. Let k = -17 - v. Let l = 6.1 - k. Is 0.14 != l?
True
Let b(z) be the third derivative of z**6/60 + 11*z**5/60 + z**4/6 - 2*z**3/3 + 15*z**2. Let v be b(-5). Suppose v = -9*p - 26. Is -19/6 bigger than p?
False
Let k = 8.29 + -8.29. Let q be (-6)/27 - 1196/(-36). Is q less than or equal to k?
False
Suppose 0 = 1095*q - 1125*q - 8850. Which is bigger: -293 or q?
-293
Let c(n) = -2*n**2 + 12. Let v = 201 + -207. Let o be c(v). Which is smaller: o or -59?
o
Suppose 3*v + 4647 + 3723 = 0. Let t be v/699 + (-3)/(6/(-8)). Is t <= -1?
False
Suppose 5*i + c = 2000, 0 = 2*i + 32*c - 30*c - 800. Suppose -4*z - 288 - i = 0. Is -170 bigger than z?
True
Suppose -5*t - 4 = -2*k - 59, 0 = k - 3*t + 27. Suppose 6*x - 12*x = 144. Let w = k - x. Which is smaller: w or -4?
w
Let w be -113*(-3)/54*-11*(-68)/1309. Is 3 bigger than w?
False
Let f = -71 - -73. Suppose 2*c - 255 = -3*z, f*c + 2*c - 525 = -z. Let d be 35/(-14) + 334/c. Which is smaller: 0 or d?
0
Let g = -5923 + 5922.9. Which is bigger: 2/21 or g?
2/21
Let p = -276 - -199. Let w be 0 + p/(-16) - 4. Is w equal to 1?
False
Let q be 10*(-72)/20*(-185)/(-20). Suppose 0*r - 3*r = 1002. Is q greater than or equal to r?
True
Let n = -1.3605 + 26.3605. Is -35 bigger than n?
False
Suppose 0 = -19*u + 17*u - 7*b + 17, 0 = -2*u - 5*b + 15. Which is greater: u or -261?
u
Let q be (-748503)/(-32543) + -6 + -17. Which is smaller: q or 1?
q
Let t be -51 + 43 - ((-340)/(-21))/(-2). Which is smaller: t or -0.34?
-0.34
Let m = 34 + 385. Suppose 18*g + 3*r = 20*g + m, -5*r = 5*g + 1010. Which is smaller: -207 or g?
-207
Let y be (21/(-14))/((-6)/32). Let l(x) = -x**3 + 6*x**2 + 17*x - 8. Let t be l(y). Is t smaller than -2/29?
False
Suppose -p + 4*g = 3, -5*p - 5*g + 4 = -6*p. Suppose -2*l = -2 - 2. Let b be (-4)/(-8)*6/l. Which is smaller: b or p?
p
Let t = -9889 + 11384. Is 1496 less than t?
False
Suppose o - 4 - 13 = 5*q, 2*o = -q - 10. Let h be 4 + (-5 - (q - 0)). Let g be ((-4)/(-4))/(h/24). Is 8 at most as big as g?
True
Let g = -1.7364 - -0.1059. Let l = 0.0695 - g. Is l not equal to 21/4?
True
Suppose 46*z - 49*z - 318 = 0. Let l = -171 - z. Which is greater: 1/3 or l?
1/3
Let q = 52 + 3528. Is q <= 0.1?
False
Let c be (3 - 0)*20/3. Let a be (-3)/15 - 31/c. Let d = 1909 - 1907. Which is smaller: a or d?
a
Let t = 0.3464 - -0.0736. Which is greater: -5/13 or t?
t
Let g(y) = -2*y + 1. Let u be g(1). Let r be -13 - (u - (-3 + 3)). Let j be (3/(-16))/((-3)/r). Which is smaller: j or -5?
-5
Let b(m) = -89*m**2 + 34*m**2 + 10 + 12*m + 24*m**2 + 30*m**2. Let s be b(11). Which is greater: s or -0.15?
s
Let k be 6*(-2 - (-51)/24). Let h = -1 - 3. Let s be ((-3)/h)/(7/(112/(-18))). Which is smaller: s or k?
s
Suppose -5*g + g - 9 = -3*f, 4*g = 4*f - 16. Let y be 19/4*f + 6. Which is smaller: y or 40?
y
Suppose 5*f + 78 = v, 5*f = -5*v + 10 - 100. Let p be 1*(-3 - 172/f)*-4. Let o = 31 - 62. Do p and o have the same value?
True
Suppose -3*c - 3 = 0, -12*v + 117 = -14*v - 5*c. Is v greater than -56?
False
Let q be ((-14)/5)/(-2 + 11/5). Let o = q - -12. Let z be 4 + o + 512/(-258). Is z at most 0?
False
Let c = 36.9 - 41. Let w = -4 + 3.9. Let p = w - c. Which is smaller: 0 or p?
0
Let k(o) = 370*o - 2907. Let m be k(8). Is 52 smaller than m?
True
Let y be 1 - -1 - 32/13. Let x be 5 - (-18)/6 - 4. Suppose x*f = 2*f, 4*v - 5*f = 0. Does v = y?
False
Let l = 9 - 5. Suppose 11 = -3*c - l*r + 43, 84 = 4*c - 5*r. Let i be 8190/504 - ((-105)/12 - -9). Is c at most as big as i?
True
Let t be 258/(-24) - 9/(-12). Let a be (-14035)/(-3325) + (-2)/t. Is a equal to 3?
False
Let t be 2*5/4 - (-190)/(-76). Let h = 5389/5 + -1071. Are t and h unequal?
True
Let l = -41 + 44. Suppose -g = -r - 4, 3*g + r = 7 - l. Suppose 0 = -5*n - 5*a + 110, -a + 19 = g*n - 27. Is n at most 24?
True
Suppose 60 = 5*u - 2*k + 4*k, -4*u + 81 = -5*k. Let c be 9 - 10/(-5) - 1*2. Let t = u + c. Is t at least as big as 23?
True
Suppose -7 = -a - r, 0 = -3*a - r + 23 - 10. Let o be (27/24)/(75/20 - a). Let g = 5/4 - o. Are 4.7 and g unequal?
True
Suppose 0 = z + 4*f - 16, 4*z = -2*f + 4*f + 10. Let j = 523261/116282 - -4/58141. Which is smaller: z or j?
z
Suppose 4*h + 16 = 0, -10*h - 2095 = -5*o - 15*h. Let x be 437/(-15) + (-3 - o/(-135)). Is x smaller than -324/11?
False
Let j be (-13)/(-39)*206*-3. Suppo