ame value?
False
Let p be (533610/195 - -3) + 6*(-2)/26. Which is smaller: -1 or p?
-1
Let j be (-4 - (-10855)/3614) + 1 + 0 + 0. Which is smaller: 1 or j?
j
Let k = 2.751 - 2.751. Is k smaller than -2/983?
False
Let j be -1665 + -10 + 3 + 6. Is j smaller than -1663?
True
Let b = -39.9 + 40. Let w = 0.9 + -1.2. Let o = -1.3 - w. Which is greater: o or b?
b
Suppose -72*p + 530 = 45*p + 413. Is p at most 3/460?
False
Suppose 0 = y - 5*y + 588. Suppose 0 = 5284*h - 5327*h + 6235. Is h bigger than y?
False
Suppose 2*o - g - 27 = 0, 15 = -o + 3*o - 5*g. Suppose 17 - 77 = o*k. Do -23/6 and k have different values?
True
Suppose -4*f + 5*n - 875 = 0, 467 = -5*f - n - 605. Which is smaller: f or -218?
-218
Let t = 102 + -81. Suppose 0 = 3*i - 3*g + 27, -2*i - 3*g + t = -4*i. Which is smaller: i or -2?
i
Suppose 647 = 7*y - 19849. Is 2928 greater than y?
False
Let m be -3*1/3 + 15. Suppose -m*w + 21*w + 1428 = 0. Is -204 > w?
False
Let n(a) = a**3 - 31*a**2 - a - 67. Let v be n(31). Let q = v + 70. Is -28 greater than q?
False
Let g = 4816 + -6371567/1323. Is 0 at least g?
False
Let m = 7 + -6. Let d be 0 - ((m - -30) + 3). Let w = -490 - -456. Does w = d?
True
Let p = -771.01 - -10.01. Let q = p + 761.2. Which is greater: 1/91 or q?
q
Let m = -14.626 + 13.926. Which is smaller: m or 548?
m
Let y = -0.1359 - 0.0641. Do 9/70 and y have the same value?
False
Suppose 24*p - 3256 + 976 = 0. Let t be 465/p + -5 - (-187)/(-209). Let w be (-8)/42*(-10)/4. Is t less than w?
True
Suppose -2*i = 3*i + 10. Let a be (-4)/(2*i/18). Let y be (-884)/(-26) + -28 + 11. Does a = y?
False
Let p = -36 - -50. Let t be p/12 + -1 + 92/24. Let n be 1 + -2 - t/(-2). Are n and 2 non-equal?
True
Let o be 0 + -39 - (0 - -1). Suppose 0*m - 4*k + 1816 = 4*m, 0 = 3*m + 5*k - 1360. Let b = -494 + m. Which is smaller: b or o?
o
Let n(r) = -r**3 - 10*r**2 - 6*r - 32. Let p be n(-10). Let w = p + 0. Suppose 10*l - w = 12. Is 0 less than l?
True
Suppose -41 = -2*r - 9. Suppose 5*k = -5*p + 20, 0*k + 4*k = 3*p + r. Let t be 2/(-5)*(-2)/k. Which is smaller: t or 10?
t
Let i = 407 - 664. Let q = i - -257.2. Is q >= -16?
True
Let f(l) = 34*l - 864. Let a be f(26). Suppose 3*g - 67 = 2*v, 2*v = -3*g + 5*g - 48. Which is smaller: a or g?
g
Suppose 0 = 2*u + 5*i - 5966, -10 = -2*i - 18. Which is bigger: 2992 or u?
u
Let p = 11.7 - 136.7. Let v = p - -125.7. Which is smaller: -6 or v?
-6
Let v = -21243 - -21227. Let g = -275/1703 + 1/131. Are v and g equal?
False
Let d = -13 - -13. Suppose d*m + 3*m = 4*n, 0 = 5*m. Let f be (-508)/(-1596) - 2/6. Which is smaller: n or f?
f
Let u be (-148)/(-74)*(-2)/14. Is u smaller than -33.09?
False
Let y(n) = -n**3 - 20*n**2 + 24*n + 10. Let r(q) = -q**2 + 8*q - 1. Let i be r(10). Let l be y(i). Is -52 <= l?
False
Suppose -7*j - 96 = 44. Let b be 1550/j - 2/(-4). Is -75 equal to b?
False
Suppose 2*u - 4*u + 8 = 0, -26 = -3*w + u. Suppose 3*d = -y - 0*y + w, 6*y - 3*d = -24. Which is smaller: y or -5/4?
y
Let v = 35.013 - 35. Let a = v - 0.053. Let k = a - 0.56. Which is smaller: -0.3 or k?
k
Let t be 7/4*(-48)/4*-1. Suppose -20*y = 19 + t. Which is smaller: 8/7 or y?
y
Let b be 2/(-6) + -14 + 574/21. Let j be (b + (-19107)/1474)*(-1)/(-15). Which is greater: j or 0?
j
Let x = 190 + -188. Suppose 4*u - 16 = -4*k, -2 = 3*k - x*u + 6. Is -1.59 at least as big as k?
False
Let j be 2/13 + (-252)/(-1911) + 120/(-28). Let o(n) = -6*n. Suppose -5*r + 4*z - 11 = 0, 5 - 22 = -5*r - 3*z. Let t be o(r). Is j greater than or equal to t?
True
Let d be 6/12*-8 + ((-1296)/(-41))/8. Is 37/5 at most d?
False
Let h(o) be the second derivative of o**3/2 - 21*o**2 - 7*o. Let l be h(15). Suppose -2*k = 5*z - 3*k - 3, 4*z = -l*k - 9. Is 2/61 smaller than z?
False
Let a = -12733 - -12536. Let b = 68/3 + -23. Which is smaller: a or b?
a
Let a = 0.026 + 19.524. Let o = -19.8 - -19.25. Let w = o + a. Is w less than or equal to 0?
False
Let z = -4758/109 - -1420822/32809. Which is smaller: z or 0?
z
Let f be 59584/(-190) - -1*3. Let o = f - -315. Is 5 > o?
True
Let v = -5802 - -5804. Which is smaller: -0.1208 or v?
-0.1208
Suppose -2*i = 4*b - 70, -i = -4*i + 9. Let n(j) = -j**2 + 39*j - 166. Let z be n(5). Suppose 0*r - z*p = r - 4, -2*r + 4*p = b. Is r != -17/5?
True
Let q(g) = 2*g**2 - 23*g - 1. Let h be q(12). Let d be -3*(-12)/9 - (h - -2). Which is bigger: -98/11 or d?
-98/11
Let j = -151 + 209. Suppose 0 = 5*t - v - j, v + 28 = 3*t - 8. Is t greater than or equal to 0.2?
True
Let a = 59549480/693 + -85930. Which is smaller: a or -1?
-1
Let v = 93/17 + 1/34. Let p = 59 - 54. Let m = p - v. Which is greater: m or 3?
3
Let n = 5.1 - 5.62. Let z = -1.08 - n. Let q = 0.66 + z. Is 32 bigger than q?
True
Suppose -392*m = -375*m + 17. Let x be (-214)/848 + 7/28. Which is greater: m or x?
x
Let l = -639055 - -5739940/9. Let w = l - -1287. Let z(s) = -s**2 + 2*s + 6. Let n be z(3). Which is greater: w or n?
w
Let n be -4 - (-1)/((-2)/(-112)). Suppose -15 = 3*s, -12 = 5*q - 4*s - n. Suppose y - 6*y + 7 = -2*l, q*l - 2*y = -38. Is -11 less than l?
False
Let n = 42.2055 + -0.0055. Which is bigger: n or 1/18?
n
Suppose -2*f - 5*y + 8 + 6 = 0, 4*f = -4*y + 16. Suppose f*j - 12 = -4. Suppose 0 = -424*m + 419*m + 25. Is m at most j?
False
Let t(l) = -41*l - 5 - 52*l + 27*l + 9. Let o be t(-1). Suppose 0 = 2*z - 4*y + y + 32, -4*z - o = -3*y. Is z > -21?
True
Let l be 10/65 + 5375/4355 + -1. Is -1 greater than l?
False
Suppose 4*u - 416 = -2*m, 0*u - 4*u - 16 = 0. Let c be 369/m + 1 + -6 + 3. Which is smaller: 1 or c?
c
Suppose 5*b - 6*q = -4*q - 1497, 5*b + 1494 = -q. Let u = b + 178. Let f be (-99)/u - 2/(-11). Does f = -2/7?
False
Let k = 60.9 + -58.215. Let f = 0.015 + k. Are -2/17 and f non-equal?
True
Let a(h) = 2*h**3 + 20*h**2 - 9*h - 189. Let k be a(-7). Which is bigger: 1339/8 or k?
k
Let w = -3413 - -3414. Which is smaller: w or 1/1409?
1/1409
Suppose m + 1 = 2*r, 15*m + 4 = -7*r + 11*m. Which is smaller: -114/79 or r?
-114/79
Let z be 9/72*(-102)/85*(-5 - 0). Which is smaller: 1/171 or z?
1/171
Suppose -3*i - 4*u + 2 = -7, -9 = -3*i + 2*u. Suppose -2*t - 3*h + i + 3 = 0, 3*h - 6 = 0. Which is smaller: t or -3/79?
-3/79
Let d = -0.140527 + 100.741527. Let w = d + -0.501. Let t = 100 - w. Is -0.3 less than or equal to t?
True
Let t be (-4)/(-46) + (-1224)/(-207). Suppose t + 358 = -26*w. Which is smaller: w or -17?
-17
Suppose -10*q = -115*q + 1678129 + 722906. Is 22867 < q?
False
Suppose -4*p - 117 = -17*p. Suppose 0 = c - 2*o - p, -o + 6 = 3*c - 0*o. Suppose -2*j + 18 = 5*d + 3, d = c. Which is bigger: -2/157 or j?
j
Let k = -174 + -269. Let l = k - -441. Which is smaller: l or -3/4?
l
Let l = 45012/5 + -9217. Are -215 and l nonequal?
True
Let a(z) = -z**3 + 5*z**2 + 8*z - 7. Let i be a(6). Suppose 4*t + 15 = 3*r, 0 = i*r - 4*t + 7 - 40. Let d be r/4 - (-3)/(-12). Is d bigger than 2?
False
Let a(t) = t**2 + 4*t + 24. Let s be a(24). Which is bigger: s or 694?
s
Let s = 0.097 - -0.334. Are s and -2/3 nonequal?
True
Let c = 10742 + -10764. Is c equal to -2/133?
False
Let k be (-48 - 2653) + 15/(-5) + -2. Is -2707 equal to k?
False
Let j be (-8)/36 - 4/(-18). Suppose 13*b - 17*b + 2*s = j, -s = 4*b - 12. Suppose -q = b*k + 6, -k - 25 = 4*k + 5*q. Which is smaller: k or -1/82?
k
Let t be (6/(-16))/((11160/(-96))/5). Is t greater than 20?
False
Let a(q) be the second derivative of 5*q**4/12 - 20*q**3/3 + q**2/2 + q - 51. Let k be a(8). Let o = 11 + -11. Which is smaller: k or o?
o
Let w(b) = 34*b + 1668. Let n be w(-48). Suppose 3*g - f = -116 - 115, -5*g - 3*f - 385 = 0. Let k = 112 + g. Are n and k unequal?
True
Let v(i) = -2*i**2 - 9*i + 24. Let s be v(2). Let m be 6076/(-29667) - s/11. Which is smaller: 4 or m?
m
Let n be 1948*1*(80/16)/80. Which is bigger: n or 121?
n
Let x(m) = -m**2 - 12*m + 93. Let o be x(5). Let c be 6/o*21/42. Which is bigger: 1 or c?
1
Let k = 0.371 - -267.629. Let a = k + -268.1. Let s(f) = f**3 + 5*f**2 - f - 7. Let l be s(-5). Which is bigger: a or l?
a
Suppose r = -r. Let b = 2032645/21 - 96931. Let f = 419/3 + b. Is r at most f?
True
Let d be 30 - (24 - (-6 - -3)). Let v = -6.43 + -0.27. Is d bigger than v?
True
Let r = 62 - 44. Let h be (-666)/(-63) + -10 + (-174)/(-14). Which is smaller: h or r?
h
Let n(k) = -7*k + 20. Let w be n(3). Let d(f) = f**3 + 