22). Is h > y?
False
Let h(v) = v - 5. Let z be h(8). Suppose -7 = c + c - i, z*i + 9 = c. Let g be (-28)/(-9)*c/(-7). Do g and 4 have the same value?
False
Let r = 24 + -9. Suppose -3*b + r = -2*b. Let l be -5*(-3)/b*-3. Is l at most as big as -3?
True
Let f be 23/46 + 2*(-1)/(-4). Let m = 6 - 19/4. Is m != f?
True
Let r = -3 + -2. Let u = 4.6 + r. Let t = 0.5 + u. Are 2 and t equal?
False
Suppose 0 = -2*h - h - 6. Let y = 3 + h. Let o be (-1*3)/(y + 6). Which is greater: 0 or o?
0
Suppose 4*u = u - 3. Let k(v) = v**3 + 7*v**2 + 7*v + 5. Let n be k(-6). Let t = 1 + n. Which is greater: t or u?
t
Let x(z) = z**3 - 8*z**2. Let h be x(8). Let g be 2/3*(3 - h). Suppose -y = -g*y. Is -1/4 less than or equal to y?
True
Let o be (-102)/(-84) - 6/4. Suppose -d + 6 = 7. Is o != d?
True
Let u be 2*1/((-6)/(-45)). Let d(i) = i**2 - 5*i - 3. Let k be d(5). Let y be k/u - (-22)/60. Is 1 <= y?
False
Let o(m) = -2*m + 5. Let p be o(3). Which is smaller: 0 or p?
p
Let v be ((-18)/27)/(8/6). Let t = v - -3/14. Are t and -2 equal?
False
Let s = 366 - 2183/6. Let u = s + -7/3. Are u and 1 unequal?
True
Let a = 37 - 36. Suppose -4*d + 0*d + 4 = 0. Does d = a?
True
Suppose 0 = 4*t - 2*d + 94, 2*t + 3*d - 12 = -71. Do -1 and t have the same value?
False
Let d be 0/((-1 + 0)*-2). Is -6/13 > d?
False
Let l be 3*(3 + (-6 - -4)). Do l and 2 have different values?
True
Let p = 9 + -8. Suppose -3*t - 20 = -f, -t - t = -4*f + 40. Suppose 1 = f*g - 9*g. Which is smaller: p or g?
g
Let l be (-5)/(-4) + 4/(-16). Let m = -2 + 1. Let t = l + m. Is -1/9 at most as big as t?
True
Let z(f) = 4*f + 9 - 3*f - 4. Let s be z(-5). Let r be -2 + (s - -1)*0. Is r at most -0.1?
True
Let u = -7 + 8. Suppose u + 1 = 2*d. Is 3/2 bigger than d?
True
Let s = -312/5 + 63. Let k = 13 - 9. Suppose -k*f + 8 - 25 = -5*o, -o + 13 = 4*f. Which is smaller: s or f?
s
Let h be -3 - (3 + 96/(-15)). Let q = -9 + 15. Suppose q*n = n. Is n at least h?
False
Let j = -0.19 - -0.09. Let v = 0.31 + -0.01. Is j bigger than v?
False
Let w be ((-4)/5 - -1)/(-1). Is 1 at least w?
True
Let p = 21 - 13. Let c(s) = s - 6 - 2 - 1 + 1. Let t be c(p). Is t greater than 3/5?
False
Suppose -5*f - 5*w + 29 - 4 = 0, -w + 17 = 5*f. Let u = 9 + -9. Which is smaller: u or f?
u
Let k(z) = -z**3 + 16*z**2 + z - 8. Let s be k(16). Are s and 6 unequal?
True
Let h(l) = -l**3 - 2*l**2 + 2*l. Let v be h(-3). Is v at most 2?
False
Let n be 45/(-1)*(-36)/90. Is n bigger than 18?
False
Let y(w) be the third derivative of -w**4/24 - w**3/3 + 2*w**2. Let k be y(-2). Which is smaller: k or -1?
-1
Let f = -4 + 8. Suppose 0 = 5*d + z + 3, 7 = -f*z - 5. Do d and 0 have different values?
False
Let b be ((2/(-21))/2)/1. Is b equal to 1?
False
Let p be 2/10 + 9/5. Which is smaller: p or -2?
-2
Let c be (11 - 2) + 0 + -1. Suppose -5*s - c = -18. Suppose 0 = s*d + 2*d - 20. Is d > 6?
False
Let p be ((7 + -2)/5)/((-2)/(-20)). Is 11 < p?
False
Suppose -3*w + 10 - 4 = 0. Which is greater: w or 13/4?
13/4
Let p(x) = x**3 - 13*x**2 - x + 17. Let w be p(13). Which is bigger: w or 2?
w
Let f = 0.01 + 0.19. Let w = 0.23 - f. Let p = -1.03 + w. Is 0 greater than or equal to p?
True
Let o be 0/(-3)*2/4. Is o less than or equal to -15?
False
Let c = 16 - 24. Let d = c + 5. Let n = -8 + 6. Is d <= n?
True
Suppose 0 = m - 2*m + 13. Suppose -3*p = -p - 3*b + m, 27 = 2*p + 5*b. Let v(n) = -n - 2. Let l be v(-4). Is l at most as big as p?
False
Suppose 5*j - 2*c - 63 = -c, 9 = -3*c. Let m = j + -9. Is 4 equal to m?
False
Suppose 8*s - 5*s = -18. Let f = 13 + s. Is 5 greater than f?
False
Let s = 39 + -155/4. Is s at least as big as 1?
False
Let c be 8/5*(-5)/1. Let r = 6 + c. Which is greater: -0.4 or r?
-0.4
Let r be 2 - (1 - 1)/1. Let i be r - (-3 + 5)/2. Is -4 != i?
True
Let m = 34174306114 + -10047268755677/294. Let o = -77409 - m. Let y = o + 6/49. Which is bigger: y or 0.1?
0.1
Let r be (9/1110)/(2*(-12)/32). Which is smaller: r or -1?
-1
Suppose -c + 0 + 3 = 0. Let p(s) = s - 2. Let g be p(c). Which is smaller: -2/7 or g?
-2/7
Suppose -4*r = 2 + 2. Which is smaller: r or -1/30?
r
Suppose b + 0*b = 21. Let j be (b/(-9) - -2)/(-1). Is j less than -1/3?
False
Let b = 0 - 0. Let a(j) = -j + 3. Let x be a(b). Is x equal to 3/2?
False
Let q = -0.8 + 0.8. Which is smaller: q or 0.1?
q
Suppose 122 = -0*s - 2*s. Let h = 669/11 + s. Let x(d) = d**2 - 5*d. Let y be x(5). Is y greater than or equal to h?
True
Let q = 2 + -3. Let m be (-6)/28 - q/2. Suppose -4*w + 2 - 6 = 0. Is m greater than w?
True
Let n = -6 + 4. Let c = n + 2.4. Let h = -0.7 + c. Which is smaller: 0 or h?
h
Suppose -5*n + 0 + 5 = 0. Is 5/11 not equal to n?
True
Let d = 9 - -6. Let r = d - 10. Suppose 2*i + 10 = 4*i. Is r smaller than i?
False
Let p(d) = -d**3 - 11*d**2 - 14*d. Let i be p(-10). Let m be ((-4)/i)/((-2)/(-8)). Let y = 3 + -3.2. Which is bigger: y or m?
y
Let a = -1 - -1.2. Let b = 9 + -8. Is a at least b?
False
Let p = 880870620361/6078 + -144927713. Let a = p - -1/1013. Let c = a - -11/3. Is c <= 0?
False
Suppose 0 = -8*d + 6*d - 2. Let v be 1 + 0 + 5/(-3). Is v not equal to d?
True
Suppose -9 - 3 = -3*n. Are n and 5 non-equal?
True
Let y(t) = 3*t**2 - 2*t - 1. Let s = -3 + 5. Let o be (-1 + s + -2)/1. Let q be y(o). Does q = 5?
False
Let x(a) = a**3 + 4*a**2 + a - 4. Let j be x(-3). Suppose -j*q = -7*q + 10. Suppose c - 2*c + q = 0, -5*c = 4*n - 2. Are -2 and n nonequal?
False
Let m(o) = 2*o - 4. Let d(v) = -v**3 + 4*v**2 + 7*v - 7. Let x = 11 + -6. Let c be d(x). Let i be m(c). Which is smaller: 3 or i?
i
Suppose -p + 2*p = -2. Let j be p/3 - (-10)/6. Do j and 3 have the same value?
False
Let b(m) = 5*m - 12. Let y be b(5). Which is smaller: -2 or y?
-2
Let v = 89/6 + -31/2. Let n = -6.7 - -7. Is n bigger than v?
True
Let i be 63/(-3)*(-1)/3. Let d be 3*(1 - (2 + -2)). Suppose -5*p + d*x = i, -4*p + x - 4 = -3*x. Is -2 > p?
False
Let o = 29.7 - 31. Let x = o - -1.1. Do x and 2 have different values?
True
Let x = -75 - -1127/15. Suppose 3*s = 5*s. Suppose -3*p + s = i - 1, 0 = -2*p + 3*i - 14. Is x at most as big as p?
False
Let b(r) = 2*r - 11. Let z(v) = -3*v + 17. Let x(g) = 7*b(g) + 5*z(g). Let c be x(8). Is c less than 0?
False
Let n = 15 + -14. Suppose -2*l - 4*m = 2, l - 5 = 3*l + 3*m. Let k = -4 - l. Which is bigger: n or k?
k
Let u = -42/17 - -328/119. Let m = 5.9 + -5. Let s = m + -1. Is u bigger than s?
True
Let q(j) = 2*j - 3. Let t be q(4). Let n(d) = -d**3 - 3*d**2 - 3*d + 2. Let k be n(-2). Which is smaller: t or k?
k
Suppose 4*d = -4*r + 12, 2*d + 4 = -5*r - 5. Suppose d = 4*k, -4*h + k = -2*k - 26. Suppose -3*z + h*z = 5. Which is smaller: z or 2/3?
2/3
Let l = -4 - -4.13. Let n = l - 0.22. Does 1 = n?
False
Let u be (8/324)/((-20)/(-962)). Let r = 1/81 + u. Which is bigger: 2 or r?
2
Let r = -47 - -81. Let p be (-5)/15 - r/(-12). Suppose 8 = 2*h - 4*y, 0 = 4*h - y - 1 - 8. Which is greater: h or p?
p
Suppose 5*b - 2*a = -54, b + 2*a + 16 = -b. Let h be (-6)/b*(-10)/(-9). Which is smaller: h or 2/5?
2/5
Let p = 96 + -673/7. Is -1 <= p?
True
Suppose 1 + 4 = 5*t. Let k be ((-4)/t + 3)/1. Which is greater: 1/5 or k?
1/5
Let q = -96 + 381/4. Let t = -1.1 - -0.1. Let h = t + 0. Which is greater: h or q?
q
Let y = 2.078 - -0.022. Let j = y - 2. Let m = j - 0. Is m bigger than 0?
True
Let h be (-12)/(-42) - 2/28. Do h and 1 have the same value?
False
Let w = -14 - -11. Let j(u) = u. Let m be j(3). Suppose 0 = -2*o - o - 15, -5*r + 5 = -m*o. Which is bigger: r or w?
r
Suppose 3*r - 2*z + 3 = 0, -z = r + 3*r - 7. Is -2/17 not equal to r?
True
Suppose 4 = 5*h - 4*h. Suppose 5*c = -3*t - h, 4*t - 2*t + 5 = -c. Is -1 at least as big as c?
False
Let r be (-1 - 3 - -3)*1. Suppose 0 = 5*g - 0*g - 15. Suppose s = -g*s. Is s >= r?
True
Let c = -72 + 72.4. Do c and 11 have the same value?
False
Suppose 3*g = -10*g - 1612. Is g not equal to -125?
True
Let t be 2 + -1 + (-12)/(-3). Suppose 0 = -t*x + 5*s - 11 - 14, -14 = 4*x - 2*s. Suppose -3*j = 2*p + 4, 2*p + 1 + 3 = 5*j. Does p = x?
True
Suppose 0*t - 2*t + 4 = 0. Which is bigger: t or 7/5?
t
Let v(s) = -s**3 + 9*s**2 - 6*s - 16. Let d be v(8). Let l be 0*((-1)/(-1))/(-1). Is l greater than d?
False
Let u = -8 + 5. Let d = -21.9 - -25. Let w = u + d. Is w at most 4?
True
Let x = 1 - 1.08. Let c = x + 0.88. Let r = c + -1. Are 