h is bigger: a or p?
p
Let k be 3/4 - 4949/(-196). Suppose -4*d = -k - 2. Let u be (-78)/(-9)*6/8. Are d and u equal?
False
Let k = -59 + 62. Which is bigger: k or 22?
22
Let c = 338/99 + -40/11. Which is greater: c or -502?
c
Suppose -19*k + 6 = 25. Is k less than -5/953?
True
Let p = 284 + -283. Do p and 36 have the same value?
False
Let r = 267.5 - 42.5. Is r smaller than 0?
False
Let r = -25 - -57. Suppose -2*q = 6*q - r. Which is bigger: q or -2/5?
q
Let i(r) be the second derivative of r**4/12 - r**3 + 3*r**2 - 3*r. Let z be i(5). Let d be (-6)/(-15) - z/(-10). Is d less than 2?
True
Let b = 32.933 + 1.067. Is b at least as big as -2/13?
True
Let g = -3794 + 102415/27. Is g equal to -2?
False
Let z = -98 - -129. Are z and 32 equal?
False
Let c(o) = -o**2 - 4*o + 2. Let b be ((-4)/(60/5))/(1/(-3)). Let j be c(b). Is j equal to 3?
False
Let n = 4 + -5. Let j be (-17)/10 + 12/(-15). Let y = j - -13/6. Which is smaller: n or y?
n
Suppose -418*w + 413*w = 0. Which is greater: 2/1323 or w?
2/1323
Let x be 1/1*(-212 - -31). Are x and -182 unequal?
True
Let f = -876 - -1297. Is 421 at least f?
True
Suppose -p + 0 - 33 = 5*q, -q = -2*p + 11. Suppose -5*w + d + 5 = 0, 31 = -2*w - 5*d + 6. Suppose w*a = a + 8. Is a greater than or equal to q?
False
Let n be (-4)/(-30)*3/1. Let i = 3/20 - n. Let o = 1.6 - -0.4. Is i greater than o?
False
Let n be 148/124 + -4 - -3. Suppose 0 = -6*x + 10 - 4. Is x equal to n?
False
Suppose 3*i + 9 = -2*x + 2, 5*i - 3*x = 20. Let g be (-49)/490 - 3/(-55). Which is smaller: i or g?
g
Let r = 102 + -142. Is r at most as big as -40?
True
Suppose 132 + 3 = -9*r. Which is smaller: r or -3?
r
Let w(r) = -r**2 - 12*r - 7. Let u be w(-13). Suppose -3*v - 3*t = 78, 21 + 4 = -5*t. Which is smaller: u or v?
v
Let v = -1155587/615 + 1879. Is v >= 1?
False
Suppose -m - 2*l - 19 + 25 = 0, -2*l + 6 = -4*m. Is -7.7 < m?
True
Let m be (-220)/35 + 4/14 - 2323. Which is bigger: -2330 or m?
m
Let n = -15 + 15.9. Let z = -0.3 + n. Do 2/11 and z have different values?
True
Let m = -322/19 - -2139/152. Do -2 and m have different values?
True
Let d(i) be the second derivative of -4*i - 3/2*i**3 - 1/12*i**4 - 5*i**2 + 0. Let z be d(-4). Is z > 9?
True
Let b(d) = -d - 4. Let m be b(-4). Let x be (3/(-6) + 1)/((-70)/20). Which is smaller: x or m?
x
Let b = 40 + -36. Let w(g) = -2*g**2 + 5*g + 6. Let r be w(b). Is 3 != r?
True
Let s be ((-54)/16)/(-3)*(-800)/(-720). Suppose 0*k = 5*k - 5*d + 65, 1 = -2*k - 3*d. Let t = -6 - k. Are t and s equal?
False
Let v(c) = -c - 7. Let o be v(-7). Let w = 78 - 78. Do o and w have the same value?
True
Let l = -16.8 + 17. Let n = 39 + -11. Let x be (-8)/(-20) - n/(-30). Do l and x have different values?
True
Let t be 10/(-14) - (-2)/(-7). Let k be (-3)/(3/30 + (-266)/(-140)). Which is greater: t or k?
t
Let t = 455.9 - 456. Let n = -5.98 - 0.02. Let d = -6.14 - n. Which is greater: d or t?
t
Let y = 29149/29 - 1005. Is y > 2/9?
False
Suppose -3*d - 4 = -16. Let q be 16/(-3)*(-1)/2. Which is smaller: d or q?
q
Let m = 68 + -61. Which is smaller: 53/7 or m?
m
Let b be 43/(-86)*(1 + 2). Let k(r) = r**2 - 2*r - 1. Let m be k(2). Which is greater: m or b?
m
Let g(f) = 3*f - 5. Let l be g(-3). Let i be l + 15 + (-110)/(-2). Let x be 3 - (i/9 - 3). Are -0.4 and x equal?
False
Let r = -459 - -456. Is -125 != r?
True
Let d be ((-1)/2)/((-6)/(-12)). Let m be -1 - d - 11 - 3. Let n = m + 15. Is -3/17 less than or equal to n?
True
Let a = -189 - -82. Let k = a + 17. Which is greater: -89 or k?
-89
Let i be 1*(9/(-6))/3. Let q = -1.99 + -0.01. Let m = q + 8. Is m < i?
False
Let z = -3 - -4. Let n = -689 + 691. Suppose 0 = l - n + z. Are 0 and l equal?
False
Let j(b) = 0*b - 3*b - 5 + b. Let q be j(-6). Let t = 2358 - 2357.9. Which is smaller: q or t?
t
Suppose 3*i = 5*i - 10. Suppose -5 = 5*p - x, -i*p - 23 = -6*p + 5*x. Are p and -2/3 nonequal?
True
Let k be ((-26)/10504)/(21/(-6)). Which is smaller: -1 or k?
-1
Let b be 2/(1/(1 + 0)). Suppose -2*w = 3*w - 100. Suppose -4*c + 4 = -3*d, -d + 0*d + w = 4*c. Is b at least as big as c?
False
Let o = -0.0503 + 78.0503. Which is bigger: o or 0?
o
Let h be 8 + (-3 - (-57888)/(-11580)). Do 0 and h have different values?
True
Let t(m) = 20*m**2 + 10*m + 2. Let j be t(4). Suppose -32 = -6*z - j. Which is smaller: z or -53?
z
Let t = -1100.076 + 1100. Is 0.1 equal to t?
False
Suppose 0 = -16*g + 428 - 156. Which is bigger: g or 3?
g
Let h = -80.9 - -513.9. Is h != 0?
True
Let f = 1747/7 + -249. Which is smaller: 13/4 or f?
f
Let t(q) = -q**3 - 10*q**2 - 15*q + 12. Let j be t(-8). Let c be ((1 - j) + -1)*(-3)/(-12). Which is greater: c or 3/32?
3/32
Let q = -1 - -18. Suppose 59 = o + o + 3*i, -4*o + 2*i + 78 = 0. Let v = o - q. Which is bigger: 6 or v?
6
Let c be 0*(-1)/(3 + -2). Let v be (3*(-4)/(-387))/(16/12). Does c = v?
False
Let t = 542072/6207 + 2/2069. Let a = 88 - t. Which is bigger: -25 or a?
a
Let w = 28/25 + -18/25. Are w and 194 unequal?
True
Let i = -0.095 - 0.805. Let q = -1.9 + 8. Let j = q - i. Is j bigger than 0.2?
True
Let v(y) = y**2 + 2*y - 5. Suppose -2*f - 20 = 3*f. Let m be v(f). Suppose 3*g - 6 - 3 = -3*a, 12 = m*a. Are 0 and g nonequal?
True
Let p be (-4 - -2)*(-2)/4. Suppose -5*q = -4 - p. Is -1/47 smaller than q?
True
Let q(a) = a**3 + 7*a**2 - a - 5. Let l be q(-7). Let y = -6 - -2. Let z be (2 - l)*2/y. Is -1/3 >= z?
False
Let f = -43 - -65. Let l = f + -19. Let y be 1 - l*(-3)/(-27). Is 2/33 > y?
False
Let n = 0.07 - -0.45. Let f = n - 0.62. Let l be ((-2)/(-10))/(8/(-30)). Is l not equal to f?
True
Let i = -8/7 - -33/35. Let t be (-12)/(-16)*8/3. Suppose -t*s = 2*s. Which is smaller: s or i?
i
Let l be (8/1)/1 + -4 + -56. Which is greater: -49 or l?
-49
Let j be (-17)/(-3) - (-2)/(-3). Let h(n) = n**3 - 8*n**2 + 14*n + 5. Let s be h(j). Let m be (10/(-18))/(-10 - -9). Which is greater: m or s?
m
Let n be (-27)/(-63) + 870/(-3962)*2. Is -1 at least n?
False
Suppose 0 = 2*b - 4*y - 8, -24 = 3*b + b + 2*y. Let x be (-20)/8 - (-6)/b. Let a = x + 2. Are a and -4/5 nonequal?
True
Let l = -28 + 27.8. Let z = l + 0.2. Is 14 <= z?
False
Let u(i) = -15*i - 90. Let g be u(-6). Is g less than 2/1155?
True
Let r = 15058 + -150839/10. Which is bigger: r or -27?
r
Let z = -154 + 228. Let j be (-148)/(-5)*((-3)/10)/((-48)/400). Is z at least as big as j?
True
Let z(r) = -r**3 + 6*r**2 - 5*r - 4. Let p be z(4). Let c be (-172)/112 + p/28. Are -1 and c unequal?
True
Suppose 2*w - 127 = v, 2*w = -2*w - 5*v + 261. Let z be ((-6)/(-8))/((-4)/w). Which is smaller: -16 or z?
-16
Suppose 0 = -8*m + 3*m + 150. Let b = m + -27. Let g be (b/4)/(-3 - 0). Is g at least as big as -11?
True
Suppose 0 = q - 0*q + 5*b - 26, 0 = b - 5. Suppose 0 = -7*n + 10*n. Suppose -17 = -4*l + p, n = -l - 2*p - 3*p - q. Is l equal to 5?
False
Let b be -11*(-2)/(-4)*2. Suppose 29*l + 156 = 17*l. Is l != b?
True
Let u = 1267/1143 - -1/381. Which is bigger: u or 2?
2
Let h = 108 - 124. Let c be (h/196)/(2 - 60/21). Are -2 and c equal?
False
Let c = -152/255 - 6/85. Which is smaller: c or 2.61?
c
Let q be 316/49 - 1 - 3. Let g = 4496/245 + q. Let k = g + -98/5. Which is bigger: k or 2?
2
Let t = -1051 + 1050. Suppose -3*v = -18 + 6. Suppose 6 = -v*n - d, d - 6 = 2*n + 3*d. Is n at least as big as t?
True
Suppose 2*v + 146 = 62. Is v >= -169/4?
True
Suppose q + 5 = 36. Let z be 274/(-8) - (-4 - -1 - 0). Let n = q + z. Which is smaller: -0.4 or n?
-0.4
Let m be (-83 - -88) + 28/2. Which is smaller: m or 21?
m
Let z(j) = -j**3 + 6*j**2 + 3*j - 8. Let y be (-6 - -14)*3/4. Let k be z(y). Is 8 >= k?
False
Suppose 9*s + 12 = 15*s. Which is smaller: 6/5 or s?
6/5
Suppose 98 - 644 = -13*d. Suppose -7*i + 160 = -3*i. Do i and d have the same value?
False
Let u = -131 - -131.084. Which is bigger: -2 or u?
u
Let b(l) = -2*l - 4. Let u be b(-2). Suppose 5*i = -3*y - 5, u = -y + 5*y. Is -1 equal to i?
True
Let j = -68 + 69. Let l(d) = d**3 - 3*d**2 + 2. Let k be l(3). Suppose k*h - 32 = -8. Is h not equal to j?
True
Let z = 0 - -6. Let i be 3/z*28/(-2). Let t be i/2 - (-11 - -11). Is -4 less than t?
True
Let r = 59 - 46.3. Let z = 10.7 - r. Is 2.2 smaller than z?
False
Suppose -4*k = -0*k + 12. Let m be 3/(-4)*(-2 - k)/3. Are 2 and m non-equal?
True
Let p = -849432905022029789/19136445062662522078 - -821/18688