me value?
False
Suppose 10*n - 52 = 28. Let q be (-3)/(n/4 - 5). Let h be -2 + ((-10)/(-4))/(-1). Is q equal to h?
False
Let p be ((-2)/(-14))/(-15 - -14) + (-36)/42. Is p equal to 1/29266?
False
Let r = 17.2 + -18. Let f = r + -0.2. Let d be (-12)/35 + (-7)/(-49). Does d = f?
False
Let g = 3.323 - 3.053. Let p = 4/13 + 5/26. Is p less than g?
False
Suppose 0 = 29*b + 4*b - 34*b - 505. Is -505 at most b?
True
Let r = -17 + 32. Suppose 0 = 2*k + 4, 16*k - 16 = -4*d + 18*k. Is r > d?
True
Suppose -3*x - 2*g = -1503, 5*g - 905 - 1092 = -4*x. Let p = 537 - x. Do 33 and p have the same value?
False
Suppose 4*v - 1378 + 66 = 0. Suppose 0 = -309*z + v*z - 19. Is z equal to -1/10?
False
Let s be (-7)/1*((-238)/(-49) + -4). Let g be 136/(-850) - (-1 + s/(-5)). Let t be ((-1)/(-3))/((-12)/(-36)). Which is greater: g or t?
t
Let c = -18905/1773 - -43/197. Which is smaller: c or 1?
c
Let p = 3880 + -3870. Let v = -20 + 8. Let n be 2 + 33/v*1. Is p greater than or equal to n?
True
Let x be (-1 - -9)*(27 - 28) - (-12 + 5). Which is smaller: x or 2/6985?
x
Let r(q) = q**2 + 7. Let k be r(0). Suppose 4*b + 8*y - 33 = 3*y, -b = y - k. Suppose 3*o - 30 = 6*o + 3*u, 19 = -b*o - 3*u. Do o and -11 have the same value?
True
Let z = 37 - 32. Suppose -56 = z*u - 266. Let d be 77/u - (-2)/12. Which is greater: d or 1?
d
Let j = -26 - -21. Let h be j - 38/(-16)*2. Suppose -4*t = -3*t. Which is greater: h or t?
t
Let p(m) be the first derivative of m**5/40 + 11*m**4/24 + 13*m**3/3 - 1. Let t(x) be the third derivative of p(x). Let q be t(-5). Which is smaller: q or -2?
q
Let q(l) = l**3 + 5*l**2 + 2*l - 2. Let z be q(-3). Suppose -5*b = -3*r - 1226, -4*r - 9 = -7*r. Let y = b - 236. Which is smaller: z or y?
z
Let i be (-960)/(-2112)*-19*2/14. Let n = i + 21804/385. Do n and 54 have the same value?
False
Let w = -9488 - -10971. Is 1483 != w?
False
Let c = 268972/5 - 52760. Let n = -1034 + c. Which is smaller: 0.39 or n?
0.39
Let p be 4*(156/8 + 7). Suppose p*t - 504 = 112*t. Which is smaller: t or -88?
-88
Let z(g) = g**2 + 81*g + 1620. Let c be z(-45). Which is greater: c or 19/1073?
19/1073
Let i(t) = -118*t - 23. Let d be i(-4). Let s be -2 + d*1/1. Let c = -1799/4 + s. Which is bigger: -4 or c?
c
Let c = 89 - 84. Suppose 0 = 5*i + y + 385, 3*i - c*y + 312 - 53 = 0. Which is smaller: -77 or i?
i
Let s(c) = -32*c**2 - 1211*c - 25. Let i be s(-38). Let v = 130 - 344. Do v and i have the same value?
False
Suppose 0 = -33*v + 21*v + 312. Let b be 31/(-4)*(4 + (-3 - 5)). Is b <= v?
False
Suppose 0 = -2*a + s - 2*s + 6, -3*s - 4 = -5*a. Let f(v) = -11*v + 3*v**a + 17 - 16*v**2 + 164*v**3 - 165*v**3. Let k be f(-12). Which is greater: k or 5/6?
k
Let r(t) = -t**2 + 2*t + 1. Let g be r(-1). Let d be 2 + (-3 + 4)*0. Let j = d + g. Is -4/11 bigger than j?
False
Let a = 106.7374 - 0.0374. Let g = 0.7 - a. Let m = g + 120. Is -3/4 at most m?
True
Let b(u) = u**3 - 8*u**2 + 6*u + 7. Let d be b(6). Let g = 120 - 111. Let i be (g + -8)*(0 - 31). Which is smaller: d or i?
i
Let p be 5 + (-3 - (-2055)/25). Let y = p + -1679/20. Is 0.1 at least as big as y?
False
Let t = 0 - 1. Suppose 55 = 4*n - 5*b, n - 6*b + 2*b = 0. Let h be (n/12)/(44/(-12) - 5). Which is smaller: t or h?
t
Suppose 14*z - 6*z + 7264 = -4*g, 4*g - 1846 = 2*z. Which is smaller: -1 or z?
z
Suppose 4*b = 3*n + 22, -b - 4 = -3*b - 2*n. Suppose -m + 9 = 4*v, 5*m - b*v = 3*m - 18. Let j be ((-2)/m)/(52/(-78)). Which is greater: j or 3?
3
Let z(c) = c**2 - 6*c**3 - 8*c**3 - c**3 - 27*c + 1 + 29*c + 3*c**3. Let h be z(-1). Which is bigger: 29 or h?
29
Suppose -4*s + 3*s + 4 = 0. Suppose 6 = -7*q + s*q. Let w = -2929 - -32204/11. Which is bigger: w or q?
w
Let f = -16.12 + 0.12. Let i = f - -11. Let k = 24 + -23.7. Which is smaller: i or k?
i
Let f = 12374.1 - 12374. Which is bigger: f or -58/159?
f
Let j = 2.1 + -0.1. Let f = -4/303 + -637/202. Let g = 3/2 + f. Which is smaller: j or g?
g
Let d = -133 - -133. Let c = -114 - -78. Let m be 3/(-11)*c/(-27). Which is greater: m or d?
d
Let n = 0.3 - 3.3. Let c = n - -2.9. Let t be 18/(-424)*(-10520)/35505. Which is greater: c or t?
t
Let j = -124.1 + 116. Let x = 146.9 - j. Is x less than 1?
False
Let l = 15 - 2. Let w = 19 - l. Suppose -3*z - 8 = 5*u, -u - w = 3*z - 2. Which is smaller: 4 or u?
u
Let n(d) = 2*d. Let s be n(-3). Suppose -4*m - 2 = 2*k, -13 = -3*m - 4. Let i = s + k. Is i at least as big as -13?
True
Let z(i) = i**2 + 1. Let n be z(3). Suppose -56 - 14 = n*b. Which is smaller: b or -2/7?
b
Let h = 62 - 88. Let j = -1946 - -1945. Which is bigger: h or j?
j
Let i = -1 - -0.98. Let p(a) = 497*a**2 - 82*a - 161. Let m be p(-2). Let w = -1984 + m. Is i >= w?
False
Let j be (1/(-283))/(-2 - 0). Let a(w) = -414*w - 1242. Let c be a(-3). Which is greater: j or c?
j
Let r be (6/410)/((-1)/(-5)). Let q be 4 - (262/45 - 2). Let u = 2/9 + q. Which is bigger: r or u?
u
Suppose -64 + 16 = -6*g. Suppose 13 = 7*p - g. Suppose 0 = -p*m + 8*k - 3*k - 7, 2*m + 3 = 3*k. Do m and 0.07 have different values?
True
Let k = 120.32 + -7.32. Let l = -104 + k. Let p be (-9)/15 + 1 + 0. Is p less than or equal to l?
True
Let x(h) = 45*h + 269. Let z be x(-6). Let p be (-2)/(-15)*9/28. Is p equal to z?
False
Let l = -2146748607/12328 + 174136. Is l at most as big as 1?
True
Suppose -3*k - 2*k - 5 = 0. Let c be k*((15 - 0) + 0). Let j(g) = 2*g**3 + 75*g**2 - 341*g - 11525. Let x be j(-38). Is c at most x?
True
Suppose 106 = -v - 2*r, v - r + 3461 = 3349. Which is bigger: v or -121?
v
Let k be ((-65)/(-15))/(14/(-12)). Suppose 1 + 24 = -25*v. Let i be ((-3)/(27/(-36)))/(v - 0). Which is bigger: k or i?
k
Suppose -12*y + 6*y = -30. Let h(r) = 9*r**2 + 2*r - 4. Let v be h(3). Suppose -p - 2*p + v = -y*z, -4*z - 4*p - 92 = 0. Is -18 at least as big as z?
True
Let w be (4/(-3))/((-5)/225). Suppose -6*o + 600 = 4*o. Let a = w - o. Which is smaller: a or -1/40?
-1/40
Let t = 24.938 - 25.938. Is -21610 < t?
True
Let j be (-3)/5 - 20508/(-30). Let u = -811 + j. Is u >= -127?
False
Suppose 5*b = 25, 5*d + 9*b - 35 = 5*b. Suppose -14*t - d = 39. Is -11 greater than or equal to t?
False
Suppose 3*l - t = -651, 3*l + 2*t + 660 = -0*l. Let f = -206 - l. Which is smaller: -5 or f?
-5
Let u be (2 - 1)/((-3)/(-9)). Let r(h) = -h + 4. Let f be r(2). Suppose -4*q + 2*t - 2 = 0, -q = -f*q - 2*t - u. Which is greater: 1/67 or q?
1/67
Suppose 102*n = 104*n - s - 104, 0 = -n - s + 49. Which is greater: n or 163?
163
Let m = -0.3 - -0.2. Let f be (-7)/(-63) + 5/(675/(-17178)). Let o = f + 127. Do m and o have the same value?
False
Let c = 37.808 - 38. Let a = -0.187 - c. Which is smaller: a or 0?
0
Let k be 17/(-36) + (-2)/(-9). Let j = -0.078 + 0.13. Let s = 33.052 - j. Is s > k?
True
Let q = -64 + 75. Let h = 10.9 - q. Let m = 280/1661 + 2/151. Which is smaller: m or h?
h
Suppose 0 = -0*o + 5*o - 3*x - 1005, -5*x + 371 = 2*o. Let y be 36/o + (1 - -1). Is y less than or equal to 3?
True
Suppose 5*r + 5*j - 70 = 0, 3*r - 7*r = -2*j - 38. Let g(k) = -6*k + 33 - 9 - r. Let i be g(5). Which is bigger: i or -18?
i
Let z be (211 + -196)*6/(-200895). Which is bigger: z or 1?
1
Let q = 1431/10 - 143. Suppose 20*v + 28 = 22*v. Let a be 2/((-5)/v*1) + 6. Which is smaller: q or a?
q
Let c = -274/35 - -4728/595. Does 144 = c?
False
Let j = -8.24 - -8. Let s = -27246 - -27245. Is j less than or equal to s?
False
Suppose -88*u + 88*u - 167*u = 1169. Let l = 0.06 + -0.12. Which is smaller: u or l?
u
Let y = 942.4 + -686. Let g = y + -296. Let d = g + 38. Which is greater: -0.2 or d?
-0.2
Let h be 39/(-2)*((-64)/(-24) + -2). Let c be 42*7/(-14) - -7. Does h = c?
False
Let o = 99181 - 1290361/13. Which is smaller: o or -79?
-79
Suppose 9*m - 16331 - 5044 = 0. Let l = 30900/13 - m. Which is bigger: l or 2?
2
Let l(a) = a - 1. Let u be l(3). Suppose u*t - 2*i - 17 = 7, 0 = 4*t + 3*i - 41. Is t smaller than 125/11?
True
Suppose 27*y = 23*y + 8. Suppose -6*h - y = -8. Which is greater: h or 6/145?
h
Let q = -8358 + 8357.8138. Is q > 0.1?
False
Let f = 4550.36 - 4555.36. Let x(o) = -o. Let i be x(-5). Suppose i*n - 2*n = -3. Which is smaller: n or f?
f
Let q = 1277001051 + -21702665040/17. Let d = 373378 - q. Let j = 317 + d. Do 0 and j have the same value?
False
Let c = -5.301 - -2.301. Let p = 0.55 - -42.45. Is c > p?
False
Let