3 + j**2 + j - 85. Suppose -3*v + 3 = 0, 4*g + 2*v + 1 = 3. Let k be z(g). Let y be (-1)/2*k/34. Is y <= -1?
False
Let t be (-3)/(-2)*8/(-6). Let k = 38.1841 - 0.0641. Let u = k + -38. Do u and t have the same value?
False
Let y(c) = 2*c**2 + 8*c + 2. Let n be y(-4). Suppose 5*v + u = -12, 0*v - u = -2*v - n. Let b be 3 - -5*v/5. Is 2/19 > b?
False
Let d(v) = 15*v + 3. Let t be d(-4). Let k be 6/(-24) - t/4. Let s = k - 13. Which is greater: s or 2/5?
s
Let p = 30 - 28. Suppose -2*i + p = -2. Which is smaller: i or -4?
-4
Let n = -387 - -388. Which is greater: -55 or n?
n
Suppose 0 = -4*h - 7*t + 3*t + 12, 2*t - 6 = h. Suppose 0 = -l + 4, j + h*j = l - 11. Let u = 11 - 20. Which is smaller: u or j?
u
Let q = 4727/24 + -197. Let p = q + 137/984. Is -1 at most as big as p?
True
Suppose -2059*r + 2056*r + 24 = 0. Suppose -4*k - 3 = -23. Are r and k non-equal?
True
Let l be 16/24 + (-123)/9. Which is bigger: -16 or l?
l
Let q be (-4542)/(-7) - ((-1020)/84 + 12). Is q at least as big as 650?
False
Let x = 3.2 - 3.5. Let z = -1.3 - x. Is -0.1 > z?
True
Let u = -43.2 + 43.1. Which is greater: u or 302?
302
Let c = 207.989 + -208. Which is greater: -0.1 or c?
c
Let o = 29719 + -149651/5. Let h = -78 - -288. Let y = o + h. Are y and -1 equal?
False
Let v = -6.6 - 3.4. Which is greater: v or -4?
-4
Let f be (-42)/(-18) + (-2)/6. Let j = -6 + 5. Let t = j + f. Is t at most as big as 0?
False
Let t(o) = -4*o - 6 - o + 7 + 4*o. Let d be t(-4). Suppose 0 = d*n - n. Is n greater than or equal to -8/7?
True
Suppose -4*c - 30 = d, 0*d + 36 = -5*c - 2*d. Suppose 11 = -4*a - 49. Let b = a - c. Are b and -7 equal?
True
Let u(z) = 56 + 3*z - 4*z - 53. Let i be u(2). Suppose -y - i = -0*y. Which is greater: 2/47 or y?
2/47
Let f = 0.12 + -0.07. Let b = -7.05 + f. Let k = 6 + b. Which is bigger: 9 or k?
9
Let b be (-190)/(-2)*2/(-154). Let f = -8/7 - b. Let q = f + 1/110. Which is bigger: 1 or q?
1
Let r be -1 + -2 - ((-704)/8)/11. Are 40 and r unequal?
True
Suppose 7*y - 93 = 4*y. Suppose -3*x - 40 = -y. Which is smaller: -11 or x?
-11
Let k = -78.12 - -0.12. Let a = k - -35. Let h = a + 60. Is h > 0.1?
True
Let j = -1.37 + 0.07. Let n = j - -1.2. Which is smaller: n or 18?
n
Suppose 5*h = 2*v + 2, -2*h - 3*v + 18 = h. Let p be (h/(-8))/(5/(-8)). Let s = 0.03332 - -0.56668. Is s at most p?
False
Let t(a) = 3*a - 26. Let l be t(14). Let j = 110/7 - l. Is -11 at least j?
False
Let j(h) be the second derivative of h**4/12 - h**3/3 - h**2/2 + 3*h. Let z be j(-3). Let u = 18 - z. Which is greater: u or 2?
u
Let a = -2 - 1. Let n be (27/(-3))/a*-7. Let q be 7/n + 11/(-12). Which is bigger: q or 2/7?
2/7
Let s = 0.062 + -17.462. Let o = s + -0.6. Let n = -18.1 - o. Which is smaller: 5 or n?
n
Let n = -175 - -172. Suppose -4 = 2*t + 2*t. Let j = -2 - t. Do j and n have the same value?
False
Let y(k) = 2*k - 19. Let a be (32/10)/(2/5). Let v be y(a). Which is smaller: v or -13/5?
v
Let u be ((-2)/4)/(2/8). Let d(v) = -3*v**3 + v - 1. Let t be d(u). Which is bigger: t or 22?
22
Suppose 3*c + 71 - 86 = 0. Suppose c = 5*k - 0*w - w, -10 = -5*k + 2*w. Which is smaller: k or -22?
-22
Suppose 4*f + 4*s = 8, 4*f = -2*s + 133 - 131. Is 2/73 smaller than f?
False
Let c be ((10/32)/(-5))/((-3)/(-6)). Suppose 0 = -4*i + b - 6*b + 9, 4*b - 2 = 2*i. Which is greater: c or i?
i
Let a be (-1)/4 - (-11)/28. Let h be (10/(-8))/((-245)/196). Is h != a?
True
Suppose 3*j = -3, -4*j + 5 = -2*q + 3*q. Let a be (-215)/10 - q/(-6). Is a < -19?
True
Let d = -0.042 - 0.158. Which is greater: 5.9 or d?
5.9
Let x = -940/19 + 49. Which is bigger: -1 or x?
x
Let i be (-2 - 340/(-165))/((-188)/30). Is i bigger than 0?
False
Suppose 0 = 7*x - 18617 + 3364. Let d = x - 19579/9. Are d and 4 unequal?
True
Let s = 9 + -2. Suppose 8*j - 18 = s*j. Suppose 2*n - 5*n - 4*v + j = 0, -5*v + 24 = 4*n. Are 5 and n non-equal?
True
Let b = -41.98 + 42. Is b <= 0?
False
Suppose 5*x = 25 + 20. Let k = 14 - x. Let a be 2*(2 - k - -7). Which is bigger: a or 9?
9
Let w(a) = 10*a**2 - 26*a + 37. Let o be w(6). Which is smaller: o or 242?
o
Suppose -7*k = -9*k + 8. Let t(f) be the first derivative of f**3/3 - 3*f**2/2 - 5*f + 1. Let i be t(k). Which is greater: i or -1/6?
-1/6
Suppose -o - 15 = l, -o + 4*l - 6 = -1. Let n(a) = a**2 - 3*a - 2. Let k be n(-3). Let b = k + o. Is b bigger than 5/3?
True
Suppose 0 = -2*q + 3*q - 3. Suppose q*p - 18 = -9. Are p and 13/4 non-equal?
True
Suppose 3*i + 2 = -4. Let c be i/(-2)*(-6 - -7). Let s be (-5 - -5)*c/(-1). Which is bigger: s or -2/7?
s
Let w be (-3)/(-12) + (2 - 33/(-12)). Let o(z) = z**3 - 5*z**2 - z + 5. Let l be o(w). Let h = -3/38 - 213/190. Does h = l?
False
Let m = 59 - 136. Which is bigger: m or -151/2?
-151/2
Let r be (-20 - -2)/(7/182). Let z = r + 1276/3. Let g = -42 - z. Which is greater: g or -15?
g
Let s be (2 - -1) + (-5161)/1326. Let n = s - -18/17. Is -5/7 less than n?
True
Suppose -3*j = 154 - 31. Let w = 42 + j. Is -1/18 at least as big as w?
False
Let y = -192 - -1724/9. Let k(x) be the third derivative of -x**4/6 - x**3/2 - 4*x**2. Let r be k(-1). Is y < r?
True
Let y(j) = -j - 1. Let l be y(1). Suppose -3*d + 2 = -5*z - 5, 19 = 4*d + 3*z. Let t be (-5)/(-15) - d/12. Which is smaller: l or t?
l
Suppose 0 = -q + 2*q. Let o = -3246 - -19481/6. Which is greater: o or q?
o
Let f = 0.118 - 19.118. Which is smaller: 28 or f?
f
Suppose b - 6 = -b. Suppose 0 = t + b*i + 19, 4*t + 2*i = 5*t + 24. Let m = 23 + t. Do m and 1/16 have the same value?
False
Let c = 2/575 + 547/8050. Is c not equal to 4?
True
Suppose o + 0*p = p + 10, 10 = o - 2*p. Let y = 1 + o. Which is smaller: y or 12?
y
Let c(q) be the first derivative of -q**2 - q - 26. Suppose -3*l - 2*k = 2, -l = 2*k + 2*k + 14. Let j be c(l). Are -0.1 and j equal?
False
Let k(o) = 2*o - 75 + 67 - 5*o**2 + 0*o. Let n be k(-6). Let l = n + 5794/29. Which is smaller: -1 or l?
-1
Let s be 1*12/3 + 1. Suppose -c = -r - 1 + 7, -2*r - s*c - 16 = 0. Let b = -30 - -33. Which is greater: r or b?
b
Let b(f) = 5*f**3 - 3*f**2 - 3*f - 4. Let v be b(-2). Let r be (-6)/v*(-5)/(-2). Let j = 0 - 1. Which is smaller: r or j?
j
Suppose i + 0 - 1 = d, -11 = d + 4*i. Let v be ((-2)/(-8))/((9/(-12))/d). Which is smaller: v or 10/11?
10/11
Let g = -26308 - -31332826/1191. Do 0 and g have different values?
True
Let t = 36 + 20. Let b = -55.81 + t. Is -2 != b?
True
Let k = -1407.8 - -1408. Which is smaller: -252 or k?
-252
Let t = -40 - -65. Let y = t + -26. Let a be (9/36)/((-10)/(-8)). Is a <= y?
False
Let v = -21398/11 - -1944. Which is smaller: v or 1?
v
Suppose 3*v + 0*v = -4*q + 29, -q = v - 8. Suppose y = -d + 5, -v*d = -2*y - 3*y - 7. Suppose -1 = d*t - 5. Is -3/7 at most t?
True
Let v = 1041 - 1043. Is -145 equal to v?
False
Let d be -7 - ((-6)/(-15))/(20/200). Is d > -171/16?
False
Let h be (2/(-4))/((-33)/(-30)). Let d = -17 + 18. Is h > d?
False
Suppose -4*j + 1 = -11, -4*p + 5*j + 193 = 0. Let g be -4 - 8/(24/(-165)). Which is smaller: p or g?
g
Let l = 17/21 - 65/63. Let y(n) = 9*n + 28. Let i be y(-3). Is l at least i?
False
Let x = -3670/51 + 72. Suppose -38*d = -31*d. Which is greater: x or d?
x
Suppose -2*u - 399 = -3*o, -3*u = 8 + 1. Suppose -o - 196 = -3*w. Which is greater: w or 108?
w
Suppose 0*g + 10 = 2*g. Suppose -4*v - g = 7. Let b be 1 - (3 + 4*v). Which is bigger: b or -0.1?
b
Let y(w) = -w + 3. Let g be y(-2). Suppose a + 3*r = 4*a - 21, 4*a + g*r = 19. Let b be a/3 + 0 - 1. Is 1/8 equal to b?
False
Let o(q) = 22*q - 265. Let k be o(12). Is -7/13 != k?
True
Suppose 0 = 17*k + 94 + 93. Which is smaller: k or -28?
-28
Let g be ((-286800)/38 - 1)*-67. Let k = g - 505598. Let v = -143 + k. Which is smaller: 0 or v?
v
Suppose 160 = -4*t + 4*g, -2*g = -5 + 3. Let u be 2/8 + (-237)/4. Let f = t - u. Which is greater: 19 or f?
f
Let j be 5/100*4/(-46). Let w = -367/230 + j. Let k = -23 - -21. Is w smaller than k?
False
Let c be 21/7 - 5 - -1. Which is bigger: c or -8/25?
-8/25
Let h = -4/59 + 83/354. Let c = 0.62 - 0.6. Is c != h?
True
Suppose -7*d = -1 - 13. Suppose -3*a + 199 = -0*a - 2*b, d*a = -4*b + 154. Is a less than 68?
False
Suppose -229 = -3*y - 55. Suppose -120 = -4*j + j. Let q = y - j. Which is bigger: q or 19?
19
Suppose -3*n + 76 = -2*a, -3*n + 110 - 28 = -5*a. Suppose -25*p = -n*p - 3. Suppose 6 =