 y - 31 = -4. Let v = m - 8. Which is bigger: d or v?
d
Suppose -6*l - 8 = -2*l, 3*p + 134 = -4*l. Let h be ((-54)/(-24))/(p/(-4)). Suppose -5*v - 25 = 5*i, 14 + 4 = -2*v - 4*i. Is h != v?
True
Let y be -105 - 3245 - (-5)/(-1). Is y < -3355?
False
Suppose -d - 6748*t = -6749*t + 724, -t - 2168 = 3*d. Is -719 at most as big as d?
False
Let c = -1934 - -1834. Is -104 less than or equal to c?
True
Suppose -34*r + 37*r + 1074 = -2*u, 0 = -4*r - 5*u - 1432. Is r bigger than -358?
False
Let g be -1 + (-30)/5 - (3 - 12). Let n be (-4)/(-3)*(-6)/(-2). Suppose -2 = -0*u + g*u + h, -n*u + 6 = -3*h. Are u and 2/37 equal?
False
Let d(j) = -5*j**2 + 18*j + 8. Let y be d(-4). Let w be (12/y)/(2/(-678)). Which is smaller: 28 or w?
28
Let u = -1478158276/29667 + 49825. Is 0 at least as big as u?
True
Let o(t) = -3*t**3 + 18*t**2 - t - 35. Let c(x) = -5*x**3 + 19*x**2 - 34. Let n(i) = -2*c(i) + 3*o(i). Let h be n(-16). Which is greater: h or -1/5?
h
Suppose -o = -2*g + 57, 2*g - 2*o - 26 = 30. Suppose 5*l = -3*r + 6, g*l - 27*l = -r + 2. Suppose 6*j + 3 = 3*j. Is l bigger than j?
True
Suppose 8*p + 60*p = -28968. Do p and -423 have the same value?
False
Let b = -15271.07 - -15127. Let p = b + 145. Which is smaller: p or -1?
-1
Let w be 1330/19*(21/6 + -1). Let f = w - 173. Which is smaller: 3/4 or f?
3/4
Suppose -2*a - 5*y = -4*a + 16, 3*a + y = 24. Let r = 0.53 + -0.03. Are r and a equal?
False
Let d(l) = l**3 - l**2 + 2*l + 4. Let b be d(0). Suppose -15 = r - 5*s, b*s - s - 9 = r. Let w be (0 - -6)/(42/(-4)). Which is greater: r or w?
r
Let b = -1587 - -1291. Is 0 bigger than b?
True
Let z = -2770236359/25940 - -106794. Which is smaller: z or 0?
0
Let f be (-27 - 16/4)/((-1)/(1 + -51)). Which is bigger: -1547 or f?
-1547
Suppose 4637 = 5*l + a - 1836, -l - 2*a = -1300. Is l at least 1294?
True
Let s = -1/269815 + -21854696/86070985. Let o = s + 10/29. Are 14 and o non-equal?
True
Let m = 2554 + -2581. Which is greater: m or -37?
m
Let b be ((-8)/(-15))/(39/(-9)). Let x be (-132)/12 - -13 - (-5872)/(-2990). Let q = b + x. Which is greater: -1 or q?
q
Let z = 4771 - 4770. Which is smaller: z or -7/1408?
-7/1408
Let z = 51.82 + -48.82. Let v be (-2)/3*(-15)/(-145). Which is greater: z or v?
z
Let k(c) = 14*c - 169. Let y be k(16). Let b = -19/15 - -8/5. Is y smaller than b?
False
Let t(s) = 25*s + 288. Let n be t(-10). Which is smaller: 35 or n?
35
Suppose 5*r + 226 - 251 = 0. Suppose -4*s - 8 = 12. Let u be ((r - s) + -7)*68/6. Which is bigger: u or -1?
u
Let g be (-926 - 0)*(161/(-14) + 11). Let p = g - 1388/3. Let z = 1.3 + -0.3. Which is smaller: p or z?
p
Let i = -38 - -45. Let a = -10 + i. Let d be (-3)/((-396)/380) + a. Which is greater: 1 or d?
1
Let i = -58 - -61. Suppose i*b = -2*b. Let m = -32 + 34. Which is bigger: m or b?
m
Let d be (-1301)/(-30) - (-8)/10*1. Let z = 7027/159 - d. Is -1 < z?
True
Suppose 0 = -71*m + 486 + 792. Suppose m = u + 3*f, 2*u - 6*f + 3*f = 54. Which is smaller: u or 18?
18
Let q = -20 - -17.9. Let b = 38028 + -38027.4. Which is greater: b or q?
b
Let z be -130 - 0/1 - (-1689 - -1677). Which is smaller: -2216/19 or z?
z
Suppose -4*n = -2*m + 24, m + n + 4*n = -16. Suppose 3*g - 6 + 5 = m*d, -14 = 2*g + d. Let i = 14 + g. Is 6 smaller than i?
True
Let t = 362 - 184. Let f be 210/315 + t/3. Is 60 not equal to f?
False
Let g be 57/18*(-846)/(-47). Which is smaller: 640/11 or g?
g
Let f = 5 - 8. Let a(y) = -y**3 - 4*y**2 - 2*y - 2. Let h be a(f). Suppose 0 = 58*k + 235 - 3. Is h less than k?
True
Let l be 1236/(-1030)*(-50)/7*910/4. Is 1946 >= l?
False
Let j(k) = k - 19. Let l be j(22). Let h be ((-1)/3)/(l/(7 + -10)). Are h and 16.8 non-equal?
True
Let p(j) = 2*j**2 + 8*j - 89. Let w be p(-9). Is -1/7092 greater than or equal to w?
False
Suppose 2*g + 3077 = 3*t + 11729, 4*g = 3*t + 17298. Is g > 4322?
True
Suppose 7*x - 592 = -x. Let a = 192 - x. Suppose -a*u = -122*u. Which is greater: 2/87 or u?
2/87
Let t be 11030/(-196)*(-5139)/(-75). Let v = -3856 - t. Which is greater: -1 or v?
v
Let v = -18.016 - -24.016. Which is bigger: 563 or v?
563
Let n = 186.21 - -2.79. Let t = n + -189.3. Do t and 11 have the same value?
False
Suppose -r - n - 50 = 0, n - 25 - 17 = r. Let y be (r/(-6))/((-20)/(-18) + -1). Which is bigger: 70 or y?
70
Let b = -393 + 377. Let s be (40/(-78))/(-1) - 38/57. Is b > s?
False
Suppose -3*n = 5*j - 2*n + 13, 3*j = -2*n - 19. Is j smaller than -8/119?
True
Let r = -37959236/965 + 39336. Let c = 2174/58865 - r. Let t = -1 + 2. Which is smaller: c or t?
c
Let m be ((-18)/(-60)*-996)/(102/120 + -1). Which is bigger: m or 2/3?
m
Suppose -15 = -4*d + 3*s, -3*s + 0 = 5*d - 12. Let a(r) = r**3 + 5*r**2 - 2*r - 7. Let i be a(-5). Suppose -5*n - 10 = 5*h, 4*n = i*n - 2*h - 7. Is d > n?
False
Suppose -5*x + 39 = -416. Suppose 101*o - 97*o + 3*j = -2001, 6 = -2*j. Let g = o - -589. Are x and g equal?
True
Let t be (2/58)/((-6)/(-732)*1). Are t and 5 unequal?
True
Let u be (-3)/6*188/(-6)*9. Suppose 4*v + 5*j = 2*j + u, v - 48 = -5*j. Suppose v = -b + 54. Is 3 at most b?
True
Let o = -1208111.9 - -1208111. Let i be (-1 - -3)*(-1)/(-2). Suppose 5*z - 16 + i = 0, -2*b + 7 = 3*z. Which is greater: b or o?
o
Let x(k) = -77*k - 5852. Let o be x(-76). Which is smaller: -148/119 or o?
-148/119
Suppose 3*s + 0 = -6. Let z be 8/(-6) - (s + 3). Let u = 5994 + -5995. Which is greater: z or u?
u
Let r be (-438)/(2 - 5)*-3. Let s = r + 438. Let t be (-4)/14 - 127/(-77). Which is greater: s or t?
t
Let m = -728/3 + 56785/234. Let o(g) = -5*g**2 + 287*g + 4002. Let h be o(69). Is m bigger than h?
True
Suppose 3*g + 6*n - 3*n - 21 = 0, -53 = -4*g + n. Suppose 2*x = -3*x + 65. Suppose -x*o + g = -10*o. Is o bigger than 1?
True
Let b = -2/1503 - -4444/1080657. Which is greater: b or -1?
b
Let d = 32.64 - -109.36. Which is bigger: d or -2/9?
d
Suppose 13*h - 3*s = 17*h - 21, 0 = -2*h + 4*s - 6. Let c be h + (-6)/(-54) - 3. Is 0 != c?
True
Let o = -1/30 + -17/90. Let i = -795/253 + 1843/506. Which is greater: i or o?
i
Let c = 34452 - 27857. Is c greater than or equal to 6594?
True
Let h be (-4)/5*(-40)/16. Suppose -2*i - 6 = -h. Let p = 78 + -393/5. Is p greater than or equal to i?
True
Let b = -6883 + 6879. Which is bigger: b or 212?
212
Let n = -652.38 - -650.1. Let p = 2.19 - 0.19. Is p not equal to n?
True
Suppose -5*u - c - 5 = -4*c, 5*c = 4*u + 17. Suppose 3*m + 31 = 6*m + j, -m = u*j - 12. Let t be -5 + 69/15 - (-14)/m. Is -2/89 >= t?
False
Let u = -5/10781 + -4661123/15201210. Let f = 24/151 - 3535/21291. Let b = f - u. Which is greater: b or 0?
b
Suppose 2*f + 0*f + 9 = -3*g, 4*g + 4*f + 16 = 0. Let s be 6/(-2) + (-3)/g. Let q be 1 + 0 - 19/16. Which is smaller: q or s?
q
Let q = -2 - -36/17. Let c be 12/20 + (-115)/25. Let y be 2/3 - c/12. Which is smaller: q or y?
q
Let d = -436615285/98 - -8911351/2. Let f = -835/2 + d. Let a = 50 - 49. Are a and f equal?
False
Let f(g) = 30*g**2 - 216*g - 4. Let v be f(-5). Which is greater: v or 1?
v
Let a be 8/(-20)*5*10. Suppose 0 = 8*m - 225 + 73. Let f = a + m. Which is smaller: -2/5 or f?
f
Let s = -132 - -228. Let r = -96.1 + s. Is r > 45?
False
Let p = 2/351 + 1043/1755. Let v(s) = -3*s**2 - 18*s + 21. Let o(g) = 6*g + 77. Let x be o(-14). Let z be v(x). Which is smaller: z or p?
z
Let w = 10080 + -5717. Is w >= 4362?
True
Suppose -d - 8*d + 882 = 0. Let g = -104 + d. Let x be 1/2 - (-15)/(-2). Which is greater: g or x?
g
Let g = 8 + 34. Suppose g - 150 = 9*r. Let y be (-19)/3 - 4/r. Is y greater than -6?
False
Let s be 21/(-49) - 424/7. Let r = -58 - s. Suppose r*c + c = -64. Which is smaller: c or -18?
-18
Let w(k) = k**3 - 11*k**2 - 11*k - 10. Let q be w(12). Let t be q/(-9) - (-1 - 1222/(-1548)). Which is bigger: t or 0?
0
Let f(z) = -2*z**2 + 20*z + 3. Let a be f(10). Suppose -i - 4*j = a, j + 1 = i - 6. Suppose 22*m = 17*m - i. Is -12 <= m?
True
Let p = 48.35 + -48.45. Which is greater: 358 or p?
358
Let j be (3834/(-72))/(6/(-4))*(-418)/121. Is j at most -122?
True
Let w be ((-4)/16)/(65/8). Suppose 0 = -21*z + 23*z. Suppose 0 = -f - 5*p + 11, 0 = f - 4*p + 7 - z. Is w <= f?
True
Suppose -19 = -4*m + 5. Suppose -153 = m*t - 417. Which is greater: 46 or t?
46
Suppose 115 = 55*p - 51*p - 5*m, 0 = 5*p + 4*m - 154. Let h(f) = 31*f**2 - f - 1. Let u be h(-1). Which is smalle