 30. Let g be (-4)/14 - 6/p. Is g greater than 2/17?
False
Let d(q) = -q - 1. Let m be d(0). Let h be (-2)/(-4)*(m - -1). Suppose 3*r - 4*r = h. Is -2 > r?
False
Let q(h) = -h**2 - 3*h + 10. Let j be q(-5). Suppose d + 0 - 1 = j. Which is bigger: 1/2 or d?
d
Let v(j) = j**2 - 2*j. Let p be v(2). Let w(n) = -n**2 - 5*n + 4. Let d be w(-6). Which is smaller: d or p?
d
Let w = -0.3 + 0.4. Let z be 24/3*(-2)/4. Let y be (3 + z)/(0 + -2). Is y less than w?
False
Let h = 2179/4 - 542. Which is bigger: 4 or h?
4
Suppose 0*f = -4*f + 4. Let c be 14 + -15 + (0 - -2). Let p be f + 108/(-57) + c. Which is bigger: 0 or p?
p
Let a = -98/9 - -3323/306. Which is bigger: a or 0?
0
Suppose -2 = 3*x + 7. Let j be 3 + 9/((-6)/(-2)). Suppose 2*u = 3*u + b + 2, 0 = 4*u + 5*b + j. Is u not equal to x?
True
Let c = -323/9 - -36. Which is smaller: -0.03 or c?
-0.03
Suppose -l + 5*b = 15, -3 = 4*l + 3*b - 12. Is 3/10 less than l?
False
Suppose 0*a = a. Is -6/11 <= a?
True
Let d(n) = 5*n. Let i be d(1). Let k = 5 + 0. Suppose -4*u = -u - 2*v + i, k*v = -3*u - 19. Is -2 greater than or equal to u?
True
Let u be (-4)/(-4)*(-10)/(-25). Is -1 less than u?
True
Let n(x) = -x**3 - 3*x**2 - 3*x. Let i be (-3)/(-6)*4/(-1). Let f be n(i). Is f greater than 3?
False
Let t = 189 + -377/2. Let i be (-2)/(-6) - 4/(-42). Which is greater: t or i?
t
Let m(o) = -o**2 + 15*o - 37. Let f be m(11). Let d(h) = 4*h - 2. Let g be d(2). Is f > g?
True
Let j be (-6*4/8)/(-3). Which is bigger: j or 11/16?
j
Let a be (3 - 1)*19/2. Is a < 20?
True
Let b be 2 + 3/3*-1. Let x(h) = h**2 + 2*h + 2. Let c be x(-2). Suppose 4 = c*s - 6*s. Is b > s?
True
Let k(p) = -p**2 + 9*p - 8. Suppose 5*j - 3*j = 2*i - 16, 5*j = 3*i - 28. Let q be k(i). Let n be (-3)/q*(-8)/6. Which is bigger: 1 or n?
1
Let c(o) = 4 - 3 + 4*o - 5*o + 0*o**2 - o**2. Let p be c(1). Which is smaller: -2 or p?
-2
Let u = -14 + 2. Is -1 < u?
False
Suppose 4*i + 5*u - 31 = 6*i, -3*u = -i - 16. Does -1 = i?
False
Let f = 26 + -28.4. Let g = -0.4 - f. Which is bigger: 3 or g?
3
Let s(x) = x**2 - x. Let h be s(3). Suppose 4*q - h = 2*q. Let v = 5 - 2. Are q and v non-equal?
False
Let k(w) = w**3 + w**2 - w - 1. Let m be k(0). Let d = 47 - 50. Which is smaller: d or m?
d
Suppose -t - 2*m + 38 = 0, -2*t + 58 = -4*m + 2*m. Let w be t/18 + (-4 - -2). Let j = 8 - 9. Which is smaller: j or w?
j
Let k = -370 - -15912/43. Is -1 >= k?
False
Let u be 52/8 + (-6)/4. Suppose u*v - 1 = -2*q, -4*q + 2*q = -5*v + 9. Is -1 not equal to v?
True
Let t be (-1)/1*(-7)/147. Are -1 and t unequal?
True
Suppose 0 = k - 5*w + 26, -3*k + 1 = 4*w - 16. Are -1/11 and k equal?
False
Let x(l) be the first derivative of -l**4/24 + l**2/2 - 2. Let a(h) be the second derivative of x(h). Let n be a(2). Which is greater: -1 or n?
-1
Let w = -1 - -1. Suppose w = -5*i - 3 + 8, 3*t - 3*i - 3 = 0. Which is bigger: 0.1 or t?
t
Suppose -2 = -5*x - 7. Is 2 not equal to x?
True
Let r be 2/1 - (1 + 0). Let x = -8717/21 + 415. Which is smaller: r or x?
x
Suppose 0 = -2*g - o - 10, -3*o + 0*o = -5*g - 3. Let n be -2 + (23/(-11) - g). Does -2 = n?
False
Let a = -349/10 - -69/2. Suppose -b - 3 = 0, -4*b = -4*p + 1 + 7. Let v(y) = y**3 + y**2 + y. Let k be v(p). Which is greater: a or k?
a
Let q be 4/(-6)*-6*3. Let u = q - 39. Let r be (-3)/(3*u/6). Which is smaller: r or 1?
r
Let n = -17.62 - -27.69. Let t = n + -10. Which is smaller: t or 0?
0
Suppose 0 = -0*z + 4*z + 368. Let a be (-5 + (-485)/(-90))*-236. Let g = a - z. Which is greater: 1 or g?
1
Suppose q = -3*c + 10, 0*c - 3*q - 20 = -c. Suppose 0 = -c*b + 9*b + 4. Is 1.1 at most as big as b?
False
Let x = 0 + 4. Suppose r - 6 = -r. Suppose 4*n = -3*w - 7, 2*n + 2 = w - r*w. Do x and w have the same value?
False
Suppose 0 = 5*b - 2*b - 12. Suppose 3*m - 12 = 3*a, 2*a = b*m - a - 12. Which is bigger: 1 or m?
1
Let l be 8/(-4) - (-18)/15. Let g = 13 + -12.9. Is l less than g?
True
Let t(n) = -n**2 + 3*n + 1. Let l be t(2). Let y be l + -4 + (-7)/(-9). Which is bigger: 1 or y?
1
Let p = -0.33 + 0.43. Which is bigger: -4/9 or p?
p
Let d = -124992/11 + 5499519/484. Let b = d - -2/121. Is -1 not equal to b?
True
Suppose 2*i - 4 = -2*i. Let u be (-2*1/10)/((-15)/120). Are u and i non-equal?
True
Suppose 7*k = 5*k - 92. Which is bigger: k or -45?
-45
Let w be (-3*(-5)/(-10))/((-1)/(-2)). Which is bigger: 1 or w?
1
Let v be (-2952)/(-9891) - (-2)/(-7). Does 1 = v?
False
Suppose -4*b - 25 = -9. Let l be (-438)/30 - (-2)/(-5). Let c(v) = v**2 + 14*v - 20. Let i be c(l). Which is bigger: b or i?
b
Let o = -18 - -232/13. Is o smaller than 2?
True
Let s be (-1)/4 - 16/(-64). Which is smaller: s or 5/46?
s
Suppose -v - 3*w = 17, -2*w + 17 = -5*v - 0. Let b(x) = -7*x**3 + 2*x**2 - 2*x + 1. Let r = -18 - -19. Let z be b(r). Is z smaller than v?
True
Let i = 1.7 + -1. Let k = i + -0.8. Which is greater: 1/2 or k?
1/2
Suppose -4 = 5*o - 2*f, 3*o + 2*f - 8 = -2*f. Let g be ((-30)/8)/(14/432). Let m = g - -116. Which is smaller: o or m?
o
Suppose 0*u + 36 = -4*u. Let m be u*((-15)/(-9))/(-5). Suppose 0*z + 6 = m*z. Is 2 greater than z?
False
Let i = 5982/7 - 856. Is 0 at least i?
True
Let w = -5 - -4.5. Let k = -0.56 - w. Let z = 1.94 - k. Which is smaller: 1 or z?
1
Let a(r) = r**3 + 12*r**2 - 15*r - 19. Let l be a(-13). Is 6 > l?
False
Let y = -449/378 - -4/189. Is -1 not equal to y?
True
Let f = 9.1 - 9.1. Let g = -11388 - -2049809/180. Let j = g - 1/20. Is j at least as big as f?
False
Let n = 12 + -13. Let s = 1 + -1.2. Is n at most as big as s?
True
Suppose 8*i = 6*i + 70. Which is smaller: i or 37?
i
Let o = -7/8 + 11/8. Let z(y) be the second derivative of -y**5/20 + 5*y**4/12 - y**3/2 - 3*y**2/2 + 2*y. Let s be z(4). Which is smaller: o or s?
o
Let r be -1 + 16/4 + -5. Let v be r/(-3 - (-3 - -2)). Is v equal to -1/3?
False
Let l be (18/7)/(21/98). Suppose -8*b + 4*b - l = 0. Do b and -3/2 have the same value?
False
Suppose 5*q - z - 9 = 0, -4 = -5*q - 5*z - 19. Let u be (-3)/1 - (q - 2). Let o be ((-2)/(-10))/((-2)/5). Are u and o equal?
False
Let w be (-26)/30 + 12/(-90). Are w and 2 non-equal?
True
Let b(l) = -2*l + 4. Let h(s) = -s**3 - 7*s**2 - 6*s + 2. Let u be h(-6). Let o be b(u). Is o >= 1/2?
False
Suppose 3*h = m - 23, -4*h - h = 3*m + 15. Is -6 bigger than h?
False
Let l = -61 - -58. Which is greater: l or 5/6?
5/6
Suppose -2*m + 6*m = -h - 10, -5*h - 67 = 3*m. Is h at most as big as -13?
True
Suppose p = -3*u + 3, -3*u + 0*u + 3*p + 15 = 0. Suppose -2*a - 3*c - u*c + 29 = 0, -5*c + 50 = 5*a. Is 7 != a?
False
Let a = -0.2 + 0.3. Let i = a - 2.1. Which is smaller: i or 2?
i
Let h(z) = 3*z. Let a be h(3). Let i(v) = -v + 3. Let s be i(3). Let d = s + a. Which is smaller: d or 8?
8
Let i(m) = -m + 3. Let q be i(4). Let y = -2/13 + -5/52. Which is greater: q or y?
y
Suppose 4*q = f - 178, 2*q + 5*f + 44 = -34. Let t be 26/q - 4/(-8). Is t less than or equal to 0?
True
Let p be ((-6)/(-8))/(3/(-72)). Let l be 3 - p/(-4) - -2. Which is greater: 2 or l?
2
Let f(x) = -x**3 + 6*x**2 + x - 7. Let u be f(6). Let o be 0/(1*u/1). Let q = -267 + 4003/15. Which is smaller: q or o?
q
Let f = 1 + -151. Let l be (-85)/f + (-2)/4. Is -1 >= l?
False
Let k = -4 + -1. Let h be (k/(-90))/((-1)/(-4)). Is 1 greater than or equal to h?
True
Let o = -8 - -2. Let l = 8 + o. Let t = l + -3. Which is greater: t or 3/8?
3/8
Let j = 48.1 + -52. Let t = 4 + j. Suppose -4*y - 2 = 2*q, 4*q = 4*y - y - 4. Which is greater: t or q?
t
Let p be ((-68)/(-40))/1 - 2. Is 1 at least p?
True
Let h(s) = s + 1 + 0 - 6. Let m(n) = n**3 - 4*n**2 + 3*n + 4. Let c be m(3). Let y be h(c). Is 0 at least y?
True
Suppose 0 = -f - 5 + 20. Suppose -4*j - f = j. Let r(t) = -2*t**2 - 5*t - 4. Let v be r(j). Is v greater than or equal to -7?
True
Let w be -24*((-84)/(-45))/2. Let o = 22 + w. Are 1 and o non-equal?
True
Let n be (-52)/(-39)*(-18)/(-8). Is 5 > n?
True
Suppose 3 = -3*n, -6*n - 2 = x - 3*n. Let m be 0 + x + (-5 - -2). Let l be (4/m)/(2 + 0). Does -2 = l?
False
Let q = -4 - 0. Let v be ((-4)/(q/(-3)))/1. Suppose 0 = -5*g + 6 - 1. Is g greater than or equal to v?
True
Let y be (-7)/5 + (-4)/(-10). Are 2/29 and y non-equal?
True
Let s = 0.3 - -1.7. Which is smaller: s or -1.3?
-1.3
Let h(d) = 0*d**2 + 0*d**2 + 5*d**2 + 2*d + 1. Let c be h(-1). Let w(o) = -o**3 + 7*o**2 + o - 