ater: x or 1/35?
1/35
Suppose 39*g + 59*g - 448 = 84*g. Which is smaller: g or 531/17?
531/17
Let a be (-264)/(-242) + 399/(-154). Let v = 0.05 - 1.05. Is v at least a?
True
Let t be (0 - -3)*(-1)/(-3)*-8. Let y be ((-8)/(-2))/t*10. Let m be (-49)/35*(-5)/(-2). Is m at most y?
False
Suppose -12*p - 1185 + 1281 = 0. Let x(h) be the third derivative of -h**6/120 + 2*h**5/15 - 5*h**3/6 + h**2. Let s be x(p). Is -4 greater than s?
True
Let h = 174764/2352753 - 18/87139. Let l be (2/1)/(1 - 0). Let k = -3 + l. Does k = h?
False
Let m(v) = -24 + 4*v - 2*v**2 - 2 + 15*v + 3*v**2. Let b be m(-20). Are 8 and b unequal?
True
Let r = 0.292 + -423.292. Is r > 0.4?
False
Suppose r - 3651 = 2*g, -4*g = -280*r + 283*r + 7287. Is g bigger than -5468/3?
False
Let p = 55 - 50. Suppose -3*o - s - 11 = 0, -4*s - 19 = p*o - 2*s. Let f be o/15 - (-16)/(-20). Is f less than 1/8?
True
Let m = -4153 - -4640. Is m at least 487?
True
Let w = -9779 - -9224. Let g = 952 - 1508. Are w and g non-equal?
True
Suppose -25*y = r - 27*y - 68, 5*r - 4*y = 316. Suppose 0 = -9*s + 42 - r. Which is smaller: s or 6?
s
Suppose -343 = 13*w - 1825. Which is smaller: w or 66?
66
Suppose 3*z + 70 = -596. Let r = z + 24419/110. Which is smaller: 0 or r?
r
Suppose -536*t + 116676 = -564*t. Which is greater: t or -4169?
t
Suppose 47*v - 49*v + 44 = -s, -v = s - 22. Is -8 equal to v?
False
Let v = 45.1 - 40. Let i = 5.1 - v. Let n = 2.2 - 0.2. Which is bigger: n or i?
n
Let h = -1.0081 - -0.0361. Let z = -0.028 + h. Let j = -14.5 + 0.5. Which is smaller: j or z?
j
Let y(p) = -2*p - 42. Let c be y(-16). Let v be (2/(-4)*-13)/(c/20). Which is greater: 3 or v?
3
Let o be (4/6)/((-29)/(-6612)). Which is smaller: o or 161?
o
Let w(o) = 139*o. Let q be w(1). Let n(l) = 1376*l + 1516. Let r be n(-1). Which is greater: r or q?
r
Let h(f) = -7*f - 17. Let q(s) = 1. Let i(k) = -h(k) - 3*q(k). Let b be i(2). Which is bigger: b or 24?
b
Let y = 114 + -74. Suppose -p + y = 42. Let i be (p - -3)*0*2/4. Is 5/14 at most i?
False
Let y be -8 - -7 - ((-1 - -2) + -14). Suppose 3*p - 4 = p + 3*f, -2*p = f + y. Let o = -647/4 - -157. Is p <= o?
False
Let m = -940138816987/53 - -17727284804. Let x = m - -11183014. Let h = x + 427. Is -1 at most h?
True
Let q = 136.23 - 136. Let z = q - 49.23. Let d = z - -50. Do d and 42 have different values?
True
Let i = 556392561/6269 + -88753. Which is smaller: 0 or i?
0
Let h = 27519 - 29131. Is -1616 at least h?
False
Let j be 4*(-3)/72 - (-921)/18. Let f be (-2)/12*(-952)/j. Which is greater: f or 3?
f
Let o = 2 - 1. Let r = 275418 + -275418.395. Which is greater: o or r?
o
Let j = -3861 + 3855.924. Let h = 3.3 - 3.224. Let z = j + h. Is -2/31 greater than z?
True
Let b = -15002.5 + 15008. Which is smaller: b or 8?
b
Suppose -4*n + 15*w = 11*w + 29556, -5*n - 36947 = -7*w. Is n equal to -7388?
True
Let s be 663/(-156) + (-297)/(-20). Let v = 0 + 11. Which is bigger: v or s?
v
Let f = -23034 - -737085/32. Suppose 0 = -3*a + 4*a. Is f bigger than a?
False
Let u(y) = -y**3 + 28*y**2 - 44*y - 208. Let o be u(26). Which is greater: 50/117 or o?
50/117
Let w be ((-50)/(-24) + -2)/((-595)/820). Are w and 1 unequal?
True
Let d(x) = -x - 9. Let z be d(-8). Let k be (-115)/(-70) + (-2)/(z + 5). Let p(h) = h + 2. Let j be p(-2). Which is greater: k or j?
k
Let y be (0 + -1)/(17/2244). Let b = y - -131. Is b at least -12?
True
Suppose 29*v = 24*v - 4*t - 6, -4*v = -3*t - 20. Which is greater: v or 65/72?
v
Let a = 18 - 16.55. Let d = -1.35 + a. Are -8 and d equal?
False
Suppose -g - 1376 = -5*r, -326*g = 5*r - 321*g - 1340. Which is greater: r or 3004/11?
r
Let l = -12672 - -76073/6. Are 0.09 and l equal?
False
Let y(k) = 4*k**2 - 17*k + 51. Let x be y(5). Suppose 19*p - 14*p - 259 = 4*n, -p + x = -n. Is -68 <= n?
False
Let w = -11/2 - 16. Let y(a) = -6*a + 90. Let q be y(15). Suppose 0 = 5*d + 25, -4*d + 1 = -c - q*c. Is c less than w?
False
Let x be (2 - 3) + (2 - 1). Suppose 4*k + 27 = 3*g, -k + 5*g = -2 - 4. Let z be k/(-15) + (-138)/130. Which is smaller: z or x?
z
Suppose -2 = 3*v - 5. Let n be (-117)/516 + v/4. Let k be -53 + 56 - (2 - -1). Is n >= k?
True
Suppose -5*o + 2*u = -24756, 25*o - 22*o + 2*u - 14860 = 0. Let r = 24658/5 - o. Which is greater: -19 or r?
-19
Suppose 9*l + 5 = -22. Let d = -2/156951 - 85224253/10986570. Let q = d - -75/14. Is l > q?
False
Let m(r) = r + 10. Let z be m(-10). Suppose 11 = 4*c - 5*h, 0 = -5*c - 0*h + 4*h + 16. Suppose -13 = 3*w + c*v - 2, z = -3*v - 6. Are 2/13 and w nonequal?
True
Let u(b) = 119*b + 98. Let i be u(36). Suppose -29*j = -i + 989. Which is smaller: 0 or j?
0
Let q = 3 + -73. Let u = -271661/7 - -38739. Which is smaller: q or u?
q
Suppose 151*j + 11 = 140*j. Let g = 12 + -61/5. Which is bigger: g or j?
g
Suppose s - 2 = -m - 12, 2*s = 4. Suppose 5*y - 8 = -2*t, -2*t + 7*t = y + 47. Let h = m + t. Is h at least -12/11?
False
Let j = 309.9 + -310.2. Which is smaller: -1696 or j?
-1696
Let d be ((-858)/(-77) + -10)/(2/7). Which is bigger: -50 or d?
d
Let s(a) = a**3 + 12*a**2 + 5*a - 21. Let w be s(-9). Let p be w/7 + 2/(-7). Suppose 5*m + 2*c = -13, -6*c - p = 5*m - c. Which is smaller: m or -2/31?
m
Let m be -8*(5 - (-95)/(-20)). Let n be (-28)/12*m*3/(-4). Suppose 0 = -s - 1 - 2. Which is smaller: s or n?
n
Suppose -2*h + 4*h + 10 = -k, -5*h - 25 = 3*k. Let b = 124 + -64. Let f be 157/(-188) - b/(-80). Which is greater: f or k?
k
Let g be (-12)/(-2) + 4950/(-360) + 7. Does -3 = g?
False
Let o(x) = 10*x - 5. Let c be o(2). Let k = 16 - c. Let q be (1 - (-4394)/(-1716)) + 3/2. Which is smaller: q or k?
q
Let f = 4175777629/15019 + -278033. Is f > 0?
True
Let i = -3005 + 2863. Is -146 less than i?
True
Let c = -128 - -131. Suppose c*a = -n + 27, 2*a - 15 = -n + 3*a. Let k be (-48)/10*(-60)/18. Is n not equal to k?
True
Let l be 4/16*-3 - ((-21828)/(-16))/(-3). Which is smaller: l or 456?
l
Let l be -1*3 - 26/6045*-295270. Let d = 1267 - l. Let g = -0.1 - 0. Which is smaller: d or g?
g
Let v(t) = 3*t**2 - 2*t - 123. Let r be v(-7). Suppose 130 - r = 46*q. Which is bigger: q or -128?
q
Let d = 129 + -184. Let r = -4759 + 4756. Is d equal to r?
False
Let t be (32/20)/(-4)*(154 + -84). Which is smaller: -7 or t?
t
Let t(x) = x**2 - 8*x + 12. Let j be t(6). Suppose j = 7*d + 240 + 82. Let l = -5 - 40. Is d less than l?
True
Let t be 2519/22 + (-6)/4. Suppose -t = 5*g - 3*f, -4*g = 2*f + f + 85. Let d = 13 + g. Which is smaller: d or -7?
d
Let v(y) = -y**2 - 13*y + 4. Let x be v(-13). Let z(g) = g**2 - 7*g - 3. Let h be z(x). Let a be 72/(-5) + (-6)/h. Is -14 less than a?
False
Let i(o) = -2*o**3 + o**2 + o + 7. Suppose -105 = -3*w - 4*w. Suppose -4*z = -9*z + w. Let l be i(z). Which is bigger: l or -36?
l
Let r = -10148.94 + 10149. Which is greater: r or -2.678?
r
Let j = 2.8 - 6.6. Let b = -7.2 + j. Let u = b + 12. Is u greater than -2/3?
True
Let h = 10.13 - 10. Let l = 0.149 - h. Let z = l - 0.229. Which is smaller: -0.1 or z?
z
Let l(g) = -g**3 + g**2 - 19*g - 7950. Let u be l(0). Which is greater: u or -7949?
-7949
Let f = -119613.1 + 119613. Let v be 1 + (0 - (1 - 20)). Is f != v?
True
Let o(l) = -l**3 - 3*l**2 + l - 7. Let t be o(-4). Let i be 27/15*(0 - t). Let h be 6/164*(-24)/i. Is h greater than or equal to 1?
False
Let s(b) be the third derivative of b**6/120 - b**5/10 - 5*b**4/12 - 2*b**3 + 11*b**2. Let p be s(8). Suppose 0 = -4*k + p + 4. Which is bigger: k or 9?
k
Let r(s) = s**2 + 9*s - 258. Let x be r(12). Let z be (-150 - (-36)/x) + 5. Is -151 > z?
False
Suppose -174*c = -43*c + 76287 + 29037. Is c less than -802?
True
Let k(j) = -10*j**2 - 87*j + 23. Let a be k(-9). Which is smaller: -1502 or a?
-1502
Suppose -5*r + 86 = -74. Suppose 4*d - r = 8. Let c be (2/d)/(1/5) + -1. Which is smaller: c or 5/17?
c
Let d = 1 - 1. Let x = 33627/430 + -391/5. Which is greater: d or x?
x
Let k = 394 + -243. Let g = k + -72. Let u = 81 - g. Is u at least as big as -18?
True
Let x(l) = 2 + 8*l + 3 - 13 - 3*l**2 - l**3 + 8*l**2. Let c be x(6). Suppose y = 2*h + c, 0 = -5*h - 5*y - 5 + 10. Are 1/43 and h unequal?
True
Let l = -8206/19 - -432. Let a be (-3)/18 - (-5)/(-6). Is a at least as big as l?
False
Let q(f) be the first derivative of -f**3/3 - 15*f**2/2 - 2*f - 49. Let t be q(-16). Is t > -25?
True
Suppose -2*v = -y - 3660,