**3/6 + 15*v**2 - 2*v. Let l be g(2). Which is smaller: l or -39?
-39
Let s = -9191 - -9132. Is s greater than or equal to -59?
True
Let w = 0.10425 - -0.89575. Which is smaller: -1410 or w?
-1410
Let o = -54 - -142. Suppose 3*j + 4*v = 5*v - o, -2*j - v - 62 = 0. Is j less than or equal to -29?
True
Let b(w) = -2*w + 5. Let c be b(10). Let o = c - -24. Let y be (-1)/o - (-256)/36. Is 8 > y?
True
Suppose 9*z + 18 = 7*z - 3*u, 12 = -3*u. Let c be 1*4 + 3*32/z. Which is bigger: -27 or c?
-27
Suppose 31*v = 56*v + 50. Which is greater: -109 or v?
v
Let d = -1.25 - -152.25. Let b = 151.044 - d. Which is bigger: 1 or b?
1
Let u be ((-8)/(-14))/((-1098)/(-1281)). Are 3413 and u unequal?
True
Let y = -20256 - -20260. Which is smaller: y or 82?
y
Let i be -1 + 2/6 + 0. Let p = -0.71633 - 0.28367. Is p at most as big as i?
True
Let v(h) = -2*h + 2. Let o be v(0). Suppose 219 = o*f + f. Let i = 75 - f. Are i and 4 equal?
False
Let t be 368/(-276) + (-3 - 5*(-3016)/(-12)). Do t and -1262 have the same value?
False
Let p(d) = -2*d**2 - 15*d - 36. Let o be p(-8). Let r = -45 - o. Let c be 38/(-14) + r + 4. Is c < 25?
True
Let c = -78 - -64. Let u be (20/(-100))/(c/(-15) - 2). Which is smaller: u or 1?
u
Let c be 3 - (-7)/(-2) - (-5)/(-2). Let k be 5/15 - (5/c - -2). Let y be k - (-44)/12 - 4. Which is greater: 0 or y?
0
Let x = 26 - 57/2. Let o = -2210 - -2194. Which is bigger: o or x?
x
Let m be (-30)/(-9)*4*(-60)/(-25). Suppose -4*b = 2*x - 10, -m*x - 4 = 2*b - 28*x. Is 14/3 at most as big as b?
False
Let p = 18880/3861 - 63/13. Which is smaller: 0 or p?
0
Let z = -6633.95 + 6625. Is -3 less than or equal to z?
False
Let x(u) = u**2 - 29*u + 71. Let i be x(27). Suppose -2*s - 4*l + 18 = 0, 0*l - 3*l + i = 2*s. Is 4 at most as big as s?
True
Let k be 10/(-15)*(1473/(-2) - -3). Let g = k + -253. Let m = 3070/13 - g. Which is smaller: -0.08 or m?
-0.08
Suppose 0 = -5*h + 65 + 20. Suppose 18*x = -3*n + 15*x + 48, -64 = -4*n + 2*x. Is h greater than n?
True
Let u = 16286 + -16292. Is u < -215?
False
Let o be (-4)/(1 - -1) - -3. Let z(y) = y + 24. Let b be z(-29). Let w be b/(-10)*-10*o. Is -19/5 greater than w?
True
Let n = -502721686/835 - -602062. Which is bigger: n or -1?
n
Let j be (2*(-141)/12)/(38/4 + -10). Is 10 at least j?
False
Let j = -217 + 221. Suppose 5*h + j = 3*x, 44*h - 5*x + 19 = 48*h. Is -1/91 >= h?
False
Let v(h) = 358*h - 4. Let r be v(0). Are -2.7 and r unequal?
True
Let g = 910.283 - -1.717. Let c = -924 + g. Is c >= 1/13?
False
Let b be -1 - ((-39 - 0) + -4). Suppose 5*u - 71 = 109. Let x = b - u. Does x = 7?
False
Let m = -11 + 9. Let o be m + 201/(-7) + 2/(-7). Let i = o - -34. Which is smaller: 13/6 or i?
13/6
Suppose 102 = -2*d + 3*w - 15, 330 = -5*d - 5*w. Suppose 2*g + 3*h + h = -184, 3*g - 3*h = -276. Let n = g - d. Which is smaller: n or -30?
-30
Let t = 48 - 120. Let r = -146 - t. Let l = r + 372/5. Which is smaller: -34 or l?
-34
Let j = 269/990 + -18/55. Let m = 24 + -16. Let d = 12 - m. Which is greater: d or j?
d
Let a = 1318 + -3581. Let i = 11278/5 + a. Is i bigger than -6?
False
Let l = -161207/27835 - -3/1465. Is 1 less than or equal to l?
False
Suppose -28*l + 32*l + b + 1535 = 0, -4*l - 5*b = 1515. Is 5/4 greater than l?
True
Let p(o) = o**3 + 20*o**2 + o + 23. Let u be p(-20). Suppose u*l - 11 = t - 1, l - 6 = -t. Which is bigger: t or 1?
t
Suppose -19*p - 648 = 492. Let o be (p/585)/(390/(-3)). Which is smaller: o or 1?
o
Suppose 16*v = 2*v + 1386. Let h = v + -52. Is 50 < h?
False
Let q(o) = -7*o + 19. Let v be q(2). Let i be 279/124*v/6. Which is smaller: i or 2?
i
Let w = -2.71041 + -0.28959. Which is smaller: 30/61 or w?
w
Let v be (-15)/10 + (-675)/(-340). Let f = 2223/3740 - v. Which is bigger: f or 1?
1
Suppose 15*u = 18*u - 81. Let y be (-5 + 126/u)/(2/18). Let c = 14.94 + -15. Which is greater: c or y?
c
Let a = -548 + 541. Is 39 not equal to a?
True
Let a = -866/65 - -168/13. Let r = -181.952 - 0.048. Which is bigger: r or a?
a
Let v be 516/172 - (31215/2082)/5. Is 1 > v?
True
Let r(v) = 5*v + 9. Suppose 3*k + 9 = -m, 0*k + 3*k = -2*m - 6. Let l be r(k). Suppose 4*i + 10 = -c, -c = c + 4*i + 12. Which is bigger: l or c?
c
Let h be (-7 - (-2255)/75)/(1021/(-170) - -6). Is h at most -3921?
True
Let k be 2844/(-102) + 7/(28/48). Which is greater: k or -16?
k
Let b be (4/6)/(2575/(-2565) + 1). Let i be (106/265 - b/(-440))*10. Let m(q) = -2*q**2 - q. Let p be m(-1). Is p > i?
False
Let x = 51 + -50.801. Let t = x - -38.801. Which is bigger: -1 or t?
t
Let m be -3 + -7 + (-39102)/(-4009). Do 0 and m have different values?
True
Let m(i) = -47*i**2 - 13*i + 28. Let f be m(-3). Do f and 0.14 have the same value?
False
Suppose 62*g + 170 = -1504. Is -269/10 less than g?
False
Let g be (-2)/22*1*-14. Let l be 0/(8/(2 + -10)). Suppose 23 - 25 = -3*d + o, l = 2*d + o + 2. Which is greater: g or d?
g
Let a = 166 + -86. Let r = 81 - a. Let j be -2 - (0 - r) - (-1 - 5). Is j > 3?
True
Suppose 14*k = 25 + 3. Suppose -4*h + 11 = y + 8, -4 = -2*h + k*y. Which is bigger: h or -2/635?
h
Suppose o + 952 = 4*k, 18*k - 470 = 16*k + 2*o. Which is smaller: 240 or k?
k
Let h be (1 + -3)/((-18)/(-17487)). Let g = h - -44710/23. Let l = g + -1453/1541. Is l > 1?
False
Suppose 0 = -4*q - 32*s + 35*s + 291, -222 = -3*q + s. Let b = 28 + q. Do 106 and b have the same value?
False
Let m = 4.2 - 3.912. Let u = 2.6 - 2.512. Let c = u - m. Is 0.02 greater than c?
True
Let a = 46 - 27. Let k = a + -19.89. Let o = k - -0.85. Is o not equal to -1?
True
Let f(u) = u**3 + 3*u**2 - u. Let r be f(-3). Suppose 3 - 6 = r*j. Let n be (-17)/(-102)*35/70. Which is smaller: n or j?
j
Let b be 16/48*(-9)/3*-1. Which is bigger: -281 or b?
b
Let n = 24327 - 122572/5. Which is bigger: -186 or n?
-186
Let l(g) = -9*g**2 + 4. Let z be l(3). Let u = -6661 - -19754/3. Is z > u?
False
Suppose -5*u - f + 0*f = 120, -4*f = 0. Let m = -280 + 472. Suppose 5*v + 3*v + m = 0. Is v <= u?
True
Let r = -414495 + 414971.906. Let l = -477 + r. Is 1 equal to l?
False
Let y(h) = -h**2 + 121*h - 2060. Let n be y(106). Is n bigger than -468?
False
Let f be (258/(-8))/(-1)*1160/(-1044). Which is smaller: f or 0?
f
Suppose y + 0 = -4*p - 6, 0 = y - p + 16. Suppose -7*i + 2*i = 2*j + 221, -51 = i - 3*j. Let n = -55 - i. Which is smaller: n or y?
y
Let s be (-1)/((-46)/(-2162)*3/(-30)*2). Are 1178/5 and s unequal?
True
Suppose -b + 472 = 20*r - 23*r, -3*r = 4*b - 1903. Is b > 473?
True
Let l(z) = 2*z**2 + 12*z - 115. Let n be l(16). Let y = n - 590. Which is bigger: -5/323 or y?
-5/323
Let r be (4/(-5))/((-4)/10). Suppose 27 = -3*l - 5*a, -2*a = -r*l + 3*a + 7. Let w be (l + 1 + 2)*3/(-3). Does w = -1/4?
False
Let o = 67.8 + -2.8. Let d = o - 66. Do -16 and d have different values?
True
Let v = 14 + -10. Let g be (12/9)/(1/((-9)/(-6))). Suppose -g = -v*x + 2. Which is greater: x or 3/46?
x
Let o(f) = 2*f**2 + 3*f - 23. Suppose -9 = 7*m + 40. Let k be o(m). Is -3 less than or equal to k?
True
Let x(y) = 232*y - 1615. Let c be x(7). Which is smaller: c or 358/35?
c
Let f = 16 - -82. Let c be 1 - (0 + 110/f). Let y(m) = -2*m**3 - 13*m**2 - 23*m - 5. Let p be y(-3). Which is smaller: p or c?
c
Let f(m) = 3*m**2 + 97*m + 70. Let l be f(-30). Which is smaller: -0.05 or l?
l
Let n = 4 - 4.014. Let r = n + -22.986. Let t = r - -22. Is t less than 0.9?
True
Let n(z) = -z**3 - 11*z**2 - 2*z + 94. Let x be n(-10). Let y be (-4)/3*(-6)/4. Suppose 4*p = 2*r + x, -y*r = p + 2*r + 10. Which is smaller: 1.4 or p?
1.4
Let n(m) = 4*m + 129. Let h be n(-27). Suppose h*o = 148 - 1. Is o at most 8?
True
Let z be (-7 - -11 - -4)/(-106). Suppose -4*a + 4*h = -20, -2 - 3 = 2*a + h. Which is smaller: z or a?
z
Let g be (-10)/(-35) - (-300)/28. Let t = -0.32 - -0.4. Is t > g?
False
Let s = -1114325/2596 + 1717/4. Let l be 1/(-3)*(12 + 1 + -10). Which is smaller: l or s?
l
Let i(t) = -9*t + 5. Let f be i(0). Let y be 2 + -1 - 8/(-40)*f. Is y > -6?
True
Let w be 9/(-6)*(-4)/6. Let t be w + (6/(-8))/3. Let d = -1693.1 - -1693. Is d at most t?
True
Let d(k) = 67*k**3 + 5*k**2 - 37*k + 178. Let f be d(5). Which is bigger: 8492 or f?
f
Let m be 35/(-7) - -1*15. Suppose 18 = m*x - 8*x. Suppose 3*k + 6 = 4*g + 42, -38 = -4*k + 2*g. Do k and x have different values?
True
Suppose -31 = -9*y - 4. Suppose 0 = -3*