4*h. Let r be b(4). Is m less than r?
False
Let y = -35 + 33. Which is bigger: y or -1?
-1
Let c be (-14 - -15) + 15/(-13). Which is smaller: c or -1?
-1
Let t be 0 + 244/80 + -3. Is 1 greater than or equal to t?
True
Let o be (47/7)/((-3)/4). Let h = o - -58/7. Are 4 and h equal?
False
Let z be (-66)/2*(-22)/(-33). Which is greater: z or -23?
z
Let k = 7 - 7. Which is greater: -2/7 or k?
k
Suppose -5*i - 15 = -0*i. Let d be 1 + i + 1 + 1. Which is greater: d or -3/10?
d
Suppose -4*d + 3*d = -2. Let g(l) = 2 + l + l + l**2 + 0*l**d. Let f be g(-3). Are f and 3 equal?
False
Let h be 11*4*1/4. Let m be 4/h*(-12)/8. Is m smaller than -1?
False
Let w(l) = 3*l - 7. Let j be w(3). Which is smaller: -2 or j?
-2
Let c be (-21)/2 + 21/(-14). Let q = c + 12. Let r be -3*1/((-3)/(-2)). Which is smaller: q or r?
r
Suppose y - 60 = -3*y. Let o = y + -31/2. Let q be 1/36 + (-6)/(-27). Which is smaller: q or o?
o
Let y = 1 + -2. Let b = -579/5 - -116. Is b less than or equal to y?
False
Suppose -a = -j + 2, 2*a - 4*a - 7 = -5*j. Let h be 3 - -5 - 2/j. Is 6 at most as big as h?
True
Let m = -3 + 8. Let l = 6 - m. Is 1/2 at least l?
False
Let a = 8 + -8. Are -3/17 and a equal?
False
Let r = 28 - 18. Let a = r - 9. Is 1 not equal to a?
False
Let j = -3 + 7. Suppose h = -j*h - 5. Let p(g) = 3*g. Let v be p(h). Which is bigger: v or -2?
-2
Let j = -10 + 9. Which is smaller: j or -1/5?
j
Let v(m) = -2*m - 1 - 1 - 2*m**2 + 0 + m**2. Let o be (2/5)/(2/(-10)). Let p be v(o). Is p greater than or equal to -2?
True
Let b = 117 + -120. Is b less than -9/4?
True
Suppose 0*z = -z + 6. Which is smaller: z or 5?
5
Let b = -127 - -112. Is b less than or equal to -31/2?
False
Let z(b) = -b + 23. Let n be z(11). Which is bigger: n or 0?
n
Suppose 30 = 2*i - 5*i. Let q be 1 - 4 - (i - -6). Which is greater: q or 2/25?
q
Suppose -2*p - 12 = -4*d + 2*p, -2*p - 8 = -d. Let g = 4 + d. Do 3/5 and g have the same value?
False
Suppose -h - 26 = -2*h + 4*w, -2*w = 2*h - 62. Which is greater: 29 or h?
h
Suppose k - 2*y = 3*y + 3, 0 = 3*k + 3*y + 9. Suppose -4*m = m + 10. Is m at least k?
True
Let n = 62.1 - 62. Is 2 > n?
True
Suppose 8*c - 253 = -13. Is c at most 30?
True
Let h(f) be the second derivative of -f**5/20 + f**4/6 - 2*f**3/3 + 3*f**2/2 + 2*f. Let m be h(2). Which is greater: m or -4?
-4
Let k = 98 + -1861/19. Let d = k - -35/57. Let j = -24 - -19. Which is smaller: d or j?
j
Suppose -d = 3*d - 12. Suppose 16 = 5*a + 5*p - 14, 0 = -4*a - 3*p + 20. Is a != d?
True
Let f = 2/5 + -29/10. Let s = 6 + -10. Are s and f unequal?
True
Suppose -3*g - 44 = -47. Which is smaller: g or 3/43?
3/43
Suppose -6*s = -4*c - s + 1, -5*c - 6 = s. Let u = -0.1 + -1.1. Which is smaller: c or u?
u
Suppose -4*p = -9*p + 10. Let l be 3/p - 1/2. Which is smaller: l or 4/5?
4/5
Let n = -20 + 23. Suppose 5*x + 2*c = 30, -2*x + 27 = x + 3*c. Suppose -x*p - 3*q = 7, p - 2*q - n = 9. Which is bigger: 4 or p?
4
Let w = 48 - 48. Which is bigger: -14 or w?
w
Let q be (13*-1)/(1/(-1)). Let u = q + -6. Suppose -2*z + 3*w = -19, 2*z - 5*w = 17 + 4. Which is greater: z or u?
z
Let j be (86/(-4))/(1/(-2)) - 4. Which is greater: j or 38?
j
Let q = 0.02 + -2.02. Let u = q + 2. Suppose 2*o - 2 = -0. Are u and o non-equal?
True
Suppose 27*s - 14 = 20*s. Let l = -0.2 + 0.2. Let i = 0 + l. Is i not equal to s?
True
Suppose -y = -1 - 0. Let h = -1.018 - -0.018. Which is greater: y or h?
y
Let r = -348 + 37929/109. Are -1 and r unequal?
True
Let p(m) = -m**2 + 2*m + 3. Let s be p(3). Let f be 0 + s + 1/3. Which is bigger: 3 or f?
3
Suppose -3*w - 2 = -5. Let f = w + 0. Is f greater than 2/13?
True
Let s = 0.03 - -1.97. Let d = s + 2. Let n = 4.2 - d. Is n at least -2/5?
True
Let w = -11/5 + 87/35. Which is greater: w or 0.2?
w
Let a = -2.3 + -8.7. Let r = a - -15. Is -1/3 >= r?
False
Let v(t) = -23*t + 8. Let i be v(-6). Let o = 581/4 - i. Is o equal to 3?
False
Suppose 10 + 0 = -10*u. Suppose -2 = -3*z + h, -5*z + 0*h - 6 = -4*h. Let d be 0 - (4/3)/z. Is u less than or equal to d?
True
Let n = -25 + 13. Let g = 7 + n. Let b be g/10*4/2. Is -1 greater than b?
False
Let g(u) = u + 2. Suppose v + 0*v + 2 = 0. Let y be g(v). Is y >= 3/10?
False
Suppose 2 = -5*n - k, -4*n + 2 - 4 = k. Suppose 2*x + 6 = 4. Which is greater: n or x?
n
Let w(i) = -i**2 - 4. Let s be w(0). Let m = s + 3. Let n = -0.1 - -0.2. Which is greater: n or m?
n
Let q = -3 - -4. Let k be (0 - (-2 + 3)) + q. Suppose -5*g + 4*x + 5 = k, g - 1 = -0*g + 5*x. Which is smaller: g or -2/13?
-2/13
Let f be -2 + 51 - 6/12*-2. Which is smaller: f or 48?
48
Let h = -61/10 + 28/5. Let l(t) = t**3 - 7*t**2 + 6*t + 2. Suppose 0 = -4*m - 4*c - c - 1, -c = 3*m - 13. Let i be l(m). Do i and h have the same value?
False
Suppose -3*z = 3*b, -7 = 5*z - 2*b + 7. Let p(f) = -f + 7. Let v be p(6). Let o be (z - -1) + (v - 2). Is 1 equal to o?
False
Let m = 1817/3965 - -1/305. Let g(p) = p**3 + p**2 + p. Let t be g(0). Which is smaller: t or m?
t
Let s be ((-3)/6)/(3/6). Suppose 4*c = 2*k + 2, -k - 18 = -c + 3*k. Is c > s?
False
Let r be ((0 + -1)*3)/(-2). Let a(d) = 5*d**2 - d + 1. Let s be a(1). Let j(k) = k**3 - 5*k**2 + 2*k - 7. Let h be j(s). Which is smaller: h or r?
r
Let n(d) = d**2. Let l be n(1). Let w(a) = -a - 8. Let v be w(-7). Let j be 2 + (2/v - -1). Are l and j nonequal?
False
Let n = -2627/8 + 328. Which is bigger: n or 1?
1
Suppose -5*w = 20, -5*a - 13 = w + 1. Let f be a/7 + 32/(-84). Does f = -0.1?
False
Let d = 5 - 1. Let c = 2 - d. Let l = 3 + c. Are l and -1 equal?
False
Suppose -5*a + 0*c - c - 6 = 0, -2*a + 5*c - 24 = 0. Suppose -16 = 4*f, 2*b - 6*b + 2*f = 0. Is a > b?
False
Let w be (15/10)/((-18)/(-15)). Let b = 5 - 2. Suppose 0 = b*q - 7*q + 8. Is w less than q?
True
Let y(z) = z**2 - 14*z + 17. Let k be y(12). Let v(q) = 2*q + 12. Let b be v(k). Suppose 0 = -2*j - j. Is j less than or equal to b?
False
Let p = 11 - 6. Let r = -5 + p. Let l = 2.9 - 3. Does l = r?
False
Let o be 2 - ((-7)/(-2) + -1). Let d be (-1186)/720 + 2 - 0. Let z = d + 1/45. Which is smaller: o or z?
o
Let c = 34 - 33. Which is bigger: 3/4 or c?
c
Let n = -17/495 - 12083/495. Let v = n + 74/3. Does -0.4 = v?
False
Suppose -2*y - 32 = -4*y. Suppose 5*t - 4*n = 3*t - 8, t + 3*n - y = 0. Suppose -o + 3*o + t = 0. Do -2 and o have the same value?
True
Let x = -157/574 + -1/82. Let p be 15 + -1 - (0 - 4/2). Which is greater: x or p?
p
Suppose 7 - 2 = s. Suppose 4*n = s*y + 25, -4*y - 2*n + 3 + 3 = 0. Which is smaller: -1/11 or y?
y
Suppose -23 = -2*i + 5*l, -2*i = -2*l - 11 + 3. Let a be 24/(-20) + (-1)/(-5). Is a < i?
False
Suppose -3*h = 4*v - 2*h + 2, v - 2*h = -5. Is 2 at most v?
False
Let w = -623 + 1847/3. Which is bigger: w or -8?
w
Let n be (-3)/1*(24/18)/(-1). Which is greater: n or -0.08?
n
Let r be 1/2 + 74/(-36). Let w = 143/12 + -497/36. Let h = r - w. Which is greater: h or 1?
1
Let x be (-10)/(-25) + 228/5. Let n be 8/(-24) + x/(-6). Which is bigger: n or -9?
n
Suppose 2*v - 4*c - 4 = 0, -2*v - 4*c = -4 - 0. Let a be -5 - v/4*-6. Let b = 1 - 3. Does a = b?
True
Let j(z) = z**2 - z + 1. Let n be j(-3). Suppose -2 = h - n. Which is greater: 10 or h?
h
Let k = -35.1 - -35. Is k > -30?
True
Let q be 144/27 + (-1)/(-2 + 5). Let z = -47/24 + 21/8. Is z < q?
True
Let d = -85 + 86. Which is bigger: d or 4?
4
Let g = 8/4709 + 408619/626297. Let d be (1 - 2)*(-28)/(-76). Let o = g + d. Is o greater than or equal to 1?
False
Let r(f) be the second derivative of -3/4*f**4 + 0 + 7/2*f**2 + 4*f + 1/20*f**5 + 7/6*f**3. Let l be r(8). Is 0.1 not equal to l?
True
Let b(z) = z - 6. Let x be b(-12). Let v be (4/6)/(21/x). Which is smaller: v or -1?
-1
Suppose 5 = -4*d + f, 7*f - 4*f = 5*d + 1. Let w be (-2 - -1)/(7/d). Is 1 >= w?
True
Let t = -2 - 13. Let v = -15.2 - t. Do v and 4 have the same value?
False
Suppose -8*l = -3*l + 5. Is -6/5 less than l?
True
Suppose 3*k + 0*k = 6. Suppose k*g + 2 = -2. Which is greater: g or 0?
0
Let h be (-34)/(-6) - (2 + 12/(-9)). Which is greater: h or 8?
8
Let r be 6/2 + 153/(-48). Which is bigger: r or -1?
r
Suppose k + 1 = 4*z, -5*z = 3*k - 0*k + 37. Let o = -8 - k. Which is bigger: 2/5 or o?
o
Suppose -3*q - 24 = -4*o - q, 2*q = 5*o - 30. Is 7 > o?
True
Let p be (6/(-14) + 0)/(66/(-1386)). Suppose 0 = 4*x - 4*b - 44, 4*b - 8 = -2*x + 2. Is p le