(-286)/(-715))/((-18)/(-20)). Let d be (-9)/(-6)*(-8)/(-6). Suppose -2*r - z*l = -170, d*r + l - 158 = -0*r. Are r and 76 equal?
False
Let m be 16/(-18)*86/1720*(7 + -4). Is 129 <= m?
False
Let c(g) be the first derivative of -g**2/2 + 21. Let n be c(-2). Suppose 3 = n*z - 7. Is z greater than or equal to 11?
False
Let t(z) = -z - 6. Let j be t(-4). Let h be (11/(-33))/(1/j). Let i be ((-1)/2)/(13/(-52)). Does i = h?
False
Let c = -192550181071/36499 - -5275492. Let d = 6166400/323 - 19091. Let r = d - c. Which is greater: r or 1?
1
Let a = 12.21 - 94.11. Let k = a + 0.9. Suppose 4*x + 8 + 3 = 5*h, -7 = -4*x - h. Which is bigger: k or x?
x
Let o = -107.399 - -1.399. Let j(w) = w + 2. Let q be j(-2). Which is greater: q or o?
q
Let v be 18/15*((-11)/165)/(-1) + 0. Let s be ((-8)/50)/(3/(-5)). Is v < s?
True
Let s(d) = -12*d**2 - 2*d. Let q be s(5). Let r(f) = f**2 - 9*f - 843. Let a be r(-19). Do a and q have different values?
True
Let q(v) = v**3 - 12*v**2 + 6. Let u be q(12). Suppose -3 = 9*o + u. Let g be 96/(-1 + o)*4/(-6). Is g smaller than 30?
False
Let q = 15754 - 16895. Which is greater: -2/9 or q?
-2/9
Let c = -3 + 36. Suppose c*u = 35*u + 12. Let l be 94/(-294) - 1*2/u. Is 1 at most l?
False
Let l = 124 + 80. Suppose 10*x + 8 = 14*x - 5*r, 2*x - 5*r = 14. Let c be x/(-18) + (-10)/l. Which is smaller: 1 or c?
c
Suppose 0 = 47*p + 17*p - 48576. Is p at most 762?
True
Let r(w) = -w**2 + 17*w - 17. Let v be r(13). Let f = v - 30. Suppose -f*s = -0*s - 5. Which is greater: s or -1/90?
s
Suppose -21*z - 115*z = 44 - 180. Is z < 1/665?
False
Let k be (5/((-900)/(-378)))/((-12)/(-5)). Is -2/115 > k?
False
Let l = 1162 - 244. Let q = l + -664. Which is bigger: q or 252?
q
Let a = -4.37 - -5.118. Let c = 1.552 - 1.6. Let r = a + c. Do r and 0.2 have the same value?
False
Suppose 2*t = 5*s + 84, 0 = -3*s - 2*t - 25 - 19. Are -305/21 and s nonequal?
True
Let i = 61.01 + -32.61. Is i bigger than 5/7?
True
Let l = 4183 - 3989. Which is bigger: l or 197?
197
Let p = -41.2 + 41. Let l = p + -13.8. Let v = 11 + l. Which is smaller: -1 or v?
v
Let h = 48 - 41. Let i(g) = g**2 - 6*g - 2. Let k be i(h). Suppose -2*w + 20 = 3*w. Is w less than k?
True
Suppose -35*c + 38*c - 375 = 0. Let o = c - 125. Which is smaller: o or -2?
-2
Suppose 5*w = 2*w - 3. Suppose 8 = o + 7. Let g be (-3 - (o - -3))/(2/4). Which is bigger: g or w?
w
Suppose 20*b - 16*b - 124 = 0. Suppose 3*q - 5*y - b = 0, -5*q + 4*y + 30 = -0. Suppose -4*n + 215 = -2*m + 51, -q*n + 3*m = -82. Is n smaller than 40?
False
Let v(p) = p**3 + 9*p**2 - 12*p - 15. Suppose 0 = 5*h + 25, 3*h - 513 = -q + 3*q. Let l be q/27 - 1*2/9. Let x be v(l). Which is bigger: x or 8?
8
Let t be (-3)/(-180)*-187 - 39/(-13). Let p = 3 - 2. Which is smaller: p or t?
t
Let f(a) = -168*a - 117. Let j be f(-2). Are 221 and j nonequal?
True
Let g be (64736/(-2310) + 28)*9/22. Is 1 at least g?
True
Let p = -1/4262 + 4006289/38358. Which is smaller: 104 or p?
104
Suppose 73*l - 123 = -25*l - 25*l. Is -4/14863 less than l?
True
Let u = -7.638 - -2.638. Is u >= -2.37?
False
Suppose -28*j + 10 = -33*j, -3*b + 644 = 2*j. Let u be ((-2)/74)/(11 - b/16). Which is bigger: u or -1?
u
Let n = 2 - 45. Let a = 45.2 + n. Let q = a - 2. Is q at least as big as -12?
True
Let r = -1.636 + 1.348. Is 1.2 at most as big as r?
False
Let x = -26172 + 26173. Is -442 at most as big as x?
True
Let c be ((-16)/(-1))/(3 + (3 - 5)). Let w be (c*60)/(-5)*4/(-8). Which is smaller: w or 97?
w
Let h = -146 + 293/2. Let x = -6 + 6.03. Let p = 0.03 + x. Which is smaller: h or p?
p
Let t = 12313 + -49255/4. Are 0.093 and t equal?
False
Let x be (-304368)/78 - (-2 - -3). Suppose 5*p + 19523 = -0*p - j, -4*p - 15630 = -5*j. Let u = p - x. Is 0 less than u?
False
Let y = 79 + -63. Let j be (y/5)/(4*2/80). Let d = j - 24. Is 8 bigger than d?
False
Suppose -2 = i - 0*i. Suppose x + 3*y = -1281, -8*x + 10*x + 5*y + 2560 = 0. Let a be x/(-34) - 1/i. Is a greater than 37?
True
Let o = -1950/31 + 6625/93. Is 30 at most as big as o?
False
Suppose 0*k + 4*k - 44 = 0. Let n(g) = -10*g - 58. Let j be n(-6). Suppose -2*v + 24 = -4*m, -4*v + 52 = j*m + 4. Which is smaller: k or v?
k
Suppose -6*v - 15*v - 13*v - 8432 = 0. Is -241 less than v?
False
Let c(j) = -51*j - 1939. Let z be c(-38). Which is greater: z or 6/5717?
6/5717
Let h = 689 - 684.5. Let k(a) = a**2 + 7*a + 12. Let c be k(-6). Let w be 2/3*c/(-16). Which is smaller: w or h?
w
Let u = -36.9 - 18.1. Let o = u - -55.1. Which is bigger: 17/3 or o?
17/3
Let u = 16423 - 8864. Let a = u + -158681/21. Let p = 13820/5019 - a. Which is smaller: p or 1?
p
Suppose -5*w = -25*z + 28*z + 16482, -5*w - 2*z - 16483 = 0. Which is smaller: -3298 or w?
-3298
Let b(c) = 11*c + 101. Let r be b(18). Let k be (r + -4)*(-3)/(-5*3). Which is smaller: -2 or k?
-2
Let q = -3093.4 + 3060. Which is greater: q or 0?
0
Let r be (-28240)/32*((-20)/(-6))/(-5). Which is smaller: 589 or r?
r
Let r = -49.90363 - -0.09363. Let z = r + 50. Let y = z + -0.3. Is 2 less than or equal to y?
False
Let p be (0*8/40)/(2 + -1). Which is bigger: -14769 or p?
p
Let n = 28.9408 - 28.94. Which is smaller: -2 or n?
-2
Suppose -4*q - 3*n = 1279, 3*q - 5*n + 291 = 2*q. Let h be 4/(-10) - (4584/15 - (-12 + 3)). Which is bigger: h or q?
h
Let p = -81 + 23. Let d = 76 + p. Suppose 0 = -13*x + d*x. Which is smaller: -10/7 or x?
-10/7
Let k = 20341 + -20340. Is -8/193 >= k?
False
Let b be (-19)/20 - ((-59)/45 + 38/342). Are 2.356 and b equal?
False
Let r be (-20)/((-560)/63) + (0 - 1071/12). Let z(s) = 2*s**3 - 4*s**2 + s + 4. Let b be z(-3). Are r and b nonequal?
True
Let t be -15 - (6 + 399/(-19)). Is t at least -1/4014?
True
Let j(q) = -q + 6. Let k be j(0). Suppose k = 2*c, -108 = 3*t + c - 0*c. Suppose 2*x + 4*w = -80, 0 = 3*x + 288*w - 285*w + 117. Which is smaller: x or t?
x
Let s = -235 - -202. Let u = s - -28. Let c(z) = 5*z**3 + 2*z**2 - 1. Let n be c(-1). Are u and n non-equal?
True
Let f be 3/(1/((-4)/4 - 0)). Is f at least -54/29?
False
Let t be -4 + 3 + -1 - (-297)/(-459). Let v = t + 1278/425. Is 0 greater than or equal to v?
False
Suppose -529*k + 552*k = -5083. Which is smaller: -5 or k?
k
Let g be (96 - -1) + (-49 - -51). Let r be 74/(-110) - (-7 - g/(-15)). Suppose -2*n = -6*n - 5*y + 15, 0 = 2*n + y - 3. Which is greater: n or r?
n
Let p = 12868 - 11175. Is 8462/5 > p?
False
Let g be 18/(-66) - 112/154. Are 1/2637 and g nonequal?
True
Let a(i) = 3*i + 6. Let u be a(1). Suppose -5*w = h - 12 - 45, -w = 2*h - 6. Which is smaller: u or w?
u
Suppose 18 = 3*f - 0*f - 3*w, -4 = -3*f - 4*w. Let t be (-246)/(-7) - (f + -4). Do t and 35 have the same value?
False
Suppose 3*y + 3*v + 4432 = 8*v, 0 = 2*y + 3*v + 2942. Which is smaller: -2 or y?
y
Let a = -747 + 392. Let p be 4*6/8 + 1070/a. Which is smaller: 1 or p?
p
Suppose 0 = -42*y + 34*y + 1680. Is y greater than or equal to 208?
True
Let l = 9626 + -9626.2. Which is smaller: -2/973 or l?
l
Let s = 6991 - 412467/59. Which is greater: s or -0.17?
s
Suppose -77 = -l - 2*f, 275 = 4*l + 3*f - 53. Let w = 56 - l. Which is smaller: -55/2 or w?
w
Suppose -18*u + 340645 = -102875. Is 24640 smaller than u?
False
Let q(w) = -w**3 + 7*w**2 + 61*w - 424. Let o be q(8). Which is bigger: o or 3/10574?
3/10574
Suppose 40*w - 8*w - 224 = 0. Let a be 6/(-2)*(w - 9). Is 7 at least a?
True
Suppose -l - 6 = -2*g - 3, -4*l - 3*g = 1. Let r be (15/9 + l)*(78 + -3). Suppose -3*b = m + r, b - 3*m - 2*m = -22. Is b greater than or equal to -17?
True
Suppose -298*h - 358 = -299*h. Let q = h + -319. Is q >= 113/3?
True
Let b = -23568188 - -6999743530/297. Let m = -306/11 - b. Let z(n) = -10*n**2 - 322*n - 1361. Let o be z(-5). Is m less than o?
False
Suppose -33*f + 755 + 103 = 0. Suppose 19*g + f = 17*g. Suppose 3*s + d + 13 = -d, 0 = -2*d - 4. Is g > s?
False
Let r be ((-6)/(-10))/(1/5). Suppose 49*d = 19 + 373. Suppose r*v = 4*v + 3*o - 4, -5*v - 3*o = -d. Is v at most -21/2?
False
Let v = -0.061 + -28.939. Let t = 36.121 + -0.421. Let f = v + t. Is -0.1 less than f?
True
Suppose 5*w - 20 = -2*p, 4*p - 86 + 24 = w. Suppose -4*d + 4*k - 132 = 0, 10*d + 4*k - 162 = p*d. Which is smaller: -31 or d?
-31
Let u = -68 + -147. Let c = u - -414. Which is bigger: -1 or c?
c
Let z be (12/(-1))/((-21)/20). Let o = -99125 - -99137.