 z or f?
z
Suppose -3*p - 68 = 12*o - 8*o, 5*o - 2*p + 62 = 0. Let v be 47*(-7)/o*4. Do 92 and v have the same value?
False
Suppose x = -12*x - 494. Let y = x + -6. Is -44 equal to y?
True
Suppose 9*v = 11*v + 5*f + 185, 3*f + 179 = -2*v. Let a be (-2)/10 + (-107)/v. Is a greater than 2?
False
Suppose 3*r = -77 - 22. Suppose -18*v + 2*v - 32 = 0. Let k be (v/(-2))/(42/(-1302)). Which is greater: k or r?
k
Let t = 39.4 + -2.2. Let u = -117.8 - t. Let r = u + 107. Is -0.1 equal to r?
False
Let i be (-3)/(-15)*(-5)/(-4). Suppose 18*v = 23*v - 50. Let x(b) = -b**2 + 9*b + 10. Let u be x(v). Are u and i non-equal?
True
Let v be (-1157)/178*1/5. Is -2 less than or equal to v?
True
Let o(n) = 3*n**2 - 57*n - 285. Let r be o(22). Is r <= -964/11?
False
Let m = -11.8 - -11. Let p = m + 0.3. Let r = -0.426714 - 0.073286. Do r and p have the same value?
True
Suppose -11*x = 29*x - 5*x. Let i be -8 - (x - 1746/207). Is -1 not equal to i?
True
Let r = 0.179 - 0.2226. Let b = -0.1436 - r. Is b < -5/67?
True
Let z(k) = -4*k**2 - 76*k + 53. Let u be z(-21). Is u greater than -119?
True
Let b = -32/1105 - -1826/58565. Are b and -2/5 nonequal?
True
Let w = -154 - -149.78. Let d = -0.72 - w. Let o = -0.07 + 0.17. Which is smaller: o or d?
o
Let l(j) = -249*j**2 + 55*j - 116. Let y be l(5). Does -6070 = y?
False
Suppose -4*n + 146 = 3*s - s, 2*n - 5*s = 43. Let q be 2 - (16/(-4) + (-4 - -45)). Let j = q + n. Which is greater: j or -11/9?
j
Suppose 7*h - 4*h - 2*m = 49, 24 = 2*h + 3*m. Suppose -4*r - 38 = h*r. Which is smaller: 43 or r?
r
Let a = 86 - 38. Suppose 4*j + 4*z = 3*z - 89, -4*z = 2*j + a. Let k = j - -39. Is 18 smaller than k?
False
Suppose -5*m = -5*v + 1300, 0 = 4*v + 27*m - 32*m - 1037. Which is smaller: 266 or v?
v
Let g be ((-2)/1040)/(9*(-13)/(-351)). Do -1 and g have the same value?
False
Let i = 487.938 - 4.838. Let h = -483 + i. Which is smaller: 14/37 or h?
h
Let i be ((-506)/207)/(9/(-2)). Let t = i - -3145/324. Which is smaller: 10 or t?
10
Let w(n) = n**2 + 26*n + 133. Let f be w(-21). Which is smaller: -1.6 or f?
-1.6
Let z = -91 - -30. Let r = z - -115. Let k = -55 + r. Is k greater than 2/21?
False
Suppose -231*j + 218*j + 1183 = 0. Suppose j = -8*x + 1219. Which is bigger: x or 140?
x
Let p(i) = -i**3 + 23*i**2 - 32*i + 219. Let v be p(22). Is v equal to -38/63?
False
Suppose -5 = -14*t + 13*t. Suppose t*p + 4*p = -252. Let n be -3 + 0 + p/(-12). Which is smaller: n or 2/3?
n
Let r be (16/(-12))/(32/(-24)). Is r smaller than 4/535?
False
Let h(u) be the third derivative of u**6/120 + u**5/6 + 7*u**4/8 - u**3/3 - 7*u**2. Let k be h(-7). Let r = -369/7 - -354/7. Is k at least r?
True
Let u(o) = 24 + 13*o + 23*o + 4*o + 49 - 8. Let p be u(-2). Is -17 at most p?
True
Let z = 0.175 + 0.277. Let v = z - 0.012. Let s = -0.24 + v. Are 13 and s unequal?
True
Suppose -14346 = -17*g - 37*g + 15678. Is g not equal to 556?
False
Let u = -10529.35 + 10248. Let r = -281 - u. Do -2/5 and r have different values?
True
Let j be (11/(-429)*381 - -3) + 0 + 4. Is j != 0.3?
True
Suppose 5*v + 53480 = -5*s, 3*s - 35*v + 34*v + 32088 = 0. Is s equal to -10695?
False
Let w be (2/5)/((-228)/(-1140)). Which is bigger: 285/181 or w?
w
Suppose 4*d - 5*j = -3624, -4*d - 10*j + 6*j - 3660 = 0. Which is smaller: d or -910?
d
Let d(o) = o**2 + 5*o + 4. Let k be d(10). Let p be ((-6)/(-4) + -1)*(-29)/(290/(-3060)). Which is greater: k or p?
k
Let s be (-11)/(-14) + ((-2544)/(-224))/53. Which is smaller: s or 4/81?
4/81
Let f = 26786 - 18889. Which is bigger: f or 7896?
f
Let t be ((-12)/48)/(3/(-1776)*4). Is 1094/29 > t?
True
Suppose q = 2*g + 6, -3*q = -3*g - 0 - 3. Let v be ((-78)/(-15) + q)*30/9. Suppose x + v*x = x. Is x at most -3/67?
False
Suppose -73*y + 172512 = -18*y - 31*y. Is 7186 >= y?
False
Let b = 80.14 - 79.84. Which is smaller: 4300 or b?
b
Let c = 684 + -680. Let m(y) be the third derivative of y**5/60 + y**4/8 + 2*y**3/3 - 7*y**2. Let f be m(-3). Is c < f?
False
Let y be (0/(-5) - -3)*1 + (2 - 9). Is -84/31 greater than or equal to y?
True
Let b be -2 + (6/27 - (-3496)/(-18)). Let l = b - -198. Which is greater: l or 4/3?
l
Suppose 0 = 58*u - 17109 + 4117. Let g(p) = 3*p**2 + 58*p - 27. Let q be g(-23). Is u equal to q?
False
Let b = -0.0444 - -0.1744. Let t = -52.61 - 0.39. Let n = 52.8 + t. Which is smaller: b or n?
n
Let l = 296 + -144. Suppose 3*r + 110 - 23 = -s, 0 = -5*r - 4*s - l. Which is greater: -26 or r?
-26
Let r(x) = -x**2 + 732. Let d be r(-25). Suppose -5*q - 5*y = -475, -4*y = -y + 12. Let g = q - d. Is g < -12?
False
Let j = 35.1728 - -0.1872. Let f = j + -35. Let i = -19.36 + f. Is -2/5 smaller than i?
False
Let p be 27/(-13) + (-24)/(-312). Let s be 15/(-3) - (p - 6)*-16. Are -132 and s equal?
False
Let j be 1/(((-2)/8)/((-6)/(-8))). Let m be (3*j/27)/((-3)/27). Suppose -2*p - 4*c = -c - 49, -5*p + 133 = -m*c. Is 27 at most p?
False
Let p = -26622 + 26026. Do p and -586 have the same value?
False
Let b = 8733/2 - 4366. Are b and 5/1351 equal?
False
Suppose 46*d - 20 = 44*d. Suppose -d*b = -25 - 5. Suppose 44 = u + g - b*g, -3*u + 138 = -4*g. Are 50 and u nonequal?
False
Let n = 355 - 377. Let r = n - -21. Which is smaller: r or -2/1295?
r
Let j be (-8073)/(-253) + (-2)/(-22). Which is smaller: j or 85?
j
Let m = 311/4 + -77. Let r(k) = -66*k - 1912. Let u be r(-29). Which is smaller: u or m?
m
Let d = 5077 - 35654/7. Which is smaller: d or -16?
d
Suppose -4*z - 12 = 4*g, 0 = 4*g - 4*z + 4984 - 4996. Which is smaller: g or 2/74465?
g
Let x = 728329017/5180 - 562399/4. Let t = x + -4/185. Suppose 33*u + 4*k + 2 = 31*u, 0 = 4*u - 3*k - 18. Is u not equal to t?
True
Let h = -132804 + 7303962/55. Which is smaller: h or -4?
h
Suppose 43*n - 42*n - 5*k - 879 = 0, -5*k = 4*n - 3541. Suppose 3*r + i + n = -6*i, -2 = i. Is -290 smaller than r?
False
Let k = 0.08993 + 7.11007. Is k at most as big as 3?
False
Let n(d) = -5*d - 58. Let i be n(-12). Let v be 4/i - (-578)/(-204). Does -2 = v?
False
Suppose -66*t + 48 = 48. Is t greater than -47/78?
True
Suppose 5*d - q + 11 = 0, -4*d + 6*d - 4*q - 10 = 0. Let j(p) = -p**2 + 7*p + 18. Let z be j(d). Is z >= -92/7?
True
Let h = -27847.755 - -27848. Is h smaller than 0.025?
False
Let v = -214 + 315. Let d = -77 + v. Which is greater: d or 18?
d
Let b be 4 + 1 - 2758/714. Let d = b + 1/34. Is d bigger than 1?
True
Suppose 156*h = 109*h + 282. Which is greater: h or 67/12?
h
Let f(c) = 4*c**3 + 94*c**2 - 52*c + 18. Let y be f(-23). Which is bigger: y or -2/3?
y
Let o be -72 - (0 - (5 - 3)). Let a be (0 - (-1036)/(-16)) + -4. Is o bigger than a?
False
Let u = 561072/103 + -5447. Which is smaller: -1 or u?
-1
Let c = 2154.7 + -2154.7. Which is bigger: c or 758/3?
758/3
Let d = -151 - -187. Let g = 122 - d. Let t = 82 - g. Is t > -1?
False
Suppose 0 = -11*q + 6*q - 3*c - 28, -3*q = -2*c - 6. Is q less than or equal to -75/122?
True
Suppose -12*s + 2484 = 34*s. Suppose -4*a + g - 206 = 0, -5*g + 265 = -5*a - 0*g. Let w = s + a. Is 0 not equal to w?
True
Let m = 1503 - 1429.9. Let g = 76.1 - m. Are 0.82 and g unequal?
True
Let h = 2549.058 + -2549. Let m = 3 - 4. Which is smaller: h or m?
m
Let d = 0.3189 - -586.6811. Is 0 at least as big as d?
False
Let g be -2 - ((-6)/4 - (-693)/(-1166)). Suppose 8 = 5*z - 2*j, 2*z + 8 = -5*j - 12. Does g = z?
False
Let q = 4575 - 1274. Is q >= 3296?
True
Suppose k - 5*b + 25 = 6*k, 0 = -4*k + b. Let t = 2070724/13 - 123713053/780. Let x = -680 + t. Is k < x?
False
Let s(i) = -i**3 + 13*i**2 - 37*i - 68. Let o be s(11). Which is bigger: -230 or o?
-230
Let p = -0.303 - -1.583. Let c = p + -1.78. Is c >= 3?
False
Suppose 3*l - 2*l = 0. Let v be -11 + 793/78 - (-430)/12. Let r be v/(-20)*(-7)/14. Is l > r?
False
Let r = 9/14792 - 1363357/4097384. Is -1 smaller than r?
True
Let y = -1005 - -1008. Let r = 13 - 12. Let z = 0 + r. Is y < z?
False
Suppose 0 = l - 730 - 180. Suppose 27*u - 20*u = l. Which is smaller: u or 132?
u
Let v be 0/(((-1)/3)/(13/(-78))). Suppose v = c - 4*c + 12. Suppose -4*m + 0*m = -x + 1, c*m = 0. Which is smaller: x or 2/59?
2/59
Let s = 52715.6 - 52715. Let m = -0.07 + -5.93. Which is greater: s or m?
s
Let l = -1657 - -772. Which is bigger: l or -881?
-881
Let z be 3286/(-13152) - (-4 + (-60)/(-16)). Let x = -15913191/10960 + z. Let i = -1451 -