.27. Is r at least 39?
False
Let d = 0.05 + 0.35. Which is smaller: d or -4?
-4
Let v = -1.7 - 1.3. Let x be 4/(-2)*(-2)/(-16). Is x > v?
True
Let c = -715 + 720. Let w be (-38)/(-8) + -2 + 1. Is w at most as big as c?
True
Let c = 6 + -3. Suppose 5*h + 2 - 5 = -2*u, c*u = 4*h - 7. Let p = u + 1. Is p <= -1?
False
Let j(h) = -2*h**3 - 4*h**2 - 2*h + 2. Let t be j(-2). Let a be (1/3)/(2/t). Is a greater than 3/4?
True
Let l(c) = -c - 12. Let p be l(-10). Suppose -2*b + j + 4 = 0, -2*b - j - 2*j = 4. Let r = b - p. Which is greater: 5 or r?
5
Suppose -5*k + 27 = -3*a, -4*a + 7 = k - 3. Suppose 5*i - 27 = 4*o, -k*i + 12 = o - i. Let h be (4/6)/(5/o). Which is smaller: -0.1 or h?
h
Suppose -3*f - 19 = 2*w - w, w + 3 = -f. Let n = -11 - f. Let k = n + 1. Are k and -1 equal?
False
Let l = 0.17 - -8.83. Which is greater: l or -1?
l
Suppose 0 = -2*b - 4*p + 24, -2*b + 20 = 4*p - p. Suppose 12 + b = -j + 4*z, 5*z = -5*j - 30. Let q be (-16)/78*(-6)/j. Is q < 1?
True
Let c be (-15 - -13)/(2 + (2 - 6)). Is 1/15 at most c?
True
Let b be ((-12)/30)/(20/15). Is 1 <= b?
False
Suppose -4*z + 6*z = 2. Let f be (z - (-2)/(-5))*1. Let q(m) = m**3 + 7*m**2 + 8*m - 10. Let t be q(-5). Which is smaller: t or f?
t
Suppose 0*s - 7 = h - 2*s, 0 = -4*h - 3*s - 6. Which is smaller: h or -9/5?
h
Let r be 1/(3 - 38/4). Let x(a) = -a + 5. Let y be x(6). Is r at least y?
True
Let c(q) = q**3 + 5*q**2 - 5*q - 1. Let i be c(-6). Let o be 2/i + (-120)/(-28). Is o at least 2?
True
Let f = -6 + 10. Let k(v) = v**2 + 11*v + 5. Let t be k(-11). Is f smaller than t?
True
Let x(u) = u**3 + 5*u**2 - 9*u - 2. Suppose w + 18 = -2*w. Let r be x(w). Let d be r/(-60)*(-6)/4. Is d > -0.3?
True
Suppose 2*j = -2*y - j + 10, -5*y + 4*j + 48 = 0. Let o = -11 + y. Let l = -2 - o. Which is smaller: -1/2 or l?
-1/2
Let o = -33 - -33. Which is greater: o or 3.2?
3.2
Let p be 48/(-33) - 7/(21/(-6)). Which is bigger: 2 or p?
2
Let w be (-24)/(-9)*(-6)/10. Let a = w + 71/35. Suppose 5 = 4*u + 1. Which is smaller: a or u?
a
Let f = -0.29 + 1.29. Which is greater: 34 or f?
34
Let w = 1139/5 + -274. Suppose 5*h + z - 224 = -z, 9 = -3*z. Let g = w + h. Is 1 at least as big as g?
True
Let d = -14.1 + 9.1. Which is greater: d or 1.9?
1.9
Let t = 9 + -7. Suppose -t + 1 = a. Let v = 3 - 5. Is a != v?
True
Let z = 207/985 - 2/197. Is 5 at most z?
False
Let r = -2 - -2.1. Let k = -0.5 - 5.5. Let v = 5.9 + k. Which is smaller: r or v?
v
Let d = -71.1 - -71. Is d not equal to -0.066?
True
Suppose 0 = r + 4*z, 0*r = -4*r + z. Let m(i) = i**3 - 2*i**2 + 2*i - 3. Let n be m(2). Is r at least n?
False
Suppose 26 = 4*j + 10. Let z = 1 - 6. Let s = z + j. Is s < 1?
True
Let n = -2 + 0. Let j be n/12 - (-150)/468. Is 0 <= j?
True
Let y = -18 - -15. Let f(r) be the second derivative of -r**4/12 - r**3/2 - r**2 - r. Let n be f(y). Which is smaller: n or -3?
-3
Let s(i) be the second derivative of -i**4/12 + i**3/3 + 9*i**2/2 + 8*i. Let d be s(4). Is -2/83 > d?
False
Let k be 2/(-1 + (-2 - -6) - 2). Are -14 and k unequal?
True
Suppose 5*j + 0*k = -k + 324, -4*j + 236 = -5*k. Let f be 1 - j/(-28) - 3. Is 0.1 less than or equal to f?
True
Let i = -51379/4355 + -2/871. Which is greater: i or -12?
i
Suppose 4*v - 2*v - 6 = 0. Suppose 2 = t - v*t. Let g = -3 - -2. Is g > t?
False
Suppose 0 = 4*m - 12 + 4. Let v(o) be the first derivative of -o**3/3 + 2*o**2 - 3*o + 2. Let f be v(m). Is -1/7 less than f?
True
Let k = 0.042 + -0.142. Is 7/8 at least as big as k?
True
Let p = -1.02 + 0.12. Let x = 1 + p. Let g = 25 - 49/2. Is g at most x?
False
Suppose r + 0*t + 9 = 3*t, 4*t = -r + 12. Let h(n) = n**2 - 3. Let p be h(r). Which is smaller: p or -7?
-7
Let f = 0.2 + 11.8. Let i = -12 + f. Which is smaller: -2 or i?
-2
Let q(k) = k**3 - 6*k**2 + 4*k + 4. Let x be q(4). Let s be 2/x - (-5 + 4). Are 0 and s nonequal?
True
Suppose -r + 7 = -3*m + 4*r, 0 = -5*m - r + 7. Is m smaller than -8?
False
Let a be 131*2/12 - (-5)/(-15). Is 21 <= a?
True
Let x(p) = -p**3 + 10*p**2 + p - 4. Let f(d) = d**2. Let i(g) = -5*f(g) + x(g). Let u be i(5). Which is smaller: u or 4/7?
4/7
Let b be (-5)/(-10) + (-7)/10. Let q(w) = -4*w - 1. Let c be q(-1). Suppose -6 + 3 = -c*x. Which is bigger: x or b?
x
Let u = -10 + 1. Suppose 18*n = 23*n + 45. Is u >= n?
True
Suppose 128 = -6*x + 8. Do x and -18 have the same value?
False
Let i = 189 - 2459/13. Let f(k) = k**2 + 2*k - 4. Let l be f(-3). Let x = 1 + l. Which is bigger: i or x?
x
Suppose -2*d = -d - 10. Let a be ((-3)/(-9))/(d/(-6)). Let u(y) = -y**2 - 5*y. Let f be u(-5). Which is smaller: a or f?
a
Suppose 0 = 16*u - 17*u + 10. Let i = u - 10. Is i < 4/7?
True
Let d(a) = a**2 - 3*a - 3. Let y be ((-16)/10)/((-12)/30). Let s be d(y). Let o = -11/80 + -1/16. Which is bigger: s or o?
s
Suppose 4*x = -12, -o + 3*o - 5*x - 39 = 0. Suppose 2*h - o = -4*a, a - 5*a = -5*h - 40. Are -4 and h non-equal?
False
Let n = 0.91 + 0.09. Let p = n - -1. Suppose -6*y + 7*y = 0. Do p and y have the same value?
False
Let f = 41 + -21. Suppose -f + 2 = 5*s + 2*r, 0 = -3*r - 12. Do 1 and s have the same value?
False
Suppose -2*f - 2*l = -6*l - 4, 2*f - 3*l - 2 = 0. Let c = 2 + f. Which is smaller: c or -2/29?
-2/29
Suppose 4 = -3*j - 5. Let n = 1 + j. Let p be (-39)/15 - n/(-5). Which is bigger: 0 or p?
0
Suppose 3*r = -r - 8. Let z be (6/9)/(r/(-15)). Do z and 6 have the same value?
False
Suppose -2*b - 6 = -u, 3*u + b - 4 = -14. Let w be (-3)/5*u/(-3). Let c be (-2)/(-18)*3*-3. Which is greater: w or c?
w
Suppose -2*z = z + 15, -5*h + 3*z = -55. Is h equal to 8?
True
Let m = -3 - -5. Let z = -11 - -12. Is z equal to m?
False
Let c(v) = 2*v - 4. Let p be c(3). Let a = p + -3. Let h be (-7)/14*(5 + a). Which is greater: -1 or h?
-1
Let s = -346 + 8652/25. Suppose 0 = -v, 4*p - 2*v - 3*v + 4 = 0. Which is smaller: p or s?
p
Suppose 0 = -5*z + 3*z + 24. Let m be (-2)/z*-2*0. Is m bigger than 1?
False
Let a(h) = 4*h**3 - h**2 - 2. Let f be a(2). Let z be 2 - 1 - 212/8. Let o = z + f. Which is smaller: o or -1?
-1
Suppose 0 = -2*h - 2*d - 12, 3*h - 2*d + 22 = -11. Do h and -8 have different values?
True
Let h(i) = i**3 - 2*i - 1. Let b be h(-1). Let f = 37 - 405/11. Which is smaller: f or b?
b
Let c be ((-3)/(-4))/((-2)/(-8)). Let h(z) = z**3 - 6*z**2 - z + 8. Let g be h(6). Does g = c?
False
Let b = -10 - -6. Which is bigger: -5 or b?
b
Let h = 0 - 0.1. Let z = h + 0. Is z smaller than 1?
True
Let o = -77 + 80. Is o not equal to 0.01?
True
Suppose 0 = 3*w + 2*w - 5. Let x be (-1)/3*(306/(-114) + 3). Is x != w?
True
Let u be (11*-1)/(3/(-21)). Let m be (u/28)/(1/(-4)). Is -11 at least as big as m?
True
Suppose -1 = 3*p - 7. Let k be p/30*3*1. Does -1 = k?
False
Suppose 0 = -5*p - 3*u - 47, 3*p = 2*p + 5*u - 15. Let c be (3/(-7))/(15/p). Is 2 at most c?
False
Let l(z) = -z - 6. Let a be l(-7). Which is smaller: a or 0.01?
0.01
Suppose -t - t - 2*j + 2 = 0, 8 = 4*j. Which is bigger: t or 0.02?
0.02
Let l be (1 - 15/(-4)) + -4. Suppose 0 = -4*s - 5*w, 8 - 43 = 3*s - 5*w. Let n(o) = o**3 + 4*o**2 - 4*o + 5. Let h be n(s). Are l and h non-equal?
True
Suppose -4*z = z + 2*k + 55, -5*k = -3*z - 33. Which is bigger: z or -10?
-10
Let z be ((-70)/85)/((-4 - -2) + 3). Is -1 at least z?
False
Let v be 8/12*86/148. Let j = v - 2/37. Is -0.4 bigger than j?
False
Let j = -13/85 + 6/17. Which is greater: j or -1?
j
Let c be (-10 + 23)*2/(-10). Which is greater: -1 or c?
-1
Let c(z) = -z + 2. Let o be c(2). Suppose -2*w - 6 + o = 0. Is w < -3?
False
Suppose 2*s - 4*n + 24 = 0, 3*s - n - 6 + 22 = 0. Let l be -4 - s/(-1 + -1). Which is bigger: -5 or l?
-5
Let i be 82/310 + (-1)/5. Which is smaller: 1 or i?
i
Let r = 0.071 + 3.029. Let g = r - 3. Which is bigger: 1/2 or g?
1/2
Let w = 41 + -41.22. Is 0.1 at least as big as w?
True
Let k be (1 - 45/12) + 3. Let f = -1.5 - -1.3. Which is smaller: f or k?
f
Let u = 29 + -40. Let g = u - -16. Let o = 4 - g. Are o and -1 non-equal?
False
Let m be ((-3)/(-18)*-10)/2. Which is bigger: -2 or m?
m
Let r = 362/3 - 122. Which is smaller: 0 or r?
r
Suppose -3*l - 2*l = 0. Let f = -227 + 227. Is f less than l?
False
Suppose -6*g = -3*g. Let x be (-5)/2*(-6)/5. Let u = g - x. Is -3 > u?
False
Suppose 3*h - h = -4*y - 20, 5*h + 2 = 2*y. Let i = y + 16. Suppose 3*c = -c - i. Do -0.1 and c have the same value