y. Which is bigger: g or -1?
g
Suppose 4*c - 5*i = 61, 0 = -c - 2*i + 3*i + 14. Let v = 485/42 + -23/2. Let m = v - 1/3. Which is smaller: c or m?
m
Suppose 0 = -j - 8*j + 5*j. Does -1/10875 = j?
False
Let d = 4642/27 - 172. Let t be (-13 + 23)*(-1)/(-2). Suppose -6*r + r - t = 0. Which is bigger: d or r?
d
Let l(g) = -5*g**2 - 7*g + 42. Let u(d) = 27*d**2 + 34*d - 211. Let m(i) = -11*l(i) - 2*u(i). Let k be m(-12). Let b = -462 + 1370/3. Which is greater: b or k?
k
Suppose 0 = 2*m - w - 31, 0 = -m + 5*w + 29. Let h be (-2)/(-14) - (-110)/m. Suppose h*l - 4 = 6*l. Is 1/2 > l?
False
Let u(r) = -4*r**3 + 32*r**2 - 3*r + 25. Let p be u(8). Which is smaller: 2/1977 or p?
2/1977
Let h(c) = 95*c**2 - 923*c - 14. Let d be h(10). Which is smaller: d or -8?
-8
Let m be ((-6)/27 - (-38)/9) + -1. Let a be m + 157 + (-1)/(-1 + 2). Suppose -b + a = -4*s, b = -2*s + 2*b - 79. Is 0 >= s?
True
Let a = 551.3 - 552.3. Which is smaller: 3.93 or a?
a
Let m = 0.19616 + 0.10384. Is -3/62 < m?
True
Let w be (-1093)/(-13) - (-83)/(-1079). Let q be (4131/(-690) + 6)/(w/30). Which is smaller: 1 or q?
q
Let f = 2.18 - -0.5. Let k = 3.08 - f. Which is smaller: k or -7/15?
-7/15
Let m = 2/39 + 23/312. Let b = -22185 + 22185. Are m and b non-equal?
True
Let q(s) = -s**3 - 16*s**2 - 9*s - 10. Let o be q(-13). Is -400 less than or equal to o?
True
Let p(d) = -d**3 + 8*d**2 - 3*d - 46. Let i be p(5). Which is greater: 82 or i?
82
Let y = -280 - -856/3. Let o = -8832 + 44162/5. Is o greater than y?
False
Let j(b) = b**3 - 10*b**2 + 8*b + 8. Let r(h) = 10*h**2 - 3*h - 5. Let g be r(-3). Let u = g - 85. Let a be j(u). Are a and -5/31 equal?
False
Let w = -7.706 - 0.294. Let p be 1/((-3)/(6 - -45)). Is p < w?
True
Let g = 14585 - 15921. Is -1336 at most g?
True
Let c = 8644 - 6454. Is c at most 2191?
True
Let l = -2965.51 + -187.49. Is -2/5 less than l?
False
Suppose -62 = 2*m - 68. Suppose -3*k - 5 = d, -26*d + 31*d + 13 = -m*k. Is k at most as big as -1/59?
True
Suppose -10 = -2*q - 2. Let p = -36 + 21. Let i be (-2)/(-2 + (-18)/p). Which is smaller: i or q?
i
Suppose -10 = 8*u + 6. Let y(v) = -42*v - 69. Let c be y(u). Let i be 0 - (-13 - 4/2). Is i at most c?
True
Suppose 2*f - 432 = 10*f. Let h = -167 - f. Suppose -5*b = 264 + 296. Is b < h?
False
Let q be (3/6)/1*-6. Let z = q - -7. Let i = 713 + -707. Do z and i have the same value?
False
Let b = 8 + -8. Let x be ((-72)/(-30))/(8 - 51/15). Which is bigger: x or b?
x
Let z = 1353/5 + -1337/5. Is z > 1/6?
True
Suppose 1014 = 41*g + 4458. Are -84 and g unequal?
False
Let s be (-73 - 9)/(1 + 24/(-27)). Which is greater: s or -740?
s
Let n(k) = -79*k**2 + 392*k + 56. Let h be n(-9). Does h = -9871?
True
Let g = 0.063 - -0.237. Let c = 28595528/213 - 134252. Let w = 2/71 + c. Which is bigger: g or w?
g
Suppose 326*g - 323*g = 60. Suppose -l + 5*y - g = 0, 14*y - 20 = 9*y. Which is smaller: l or -2/31?
-2/31
Let i = -582 + 578. Let u be (-182)/39 - (-2 - (-1 - i)). Let z = -0.21 - 17.79. Which is smaller: u or z?
z
Let r = 14 - 15. Let b be (r/2)/((-3)/18*3). Let x be 77/(-40) + (-4 - -6). Which is bigger: b or x?
b
Suppose -2*h - h + 111 = -3*s, -5*h + 3*s + 191 = 0. Suppose 2*p + 17 = c - 2, -5*p - 5*c - h = 0. Let f be 279/p - (1 + -1). Is -29 <= f?
False
Let u(h) = 2*h**2 - 112*h - 467. Let z be u(60). Which is bigger: 57 or z?
57
Let d = 178475/41 + 939/82. Let t = -2103681/482 + d. Let w = t - 9170/723. Which is bigger: -14 or w?
w
Suppose -362*h - 8507 = 5611. Let u be 2/6 + 230/(-6). Is h <= u?
True
Let g = -37 + 38.6. Let h = -31.6 + g. Let i = h - -30.4. Which is greater: -0.04 or i?
i
Suppose 0 = 30*s - 25*s - 45. Suppose -14 + 41 = -s*d. Let t be (1 - 0)/(3/(-3)). Are t and d equal?
False
Suppose 2*v + 3*g = 6*v - 414, 5*g = -2*v + 220. Are 34 and v unequal?
True
Let h = 506 - 428. Let j = 77 - h. Is j greater than -5?
True
Suppose 0*c + 3*x = 3*c - 45, 0 = 2*c - 5*x - 24. Suppose -3*f + 7*f - c = q, -2*f = q - 7. Let z be 9/((-8 + 6)*q/2). Are 9 and z equal?
True
Let f(r) = -r**2 + 8*r + 16. Let t be f(10). Let c = 5 + t. Suppose 3*n + 13 = -4*k, -5*n - 14 = 5*k + c. Does 0.1 = k?
False
Let d be (3 - 3)*(-62)/(-124). Which is bigger: d or 6/1621?
6/1621
Suppose 0 = -x + w + 4, 234*w = -5*x + 230*w - 16. Let i be 1*2 + 24/(-10). Which is smaller: i or x?
i
Suppose 913 - 566 = n. Which is smaller: n or 345?
345
Let y = -1.09 + 1.71. Let h = -0.62 + 0.1. Let u = h + y. Which is smaller: u or 7/3?
u
Suppose -590 - 301 = -13*p + 46*p. Which is smaller: -92 or p?
-92
Let i = 6.626 - 8.626. Is i >= -235?
True
Let d be (-6)/21 - (-57)/(-21). Let r be ((-8)/2 - d)*-11. Let w be 5/((-15)/r) + 3. Which is smaller: 6 or w?
w
Suppose -3*i - 4*v + 284 = 0, -3*v + 4 - 16 = 0. Let m = 98 - i. Let x = -985/7 - -140. Do m and x have the same value?
False
Suppose 3*y = 55 - 10. Suppose -262*x = -269*x + 63. Is y smaller than x?
False
Let g be -2 + -1 + (-23473087)/(-7521). Let b = -3118 + g. Let v = b + 203/20274. Do -1 and v have the same value?
False
Let f = 105 + -53. Suppose 3*v - a - 23 = -0*a, 4*a = -4*v + f. Let d = v + -15. Do d and -3 have different values?
True
Let y = 92 + 46. Let l = -35 + y. Are l and 104 equal?
False
Suppose -17*a + 18 + 101 = 0. Suppose 0 = a*v - 635 - 142. Is v less than 114?
True
Let t = -995 - -149249/150. Which is bigger: t or -1?
t
Let t(h) = -h**3 - 2*h**2. Let b be t(-1). Let l = -92 + 29. Let p be (l/294)/((-6)/8). Which is smaller: p or b?
b
Let z = -906 - 60. Let w be 2/(-3)*630/z. Which is smaller: w or 0?
0
Suppose -104*r = -103*r - g + 6, -3*r = 4*g - 31. Is 2/30559 at most r?
True
Let z be ((-43)/(43/(-6)))/(-1 + -1). Which is smaller: z or -22/103?
z
Let i be 680/5*(-233)/(-4). Which is smaller: i or 7923?
i
Let k = -70/3 + 23. Let t = 3474.038 - 3484. Let u = -0.038 + t. Are k and u non-equal?
True
Suppose -3*x - 4*g - 146 = -x, -241 = 3*x - 5*g. Let q be (-4)/(-22) + (-448)/x. Let s be 160/(-25) + 7 - (-96)/15. Is q > s?
False
Suppose -71*w + 4258 + 5451 = 62*w. Is w at least as big as 58?
True
Let p be ((-2053)/21 - 20/(-15)) + 6/14. Which is bigger: p or -1519/16?
-1519/16
Let d(b) be the third derivative of -b**6/120 - b**5/20 + 5*b**4/12 - b**3/3 + 83*b**2. Let s be d(-5). Which is greater: 0.12 or s?
0.12
Let f = -28/15 + -209/30. Let o = -10809 + 10801. Which is bigger: o or f?
o
Suppose 4293*i + 107384 = 4324*i. Which is smaller: i or 3470?
i
Let l be (6/5)/(168/80). Let m = 20976.4 - 20977. Is m bigger than l?
False
Let r(g) = -53*g - 3. Let c(d) = -d**2 + 9*d - 10. Let i be c(6). Let w be r(i). Let x be 14/w*1/(-2). Does 0 = x?
False
Let g be 548602 + (1 - (0 + -1 - 1)). Let t = -17008613/31 + g. Let c = 60 + t. Which is smaller: 0 or c?
0
Suppose -3*z = d - 9 + 1, 0 = -d - 4*z + 6. Suppose -x - 5*o + 52 = 0, 13*x + 56 = d*x + 3*o. Is 64 at least x?
True
Let i = 47 - 37. Suppose i*l = 14 + 6. Let z be 24/(-54) - l/9. Which is bigger: 0 or z?
0
Let i(x) = -x**2 - 2*x - 1. Let n be i(-1). Let l = 580 + -1042. Let m = -19405/42 - l. Are m and n non-equal?
True
Let m be (-104)/(-17) + 4/(-34). Let w(x) = -3*x + 27. Let o be w(m). Is 4 != o?
True
Let m = 243.17 + -1.17. Let v = -241 + m. Let s = -147 - -6175/42. Is v at most as big as s?
False
Suppose 92*c = 11*c - 81. Do -2/259 and c have different values?
True
Suppose -5*v + 2082 = 4*n, -5*n - 455 = -3*v + 809. Let i = 420 - v. Let o = 65.46 + -66. Which is smaller: o or i?
o
Suppose w - 173404 = -2*m - w, -3*m = 5*w - 260116. Let o = 9883061/114 - m. Let q = 1/57 - o. Is 0.2 at most as big as q?
True
Let f be 897*2/297 + 12/(-54). Which is greater: 7 or f?
7
Let a(d) = 18*d - 7. Let b be a(5). Let u(p) = -3*p**2 + 8*p + 21. Let j be u(4). Suppose 420 = j*q + 11*l - 7*l, -3*q - 2*l = -252. Which is greater: q or b?
q
Let h = 5.443 - 5.143. Let f = 3 + -3.02. Let p = f - -0.03. Which is smaller: p or h?
p
Let k = -391 + 395. Let r = -198 + 378. Let i be (-1696)/r + k/18. Is -9 at most i?
False
Let v = -0.036 - 0.004. Let b = 0.11 + v. Let s = 1/26 + -20/13. Is b at least s?
True
Let d be 0*(-1 - 6*(-8)/36). Let t be ((-3)/639)/(55/30). Is d bigger than t?
True
Suppose 3*b - 83 = 7*l - 8*l, -4*b + 112 = 2*l. Suppose b*j = 19*j + 8. Which is bigger: j or -3/254?
j
Let p = 0.6 - 0.7. Let t = -1305 - -1310. Is p greater than or equ