 Let i(w) = 18*w**3 + w**2 - 2*w. Let j be i(1). Let f = j + -13. Is a equal to f?
False
Let r = -4.16 + -0.34. Let x = r - -4.44. Are x and -1 equal?
False
Let o = -548 - -549. Which is greater: 4/29 or o?
o
Let b(g) = -2*g - 10. Suppose 0 = -5*z - 2*f + 6, -5*f = -z - 0*z - 15. Let l be b(z). Is l >= -10?
True
Let r = -1057 + 974.5. Is -1 <= r?
False
Let g(s) = -s**2 - 1. Let n be ((-39)/26)/(6/8). Let x(z) = -z**2 + 9*z + 6. Let l(a) = n*g(a) + x(a). Let d be l(-8). Is d equal to -4/13?
False
Let v = -0.6904 + -0.0096. Which is smaller: 25 or v?
v
Let t = 0.5 - 1. Let m = t - 0.5. Let f be 2/6*(-9)/(-8). Are f and m equal?
False
Let t(j) = -3*j**2 + 12*j + 2. Let o be t(4). Let m be (-1 + 3)/o*(-25 - 2). Which is smaller: m or -26?
m
Let k = -66/31 - -3902/1891. Is -1 less than k?
True
Let i = 571 - 581. Is -4 < i?
False
Let a = -32 + 44. Let q be a/(-10)*(-50)/15. Is q greater than or equal to 3?
True
Let v(h) be the first derivative of -h**4/4 - 2*h**3/3 + 3*h**2/2 - h + 5. Let j be v(-3). Do j and -1 have the same value?
True
Suppose 0 = -4*n + 5*g + 36, 0 = -2*n - 5*g + 18 - 0. Is n greater than 8?
True
Let i = -871 + 1066. Which is smaller: 391/2 or i?
i
Let b = 0.3 + -1.3. Let m = -41 + 43. Which is bigger: m or b?
m
Let q be 57/315*1 - 1/(-5). Is 0 <= q?
True
Let w(m) = 13*m + 2*m**3 - 3 + 8*m**2 - 5*m + 12 - 3*m**3. Let f be w(9). Is f less than or equal to -1/5?
False
Suppose -36*w - 25*w = -671. Let i be (-2)/(-3)*(1 + 2). Suppose 2 - 19 = -i*c + 5*n, w = c - 3*n. Which is bigger: c or -3?
-3
Let c be 0 + (3 - 0/2). Suppose -c*q + 7*q + 12 = 4*f, -3*f - 26 = 4*q. Let i = 2 + -1.6. Is i at most f?
False
Let x = 346 - 173. Which is smaller: x or 697/4?
x
Let a be ((-1)/14)/(1 - 0). Suppose -402 + 402 = -104*q. Is a bigger than q?
False
Suppose -2*z - 40 = 8*z. Let l be -1 - -1 - z/11. Is l bigger than -1?
True
Let u(a) = a**3 - 3*a**2 - 12*a + 1. Let n be u(5). Let q = -1571/4 - -384. Which is smaller: n or q?
n
Let g = 960 - 324. Is 635 < g?
True
Suppose 0 = 2*f - 5*d + 62, -9*f = -8*f + 2*d + 22. Which is smaller: -25 or f?
f
Let w = -21 + 20. Let v be 0/((w - 5) + 4). Which is bigger: v or 1/12?
1/12
Suppose 3*g - 1 = 2*a - 4, -g - 1 = -4*a. Which is smaller: a or 4/75?
a
Let o = 117.6 + -118. Let n = o - -0.39. Is 0 less than n?
False
Suppose 4*n - 21 = a, 7 + 1 = 2*a + 2*n. Suppose -7*x - 636 = -3*x. Let g = 2384/15 + x. Which is smaller: g or a?
a
Let b = 78 - 21. Let q = 57.5 - b. Which is greater: -5 or q?
q
Let d = 30 + -18. Let j be (-1)/(d/15)*1. Let a = 26 + -28. Which is greater: a or j?
j
Let a(t) = t + 1. Let s be a(-8). Let l = -38.1 - -41.1. Is l less than s?
False
Let g(u) = 3 + 11 - 4 + 4 - 2*u. Let x be g(7). Is 3/5 > x?
True
Let y(k) = -k**3 - 10*k**2 + 9*k - 41. Let h be y(-10). Let b = -48/5 - -46/5. Is h < b?
True
Suppose 2*s = -17 - 13. Let n = -14 - s. Let r be -14*(3 - 31/10). Which is greater: r or n?
r
Suppose 8*b - 6*b - 10 = 0. Suppose 0 = y - 5*n + 4 + 5, -b*y + 4*n = 3. Is y >= -6?
True
Let a(g) = g**3 - 26*g**2 + 23*g + 33. Let b be a(25). Let q = -15 + b. Which is greater: 0.1 or q?
0.1
Let q be -8 + (-138)/(-18) + (-622)/6. Are -102 and q equal?
False
Let d = -694 + 727. Which is bigger: d or 29?
d
Let m = -12 - -10. Let q = m + 12. Is q smaller than 2?
False
Suppose 3*i + 4*d = -1034 - 356, -2*i = d + 925. Which is smaller: -461 or i?
i
Let g = -2.7 - -2.8. Let z = -38 + 69. Is z at most g?
False
Let h = 3.99 + -3.99. Let l be 1 + 1 + (-110)/54. Are h and l non-equal?
True
Let g = 169/155 + -9/31. Suppose -3*t + 5*p + 15 = 2*t, -3*t = -p - 3. Suppose -4*q + 2*q = t. Is g greater than q?
True
Let v(m) = -m**3 + 10*m**2 + 2*m - 10. Let j be v(10). Let l = j + -7. Which is smaller: l or 2?
2
Let y = -0.6 - -0.4. Let k be (36/(-27))/(330/9). Is k at most as big as y?
False
Suppose 4*s + 2 = -10. Let o be ((2 + -2)/s)/1. Let q be o + -2 + 8 + -4. Does q = 1/2?
False
Let m be 3/18*4*45/1. Let h = -42 + m. Which is smaller: h or -14?
-14
Let s be 3/70*(-12660)/(-45). Let m = 56/5 - s. Is m less than -2?
False
Let j(o) = 11*o**2 - 46*o - 2. Let g be j(3). Is g <= -45?
False
Suppose -4*j + r = -154, 33*r - 35*r - 4 = 0. Which is smaller: j or 30?
30
Let v = 84.31 - -0.69. Let q = 84.7 - v. Is 15 less than or equal to q?
False
Let p = 351 - 358. Is 20 != p?
True
Let n = -299.32 + 298. Which is smaller: n or 1/8?
n
Let b(j) = -j**2 + 6*j - 5. Let l be b(6). Let m be ((-1)/l*-1)/(5 + -4). Which is bigger: m or -1?
m
Let q = -3/20 + 221/140. Suppose -5*m - 69 + 24 = 0. Let i = m + 10. Which is bigger: q or i?
q
Suppose -a - 710 = -709. Which is smaller: -4/1685 or a?
a
Let m = -281 + 281. Which is smaller: m or 1/210?
m
Let q(s) = s**2 - s - 4. Let t be q(-3). Let j(l) = -l + 28. Let h be j(21). Suppose 0 = -0*a - h*a - 14. Is t at least as big as a?
True
Let r(i) = -4*i - 131. Let a be r(-34). Are a and 7 non-equal?
True
Let f(m) = 6*m**3 - m**2 + 2*m + 3. Let v be f(-1). Suppose -k - 8 + 1 = 0. Does k = v?
False
Let r = 4820 + -641057/133. Which is smaller: -1 or r?
-1
Let w be 75509/(-1474) + 1/2. Is w not equal to -50?
True
Let w(m) = 15*m - 9. Let n be w(-5). Let l = 9 - n. Let d be (4 - 363/l)/3. Which is bigger: 0 or d?
d
Suppose -3*z + 152 = 2*b, -21*z - b + 265 = -16*z. Is z at least as big as 45?
True
Let b be 306/(-4) + 1 - (77 + -77). Let i = 75 + b. Which is smaller: i or 0.2?
i
Let s be (((-126)/12)/7)/((-151)/2). Which is smaller: s or 1?
s
Let d = 55/2 - 27. Let q = -268 + 263. Is d at most q?
False
Let s = 294 + -264. Which is bigger: s or 29?
s
Let b = -439/868 - 9/868. Let t = b - 161/589. Which is smaller: t or -1?
-1
Let j be 1422/45*15/9. Which is bigger: j or 52?
j
Let x = -420 - -421.89. Let w = x - 2.1. Is w at most as big as 0.1?
True
Let x be 2*55*(-2)/20. Let r = -34 + 21. Which is smaller: r or x?
r
Suppose 3*a + 4*x = -14, 3*a - 5*x - 29 = a. Let z(j) = -j**2 - 4*j + 5. Let g be z(-5). Suppose -a*v = -g*v + 2. Which is bigger: v or 2/15?
2/15
Let j(m) be the second derivative of -m**5/20 - m**3/6 - 23*m. Let u be j(0). Is u greater than or equal to 1/22?
False
Let z = -1.11 - -1. Let p = z - -3.11. Let m = p + -2. Which is bigger: 0 or m?
m
Let l be (-1)/(3/(-3) + 0). Suppose 4*x + 2*h = -10, -h + l + 2 = 0. Let f be 44/(-120) - x/10. Which is smaller: 1 or f?
f
Let r = -4915/749 - 1/107. Which is bigger: -6 or r?
-6
Let x = -565 + 342. Let d be ((-4)/56)/((-4)/12552). Let o = x + d. Is 1 not equal to o?
True
Let n be (513/(-38))/(1/16). Is -215 bigger than n?
True
Let m be ((-738)/(-10))/(-3) + 0. Let y = m - -126/5. Let v(q) = -q**2 - 14*q + 52. Let w be v(-17). Which is smaller: w or y?
y
Let v(m) = -4*m - 7 + 3 + 1 - 3 - m**2. Let y be v(-5). Is y <= -12?
False
Let z be (-30)/(-12)*1195/50. Which is smaller: z or 61?
z
Suppose -296*y = -299*y. Which is bigger: -26/25 or y?
y
Let a = -11 + 11. Let d = -19073326/747 + 25533. Let v = d - -1/83. Which is greater: a or v?
a
Let y be 4/(-7) + 27864/49056. Which is smaller: 0 or y?
y
Let y(f) = f**3 - 10*f**2 + 8*f - 13. Let h be y(9). Let z be -4*(h/(-14) - (-12)/(-8)). Which is smaller: -37 or z?
-37
Suppose -335 = 5*w - 0*u + 2*u, 5*w - 2*u = -355. Let k = -188 - w. Let q = k - -481/4. Do q and 1 have different values?
True
Suppose -5 = -2*s + 17. Suppose -171 + 600 = s*p. Is -1/4 > p?
False
Suppose -c = -3, -2*x - 3*c + 3 = x. Let p = 0 - x. Suppose -o - 2*j + 6 = -p*o, 0 = 2*j. Which is smaller: o or -7?
-7
Suppose -15 = 5*c + i + 19, c + 2*i + 5 = 0. Let a(m) = 7*m + 42. Let r be a(c). Which is bigger: -10 or r?
r
Let s = 9.12 - 7.4. Let x = s + 0.38. Let v = -2 + x. Which is smaller: 7 or v?
v
Let j = 3/43 - -7/516. Let c = 25.3 + -25.4. Which is smaller: j or c?
c
Let r = -46553/6 + 7777. Which is smaller: 18 or r?
18
Let q be -3*((-30)/9 - -3)*-1. Let j(z) = 50*z**3 + z**2 + 1. Let o be j(q). Is o at least -49?
True
Let k be (16/(-40))/((-12)/265). Which is bigger: 9 or k?
9
Let v(s) = -2*s - 20 + 5 + 3*s. Let x = 133 + -124. Let d be v(x). Is d < -6?
False
Let r(w) = -w**2 + 3*w + 20. Let p be r(6). Suppose p*d + 40 = 7*d. Let b(l) = -l**2 + 8. Let k be b(0). Are k and d nonequal?
False
Let k be (25/(-132))/(1*(-28)/8). Let l = 2/231 - k. Which is bigger: -1 or l?
l
Suppose -37*l + 35*l - 14 = -4*x, -5*x - 2 = 4*l. Wh