= -3 + 6. Suppose -55*s + 56*s = 2. Suppose s*p - p = i - 2, 2*p + v*i = 6. Which is smaller: 4/13 or p?
p
Let c(h) = -h - 13. Let u be c(-13). Let z be ((-6)/(-344))/((-9)/(-8)). Are z and u non-equal?
True
Let i be 24/(-14) + 190/(-665). Suppose 3*v = v - 4. Is v at most i?
True
Let o(m) = -24*m**2 - 6*m - 30. Let k be o(-3). Which is smaller: k or -1136/5?
k
Suppose 64 = -d + 63. Is d < 4/145?
True
Let z be (273/14)/(-13)*(-6)/(-4). Suppose -4*o - 22 = v, 3*o + 3*v = o - 16. Let i = -8 - o. Which is smaller: i or z?
i
Let o be 3 + (-108)/12 + 13. Let i(j) = j**2 + 6*j + 6. Let c be i(-4). Is o smaller than c?
False
Let r be (-114)/621 - (-48)/108. Which is greater: r or -12?
r
Let s = 4.6 + -0.8. Let o = 0.8 + s. Which is smaller: o or -0.1?
-0.1
Let f = 11 + -7. Let g be (-12)/16 - 714/(-56). Let o be ((-1)/4)/(f/g). Is o less than -1?
False
Let t(d) = d**3 - 20*d**2 - 22*d - 13. Let i be t(21). Which is bigger: i or 2/7?
2/7
Suppose 114*f - 68*f = 0. Is -70/47 <= f?
True
Let d = 8526669365802285/82985077257548 - -72/3943407967. Let m = d - -3/5261. Let v = m + -102. Is v equal to 0?
False
Let i = 10 - 3. Let t = 131 - 129.91. Let x = t - 0.89. Which is smaller: i or x?
x
Let f be ((-2)/7)/(-5 + 2688/539). Which is greater: f or -2?
f
Suppose -3*g + g = -q + 103, -4*g - 4*q - 236 = 0. Which is greater: 3 or g?
3
Let m = -47 + 33. Let a = m + 11. Let l(y) = -y**2 - 4*y - 2. Let g be l(a). Do g and 2/7 have different values?
True
Let y be 6*((-5)/2 - -2). Let b = 0 - y. Does 2 = b?
False
Suppose 5*r + 2*s + 190 = -s, -4*s = r + 21. Let z = r - -39. Which is smaller: z or 8?
z
Let g be (12/736)/(3/198902) - -2. Let q = g - 1083. Is q bigger than -1?
True
Let s be -5*(-2)/2 + (-30 - -2). Let c be -1 - 1/(3/57). Which is smaller: c or s?
s
Let o(s) = -s - 12. Let w be o(-13). Let q be w + 12/15*10/(-4). Is q at most as big as -3/25?
True
Suppose 1 = 4*j - 5*k, -j - 27 = -4*j - 5*k. Suppose 19*i - j = 23*i. Are i and 0.32 nonequal?
True
Suppose -7*f + 38*f + 279 = 0. Is f greater than -14?
True
Suppose -4*t = -20, -2*t - 33 = -2*q + 1. Suppose 0 = 3*i + 5*n - q, i + n - 10 = 6*i. Which is bigger: i or -2/51?
-2/51
Suppose 3*x + 1 = 7. Let q(j) = -j + 4*j**2 - j**3 + 1 + 1 + 3*j**2 - 5*j**2. Let c be q(x). Which is smaller: c or -3/14?
-3/14
Let t = 45 + -402. Which is smaller: t or -358?
-358
Let b = 916 + -678. Which is greater: b or 240?
240
Let j = 1044 - -217. Which is smaller: j or 1260?
1260
Suppose -4*v + 5*s - 37 = 34, -111 = 4*v + 3*s. Let k = v + 9. Let q = -13 - k. Which is smaller: 4 or q?
q
Let t = 3937 - 7901/2. Let c = -33 - -20. Which is smaller: c or t?
t
Let a = 4000890659/29001737 - -3/674459. Let y = -138 + a. Which is greater: 0 or y?
0
Let u = 184113/7 + -26177. Which is smaller: u or 124?
124
Suppose 6*q - 5*l + 11 = 2*q, 2*q = 4*l + 2. Is 2 at most as big as q?
False
Let p = -7 + 9. Suppose -m = p*m. Let d = -10 - -31/3. Are m and d equal?
False
Suppose i - 18 = 3*i - 4*c, 0 = i + 4*c - 3. Let a = 10 + i. Are 6 and a non-equal?
True
Let m = 80 - 239/3. Let k be 20 - 0 - (-1)/(3 - 2). Is m greater than k?
False
Let u = -3 - -4. Let b be (153/(2 + -5))/1. Let d be -1 + -2 + ((-53)/b - -2). Is d greater than or equal to u?
False
Suppose 113 = -4*m + m + 4*l, 4*l = -4*m - 132. Let u = 60 - 95. Is u != m?
False
Let s = 28.9 - 8.8. Let o = -5 - 15. Let m = o + s. Is 27 equal to m?
False
Let w be 2/4 - 5/((-30)/9). Let t = 25 - 18. Suppose t - w = 5*u. Are -2 and u nonequal?
True
Let o = -15 + 319. Let x = 191 - o. Which is greater: x or 1?
1
Suppose 5*f + 5*b + 50 = 5, 2*b - 38 = 5*f. Is f bigger than 11?
False
Let b be 12/(5 + -17)*0. Is b equal to 3/214?
False
Let o be 56/(-8) - (-500)/85. Which is smaller: o or -1?
o
Let q = 4/231 - -394/3927. Let h = 98 - 96. Suppose -v - h = -1. Which is smaller: v or q?
v
Let a(j) = j - 1. Let i(c) = -c**2 - 17*c + 2. Let k(y) = -2*a(y) - i(y). Let h be (-1 - -3)/(11/((-1155)/14)). Let d be k(h). Does 2/3 = d?
False
Let z = -14 - 10. Let y be 4 + (-20)/(-126)*z. Which is smaller: y or 0?
0
Let k = 642/7315 + -2/133. Suppose -2*i = 4*q, 3*i - 37 = 4*q - 47. Is q >= k?
True
Let s = 0.1815 - 0.0815. Is s >= -165/2?
True
Let d be ((-24)/(-588))/((-24)/7). Is 0 less than or equal to d?
False
Let a be ((-6)/(-7))/(-3) - 40/(-91). Let f = -29/65 - a. Is f at least -0.05?
False
Let j = -31 + 34. Let s(d) = -18*d - 301. Let z be s(-16). Which is smaller: j or z?
z
Let m = 41.5 + -41.6. Is m less than -254?
False
Suppose -b + 2 = -2*i + 8, b + 5*i = 29. Suppose -b*s = -104 + 16. Is 22 <= s?
True
Suppose -2184 = 38*r - 25*r. Does -168 = r?
True
Suppose 3*y + 8 = y. Let b be 4/8 + (-6)/y. Is 17 greater than b?
True
Suppose -2*j = -2*w + 7*w - 213, -5*j - 2*w = -585. Is 119 < j?
False
Suppose 5*h - 58 = 4*q, -2*h + q + 30 = -4*q. Suppose -3*s + 11 = -h. Is 78/11 smaller than s?
False
Let l be (6/12)/((-2)/(-4)). Let d be (l - 7/(-3)) + 2. Which is smaller: 5 or d?
5
Let h = -547 - -557. Is 65/7 smaller than h?
True
Let q = -569 - -28449/50. Are 0.2 and q equal?
False
Let o be (4/(-2))/((-10)/(-19050)*10). Is -381 > o?
False
Suppose 5 = 9*r - 13. Suppose -p + 2 + 8 = -3*q, -4*p = -r*q. Is 4 < p?
False
Let h = -0.8 - 6.2. Let x = -8 - h. Let w be (-5 + 4)*-3 - 54/22. Which is smaller: x or w?
x
Let q be 6 - (5/4)/((-1)/(-8)). Is q equal to -0.99?
False
Let z be 2*5/(-6)*3. Suppose 7*k - k + 138 = 0. Let q = k - -19. Which is smaller: z or q?
z
Let h be (-1)/(-2)*4065/(-21). Let y = 97 + h. Suppose m = 4*r + 6 - 1, -2*r - 3*m = -15. Which is smaller: y or r?
r
Let s = -337249/864 + 1171/3. Which is bigger: 0 or s?
0
Suppose -3*z - 5*b = 610, -6*z - 16*b - 1256 = -15*b. Which is bigger: 2/7 or z?
2/7
Let y(n) = n**2 + 15*n + 46. Let o be y(-11). Let v be (((-55)/(-15))/11)/(o/(-3)). Which is smaller: -2/7 or v?
v
Suppose 0 = -2*t - t - 21. Let r(i) = i**2 + 5*i - 6. Let j be r(t). Let a be 2/(-6) + j/6. Which is bigger: a or -2/11?
a
Suppose -10 = -11*g + 23. Suppose g*p - 5*m = -20 - 9, 4*p - 4 = -4*m. Let o = -66 - -702/11. Which is smaller: o or p?
p
Suppose -16*s = -21*s + 175. Suppose -s = -0*j - 5*j. Is j smaller than 23/4?
False
Let p = -9 + -2. Let o = p - -6. Let i be o + 2 + 45/12. Which is smaller: i or 1?
i
Let t be (4/(-1218))/((-45)/54). Which is bigger: t or 0?
t
Let a be (-5)/(-4)*-1*(-24)/6. Suppose -2*m + a*m - 87 = 0. Is 29 at least as big as m?
True
Suppose 5*o + 10 = 20. Suppose -2*p = -5*a + 8, -3*p = -3*a - 4 - 2. Suppose p = -u + o*u. Is 6 smaller than u?
False
Let f be ((-4)/10*2)/((-66105)/(-12420)). Let q = f - 2/565. Which is greater: q or 20?
20
Let t(r) = r**2 - 9*r. Let h be t(9). Suppose i = 5 - h. Suppose 0 = -s - f - 0*f - 26, -3*s = -i*f + 102. Are -28 and s non-equal?
True
Suppose o = 5*k + 91 - 164, 22 = 2*k + 2*o. Which is smaller: 34 or k?
k
Suppose 0*o - 9 = o + 3*r, 0 = -r - 3. Suppose 2*b + 3*h + 94 = o, 0 = 5*b + 5*h + 81 + 144. Which is greater: -42 or b?
b
Let h = 1213/252 - -125/36. Are 8 and h unequal?
True
Suppose 11*o = 15*o - 16. Let r be o/(-14) + (-499)/189 - -3. Are r and -0.2 equal?
False
Let a = 20 - 14. Let q = 20 - a. Let l be (-56)/24*8/q. Do l and 0 have the same value?
False
Let y(x) = 10*x**2 - 6*x - 7. Let l be y(-1). Suppose l*f + 29 = 461. Which is bigger: f or 49?
49
Let b(k) be the first derivative of -k**3/3 - 5*k**2/2 - 3*k - 2. Let q be b(-3). Suppose 40*n = 57*n - 68. Which is smaller: n or q?
q
Let x(k) = k**2 - 7*k + 6. Let s be x(6). Suppose -c + 2 = -s*c. Let u = -84 + 85. Is u smaller than c?
True
Let p be 26*-1 + 52/(-130). Which is bigger: p or -27?
p
Let v = -18 + -25. Let b = -87/2 - v. Which is bigger: -0.06 or b?
-0.06
Let w = 270.07 + -270. Is -0.2 smaller than w?
True
Let p = -180 - -179.23. Let f = p + -1.28. Let s = -0.05 - f. Are s and 0.2 unequal?
True
Let x = -46365/2 + 649671/28. Let c = x + -142/7. Is 139 > c?
True
Let x be (-2)/(-4) - 6/52. Suppose 0 = -38*j + 140*j + 102. Is j at least as big as x?
False
Let f = 0.093 + 0.177. Let q = 0.17 - f. Which is bigger: q or 0.028?
0.028
Let r(n) = -123*n + 890. Let u be r(8). Is u equal to -98?
False
Let j = -116/63 + 14/9. Let o be (-5)/(-3) - 14/21. Let w(c) = c. Let z be w(o). Is j <= z?
True
Let u be 744/38 + -13 + (3 - -4). Which is smaller: u or 15?
u
Let y(i) =