*l + 10*l**3 + 14*l. Let y be r(-18). Suppose -17*i = -7*i - y. Is 26 <= i?
True
Suppose 5*z - 19*v + 18*v = 1795, -4*z - 5*v + 1407 = 0. Is 357 > z?
False
Let j(s) = -102*s + 792. Let n be j(8). Let f = 1 + -7. Let r be 92/(-6)*f/(-4). Is r smaller than n?
False
Let z = 625/3 - 209. Which is smaller: 21/4 or z?
z
Let s be 114/48 + 200/(-320). Which is smaller: s or -66?
-66
Let q = 359/3 - 121. Let c = -98536/501 + 590/3. Let z = 654/1169 - c. Which is bigger: z or q?
z
Let i(d) = -12*d - 38. Suppose -4*f - 2*c - c = 6, 5*f = 2*c - 19. Let h be i(f). Which is bigger: h or 42?
42
Suppose 8*x = 4*x + 12. Let o be 2/(1/x*2). Suppose 0 = 5*q + o*c - 2*c, 4*q = -5*c. Which is smaller: q or -1/23?
-1/23
Let w = 143079/98 - 1460. Let h = w - -601/1274. Is h equal to -19?
False
Let b(q) = q - 24. Let f be b(29). Suppose -f*k = -2*z + 1, z = -k - 4*z - 11. Which is smaller: 2/1189 or k?
k
Let s be -4 - (-34)/6 - 6787528/4072200. Which is smaller: s or 0?
s
Let j = -222692/21 + 10604. Which is bigger: -2/83 or j?
-2/83
Let k = -51 + 50. Let g be 45/(-12) - (9/(-12) - k). Let j be 24/48*(-1 - (-42)/g). Is j smaller than -5?
True
Let k = 435.708 + 0.292. Let m = k + -439. Is 1/58 equal to m?
False
Let x = -3824111/113 + 33842. Which is greater: x or 0?
x
Suppose -5*d - 96 + 121 = 0. Suppose x - 9 = 4*b + 9, -25 = -d*b. Which is smaller: 39 or x?
x
Let i = -2893 - -2727. Which is smaller: -2/11 or i?
i
Let w = -41.584 - -45.82. Which is bigger: 0.2 or w?
w
Let t = -37 + 35. Let a be 1*4/((-8)/2). Let x be (a/(-6))/(11/(-33)). Which is bigger: t or x?
x
Let d = 4623 + -4623. Is d greater than or equal to 20/249?
False
Let g be (-1 - (-3 + -1))*3. Suppose z + g = -2*z + 2*n, 15 = 5*n. Which is smaller: 0 or z?
z
Let n be 18/42 - 284/(-154). Suppose -51 = -22*y - 29. Which is greater: n or y?
n
Suppose 580*x - 5376 = 628*x. Let s be 114 - -3*(-4)/6. Let r = s + x. Which is smaller: -5/27 or r?
-5/27
Let z = -4 - 30. Let f = 34.1 + z. Let m = -57 - -61. Is f < m?
True
Suppose r - 47*i + 56 = -46*i, -165 = 3*r - 2*i. Is r not equal to -1846/35?
True
Suppose 2*q = q + 4, 3*g + 15 = -3*q. Let p = 17 + g. Suppose 2*o - 3*k - 10 = 0, -o - 7*k = -2*k + p. Is o < 10/13?
False
Let g be ((-598)/801619)/(4/7). Is g at least -1?
True
Let b be ((-15)/156 - 20/130)/((-38)/16). Which is smaller: -59 or b?
-59
Let v be (-18206)/(-10) - ((-416)/40 - -11). Let n be 60/40 + (v/152)/(-7). Suppose 4*c = -c + 5. Which is bigger: n or c?
c
Let z be (4752/1320)/(1/(-1495)). Which is smaller: z or -5383?
-5383
Let q = -120 + 120.18. Let i = -165.8 - -166. Which is smaller: i or q?
q
Suppose -4*z - 4*y = 1 - 37, 0 = 5*z + 4*y - 37. Is 1/7100 not equal to z?
True
Let f = -1/434 - 1077/3472. Let p be (6/8)/3*4. Which is greater: p or f?
p
Let t(v) = -v**2 - 3*v - 2. Let r be t(-1). Suppose d - 6*i + i = 14, r = 5*d + i - 18. Let q be (-1 - 0)*d/(-38). Are q and 1 equal?
False
Let r = 63293 + -63323. Let h = -2 - -2. Suppose 3*v - 1 - 5 = h. Is v greater than r?
True
Let q be (4 - 3 - (0 - -2))/(1/5). Suppose -3*z + 0*z = -33. Let o = 13 - z. Is q <= o?
True
Suppose 39*c - 891 = 70*c + 2209. Is c at most as big as -1296/13?
True
Let l be (-1756)/(130/(13/(-1))). Which is greater: -2 or l?
l
Suppose -11*i - 16 = 2*w - 6*i, 4*w + 5*i + 2 = 0. Suppose 3*h = -0*h + 96. Suppose h = 4*s - 3*s - 5*o, -15 = 3*o. Is s > w?
False
Suppose 271*g - 13498 = 187*g - 52558. Which is smaller: -1861/4 or g?
-1861/4
Let k = 2797 - 2797. Which is smaller: 2/31417 or k?
k
Let g be (3/90)/((-5)/(-25))*2199. Does 367 = g?
False
Let s(v) = v**3 + 6*v**2 + v + 56. Let w be s(-7). Does -2/11803 = w?
False
Let t be (-7 + 7)/(-2*2/(-4)). Suppose t = -5*x - x. Let q be (-1 - (-135)/68) + -1. Is q at most x?
True
Let i be (-320)/(-3315)*((-90)/12)/(-5). Which is bigger: i or 0?
i
Let n = 1.34514 + -0.34514. Which is bigger: n or 2/10227?
n
Let n(m) = -9*m + 44. Let p(f) = -4*f + 22. Let x(a) = -6*n(a) + 13*p(a). Let q be x(-7). Let z be ((-3)/(-4))/(42/(-8) - q). Which is greater: 0 or z?
0
Let m = 1505.46 + -1489. Let y = m - 2.46. Do 3 and y have the same value?
False
Let z = 6.01026 - 0.01026. Is 263 != z?
True
Suppose 2*n = -6, 33039 = 5*g - 0*g - 3*n. Let b be g/(-252) - (-10)/14. Let c(u) = -4*u**2 - 3*u + 1. Let k be c(-3). Is b < k?
False
Let z(c) = -c**3 - 24*c**2 + 146*c + 4198. Let p be z(-22). Which is greater: 265/14 or p?
265/14
Let o = 3.955 + -3.28. Let p = o + -0.275. Which is smaller: p or -5?
-5
Let c = -228 - -80. Let i be 18/(-12)*-2 - c/(-50). Does i = -0.02?
False
Let c = -93 - -133. Let d = c - 40.2. Let a = -0.1 - d. Which is greater: -0.04 or a?
a
Suppose 13 + 27 = -40*u. Is u greater than -6/1115?
False
Suppose 3*p = -a + 20, 5*a - 3 = 22. Suppose p*o - 5*v - 180 = 0, -38 = -2*o + o + 2*v. Let t = o + -29. Is t less than 18/5?
False
Suppose -54*f + 42*f + 1932 = 0. Suppose -19 - f = -5*t. Is 322/9 bigger than t?
False
Let i be 9*(4 + 1/(-3)). Let q be i*((-948)/(-9))/2. Let j be q/(-308) - (6/4)/(-3). Do j and -6 have different values?
True
Suppose k + 2*j + 17 = 24, k = -5*j + 19. Which is smaller: 1/165 or k?
k
Let i(l) = -3 + 7*l - l**2 - 10 - 5. Let x be i(9). Let m be x/(-27) - 34/21. Which is smaller: -2/21 or m?
m
Let l = -1.2093 - 0.0657. Let w = l - -1.52. Which is greater: -1/3 or w?
w
Let a = 2 + -32. Let x be -1 + a/(-2) - 3. Let o be (9 - 12) + x/5. Which is bigger: -1 or o?
o
Let h(g) = -g**3 + 10*g**2 + 22*g + 25. Let m be h(12). Is m <= 1?
True
Suppose -4*z + 12 = 3*d, 4*d - 22 + 6 = 2*z. Let q be -7 + 6 - d/6. Suppose -a + 5*k - 26 = 0, a - 559 = 3*k - 575. Is q < a?
True
Suppose 0 = -11636*s + 11639*s - 21. Is s at least 234/35?
True
Let d be ((-3)/(-2))/((-48)/112). Let y = -13 + 9. Let l be 3/(y + 17/5). Is d at least l?
True
Suppose -38 = 2*v - 4*v. Let n(j) = 1390*j + 22264. Let w be n(-16). Which is smaller: v or w?
v
Let h be (-6)/4*48/(-9). Let k = h - 6. Suppose -f = 0, -f - 35 = k*v + 9. Is v greater than or equal to -22?
True
Suppose 0 = -3617*q + 3596*q - 483. Which is smaller: 0.73 or q?
q
Let a be 19/((-228)/(-72)) - 4839/(-3). Does 1 = a?
False
Let q(f) = -f**3 - 7*f**2 + 18*f + 5. Let z be q(-9). Let t be 20/8*28/z. Let j = t - -7. Is 20 < j?
True
Suppose -24856 - 19012 = -4*f. Let c = f + -5318997/485. Which is smaller: 0 or c?
c
Let m be 4/(-6) - (-88)/24. Suppose 0 = -5*c + 2*l - 371, -c = -6*c + m*l - 369. Is -76 less than or equal to c?
True
Let c = -25 + 31. Suppose -9*y = -10*y - c. Let k be (-7 - y)/((-39)/(-9)). Do k and 0 have the same value?
False
Let o be (-16)/(-104) + (-7)/(-39). Let w = 0.0365 + 0.5635. Which is smaller: w or o?
o
Let q be ((-486165)/10)/(-1)*4/(-27780) + 7. Which is smaller: q or 1?
q
Let l(m) be the second derivative of -m**5/10 - 5*m**4/3 + 19*m**3/6 + 2*m**2 + 152*m. Let w be l(-11). Is 149/4 >= w?
True
Let k be 1/((-4)/728*-2). Let t = k + -91. Which is greater: -5/19 or t?
t
Let h be 243/243*-2053*(-1 - -2). Is h greater than or equal to -2045?
False
Let j = 129 - 115.35. Let q = j + -14. Let p = -0.25 - q. Are p and 5 non-equal?
True
Let y = -139 + 143. Let w be y + ((-2)/3)/((-10)/(-30)). Let d be w - (-4120)/(-1848) - 4/(-22). Which is bigger: 1 or d?
1
Let x = -798 - -796.822. Let v = 0.058 + x. Are 3 and v non-equal?
True
Let a be 10*(-8)/(-200) + 2604/(-5310). Which is greater: a or 0?
0
Let y be ((-3)/(-3) - 1) + (-4)/1. Let l be -13*(-5)/10*y*1. Which is smaller: -53/2 or l?
-53/2
Let x be 15/(-18) + 76338/(-108) - -4. Which is bigger: x or -703?
-703
Let h be 2/4 + ((-4382)/4)/7. Let j = h + 199. Which is bigger: j or 41?
j
Let w = -3119 + 3082. Which is greater: w or -36?
-36
Suppose -4*o = -29*o + 100. Suppose 26*a + o = 27*a. Let h be (-2)/6 - 20/(-6). Which is smaller: h or a?
h
Let y = 5 + -6. Let u = -53 - -42. Let t be u/(-33) - (-129)/(-63). Which is smaller: y or t?
t
Suppose 152*c - 155*c + 54 = 0. Suppose -6*v = -c*v. Which is smaller: v or -0.059?
-0.059
Suppose -x + 5 + 2 = 0. Suppose x*h - 1 = 8*h. Let y = -3877 - -251999/65. Which is smaller: y or h?
h
Let f be 12/342*801 - (-16)/(-152). Which is smaller: f or 109/4?
109/4
Let h(d) = -34*d + 9. Let t be h(1). Let r(n) = n + 37. Let g be r(t). Let k be ((-24)/(-9) - 3)*(-9)/g. Is k not equal to -0.053?
True
Let n be (9/(-6) + (-2)/2)*(-186)/4