2 + 6 + 4*j + j + j**3 - j. Let w be v(-3). Is 2/3 at most w?
True
Let w(t) = -4*t - 29. Let q be w(-8). Let l be -4 + 39 + q + (-4)/2. Is l >= 35?
True
Let s = 2 - 2. Suppose -p + s*p - 3*j = -31, j - 21 = -p. Let z = 14 - p. Is -2 greater than z?
False
Suppose 0 = -5*g - 10, 0 = b - 3*g - 0*g + 40. Let u = b + 71. Let o be 15/u - 2/(-30). Which is smaller: 1/5 or o?
1/5
Suppose -5*t = -197 + 877. Which is greater: -137 or t?
t
Suppose -42 = -7*m + m. Suppose -3*l = -3*v - 39, -2*l + 5*v + 21 + 17 = 0. Let c = l - m. Is 2 at most c?
True
Let r be (3/18)/((-25)/(-1050)). Which is smaller: 33 or r?
r
Let f(t) = t**2 + 4*t + 5. Let d be f(-5). Suppose -c - 11 = r - 53, 2*r - d = 0. Which is bigger: 38 or c?
38
Suppose 52*w + 5*f + 3 = 49*w, 5*w + 5 = f. Is w greater than -6/5?
True
Let v = 483195/341 + -1417. Which is greater: 1 or v?
1
Let k = -53.5 - -54. Let r = -161 + 647/4. Do r and k have different values?
True
Let h = 21 - 1. Let p be -1*(3 - (-2 - h/(-4))). Let l be (1 - 7)/(33/(-6)). Which is smaller: p or l?
p
Let h = -27 + 29.5. Let l = -0.5 + h. Which is smaller: 0.2 or l?
0.2
Suppose -62*z + 500 = -616. Let u = 16 - -3. Which is bigger: z or u?
u
Let h be (-4)/(-14) + 12/(-91). Let v = -40034 - -40033. Is h equal to v?
False
Let k(t) = -8*t + 1. Suppose 4*j + 0*j = 4. Let q be k(j). Which is smaller: q or -6?
q
Let q be (8/(-6))/(26/117). Suppose -2*x - 3*j = 2*j + 2, -4*x - 26 = -j. Are x and q equal?
True
Let u be -1 + 0 - 3 - -4. Suppose m - 5*y + 53 = u, 6*y = 2*y + 4. Is m != -48?
False
Suppose -i = -u - 2*i + 3, -3*u - 7 = -i. Which is bigger: u or 9/29?
9/29
Let z = 51 - 47. Suppose 5*q + z*b = -132, 0 = 2*q + 4*b - 6*b + 42. Which is bigger: -25 or q?
q
Suppose -5*k + 3 = -2*k. Let z be (4 - (-410)/(-105))*3. Which is bigger: z or k?
k
Let l = 2.821 - 0.821. Which is greater: l or -0.105?
l
Let j = -24/227 - -24337/454. Let z = -56 + j. Are -4 and z equal?
False
Let s be (-674)/372*20 - 3. Let v = s - -118/3. Do 0 and v have the same value?
False
Let f = 1/116 - -6/145. Let c be 0*((-874)/(-966) - (-4)/(-7)). Which is smaller: c or f?
c
Let h be ((-26)/65)/(1 + (-44)/20). Which is smaller: h or 87?
h
Suppose 11*p - 395 = -428. Is p less than -39/10?
False
Let w = -8.491 - -8.4. Let y = w + 0.071. Is 3 < y?
False
Let w = -323.68 + 15.68. Which is greater: w or -1?
-1
Let y = 1015 - 993. Which is smaller: 7 or y?
7
Let q(d) = -d**2 - 6*d + 22. Let y be q(-10). Let k be 13/(-11) + (-17 - y). Is 1 <= k?
False
Let q(t) = -t - 3. Let v be q(-15). Suppose -16*x = -v*x. Which is greater: x or -2/185?
x
Suppose 14*q = 11*q + 9. Suppose -4*a + n + 1 = 4, -5*a + q*n + 5 = 0. Which is bigger: 0.03 or a?
0.03
Suppose -4*j - 4 = 2*v, 3*v + 3*j + 5 = 2*v. Suppose -8 = o - 5*r, 3*o + v*r - 8 = 3*r. Which is smaller: o or 1?
1
Let u = 4873 + -4860. Let y be 1 - 0 - -1 - -4. Is y at least as big as u?
False
Let g = -6253 + 1969697/315. Which is bigger: -1 or g?
g
Suppose -4*a + 5*x = 44, 0*a + 4*a = 2*x - 44. Let f(c) = -c**2 - 13*c + 1. Let q be f(-7). Suppose q = -2*i + 5*g, 2*g = i + 4 + 15. Is a < i?
True
Suppose 11*s + 23 = 111. Is -0.6 != s?
True
Let p = 1.5 - 1.27. Let j = p + -11.23. Let v = 1202/7 - 172. Is j != v?
True
Let i = -6245/6 - -1037. Let z be 20/(-6) - (-10)/(-15). Are z and i unequal?
True
Let d = -205 + 206. Is d at least 3/745?
True
Let b = -2 - 3. Let p be b/(-4 + 9/6). Suppose 2*w + 3 = -p*t + t, -4*t + 4*w = 0. Which is smaller: t or 1/7?
t
Let q be (3 - 9)*(-1)/(-2). Let c be q + 0 - (14 + -20). Suppose -o - 4*o = c*r - 20, -o - 3*r + 4 = 0. Are o and 4 equal?
True
Suppose -5*z + 65 = -2*y, 2*y - 3*z + 137 = -2*y. Let x = y + 33. Which is bigger: -2/3 or x?
-2/3
Let b(v) = 65*v**2 - v - 2. Let w be b(-1). Are w and 65 non-equal?
True
Let l be ((28/(-1470))/(-1))/((-2)/(-3)). Which is greater: 0 or l?
l
Let w = -280 - -354. Which is greater: w or 0?
w
Let k(h) = -6*h - 17 + 0*h + 8*h. Let b be k(9). Let n = 9 - 6. Which is bigger: b or n?
n
Let c = -3 + 9. Let w be c/24 - ((-98)/328)/(-1). Which is smaller: w or 0?
w
Let h(g) = -g**3 + 8*g**2 - 13*g + 7. Let j be h(6). Suppose -3*t - 4 + j = 0. Let a(k) = k + 1. Let w be a(-2). Are w and t non-equal?
False
Let w = -5.8 + 22. Is 0.1 != w?
True
Let w be ((-12)/3)/(-4 - 76/(-20)). Let r be 1*-3 - (w/(-2) - -3). Which is smaller: r or 3?
3
Let j = 1 + -1. Let t be (320/25)/((-1)/5). Let b be (-6)/27 - 0 - t/207. Is j <= b?
True
Let v be (-30)/40*(-136)/(-867). Let g = 88/3 - 30. Is g > v?
False
Suppose n + 256 = 2*n + l, 8 = 4*l. Let x = 1775/7 - n. Are 1 and x equal?
False
Suppose 5*q + 215 = 2*z - 157, -2*z + q = -364. Is z less than or equal to 180?
False
Let a be (2 - 2)/(-3) + -10. Let g = 27 + -4. Suppose -h + 4 = 3*z, -5*h = 5*z + 7 + g. Which is smaller: h or a?
h
Let t(f) = f**2 - 10*f + 14. Let x be t(6). Suppose 0 = 5*q - 25, 2*q - 28 = 3*n + 12. Is x less than or equal to n?
True
Let w be 9 + -2 - -1*451/(-66). Is 20.1 <= w?
False
Let w be (-1 + 2)*(-3)/9. Let i(b) be the second derivative of b**4/12 + 7*b**3/6 - 15*b. Let u be i(-7). Are u and w unequal?
True
Let x = -0.8 - -1. Suppose 6919*r = 6915*r + 36. Which is greater: x or r?
r
Let l = 1524400/61327 + 2/8761. Is l greater than 24?
True
Let g = -0.1096 - -0.0196. Let h = 5 + -3. Which is smaller: g or h?
g
Let w be (-5 + 10/(-14))/((-4)/14). Let k = 51 + -33. Do k and w have the same value?
False
Let h be -1 - (8448/(-2118) - -3). Which is bigger: h or 1?
1
Let y = 190 + -190.89. Let o = 98.89 + y. Is -0.1 bigger than o?
False
Suppose 124 = -5*d + 4*t - 876, -d - 5*t = 171. Is -196 less than d?
False
Suppose -a + 62 = 2*z + 3*a, -16 = -z + a. Suppose x - z = -3*q, x = -x - 2*q + 34. Which is greater: x or -0.1?
x
Suppose 2*g + 4*q + 24 = 0, -2*g - g = -q + 43. Let r = 23 + g. Is 6 > r?
False
Let u = 2739/331114 - 2/2471. Let b = 4 + -5. Is b smaller than u?
True
Let b(m) = -14*m - 7. Let l(d) = 9*d + 5. Let c(p) = -5*b(p) - 8*l(p). Let w be c(5). Which is bigger: w or -14?
-14
Let g(n) = 6*n - 6. Let x be g(1). Is -44 > x?
False
Suppose -c - 4*o + 431 = 0, -7*c + 1307 = -4*c - 2*o. Let y be (-102)/c - 7/(-35). Is y equal to -1?
False
Let o = -0.101 - -47.101. Let c = o + -55. Are c and 0.4 unequal?
True
Suppose 3*m - 139 = 5*h, 3*m - h - h - 142 = 0. Is 42 != m?
True
Let w = -1.7 - -1.1. Let p = -1.188 + 0.188. Which is smaller: p or w?
p
Let s = 9 + -7. Suppose t + s = -t. Let a = 0 + -2. Which is smaller: t or a?
a
Suppose -8 = -12*f + 10*f, 3*h = -3*f - 9. Is h less than 21?
True
Let a be (-10 - (-13413)/1343)/(1/22). Do -1 and a have different values?
True
Suppose -3*r = n - 7 - 13, 22 = 2*n - 3*r. Let l(m) = m**3 - 10*m**2 - 24*m - 15. Let w be l(12). Let i = n + w. Which is bigger: i or 2/7?
2/7
Let u = 49.8 - 50. Let s = 2 - 2.02. Is u > s?
False
Let l(i) = 5*i - 3. Let w be l(3). Let g(p) = p**3 - 12*p**2 + p - 15. Let x be g(w). Let n(o) = -2*o + 6. Let m be n(4). Do x and m have different values?
True
Suppose 5*j - 13 = -5*a + 2*j, -2*a + j = -3. Suppose a*v = -v. Suppose w = -v*w - 3. Which is greater: w or -3/2?
-3/2
Let q(p) = -p**2 - 4*p - 72. Let a be q(-12). Are 1 and a non-equal?
True
Suppose -3*u - 3*y + 8 = -1, 0 = 4*u + y. Which is bigger: 35/3 or u?
35/3
Let f = 8 - 9. Let n = 83 - 247/3. Which is smaller: n or f?
f
Suppose -2*x + 7*x = -5. Let k = x - -3. Let h be ((-2 + k)/(-3))/2. Which is smaller: h or -2/17?
-2/17
Suppose 1 - 1 = -4*w. Is -24 less than w?
True
Suppose 0 = -23*n + 37*n + 1400. Is n at least as big as -98?
False
Let u be 5096/24464 + 1/(-2). Let d = u - 10/139. Is 0 at least as big as d?
True
Suppose 3*l - 438 + 102 = -3*k, 0 = -4*k - 5*l + 447. Let b = k + -83. Is 31 smaller than b?
False
Let m(f) = f + 8. Let k be (-3 + (-10)/1)*1. Let x be m(k). Let w = 5 + x. Which is bigger: w or -5/4?
w
Let w = -259/6 - -2197/51. Which is bigger: w or 4/7?
4/7
Suppose -3*o = -255 - 99. Is o != -2?
True
Let k(u) = 13*u**2 + 18*u - 33. Let v be k(4). Is v smaller than 1236/5?
True
Suppose 5*s = -9*l + 6*l - 248, -s + 404 = -5*l. Which is smaller: -74 or l?
l
Let k = 633/2075 + -1/25. Which is greater: k or 0?
k
Suppose 3*d - 6 = 4*p - 0*d, -3*p + 4*d = 8. Suppose -2*s + 22 = -20. Let n = 20 - s. Is p at least as big as n?
True
Suppose 5*q - 2*p + 18 = 0, 5*q + 25 = -2*p