68. Suppose -2 = -2*v - 4*p, 6*v - 14 = v - p. Suppose 1 = q - 2*h - 0, -2*q = -v*h + 1. Which is bigger: m or q?
m
Let d = 82 + -33. Let m = 49.07 - d. Is 0.1 equal to m?
False
Suppose 5*v + 2 = 12. Suppose -v = -2*u - 10, -5*u = -3*q + 32. Is 3 <= q?
True
Suppose 0 = -5*h + 51 + 24. Is h >= 15?
True
Let u = 1097/104 + -77/8. Which is greater: 2 or u?
2
Let j be 4/(-18) - 20/(-171). Suppose 3*v - 7 = s, 24*v = 26*v - s - 6. Is v greater than or equal to j?
True
Let l be 8/2*(-8)/(-1). Let x be l/14 - (-4)/(-14). Suppose 2*q + 24 = 2*z, 0 = -x*q - 3*z - 8 - 6. Do -8 and q have different values?
True
Suppose -s - 3*a + 8 = 0, 4*s = -0*s - 4*a + 64. Suppose 52 = 6*m - s. Which is greater: m or 14?
14
Suppose 7*d - 3*d + 68 = 0. Which is smaller: d or -27?
-27
Suppose 5*p + 555 = 5*t, 3*t + 451 = -8*p + 4*p. Let y = p + 189. Which is greater: 76 or y?
y
Let l be 8/2*9/18. Suppose 4 = 2*c + 2*c - l*v, -5*v = -2*c + 10. Suppose c = r, -4 = -4*y + 5*r - 0*r. Which is smaller: y or 0?
0
Let s be 39/(-4) + 1/(-4). Let o = 841 - 852. Is o equal to s?
False
Let a = 15/11 - 146/99. Is 1 equal to a?
False
Let v be (-6)/(-6) + (-5)/3. Let b(h) = -h**2 + 4*h + 7. Let i be b(5). Let x be (i/35)/(16/(-20)). Which is greater: x or v?
x
Let x(y) = y**3 - 5*y**2 - 2*y - 4. Let h be x(7). Let o = h + -79. Let w = 8573/13 - 659. Which is greater: o or w?
o
Let d be (-1)/((2*1)/(-10)). Let h(r) = -5*r - 82. Let m be h(-20). Suppose -m*c = -101 + 11. Is c less than d?
False
Suppose -5*s + s - 8 = 0, -5*s - 15 = t. Suppose -5*a = -2*f - 3*f + 10, 0 = 4*a - f + 17. Are a and t non-equal?
False
Suppose -114*j + 119*j = -80. Which is smaller: -2/5 or j?
j
Suppose -i = 4*i. Suppose i*z - 26 = -2*z + 4*r, -r - 5 = 0. Suppose 4*k - z*k - 1 = 0. Which is smaller: -1/20 or k?
-1/20
Suppose h + 3*u - 588 = 0, 2*h = -2*h - 4*u + 2360. Which is smaller: 0.2 or h?
0.2
Let a = 15 + -15. Let l be (15364/(-2))/(1*-17). Let u = l + -452. Do u and a have different values?
True
Let v be -138*253/(-84810) + 2/(-5). Which is smaller: v or -1?
-1
Let l = -270 + 183. Let c = -523/6 - l. Let z = 2 - 1.8. Which is smaller: c or z?
c
Let m = -20 - -20. Suppose 0 = 2*a - v - 12 - 3, m = -3*v - 9. Let k = 752/3 + -246. Which is bigger: a or k?
a
Let f(r) = r + 5. Let a be f(-5). Suppose a = -3*l + 5*b - 15, -5*l + 4*b - 8 = 4. Let v be (-1 - (-1)/2) + (-27)/108. Which is smaller: l or v?
v
Let c = -19 - -23. Let j = 9 - c. Which is smaller: 1 or j?
1
Let g(x) = -19*x + 5. Let j be g(2). Let b = j - -29. Let s be 0/1*(-2)/6. Which is bigger: s or b?
s
Let s be 3*(-123)/(-9) - 1. Let q be 10*12*(184/(-24) - -8). Is q equal to s?
True
Suppose -3*k = 3, -3*k - 3 = 5*t - 0*k. Let u be 4/12 - 40/(-42). Let q = -83/70 + u. Are t and q equal?
False
Let x = 0.079 - -4.821. Let t = -5.5 + x. Let y = 0.6 - -1.4. Is t bigger than y?
False
Let b = -145 - -1586/11. Which is smaller: 0 or b?
b
Let k = 45 + -36. Suppose -3*l = -2*u + 70, -2*l + 3*l + 4*u + 14 = 0. Let y = 31 + l. Are k and y equal?
True
Let r = -32 - -22. Let o = r - -15. Suppose 0 = o*w, -w = -5*j + 2*j + 3. Are -2/15 and j nonequal?
True
Suppose 2*q + 25 = 5*n + 7*q, -n - 4*q - 1 = 0. Suppose -k - n = -1. Let i = k + 7. Is i at most -2/19?
False
Let l = -33 - -46. Let m(b) = b - 15. Let w be m(l). Is w smaller than 4/7?
True
Let k = -393 + 392. Which is smaller: k or 4.96?
k
Suppose -1 = h, w = 4*h + 1 + 2. Let p = 22171/10 - 2217. Which is smaller: w or p?
w
Suppose -5*q - 15 = 0, 5*p + 44*q = 47*q + 29. Is -36 at least p?
False
Suppose 0*n = 9*n + 9. Is n smaller than 4/219?
True
Suppose -5*v = -2*j + 82, 4*j - 38 = 5*v - 2*v. Let i be 20/(-3)*v/12. Let q = 10 - i. Which is greater: -10/7 or q?
q
Let f = 6 + -2. Suppose 228 = 4*w + 4*d, 5*w - 140 - 139 = d. Let m be 42/w*8/(-15). Which is greater: f or m?
f
Let q(a) = -2*a**3 - 3*a**2 + 4*a - 1. Let w be q(-3). Let f = 26 + 0. Let v = f - w. Are 13 and v nonequal?
True
Let l be ((-8)/20)/(98/(-35)). Let k = -4 + 4.1. Which is greater: l or k?
l
Let u be (-5)/(-1) - (1353 - -5)/7. Which is bigger: -188 or u?
-188
Let m(t) = t**3 - 9*t**2 - 8*t - 10. Let y be m(10). Let n = -4 + y. Suppose 0 = 4*z - k - 12, -3*k + 6 = -3*z - n*k. Is 5/4 less than or equal to z?
True
Let x = 78.95 - 78. Let f = -0.73 + x. Which is bigger: 0 or f?
f
Let p = -1926 + 1960. Let a = -1 - -0.9. Which is greater: p or a?
p
Let q = 1 - 3. Let y(m) = m**3 + m**2 - 3*m - 3. Let o be y(q). Let i = 0 - o. Which is smaller: -2/35 or i?
-2/35
Suppose -7*k + f = -10*k - 5, 4*k = 4*f + 4. Which is greater: 13/33 or k?
13/33
Let m = 120.6 - 133. Let t = -13 - m. Let f = 0.5 + t. Which is greater: -10 or f?
f
Let d = 7 + -7.45. Which is bigger: d or 7?
7
Let f(l) = l**3 + 11*l**2 - l - 11. Let r be f(-11). Let a(b) = b**2 + 2*b + 5. Let m be a(r). Suppose -3*o - 7 = m*w, o + w = -w - 3. Is o equal to 1/10?
False
Suppose -5*y = 8 - 3. Are 70 and y equal?
False
Let u = 330/151 + -71563/755. Which is bigger: u or -92?
-92
Let n = -2 - -1.7. Let p = 0.058 + 3.742. Let u = 3.9 - p. Do u and n have different values?
True
Let j = 1161 - 11599/10. Which is greater: 0 or j?
j
Let z be 1/((-3)/4 - -1). Suppose -2*r - z*y = 2*r + 4, -r - 2 = 2*y. Let f be 1 + -1 + 18/(-14). Which is smaller: f or r?
f
Suppose -27*m + 69 = 15. Is m equal to 45/14?
False
Let l = 58.5 + -30.5. Is l >= -5/3?
True
Suppose -h + 16 - 4 = 0. Let q be h/42 - 32/14. Suppose -o = 3*o + 16. Which is bigger: o or q?
q
Let r be 3/(-9) - ((-2010)/(-288) + -6). Do r and 0 have the same value?
False
Let r(i) be the second derivative of 23*i**5/20 - i**4/12 - i**3/6 + i**2/2 + 10*i. Let d be r(1). Which is greater: 0.1 or d?
d
Let c(x) = -x + 14. Let g be c(10). Are g and 46/15 unequal?
True
Suppose 0 = -11*k + 6*k - 4*z - 154, 0 = -2*z - 2. Let m be (-30)/(-4)*(2 + 4). Let t be k/12*(-3)/m. Is t at most as big as -1?
False
Let q be 2/(-8) - 121/(-132). Let z(v) = -v**3 + 2*v**2 + 5*v - 4. Let x be z(3). Which is smaller: x or q?
q
Let f(y) = y**3 - 6*y**2 + 2. Let a be f(6). Let t be (4 - 1) + (2 - a). Suppose 7 = 6*s - s + u, -t*u + 1 = -5*s. Do s and 1/24 have different values?
True
Let v = -23.37 - -23.67. Is v at least as big as -7/15?
True
Let d = 26 + -23. Suppose -23 = -j - h + d*h, 0 = 3*h + 6. Is j smaller than 19?
False
Let i = -411 + 352. Is i not equal to -59?
False
Suppose -7*g + g + 5*g = 0. Let s = 371/9 - 122/3. Which is greater: s or g?
s
Let t = -17 + 11. Let n be (-6)/3*39/t. Let q be 1 - 2 - (-2 - n). Is q greater than 15?
False
Suppose 0 = -v - 2 + 6. Suppose -b - 4 = 5*y, 2*b + 8 = -v*y + 2*y. Is 3/19 equal to y?
False
Suppose -30 - 45 = -5*r. Suppose n = -r - 3. Do n and -18 have the same value?
True
Let a be (2/4)/(17/34). Is 4/249 at least as big as a?
False
Suppose -3 = -3*r + 2*r + 3*t, 4*t + 4 = 3*r. Suppose r = 2*q - 5*o - 6, 3*o - 4*o + 43 = 3*q. Is 13 greater than or equal to q?
True
Suppose -t = -2*t - 61. Let y = t - -21. Let o = 522/13 + y. Is o smaller than 0?
False
Let o(x) = 6*x**2 - 281*x + 109. Let v be o(45). Which is greater: v or -387?
v
Let y = 289 - 289. Which is smaller: 20 or y?
y
Suppose 329 = -6*s + 13*s. Suppose 32*h = 31*h + s. Is h at most as big as 45?
False
Let k be ((-3520)/(-35))/(-17 + 19). Which is smaller: 49 or k?
49
Let j = 137/2 - 70. Suppose -10*f = -6*f + 260. Let x = f + 63. Which is bigger: j or x?
j
Let r = -3 + 3.2. Let n = -16.24 + -1.66. Let s = 18 + n. Is s bigger than r?
False
Let r = 29.381 - 0.281. Let n = r + -29. Which is smaller: n or -10/13?
-10/13
Suppose -36 = -5*a + 4. Let l be 5 - (-1 - 41/(-3)). Let c = a + l. Does c = -1?
False
Suppose 18*s = -s. Suppose 0 - 3 = 3*i. Let a be s/(-3 - -6 - i). Which is bigger: -1/5 or a?
a
Suppose -95 = 3*h + 2*m, 20 = -h + 3*m - 30. Suppose 157*p + 29*p = -6324. Are p and h equal?
False
Let y(n) = n**3 - 6*n**2 - 3*n - 1. Let z be y(7). Suppose -4*g = -5*i + 31, -5*g + 2*i + z = 70. Let k = g - -8. Is 1/5 bigger than k?
True
Let d = -364427 - -4015117/11. Let r = d + -584. Is r at least as big as -1?
True
Let m = 3 - 4. Let k be (-2)/1 + 18/12. Which is bigger: k or m?
k
Let d = -1.3748 + -0.0852. Which is greater: d or -0.1?
-0.1
Let k = -775 - -780. Is k at least as big as 9?
False
Let o be (-616)/(-98) - 2/7. Let c(l) = -l**3 + 7*l**2 - 4*l - 1. L