.85. Let i = g + q. Which is bigger: -0.1 or i?
i
Let u be 20 + -31 - (-11 - 1). Is -5/346 less than u?
True
Let v be (34 + -37)*(-190)/(-3). Let l = 198 + v. Is 58/7 > l?
True
Let j(t) = 12*t**2 + t - 10. Let h be j(-3). Let d = 62 - h. Let n be d/(-36) + 4/(-16). Which is bigger: n or 12?
12
Let f = 9795 - 11814. Which is smaller: -2023 or f?
-2023
Let k = 3071 + -6357/2. Let s = k + 120. Suppose 4*b - 38 = 14. Is s != b?
True
Let w = 506.3 + -503.391. Let a = 450.091 - 450. Let j = w + a. Are -9 and j non-equal?
True
Let n be ((-28)/(-4) + (-174)/24)/(15/24). Is -1690 <= n?
True
Suppose 19*h + 10 = -9*h + 38. Which is smaller: h or 1/2195?
1/2195
Let h = -0.18323 + 0.10663. Which is smaller: -9 or h?
-9
Suppose 2*i = 2*v - 72, 17*i = 12*i - 20. Let p(m) = 9*m. Let w be p(6). Let u = w - v. Is 22 greater than u?
False
Let y be (-13 + 10 + 5)/(28/(-49)*14/(-4)). Let o be -4*((-14)/8 + 1). Is o smaller than y?
False
Suppose 4*j + 685 = 3389. Let z be 3 + -1 - 1360/j. Suppose -2*g - 6 = 5*p - g, -2*g - 12 = p. Which is smaller: p or z?
z
Let r(q) = -6*q**2 + 25*q. Let p be r(4). Suppose 12*d = p*d + 80. Let b = 8 + -1. Which is smaller: d or b?
b
Suppose -v - s = -212, 0 - 6 = -2*s. Let b = 187 - v. Is -2 less than or equal to b?
False
Suppose a + 7 = 3*t, a = 4*a + t + 51. Let p be 0/((-192)/a*2/(-6)). Is p at most as big as -1/959?
False
Suppose 301 = -18*k - 293. Is k bigger than -3?
False
Let a = -178 + -161. Let g = a - -338. Is g > -1/39?
False
Suppose 112*k - 201*k = -6675. Is k smaller than 34?
False
Let q be 18/(-21)*(-140)/(-60). Let d = -127.65 - 0.35. Which is greater: d or q?
q
Let p = -1776 - -1272. Which is bigger: 2 or p?
2
Suppose 5*q = -2*b + 823, 3*b + 3*q - 654 = 585. Let x = -1241/3 + b. Let u = -5 + 8. Are u and x nonequal?
True
Let m be (-3 + 4)*(-1 + (-24)/(-4)). Let j(r) = -8*r + 44. Let x be j(m). Let i = -9793/9 - -1091. Which is smaller: x or i?
i
Suppose 0 = 4*a - y + 2, 4*a - 24 + 30 = -y. Is 18/401 greater than a?
True
Let m(d) = -5*d + 59. Let h(i) = 5*i - 56. Let x(o) = 6*h(o) + 5*m(o). Let y be x(16). Which is bigger: y or -0.5?
y
Suppose -10 = p - 10. Suppose p = -11*q + 60 + 17. Are 39/5 and q non-equal?
True
Let x(p) = p**2 + 25*p + 49. Let z be x(-23). Suppose -z*t + 2*t - q - 4 = 0, 2*q + 10 = -3*t. Suppose -5*w + 8*w = -6. Is w <= t?
True
Let d be -1*(2505/33)/5. Is d at most as big as -2?
True
Let p = -28888 - -28888. Is -29/422 >= p?
False
Let s = -2296 + 2828. Which is smaller: 538 or s?
s
Let b = -1.29 + -0.03. Let r = 1.32 + b. Is r < 26?
True
Suppose 2 - 11 = -3*v. Let x(a) = 2*a**2 + 2*a - 6. Let w be x(v). Let l be (-27)/(-30)*(-15)/w. Do 1/3 and l have the same value?
False
Let k(q) = -q**2 + 9*q - 12. Let y be k(6). Let b be 85/2*y*(-2)/(-3). Suppose b = -2*g - 3*g. Which is smaller: g or -35?
-35
Let r be 5*46/6*-3. Let w be 3/(-1)*(-28)/21. Suppose -3*n + 7 = -w*f - 447, 5*n = 5*f + 565. Is f equal to r?
True
Let n = -3438 + 3461. Is 1/2 less than or equal to n?
True
Let u = 0.057 - 0.0937. Let s = 1.0367 + u. Is 264 greater than s?
True
Let v = -2.6335 - -0.0435. Let u = -2.59 - v. Is u less than 8?
True
Let c = -25/6 + 13/2. Let l(d) = 2*d - 18. Let t be l(9). Suppose 4*v + 10 = -4*m - 6, t = -2*v + 4*m + 22. Is v at most c?
True
Let r = -542 - -541.979. Does -2 = r?
False
Let d = -6478/13 - -9153466/18369. Is 0 greater than or equal to d?
False
Suppose 7 = -3*m + 19. Suppose 0*l - m*l = -156. Let d(o) = 7*o + 25. Let q be d(2). Is q smaller than l?
False
Let o be 36/2*(-29)/(-87). Let z be 51/9 - (-2)/(-3). Let s = z - o. Which is smaller: s or -2/39?
s
Let f = -6 + 12. Let i(t) = -t**3 + 32*t**2 - 27*t. Let w be i(31). Suppose w = -f*x + 10*x. Is 30 < x?
True
Let q = 13633795999/4494194 + 14543/10726. Let l = q - 3035. Is l equal to 0?
False
Let h(p) = -p**2 - 2*p - 4. Let b be h(-3). Let o(j) = j**2 - 7*j + 8. Let n be o(6). Suppose 5*m + n*a + 18 = 3*m, 4*a + 24 = -m. Is m greater than b?
True
Let c = 75821 + -11752214/155. Which is bigger: c or 0?
c
Suppose -2183*j = -2158*j + 316975. Is j not equal to -12679?
False
Let o = 0.0797 - -1482.9203. Do o and -0.1 have the same value?
False
Let y(l) = 105*l + 185. Let d be y(5). Let j = -711 + d. Which is greater: 97 or j?
97
Let b be (-10)/40 - 87/(-12). Let t = 2 + -2. Suppose 3*o + t*j = -j + b, -j + 2 = -2*o. Which is bigger: -22 or o?
o
Let p be (6*29/(-7))/(25/175). Let b be (3 - 7)/(-8)*p. Are -439/5 and b unequal?
True
Let t = -760 - -687798/905. Let g = 2.7773 + -2.7773. Which is smaller: t or g?
t
Let m be (108/90)/(17/(-20) - -1). Suppose -30 = m*l - 7*l + 3*t, 6 = -3*t. Which is greater: -116/5 or l?
-116/5
Suppose -2*a - h = 2, -6*a = -4*a + 2*h + 6. Which is greater: -2/5255 or a?
a
Let l = 9291 - 9290.93. Is 10/61 > l?
True
Let b = -4820 + 4834. Which is smaller: b or -11?
-11
Let h be (-4 - 1/3)*33. Which is smaller: h or -144?
-144
Let x be 8/(-1) - (-82419)/(-331). Is 0.11 > x?
True
Let r = 13420 - 7233377/539. Which is smaller: 0 or r?
0
Suppose 0 = 3*o - 13*p - 6532, 19*p - 12 = 22*p. Which is bigger: 2162 or o?
2162
Let z = -9 + 19/2. Let p = 23 + -19. Suppose b = -4*u - 3*b + 116, 5*u = p*b + 100. Is z != u?
True
Suppose -133*k - 551 = 513. Suppose 5*n = 2*m - 52, -3*n - 68 = -4*m - 2*n. Let i = m - 24. Does k = i?
True
Suppose 2*d - 3 = 3*l - 2*d, 0 = 5*l - 5*d. Let t(w) = 8*w**2 + l + 7 - 5*w**2 + 6*w - 5*w**2. Let k be t(4). Which is bigger: k or -2?
k
Let h(b) = -10*b**3 + 2*b**2 + 12*b - 1. Let t(y) = -y**3 + y. Let g(w) = 2*h(w) - 22*t(w). Let q be g(-2). Let j be (9/q)/((-3)/19). Are 10 and j equal?
False
Let l(s) be the second derivative of -s + 9*s**2 - 1/12*s**4 - s**3 + 0. Let m be l(-9). Does -10 = m?
False
Let p(r) = -r**3 + 6*r**2 - r + 2. Suppose 0 = -4*v + 10 + 2. Let w be p(v). Which is smaller: w or 25?
25
Let g(d) = -d**2 - 9*d + 14. Let u be g(-10). Suppose -5*t - 2*r + 11 = 0, 4 = 4*t + 4*r - 0. Suppose 0 = t*b + u*b - 35. Is b greater than 3?
True
Let y be (-2)/6 + 1457/(-3). Let x = -1388/3 - y. Is x less than or equal to 22?
False
Let o = -134 - -108. Let v be 20/35 - 64/14. Let c be v/(-14) + 382/(-14). Are o and c non-equal?
True
Let k = 25001 + -25002. Does 19/206 = k?
False
Let l(x) = x**2 + 12*x - 68. Let n be l(-16). Let s be ((-119)/n)/(32/(-128)). Is s at least as big as -119?
True
Let a be 16*(-3)/(-4 + 10). Let i(y) = -y**2 - 6*y - 13. Let h be i(a). Is h greater than or equal to -151/5?
True
Suppose 0 = -0*j - 4*j + 24. Let t be 2*j*24/48. Suppose 58 = t*s - 80. Does s = 22?
False
Suppose -n + 1 = -2*n. Let q be (-1 - (-14570)/14632)*120. Is n at least as big as q?
False
Suppose -4946*r + 80 = -4866*r. Is 12/7339 less than r?
True
Suppose -13*s + 256540 + 37361 = -3669. Which is bigger: s or 22891?
22891
Suppose -115*d - 35 = 5*j - 110*d, -4*d = -16. Which is smaller: j or -72/7?
j
Suppose -4*y - 3*z = -12, 15*y - 16*y - z + 3 = 0. Suppose -y*a = 4*a + 14. Suppose -3*o + 8*o = 105. Which is smaller: a or o?
a
Let r be (-93885)/27523 + -10 + 13. Let t = r - 1/1619. Is 1 < t?
False
Suppose -5*f + 4*f - 53 = 0. Let q = -49 - f. Let p be q/16 - 12/(-16). Which is greater: p or 1/7?
p
Suppose 7*l - 11*l = 16*l + 140. Which is bigger: -139/21 or l?
-139/21
Suppose 7*u = 18 + 6121. Let b = -1802 + u. Let x be 4*(b/(-310) - 3). Which is smaller: x or 1?
x
Let c be (-10)/((-420)/18) + (-9106)/14. Is c >= -653?
True
Suppose -3*t - 3*o - 4 + 19 = 0, 3*t + 2*o - 13 = 0. Let x be (-5 - -2) + -1 + t. Which is smaller: x or -3/4?
x
Let d(n) = 19*n - 29. Let h be d(2). Suppose 1 = 10*s - h. Which is bigger: -9/44 or s?
s
Let s(d) = 2*d**3 + 17*d**2 + d - 55. Let k be s(-8). Is -52/179 >= k?
False
Suppose i + 4*i - 25 = 0. Let u = 0 + i. Let o = -0.24 - 1.76. Which is bigger: o or u?
u
Let j be -6 - (26 + -30) - 1*3. Which is smaller: 12 or j?
j
Let t be 2130/6 + 52/(-4). Is 345 less than or equal to t?
False
Let g be (-51)/85*4/6*-937. Let j = -4777/15 + g. Does 56 = j?
False
Let u be (82/(-697) + 24/(-85))/(2/(-5)). Which is smaller: 7/174 or u?
7/174
Let z be 3/(3/4572*-2). Let f be z/81 + 4/(-18)*-1. Let g = 32 - 60. Is f less than or equal to g?
True
Suppose 0 = 2*d - 3*r - 12, -5*d + 7 = -5*r - 18. Let g be (2 - (-25)/(-2 - d)) + -40. Are -177/4 and g non-equal?
True
Suppose 15*y - 16*y - 1 =