). Are 30/13 and x nonequal?
True
Let p be 10026/(-4)*(-34842)/9. Let i = p - 113142774421/11660. Let s = 3/220 - i. Is s smaller than 0?
True
Let x be 3/(((15/(-3))/5)/1). Let r(f) = f**2 + 3*f + 1. Let p(y) = -y**2 - 3*y. Let c(z) = 3*p(z) + 2*r(z). Let q be c(x). Which is greater: q or 1?
q
Let h(x) = x**3 - x**2 + 2*x + 4. Let i be h(5). Let p = -1363/12 + i. Let v = p - 3/4. Do v and 0 have the same value?
False
Suppose 0 = -4*c - 2*d - 52, 0*d + 16 = -4*d. Which is smaller: c or -35/3?
-35/3
Suppose -3*f + 12 = -z + 2*z, -3*f + 21 = 4*z. Let k be -1*z/(-6)*(-12)/142. Is -1 at least as big as k?
False
Suppose 3*k = 2*n - n - 71, -68 = 3*k - 4*n. Let m = -70 + 160. Suppose 5*a - 24 = 1, -3*b + 3*a = m. Do k and b have the same value?
False
Let j(n) = n**3 + n**2 - 2*n + 1. Let f be j(1). Let g be ((1 + 2)/(-3))/f. Which is smaller: g or -2/105?
g
Let b = 522 - 524. Let v = -965/7 - -137. Which is smaller: v or b?
b
Let w = -91 + 91.3. Which is smaller: w or 5?
w
Suppose 20 = 27*t - 25*t. Let g be -2*(-5 + 1)/2. Suppose g*m = -4*f + 24, 2*f + t = -0. Is 10 > m?
False
Suppose 2*v - 2 = 2*n - 18, -3*v - 2*n = 4. Let w be ((-68)/v)/(2/2). Suppose 4*b - w + 5 = 0. Which is smaller: b or 0?
0
Let o = -126/61 + 24257/11773. Is 1 smaller than o?
False
Let c = 19/4 + -277/60. Let i be (1 - -2)*6*1. Let d be 4 - (i/2 - 4). Which is smaller: c or d?
d
Let s(o) be the second derivative of -o**5/20 + 2*o**4/3 + 3*o**3/2 + 5*o**2/2 - 2*o. Let w be s(9). Suppose g - w = -3*z - g, 5*g - 5 = 0. Is z != -1?
True
Let n = 15 + -12. Suppose -n*y + 0 + 3 = 0. Let a be (-2)/(-2) + 10/(-12). Which is bigger: a or y?
y
Let f(o) be the third derivative of -o**6/120 + 7*o**5/60 - o**4/24 + 2*o**3/3 - 4*o**2. Let l be f(7). Suppose 9*a - 7 = -25. Is a not equal to l?
True
Let p(j) = 23*j - 160. Let y be p(7). Let i be -9 + (0/2 - -1). Let v = i - y. Is -10 at most v?
True
Suppose 0 = -a + 2 - 1. Let j = -1141/549 - -19/9. Which is bigger: j or a?
a
Suppose -30*g = 7*g - 1036. Which is smaller: 45 or g?
g
Let b = -1186 - -1185.8. Suppose o + 5*s = -0*s + 14, -5*s = -15. Let m be -1*(-5)/7 + o. Which is greater: b or m?
b
Let y be (-104)/(-5) - 17/85. Let d be (-4)/(24/15)*294/(-35). Is y greater than d?
False
Let t be (-5)/(-2)*(-24)/(-20). Suppose -t - 15 = -2*j + 5*g, j - 12 = g. Let c be (-30)/(-16)*j/35. Is c less than or equal to 7?
True
Suppose a = 4*a - m + 6, 0 = -m + 3. Let o(w) = -15*w - 14. Let t be o(6). Let x = -935/9 - t. Is a > x?
False
Let s = -4 + 13. Let d = s + -5. Let n = 631/254 - -2/127. Is d > n?
True
Let m = -320 + 388. Which is smaller: 69 or m?
m
Let w = 8.58 + -9.03. Is w < -1/2?
False
Let m(z) = -165*z**3 - 2*z**2 - 3*z - 2. Let y be m(-1). Suppose -4*w + y - 12 = 0. Suppose -6*r = w + 4. Are r and -7 nonequal?
False
Let l = 109 + -143. Let j = l - -28.1. Does j = -1?
False
Let t be ((-12)/(-5))/((-1)/(-5)). Suppose 4*y = t + 8. Suppose -2*k = -0*k - u + 4, y*k + 4 = u. Which is greater: k or 3?
3
Suppose 4*k - 244 = 4*y, 2*k - y - 125 = -0*k. Let d be k/20 + 2/(-10). Let j be (0 - -1)*d/(-9). Which is bigger: -11 or j?
j
Let d = -54 - -62. Suppose 5*k - 4*z - 2 = -d, -1 = z. Are k and -15/16 equal?
False
Suppose 109 = 15*s - 71. Are s and 178/15 equal?
False
Suppose -4*j = -0*u + 4*u - 20, j + 4*u - 14 = 0. Is 3/5 < j?
True
Suppose -3*n + 163 = -b, 214*n - 212*n - 3*b = 111. Which is bigger: 45 or n?
n
Let t be 14/49 - 13070/28. Let a = t - -456. Is -12 >= a?
False
Let q = -2.5 + -4.1. Let n = q + 6. Let m = 4.9 - 5. Which is bigger: n or m?
m
Let o be 0/((-1 + 2)*-2 - 0). Let v = -50 - -80. Which is bigger: v or o?
v
Let w = -207 - -206. Which is smaller: w or 126?
w
Let g(z) = 22*z + 41. Let v be g(-2). Does -0.8 = v?
False
Let d(q) = -q**3 - 6*q**2 + 4*q - 7. Let u be d(-7). Suppose -5*p = -3*h + 54, 2*h - 32 = 2*p - 0*p. Which is smaller: h or u?
h
Let v(c) = -4*c - 15. Let o be v(-5). Let w = 31/6 - o. Do 0 and w have the same value?
False
Let m(p) = -6*p + 62. Let t be m(14). Which is greater: -43/2 or t?
-43/2
Let m = 0.91 + 0.09. Let y be (1 + -4)*(6 + -7). Suppose y*c = -n + 1, -5*n + 5*c - 24 = -9. Which is smaller: n or m?
n
Let o = -4.14 - -2.14. Is 0.3 < o?
False
Let g(c) = 41*c**2 - 6*c + 3. Let j be g(1). Which is smaller: 33 or j?
33
Suppose u - 5 = 0, -i + 4*i - 2*u + 34636 = 0. Let w = 1719748/149 + i. Let q = -855/1639 - w. Is 0 at least q?
True
Let s = -8 - -5. Let m be (-18)/(-42) + s/3. Which is bigger: m or -2?
m
Let w be (-9*2/12)/(-117). Which is greater: w or 0?
w
Let w = -74 + 82.98. Let t = w + -9. Which is smaller: t or -0.1?
-0.1
Let v(q) be the second derivative of q**4/12 - 11*q**3/6 - 7*q**2 + 2*q. Let s be v(13). Let j(b) = b**2 - 13*b + 16. Let i be j(s). Which is smaller: i or 2?
2
Let g(u) = -25*u**2 - 2*u - 1. Let c be g(-1). Suppose -3*h + 7 = -n - 18, 25 = -n - 3*h. Which is smaller: c or n?
n
Suppose 6*h + 727 = 223. Is h <= -83?
True
Suppose 0 - 4 = -4*u. Suppose -q + u - 11 = 0. Let y be (-2)/q*(-14 - -12). Which is smaller: y or 1?
y
Let u(q) = q**3 - 4*q**2 + 5*q - 1. Let z be u(4). Let o = z - 16. Suppose o + 1 = -g. Which is bigger: -15/4 or g?
-15/4
Suppose -10 - 9 = -h - 4*q, 2*h - 10 = -q. Let s = -12 - -8. Let v = s + 5. Are h and v nonequal?
True
Let t = -47 - -179/4. Does -3 = t?
False
Let p = -42 - -53. Suppose -p*n = -14 + 25. Is n less than 1/11?
True
Let d = 28 + -38. Let s be (2*7)/((-56)/d + -5). Is s smaller than 23?
False
Suppose -5*u = f + 13, -2*f = 5*u + 9 + 7. Let q(k) = k**3 + 4*k**2 + 3*k + 1. Let t be q(u). Suppose -3*y = -2*p - 7 - 8, y = -2*p - t. Is -2 != p?
True
Let u(h) = h**3 - 5*h**2 + 5*h - 2. Let c be u(4). Suppose -3 = c*s - 5. Let a be (5 - s) + -3 + 8. Do 8 and a have the same value?
False
Suppose 2*q = -2*j - 2*q + 20, -2*j + 25 = 5*q. Suppose -3*z = -j*z. Are -2/15 and z nonequal?
True
Let q = -25 - -33. Let u be (-2)/(-5) - (q - (-10)/(-2)). Which is smaller: -2 or u?
u
Let r be (2/(-142))/(1/3). Is 0 at least as big as r?
True
Suppose -6*h + 6 = -0. Suppose -j - h = -a, j + 3*a = -3*j - 4. Which is bigger: j or 2/141?
2/141
Let c = 2.654 - 0.154. Is c not equal to -4?
True
Let l(x) = -x**3 - 7*x**2 + 17*x + 5. Let u be l(-9). Let n = u + 65. Is n > 80?
False
Let o = -1 + 2. Let i be (3/(-70))/(-12 - (-492)/42). Which is smaller: i or o?
i
Let q = -35.41 + 31.41. Suppose -y + 36 = y. Is q bigger than y?
False
Suppose -5*v + 33 = 2*f, 2 = -3*f + 3*v - 1. Are 0 and f nonequal?
True
Let k = 19 + -25. Let r be k/10 + 185/(-25). Let a be (-39)/9 - r/2. Which is smaller: a or -0.03?
a
Let i be (-6)/14*37828/(-147). Suppose 5*y - 2*j = -0*y + 547, -4*j = 4. Let g = i - y. Which is smaller: g or 0?
0
Suppose 2*m - 27 = -3*y + 20, -3*y + 15 = 0. Let j be ((-2)/8)/((-4)/m). Let d = 55 - 33. Is d at least j?
True
Let f = -203 + 428. Let j be 6/21 - f/(-21). Let n = 2 - j. Which is smaller: n or -8?
n
Let s = -3 + 10. Suppose b - 5*w + 4*w = -s, 3*b = 5*w - 31. Let k be -1*7/2*b. Is 8 > k?
True
Suppose 24*d - 9*d - 1995 = 0. Is 132 less than d?
True
Let p(o) = -o**3 + 12*o**2 + 11*o + 28. Let k be p(13). Let s be (-51)/6*(-4 + k). Let f be 4 - s*2/8. Is -3/8 <= f?
True
Let d = -17/32 - -895/1504. Which is smaller: 1 or d?
d
Suppose 4*p + 34 - 38 = 0. Let g = -13 + 10. Which is greater: p or g?
p
Let g = 1072 - 13926/13. Which is bigger: 1/2 or g?
g
Let d = 2.1 - 1. Let c = -3.9 + d. Let f = c - -0.8. Which is smaller: f or 0.2?
f
Suppose 0*a + 16 = a - x, -5*a + 2*x + 80 = 0. Suppose 0 = v - 5*v + a. Is v less than 26/5?
True
Let d(s) = s + 8. Let q(u) = u - u**2 - 9 + 5*u + 1 + 1. Let p be q(6). Let b be d(p). Is b at most as big as 9/7?
True
Let r = 7208/1050161 + -6/2113. Do 1 and r have different values?
True
Let k(t) be the third derivative of t**6/120 - 2*t**5/15 - 7*t**4/24 + 3*t**3/2 + 43*t**2. Let c be k(8). Is c equal to -48?
False
Let a be 16/(6/147*7). Are a and 1 non-equal?
True
Let r = -2/2199 + 46201/24189. Let j = 39/55 - r. Is -2 equal to j?
False
Let r = 36 + -47.4. Which is smaller: r or 1?
r
Let o = -2.5 + 2.14. Let a = 0.16 + o. Which is bigger: 0.06 or a?
0.06
Suppose -19*u = -21 + 230. Suppose 4 = -w - 7. Is w smaller than u?
False
Let o = 39636536/23 - 1725252. Let j = o + 1924. Which is smaller: j or -1?
-1
Suppose 5*u - 29 = 3*i, 25 = i - 