x
Let s = 132 + -81. Let u = 6 + s. Is 0.2 smaller than u?
True
Let u be (2 + 417/(-12) + 0)/1. Which is bigger: -33 or u?
u
Let b = -11 + 14. Let k be -2 + 4 - (4 - b). Let h = k - 1. Which is bigger: h or -3/4?
h
Let d be (-21)/5 - (-2)/10. Let q be d - (-2 - -1) - -4. Let n = 823/8 - 103. Is n greater than or equal to q?
False
Suppose -17 = 5*s - 3*i, -5*s - 2*i - 15 = -18. Which is smaller: s or 16/43?
s
Suppose -4*d = -5*d. Suppose d = 4*n - 3*m - 2 - 2, 4*m - 12 = n. Suppose -h + n = 3. Which is smaller: 2/33 or h?
2/33
Let f be (-3 - (-2952)/999)/(8/(-3)). Is f at most 0?
False
Suppose -5*p = 20, 2*h + 0*h - 5*p = 18. Let s(u) = 2*u**2. Let b be s(h). Let z = 79/66 + 3/22. Is b greater than or equal to z?
True
Let s be (-2)/(-9)*234/442. Are -1/18 and s equal?
False
Let s(z) = 79*z + 21. Let u be s(-2). Is -136 bigger than u?
True
Let f(c) be the first derivative of -c**2/2 + 18. Let i be f(9). Are i and 0 nonequal?
True
Let q = -11 + 12. Let h be 12*(1/3 - 4/(-6)). Let b be h/8 + 3/(-6). Are b and q unequal?
False
Suppose 5*y + 30 = 5. Let p(r) = -r**2 - r. Let c(i) = i**3 - 5*i**2 - 6*i - 13. Let u(w) = y*p(w) + c(w). Let j be u(0). Is j > -13?
False
Let p be 98/(-12) - 7/(-42). Let c = -45 - -69. Suppose 3*g = 4*j + c, j = -0*j - 5*g - 29. Is j equal to p?
False
Let h(l) = 5*l**2 - 8*l - 30. Let y be h(-3). Is 38 smaller than y?
True
Suppose 0 = r + 2*r - 3*k + 51, 2*k - 18 = r. Let g(b) = 18*b**3 + 15*b + b - 6 - 2*b**2 - 17*b**3 + 19*b**2. Let f be g(r). Is f at least -6?
True
Suppose 4*l + 2*x = 0, 2*l + 3*x = -0*l + 4. Let a be (-4)/(2/l*-1). Are a and -7 equal?
False
Let q(a) = 2*a + 2. Let t be q(-5). Let n = -21 + 13. Let k = n - t. Are 1 and k equal?
False
Let z(h) = -h**3 - 5*h**2 + 16*h + 2. Let i be z(-7). Let p be ((-2)/6)/(40/i - -3). Which is greater: p or 3/2?
3/2
Let l(y) = -y**3 - 2*y**2 + 12*y - 1. Let d be l(4). Are d and -48 equal?
False
Let h = -421.9 + 404.73. Let y = 17 + h. Let o = y - 11.83. Which is bigger: o or -2/7?
-2/7
Suppose -6*s + 12*s - 12 = 0. Let g be (-1)/(-3)*2*(-1 + s). Is 2 != g?
True
Let b = 654 - 692. Which is smaller: b or -32?
b
Let k = 25 + -15. Let x = -6 - k. Which is bigger: -14 or x?
-14
Suppose -3*h + 2*r = -h - 12, -5*h + 3*r + 28 = 0. Suppose 2 = c + 2*z - 9, -25 = -h*z. Is c bigger than -20?
True
Let n = 70 - 72. Suppose -4*o - 179 = -5*z + 58, 5*o + 240 = 5*z. Let l be n/7 - z/(-35). Are l and -1/8 unequal?
True
Let p = -28 - -41. Let g = p + -25. Which is smaller: -11 or g?
g
Let f = -1.9369 + -0.0631. Is f != -2?
False
Suppose 8*h - 12 = 4*h. Suppose -17 = 3*d - d + h*v, d = 2*v + 2. Let l be (-3*d/(-6))/(-3). Is -1/4 less than l?
True
Let u = 254 - 253.97. Which is smaller: 40 or u?
u
Let y = 2.1 + -2. Let q = -985 - -8867/9. Are y and q equal?
False
Let r(k) = 2*k**2 - k + 2. Let x be r(1). Suppose 0 = x*j - 7*j + 24. Let a = 5 - 0. Which is smaller: a or j?
a
Let a be 14/40 - 10/40. Let r = a - 23/30. Is -1 bigger than r?
False
Let j = -1034 - -1059. Which is bigger: j or -9?
j
Suppose -25 = -3*x - 13. Suppose g + 5*n = 3*n - 8, x*g - 2*n = 8. Let k be (287/(-98) - -3)*(1 + -13). Is g > k?
True
Let m be 176/(-96) - (-1)/2. Which is smaller: -2.8 or m?
-2.8
Let g = -10.2 + -0.8. Let l = g - -11. Let n be (-95)/38*16/(-30). Is n at most l?
False
Let i = -143 - -142.994. Is -0.2 at least i?
False
Let q = -1341 - -1334.4. Which is bigger: 5 or q?
5
Suppose -t = t - 8, -4*v - 5*t = -60. Let z be (v + -8)/((-2)/39). Which is smaller: z or -38?
z
Let u be 207/651 - (-7)/(196/(-8)). Let z(f) = -f**2 + 4*f - 2. Let v be z(3). Is u >= v?
False
Let g = 0 - 1. Let s = -9.2 + 2.46. Let r = s + -0.26. Is r > g?
False
Suppose 60 = 3*a - b + 2*b, -5*a - 5*b + 90 = 0. Which is smaller: a or -8?
-8
Let u(r) = -r**3 + 18*r**2 - 18*r - 4. Let c be u(17). Let z be ((-10)/15)/1 + (-29)/c. Which is smaller: 2 or z?
z
Suppose 3*h - 10 = -7. Let y be 2 + -1 - (h + -1). Let m = 990 - 12876/13. Is m greater than or equal to y?
False
Let u be (-6)/(-9) - 16/6. Let g be u/5 + (-18)/5. Do g and -4 have different values?
False
Suppose -3*g - 141 = -3*p, 6*g = 2*g + 5*p - 187. Which is bigger: g or -36?
-36
Let x = -8/13 + 631/962. Is x at most as big as -1?
False
Let a be ((-17)/4)/(249/(-84) - -3). Let n = a - -124. Is -6/11 at least n?
False
Suppose -42 = 2*l + 5*l. Let r be (0 + l/(-40))/((-3)/(-2)). Which is greater: r or 0.2?
0.2
Let t(m) = m + 5. Let g be t(-5). Let z be ((-46)/161)/(2042/(-14)). Let c = z + -2096/27567. Is c smaller than g?
True
Let i(k) = k - 3. Let n be i(-5). Let p(b) = -b**2 - 7*b - 3. Let f be p(n). Let l be ((-2)/12)/(f/220). Which is greater: l or 2?
l
Let a(c) be the second derivative of -c**3/2 - 7*c**2/2 + 10*c. Let z be a(-2). Which is bigger: z or 2/51?
2/51
Let d = 5005/4 - 1253. Let p = 6 + -8. Which is smaller: d or p?
p
Let q be 5/(-40) + 175/(-8). Let g = q - -81. Is 59 greater than g?
False
Suppose -4*l + 6*l - 12 = 0. Suppose 0 = 4*j - c, j + l*c = 2*c + 17. Which is smaller: -1 or j?
-1
Suppose -25 = -5*j - 0*t + 4*t, -4*j - 2*t - 6 = 0. Which is smaller: -3/61 or j?
-3/61
Let h = -11922/405251 + -2/3047. Which is smaller: 0 or h?
h
Suppose -2*z = z - 9, -4*p - 23 = -5*z. Which is smaller: -62/23 or p?
-62/23
Suppose 3*z - 51 = 2*r - 0*r, -r + 4*z - 13 = 0. Let g = -67/2 - r. Which is bigger: 1.3 or g?
1.3
Let s be -108*(-9 - 918/(-99)). Which is smaller: -28 or s?
s
Let w(f) = -1. Let g(h) = h + 1. Let m(c) = -g(c) - 3*w(c). Let x be m(-3). Suppose 0 = -4*d + x*k - 9, d + 5*k - 3 = -d. Is d at least -2/35?
False
Let z(b) = b**3 + 10*b**2 + 2*b + 24. Let y be z(-10). Suppose -f + 2 = 0, 4*a - 5*f - 4 + 2 = 0. Suppose j - y = a*j. Is -2 at least as big as j?
True
Let l(x) = 3*x**2 + 55*x + 14. Let f be l(-11). Which is bigger: f or -229?
f
Suppose t - 24 + 5 = 0. Let i = 165.56 + 2.44. Let w = 168.1 - i. Is w at most t?
True
Let z = -385 + 276. Which is smaller: -108 or z?
z
Suppose 3*r + 0*r - 12 = 0. Let f be -1*r*(-2)/4. Is 1 greater than f?
False
Let d = 4 + -3. Let k = 110 - 110. Which is bigger: k or d?
d
Suppose -5*c = -5*w - 15, 5*c - 4*w + 0 - 10 = 0. Let n be -3*(-2)/18*-6. Is n < c?
False
Let x = 281 - 276.28. Let d = 0.28 + x. Is 1 at least d?
False
Let m be 52/14 - 8/(-28). Let f be (-8)/3 + m/2. Let q = -0.12 - -0.02. Which is smaller: f or q?
f
Let c be 20/485*(-105)/(-14). Is c at least as big as 0?
True
Suppose -k - 2*k = 669. Let n be -10 + 10 + 11/5*-104. Let h = k - n. Is h > 5?
True
Let o be (2 - 3)/(-1) - (-170)/(-85). Do 2/2259 and o have different values?
True
Let x = 4301 - 4298.951. Let p = -0.051 - x. Let y = -64/3 + 21. Which is bigger: y or p?
y
Let h be 1 - (2 + (-674)/8) - -1. Is 83 equal to h?
False
Let f(m) = 13*m - 2. Let z be f(3). Suppose 0*t + 10 = t - 2*l, -5*l = -4*t + z. Let p be 3 - (-12)/(-4) - t. Do -9 and p have the same value?
False
Let p = 0.08 + -13.08. Let l = 12.8 + p. Which is smaller: l or 3?
l
Let u be (-2 - (-171)/(-6))*(-18)/9. Let j = 25 - u. Is j smaller than -35?
True
Suppose 26*h - 8 = 18*h. Let g be (-5)/20*8/(-38). Is g at least h?
False
Let x(k) = k**3 + 48*k**2 - 61*k - 566. Let m be x(-49). Suppose -37 = -2*z + 4*i - 7*i, -2*z + 34 = 4*i. Which is smaller: m or z?
m
Let k = 4 - 2. Let s = -2/491 + -7842/3437. Are s and k equal?
False
Let m = 114 - 95. Is 32 smaller than m?
False
Let s(m) = m**2 - 6*m + 5. Let g be s(4). Let n = -1540/1001993 - 11609109622/5203349649. Let d = 6/577 + n. Which is smaller: g or d?
g
Let g = 0.065 + 0.035. Are g and -279 nonequal?
True
Let o = -449 + 447. Which is smaller: 3.54 or o?
o
Suppose 44 = 9*n - 1. Suppose -b = x - 11 - 1, x = n*b - 12. Which is greater: 0 or x?
x
Suppose -3 = 2*z + k, 5*z - 2*k = 2*k + 25. Let m = -24244/27 - -898. Do z and m have different values?
True
Let m = 1.7 + -58.7. Let l = -94 - m. Are 2/3 and l equal?
False
Suppose -2915 = -14*w + 7305. Which is greater: w or 728?
w
Let y = -7261/44 + 165. Let z = -3/44 + y. Which is greater: z or 0?
0
Let r = 0.17 + -0.15. Let i = r - 0. Let n = -0.01 + i. Are n and -2/3 equal?
False
Let a be 58/5 - 6/(-15). Suppose 14*t = a*t. Let b be (-2)/(-14*1/(-2)). Which is smaller: b or t?
b
Let l(s) = 6*s + 34. Let h(b) = -7*b - 35. Let k(o) = -4*h(o) - 5*l(o). Let d be k(-7). Is -16 smaller than d?
False