 Let g = 330 - 331.7. Which is smaller: g or a?
g
Let x = -40 + 39. Let b be (0 - (x - 3)) + 4. Suppose -c - 1 = 0, -2 - b = 2*v + 2*c. Which is smaller: -3 or v?
v
Let t = 27 + -25.33. Let z = t - 1.77. Is z less than -18/7?
False
Suppose -2*m = -6*m + 2*j + 12, -m = 3*j + 11. Let y be (-37 + 12 - -28) + (-156)/53. Are y and m non-equal?
True
Let a = -0.307 - -0.587. Let g = a - 5.28. Do -2.1 and g have different values?
True
Let l = -5/54728 - 312983/168398056. Do -1 and l have the same value?
False
Let x = -101 - -103. Suppose 0 = 2*j + 4*d + 262, 2*j = -x*d - d - 258. Suppose 369 = w - 4*w. Are w and j equal?
True
Let n = 7944 + -7317. Which is bigger: n or 625?
n
Let k = 60/7 + -62/7. Let w = -1.414 + 2.053. Let p = w - 0.689. Is k <= p?
True
Let m be (-21 + -1)*(-4)/1. Suppose 2*a + 28 = 0, -27*a + 225 = 3*n - 24*a. Which is bigger: m or n?
n
Let f(t) = -t**2 + 17*t + 37. Let g be f(19). Let j(a) = -a**3 - 16*a + 9*a + 8*a - a**2 + 1. Let o be j(g). Which is bigger: o or 4?
4
Let m(f) = -5*f - 115. Let t be m(-36). Let a be (-5 - 135/(-25))*t. Which is bigger: 27 or a?
27
Let b(p) = -4*p**2 - 2*p + 2. Let g be b(2). Let n = 245 - 239. Let m be -12 - (5 - -8 - n). Which is bigger: g or m?
g
Let q be 1029/(-98)*(-446)/3. Which is greater: 1560 or q?
q
Let n = 610 - 655.76. Let c = n - -46. Let b = c + 2.76. Which is smaller: 1/2 or b?
1/2
Suppose -6*k = -3*k - 3. Let b(d) be the second derivative of 3*d**4/4 - d**3/2 + d**2 - 15*d - 1. Let x be b(k). Which is greater: 5 or x?
x
Suppose 4*q = 0, -6*a + q + 70 = -a. Let b = a + -13. Let y be (4/177)/(4/(-6)). Which is greater: y or b?
b
Let b be 12/15 - (138/6)/(10/(-1874)). Is 4312 less than b?
False
Let h = 38 - 33. Suppose h = -2*p + 7. Let a be (p/(-5) - 266/(-280)) + -2. Which is smaller: -2 or a?
-2
Let n be (-175)/4200*76/18. Which is smaller: n or 0?
n
Let l = 4.8 + -4.825. Let u = l + 90.025. Let z = u + -90.2. Is 1/13 bigger than z?
True
Let y = -1 - -0.7. Let z = -5363 + 5408.06. Let l = -45 + z. Are y and l non-equal?
True
Let t be 1/(-2) + 291*(-9)/(-4050). Is -1 not equal to t?
True
Let g = -3216280/317 - -10146. Which is greater: 6 or g?
6
Let x(c) = -63*c. Let o be x(7). Let t = 439 + o. Does t = -8/3?
False
Let m = 1.5 - -0.57. Let u = 0.28 - m. Which is smaller: u or 1/2?
u
Let i = 136/1539 + 29868232/7695. Is 3883 smaller than i?
False
Suppose 3*n + 5*m = -0*m + 21, 2*m = 0. Let h = -3126/1937 - 3/1937. Let j = h + 284/39. Which is bigger: n or j?
n
Suppose -7 = q + 2*c, -8*q + 20 = -12*q - 4*c. Let f be (6/8)/(0 + q/(-4)). Are 13/12 and f equal?
False
Let g = -6706 + 3585. Is -3122 at most as big as g?
True
Let p be (-3)/2 + (-72)/(-16). Let y be ((-4)/(-3) - p)/(2/(-6)). Suppose 3*i - y*i = 124. Is -62 > i?
False
Suppose -5*j - l + 3879 = 0, -2*j = -18*l + 20*l - 1542. Which is smaller: j or 775?
775
Let j = -4 - -2. Let f = -1513 + 1515. Let q be ((-4 - f)*(-1)/(-3))/j. Which is bigger: q or -2/9?
q
Let i(y) = 3*y**2 + 8*y + 9. Let w(l) = -2*l**2 - 5*l - 6. Let b(d) = 5*i(d) + 7*w(d). Let m be b(-2). Are -2 and m equal?
False
Let d = -111 - -1222/11. Let o(v) be the second derivative of v**4/12 - 5*v**3/6 + 3*v**2/2 + v. Let a be o(4). Which is smaller: a or d?
a
Let l(o) = 98*o**3 - 7*o**2 - 5*o + 10. Let v be l(1). Does v = 484/5?
False
Suppose 9*w - 3*z = 11*w - 561, -4*z = w - 288. Is w less than or equal to 247?
False
Let o be 52 + -46 - (449 + 4). Which is smaller: o or -1?
o
Let b be (-44)/(-66)*(-36)/(-1). Let k be 1092/(-35) + b/20. Is k smaller than -26?
True
Let i = 106794 - 1178778/11. Let c be (-734)/((-15)/(-10)*(-8)/6). Let t = c + i. Which is smaller: t or -1?
-1
Let u be -5*(16/(-12))/(25/15). Suppose s + u*c = 6*s + 164, 5*s - 5*c = -165. Is s bigger than -32?
False
Suppose 5*d + 4*u + 10 = -24, -4*u - 28 = 2*d. Is d < 4.509?
True
Let v = 4524 + -2829. Does v = 1696?
False
Let p = 5.8 - -25.2. Let i = p - 28. Which is bigger: -1/2 or i?
i
Let n(u) = -u**2 + 6*u + 67. Let p be n(10). Let b be p - (-2 + -3 - (-3 - 2)). Which is bigger: 4 or b?
b
Let n be (4/8)/((-8904)/48). Is -3 greater than n?
False
Let m = 0.04 + -0.14. Let l = 2152 + -2278. Which is smaller: l or m?
l
Let h be (-156)/(-286) + 6/(-11). Is h > 1078?
False
Let c = -63 - -69. Let j be -1*((-8)/c)/(748/330). Which is bigger: j or 1?
1
Suppose 15*d - 1824 = -5*o + 11*d, -5*o = -d - 1844. Let q be (9/(-48))/((4/o)/1). Do -16 and q have the same value?
False
Suppose -4*m - 11342 = -3*n, -9*n + 4*n - 5684 = 2*m. Are m and -2837 nonequal?
False
Let w = 10029 + -10028. Is 137/126 >= w?
True
Suppose -17*g + 20*g + 2199 = 0. Let y = -50573/69 - g. Let w = y - 233/2829. Do w and -1 have the same value?
False
Let a be (12/(-9))/(12/(-18)). Suppose 5*m + a - 12 = 0. Which is bigger: m or 3?
3
Let i(a) = 8*a**2 - 4*a - 10. Let z be i(3). Suppose -2*p - b = z, 0*p + 5*b - 74 = 2*p. Suppose -3*x - 44 = 31. Which is greater: p or x?
x
Let q = 5234 + -5234.6. Is q < -0.03?
True
Suppose 0 = 2*n - 6, 0*o - n + 9 = -3*o. Let y be (o + (-15)/(-10))*-102. Let z = -42 + y. Is 5 less than z?
True
Let o(g) = -g**3 + 39*g**2 - 34*g - 11. Let a be o(38). Suppose 16*x = -a + 141. Are x and -110 non-equal?
True
Suppose -4*l + 4 = -3*z - 7, 0 = -3*l - 5*z + 1. Let n be (8/10)/l - (-17439)/15. Let s = -54663/47 + n. Which is smaller: s or 0?
s
Let t = 3 + -5. Let o = 3592 - 3641. Which is greater: t or o?
t
Let n = -933 + 940. Let k be n/(63/(-18)) + 8. Is k bigger than 108/19?
True
Let m = -73 + 69. Suppose 3*f = -0*f + 5*z + 21, f + 3*z + 7 = 0. Suppose f*w = -4 - 8. Are m and w unequal?
True
Let l(c) = -17*c - 270. Let q be l(-16). Suppose 2*d + q*d = -6*d. Is -1/228 >= d?
False
Let x be 21/(-12) - 21/(-12). Is x less than or equal to -12/37?
False
Suppose 9*w = 138 - 435. Is w at most as big as -49?
False
Suppose 5*s + 1957 = -4*g, 0*s + 4*s = g - 1553. Let v = s - -383. Do v and -88/17 have different values?
True
Let x = 469/2 + -224. Let a = 11 - x. Let s = 0.229 - 0.089. Is s at least as big as a?
False
Let g = 1 - 355. Let t = 350 + g. Which is smaller: t or -0.48?
t
Let r = 0 + 1. Let f = -598 - -78335/131. Is r greater than or equal to f?
True
Let z be 10394/(-44) - ((-518)/28 + (-108)/(-6)). Which is smaller: z or -235?
z
Let b = 156 - 153. Let q be (-6)/9 - (b - (-56)/(-21)). Which is smaller: 7.6 or q?
q
Suppose 5*k + 7*k = 5316. Let c = k + -153. Suppose 0 = -6*q + 5*q - 4, -5*q = -5*m - c. Is m >= -62?
True
Let u = 299 + -1168. Let l = u - -9547/11. Suppose 0*g + n = -g + 1, 2*g - 2*n + 6 = 0. Which is smaller: g or l?
l
Let q = 612 - 606. Let l be ((-2)/(-4))/((-1)/14). Let n be l/(-14)*(12 + 0). Is q >= n?
True
Let f = -177/860 - -1811999/8812420. Is f smaller than 0?
True
Let c(v) = 2*v + 7. Suppose -2*i = 5*h - 4*i - 37, -3*h + 5*i = -26. Let b(u) = -u**2 + 8*u - 10. Let f be b(h). Let w be c(f). Are 3/4 and w non-equal?
True
Let m(a) = -2*a**3 + 25*a**2 + 24*a - 202. Let n be m(15). Is -961 >= n?
True
Let z be ((-19)/(627/2574))/((-2)/131). Which is bigger: z or 5108?
z
Let z(p) = 3*p**3 + 28*p**2 + 34*p + 225. Let m be z(-9). Which is greater: m or 1/4247?
1/4247
Let s = -34585 + 24300. Let u be (5 - 6/3) + s/3417. Is -1 at least as big as u?
False
Let x be 21/(-3)*(-6)/21. Let t(b) = 14*b**2 + 4*b - 3. Let k be t(1). Suppose -3*h = -d - 14, -4*h = -x*d - k - 7. Are h and 8 unequal?
True
Let y = -694/39603 - -3/307. Let k = 1755 - 1756. Is y not equal to k?
True
Let p be ((-195030)/36)/((-1)/(-2)). Which is smaller: -2/7 or p?
p
Let d = 4853 - 5108. Is -2553/10 <= d?
True
Suppose 4207 = p - 5*r, -6*r = -3*p - 9*r + 12531. Which is greater: p or 4180?
p
Let i = 18.69 + -19. Let o = 2.41 - -21.28. Let w = i - o. Which is smaller: w or -0.1?
w
Let o be -38 + 20306/536 + 0/2. Which is greater: o or 0?
0
Let j(w) = -w**2 + 18*w - 35. Let t(r) = -r**3 + 13*r**2 - 31*r + 25. Let b be t(10). Let h be j(b). Suppose 0 = -h*u + u - 81. Is -12 at least u?
False
Suppose 10*x + 8637 = 667. Is -800 at least as big as x?
False
Let a = -1421759/26150655 + -1/79005. Let c = 37439/662 + a. Which is smaller: 57 or c?
c
Let c = 1120 + -1120. Which is greater: -1/8529 or c?
c
Let r be (1 - 8) + 2 + (-110946)/(-22222). Is r at most as big as -1?
False
Let x = 216993 + -216990. Let z be (-18)/(-8) + 2/(-8). Suppose 