
Let y be (-4 - -2) + -185*9/(-27). Which is smaller: 61 or y?
y
Let p be (-18)/27*(-9)/(-2). Let h be (-7 + 4)*(-1)/p. Which is smaller: h or 18?
h
Let d be (-14)/6*2/7. Which is smaller: d or 163?
d
Let f be 15*((-848)/20)/(-4). Is f >= 159?
True
Let p = 5 - -5. Let y = -17 + p. Suppose 0*a - 17 = 3*a - 2*b, 0 = -a + 5*b + 3. Is a less than y?
False
Let p(g) = 6*g**2 - 2*g - 3. Let d be p(-1). Suppose -d*a - 4*v - 12 = 0, a - v + 12 = -5*v. Is a smaller than -1/2?
False
Let a = 530 + -530. Which is greater: 1/664 or a?
1/664
Let w = -1.1 - -0.8. Let j = -0.06 + 0.26. Let h = w + j. Is h greater than 5/8?
False
Let x be (-36)/(-12) - (-1 - -12). Let z = x - -23. Suppose -z = -10*y + 5*y. Which is smaller: 12/5 or y?
12/5
Suppose 38*q + 2660 = 49020. Do -1 and q have different values?
True
Let v = 18.1 + -25.1. Is 1 > v?
True
Let o = -21 - -21. Suppose 1 = -3*u + 16. Let z be -2 - 2*u/(-6). Is z greater than o?
False
Let y = -6 - -10. Suppose 3*l = -5*b - 6, -l + 3*l + 4 = y*b. Which is bigger: -1 or l?
-1
Let w be (-6)/9 - 18880/57. Let k = w - -332. Suppose -2*g + 5*i + 18 = -5*g, -15 = 5*i. Which is bigger: k or g?
k
Suppose 6*d = d + 25. Suppose d*v + 137 = -48. Which is greater: v or 0?
0
Let b be (6/(-8) - 0)*4. Suppose -3*x = 25 - 139. Suppose -12*k - x = 22. Is b < k?
False
Let b = 3088/7 - 1235207/2800. Which is bigger: b or 0?
0
Let d = -2 + -1. Let g(f) = -f - 2. Let u be g(d). Suppose 3*y = 5*n, -2*n - 4*y = -4*n. Which is smaller: n or u?
n
Suppose -3*f + 2*z = z + 24, -2*f = z + 16. Do f and 5 have the same value?
False
Let v = -115 - -115.47. Let i = 0.52 - v. Suppose -4 = 2*x + 2. Which is smaller: x or i?
x
Let q be 67/2 + (-15)/10. Suppose -3*p + q = p. Let m be p/28 - 304/868. Are m and -1 equal?
False
Let i = -34 + 55. Let b = -9 + i. Suppose 3*g - 3*p + 12 + b = 0, 3*g + 5*p = -8. Is -6 > g?
False
Suppose -5*s + 23 = -0*j + 3*j, 3*j = 3. Suppose 0 = g + 2*h - 8, 2 = 2*g - s*h + 10. Let t be 15/(-8)*(-1)/3. Which is greater: t or g?
g
Let p(g) = -g - 8. Let a be p(-7). Let r = 1.82 - 1.8. Let c = r + -0.08. Are a and c equal?
False
Let o = 751221/5080 - 1183/8. Which is bigger: 0 or o?
o
Let n = -50 - -27. Let f = n + 23.77. Let c = 0.7 - f. Which is greater: -1 or c?
c
Suppose 0 = -2*n - 66 + 4. Is n greater than or equal to -92/3?
False
Let f = 53.3 + 3.7. Let b = -57.71 + f. Let d = b + 0.21. Which is greater: d or -1?
d
Let u = 1106 + -1110. Suppose -5*c = -b - 4*b + 10, -2*b = -4*c - 2. Let j be 1*(u + (c - -2)). Is j less than or equal to 1/26?
True
Suppose -4 = 4*x, 2*g + 0*x + x = 13. Is g > 7?
False
Let i = 19 + -20. Which is smaller: -2/133 or i?
i
Let u be 4*((-3)/(-4))/1. Let w = 20 - 16. Suppose 3 = -w*h - 5. Which is greater: h or u?
u
Let h be (640/150)/32 + 112/(-615). Which is smaller: -3/8 or h?
-3/8
Suppose -2*j + 2 - 38 = 0. Let u be (-6)/j*-7*1. Suppose -6 = -h + 3*h. Which is bigger: h or u?
u
Let d(b) = 52*b - 104. Let h be d(2). Is h < -1.21?
False
Let i = 37 - 42. Which is smaller: i or -4?
i
Let r be (2/(-8))/(45/(-120)). Let s be (6/4)/(3/(-4)). Is r bigger than s?
True
Let p(z) be the second derivative of 2*z**3/3 + 7*z**2/2 - 12*z. Let h(c) = 3*c + 6. Let i(y) = -3*h(y) + 2*p(y). Let s be i(-5). Which is greater: s or 4/3?
4/3
Suppose 0 = 5*z - 45 - 65. Let a = 39 - z. Let p = 21 - a. Are 13/5 and p unequal?
True
Let h be 1 - 2 - (-12)/36. Let k = h + 0. Let z = -328 + 5574/17. Which is bigger: k or z?
z
Let w = -68 + 242. Let s = -173 + w. Let c = -0.5 - 2.5. Which is bigger: c or s?
s
Suppose -3*k + 3 = 9. Let j be 48/(-10)*(-9)/(-36). Are j and k equal?
False
Let z be (-124)/(2 + 2)*1. Let d = 33 + z. Which is greater: d or 5?
5
Let m(l) = 65*l**3 + l**2 + l - 2. Let p be m(1). Suppose -7*h - p = 6*h. Is -10 < h?
True
Let f = -22 - -18. Let w = f - -2. Let m be (w/(-3))/((-5)/(-30)). Is 21/4 > m?
True
Let l(h) = h - 24. Let g be l(22). Let t(n) = -n**2 - 9*n - 10. Let r be t(g). Are 6 and r equal?
False
Let c = 15 - 32. Let u = -828 - -810. Is c bigger than u?
True
Let x = 569 - 212236/373. Which is smaller: x or -1?
-1
Let l = -11 + 5. Let q = -137 + 133. Is l at most q?
True
Let o = -86 - -48. Let k = -22 - o. Let p = 17 - k. Which is bigger: -3/4 or p?
p
Let s = 73 - 128. Is 4 <= s?
False
Let h(q) = -q**2 + 19*q + 28. Let g be h(12). Is 113 <= g?
False
Let x = 312 + -311.617. Let k = x - -0.017. Which is smaller: k or -0.2?
-0.2
Let j = -684 + 683. Which is bigger: 13 or j?
13
Suppose 3*w + 2*w - 6 = 3*d, 3*d + 3*w = -6. Which is greater: d or -113/4?
d
Let n = -2887 - -89509/31. Is n at most as big as 0?
False
Let v be (-8)/28 - (-500)/(-14). Let r = 59 + v. Suppose -3*a - 11 = -4*g, -5*a - r + 8 = -5*g. Which is greater: g or 1?
g
Let s = 126 - 127. Is -0.2 equal to s?
False
Suppose 2*b - 15 = -g, -3*g = b - 5*b + 45. Suppose 0 = 2*l + 7 - b. Is l less than -2/119?
False
Let d be 3*(6 - 2 - 3). Let x = -0.05 + -5.95. Is d <= x?
False
Suppose 2*n - 220 = 12*n. Let z be 48/n + 6 + -4. Which is greater: z or -1?
z
Let j = 92 + -92. Is -4/129 > j?
False
Let r(z) = -11*z**3 + z**2 + 6*z + 4. Let f be r(-1). Let a be ((36/104)/(-9))/((-1)/f). Let m(j) = j. Let o be m(1). Are a and o nonequal?
True
Let i be 5*20*848/(-530). Is i < -1130/7?
False
Suppose -5*g + 4*t - 21 = 0, g + 16 = -3*g + 3*t. Let r = 229 + -1611/7. Is r less than g?
True
Let u be 2/(-3) + (0 - -1). Let f = 0.35 + -0.1. Let v = 0.15 - f. Which is bigger: u or v?
u
Let s be ((-2)/(-5))/((-8)/(-240)). Let z = s + -7. Suppose z*i = 22 + 13. Is 7 at most as big as i?
True
Let i be 15668/11742 + (-16)/12. Let h = i - -3552/354217. Is h <= -1?
False
Let t = 129 + -128.867. Is 0.1 greater than or equal to t?
False
Let d be (16/18)/2*12/(-8). Let c be ((3 + 3)/(-2))/(-1). Let y be c + 10 - (1 + 1). Are d and y non-equal?
True
Let s(y) = -9*y**2 - 14*y - 92. Let i be s(-6). Is -332 greater than i?
False
Suppose 56 = -4*b + 12. Let f = b + 13. Suppose 0 = l, -4 = -f*h + 3*h - 5*l. Is 0 <= h?
False
Let j = 137379/52 - 2642. Is j <= 0?
True
Let z be (-24)/(-108) + -2 + (-202)/18. Let p(h) = 3*h + 35. Let q be p(z). Suppose -a = 2*r + 3 + 1, -3*a - 5*r = 12. Is q at most a?
True
Suppose -2*g = 5*i + 7, g - 2*i + 2 = -4*i. Suppose -4 = 2*h + g*t, 4*h + t = 3*h + 1. Is 6 at least h?
True
Let p(v) = -4*v**2 + 8 + v - v + 3*v**2 + 4*v. Let r be p(6). Let z(g) = 2*g + 2. Let t be z(r). Which is greater: t or 0?
0
Let n(k) = -k**3 - 5*k**2 + 7*k + 2. Let s = 27 + -33. Let l be n(s). Is -6 greater than l?
False
Let k = 0.05 - 0.05. Let g = k - 2. Let o = 1632 + -8164/5. Which is smaller: o or g?
g
Let g(j) = j**3 + 9*j**2 + 5*j - 49. Let x be g(-8). Which is greater: x or -22?
-22
Suppose -12 = -2*x - 2*x. Let a be (1 - 0) + 15/x. Let q be 13/(-12) - 105/(-60). Which is smaller: a or q?
q
Let y = 332/9 - 37. Let n(f) = 2*f - 3. Let o be n(3). Let c = o - 3. Is y at most c?
True
Let a be ((-4)/((-8)/(-6)))/(-1). Suppose -4*y = -g + 14, -y + a*g = -2 - 0. Let n be 1/y - (-63)/12. Are n and 2 unequal?
True
Let y = 19.7 - -6.3. Let u = y - 26. Which is smaller: u or -12?
-12
Let o = 47.75 + -53. Let h = o + 0.25. Which is bigger: h or 0.2?
0.2
Let t(i) = -i**3 + 194*i**2 - 2013*i + 1. Let o be t(183). Suppose 0 = -3*g + 5*g + 12. Let c be (-1)/(-3)*g/(-20). Which is bigger: c or o?
o
Let k = -19.4 + -83.6. Let f = -97 - k. Which is smaller: 0.2 or f?
0.2
Let j(r) = r**2 - r + 9. Let v be j(0). Suppose 2*l + 0*l + 66 = -3*z, -154 = 5*l + 2*z. Let g be (-100)/l*(0 - -3*1). Which is bigger: g or v?
g
Let g = 232 - 229. Let k be 18/4*8/6. Suppose 3*q - k*q = 0. Is q smaller than g?
True
Let s(r) = 2*r**3 - 5*r**2 - 59*r + 184. Let v be s(3). Let b be 4/14 + (-234)/(-14). Is v > b?
False
Let u = -671.6 - -669. Which is smaller: u or -0.2?
u
Let n = -19 - -79. Are n and 60 equal?
True
Let k = -25 + 10. Let b = -15.5 - k. Which is greater: b or 0.1?
0.1
Let q = -8 + 10. Suppose 3*b + y = -7, 2*b = -0*b + y + q. Which is greater: b or 0?
0
Let o(i) = -2*i**2 - 22*i - 31. Let j be o(-10). Is -11 bigger than j?
False
Let s = -2753 + 4046. Is 1292 < s?
True
Let b(s) = -7*s + 3*s - 3 - s**3 - 4*s**2 - 1 + 5. Let k be b(-3). Suppose 0 = -k*g - g. Does g = -2/5?
False
Suppose -2*w + 52 = -2*m, -5*m - 104 = -4*w + 27. Let h be (-18)/m*6/(-4). Is 4/37 < h?
Fals