et c(v) = -4*v + 1. Suppose 0 = -3*d + 5*x - 1 + 2, -2*d + 4*x - 2 = 0. Let s = -6 + d. Let b be c(s). Is b smaller than -5/2?
True
Suppose 12*a + 59 - 59 = 0. Is 2/1963 greater than a?
True
Let s be 22/5 + 2/(-5). Let i be ((-1)/46)/(2/s). Suppose -35 = 20*r - 55. Is r <= i?
False
Let u be (-4)/20*(-10)/4. Let b = -3/10 + u. Let s = -11 + 11. Which is bigger: b or s?
b
Let v = 948937/788 + -4817/4. Which is smaller: 1 or v?
v
Let z be 1/(1/3) - 0. Suppose 3*a - 2*s - 10 = 0, -2*s + z = a + 5. Let w = 4 - a. Do 2 and w have different values?
False
Let o = 410 - 463. Is -53 greater than o?
False
Let d(t) be the third derivative of 1/60*t**5 - 10*t**2 - 1/2*t**4 + 0 - 16/3*t**3 + 0*t. Let o be d(13). Is o at least as big as -20?
True
Let a = -5 + -5. Let y = -2 + a. Let b = y - -11. Is -1 at least as big as b?
True
Let f = 10502/27 - 389. Let y = 37.9 - 38. Is f greater than y?
True
Let j(m) = -m**2 - 6*m - 3. Let z be j(-7). Let n be 2/(-12)*(z + 6). Suppose 5*t + 3*y + 1 = 0, -3*t = -0*t + 2*y + 1. Do t and n have the same value?
False
Let a = 1/1341 - 454/9387. Which is greater: a or -1?
a
Let p = 0.4 - -4.6. Let j = -5.1 + p. Let q = -91 + 80. Which is bigger: q or j?
j
Let l(n) = n**3 - 2*n**2 + 3*n + 137. Let m be l(0). Which is greater: -1 or m?
m
Let s(y) = -12*y**3. Let f be s(-1). Let w = -3 + f. Suppose 6 - w = -3*u. Which is greater: -2/11 or u?
u
Let o be (-12)/2 + (0 - (-555)/24). Which is bigger: o or 16?
o
Let h = 12 + -3490/291. Which is smaller: 1 or h?
h
Let h = 2666/6419 + -25/131. Which is smaller: h or -1?
-1
Let p = -8 - -41. Suppose -3*q + 57 = -5*y, 0 = 3*q - y - 12 - p. Suppose -q = 5*h + 1. Which is bigger: -4 or h?
h
Let s = -0.154 - -0.154. Let h be (-15250)/22 - -2 - 0. Let l = -689 - h. Which is greater: l or s?
l
Let n = -457 - -452. Which is greater: n or -2?
-2
Let n = -2205 - -2205.12. Which is smaller: 0.28 or n?
n
Let p = -0.1 + 0.3. Let y = 798.4 + -802.4. Is y > p?
False
Let r = 2688/11 - 244. Let s(g) = -g - 4. Let l be s(-4). Let w be (l + 0)/(-4 + 1). Is r < w?
False
Suppose -10 = -16*k + 11*k. Let g = 2 + 11. Is g less than k?
False
Let y = 9 - 9. Suppose -3*b - b - 68 = y. Let k = b + 16. Is 0 >= k?
True
Suppose -6 = -a + 6. Suppose 0 = 3*r - 15, g - 3*r - 297 + 314 = 0. Do a and g have the same value?
False
Let s = 336527/175 + -1923. Let w be 1 + (0 - -2 - 2). Is s equal to w?
False
Let p = 9 - 4. Suppose p*v + 5 = -t, 5*t - 5 = 2*v - 30. Let o(q) = -q**3 + q - 2. Let k be o(v). Do k and -1 have the same value?
False
Let f = 203 + -203.1. Is f >= 61/6?
False
Suppose -g = 2*g - 3. Let p = -131 - -67. Let m = p + 69. Which is bigger: g or m?
m
Suppose 0 = -5*t + z + 771, 5*t - 8 - 760 = -2*z. Which is greater: 150 or t?
t
Let l = -2/1043 + 2684/1043. Suppose -66*o + 63*o - j + 12 = 0, 3*o = 3*j. Which is smaller: l or o?
l
Suppose 46*z = 21*z - 375. Let n be 200/(-12) - (-4)/6. Which is greater: n or z?
z
Let l = -0.086 + 14.486. Let z = 14.4 - l. Is z <= -0.047?
False
Suppose 0 = -9*f - f - 90. Which is smaller: 46 or f?
f
Let h be (8/32)/1 - (-554)/(-8). Let j be (-18)/30 - h/15. Suppose -2*q + 6 = q. Is j >= q?
True
Let m = -177 + 299. Suppose -34 - m = 6*x. Let a = -20 - x. Is 6 at most as big as a?
True
Let t = 14 + -68. Let i = 25 + t. Let r = -26 - i. Which is greater: 6 or r?
6
Suppose -5*r + 23 - 178 = 0. Let j = -11 - r. Let m be ((-8)/(-10))/(12/j). Which is greater: 1 or m?
m
Let z(d) = 7*d + 2. Let x be z(1). Suppose -x = 3*r, 10 = 3*v + 2*r - 2. Are v and 5 non-equal?
True
Let a be (-2 - -1)*(0 - 1). Suppose -7 = 2*h + z, 0 = -4*h - z - 4*z - 5. Let w be h/(-4) + (-11)/44. Is w smaller than a?
False
Let z be ((-18)/28)/((-6)/(-8)). Suppose 4*x - 2*l = -2 - 4, 5*l = -4*x + 29. Let m be -2 + x - (-2)/(-2). Which is smaller: z or m?
m
Let m = -96488/267 - -1084/3. Let i be 0*((-28)/98 - 5/7)/(-2). Which is smaller: i or m?
m
Let v be ((-72)/192)/(6/79). Let p = 25/16 - v. Which is bigger: p or 8?
8
Let y(d) = -d**3 - 7*d**2 - 7*d - 10. Let l be y(-5). Let s = -39 - l. Is s at most -15?
False
Suppose 50*n + 10*n = 26640. Which is greater: n or 442?
n
Let z(q) = q + 20. Let p be z(-21). Is -2/159 at most as big as p?
False
Suppose -z + 4*j = -3, 2*z - 2*j - 6 = 2*j. Suppose 0 = z*w + 6 - 0. Suppose 8*k - 9 = -41. Which is smaller: w or k?
k
Let i = -22 + 22. Suppose -z + 0*z - 17 = -4*w, -4*z + 4*w - 20 = i. Which is bigger: z or 6/17?
6/17
Let x = -40 + 36. Let i be -1*1/2*-4. Which is greater: x or i?
i
Let u be ((-9)/(-15))/(2/60). Do 11 and u have different values?
True
Let a = 48.7 + -75.8. Let s = a + 27. Is 0.23 not equal to s?
True
Let k be (-24)/860*(-700)/(-105). Is 0 < k?
False
Let h be (-196)/4 - 2/1. Suppose 2*l = 2*y - 102, -y + 84 = -4*l - 117. Is h greater than l?
False
Suppose 5*f - 4*g + 3 = -1, g = -4*f + 1. Suppose f = 4*n + 2*j + 32, -j + 8 = -n - 6*j. Is -8 at most n?
True
Let t = 7/3 + 4/3. Let h = -8 - -11. Is h < t?
True
Suppose 0 = 3*j - 1 + 4. Let m be (-40)/(-25)*j/4. Is 0 < m?
False
Suppose -3*m = -m + 5*b - 25, 0 = m - b - 2. Suppose 5*g + 5*h = -15, h - m = -g + 2*h. Suppose -12 = 4*c + 7*n - 3*n, 3*c - 26 = 4*n. Which is bigger: c or g?
c
Let t = 428/3 + -149. Which is smaller: -6 or t?
t
Suppose -2*v + 17 = 65. Let q be 4/(-34)*-3*(-4)/v. Is q greater than or equal to 1?
False
Let h = -32/199 + 1469/15323. Is h < -1?
False
Let u = -28 - -30. Let o be ((-1029)/u)/(2/4). Let d = o - -46303/45. Is -1 smaller than d?
True
Let x = 0.6845 - -403.4155. Let h = 426 - x. Let w = h + -21. Which is smaller: w or 1?
w
Let x(f) = -f**3 - 10*f**2 - 15*f - 18. Let z(j) = j**3 + 10*j**2 + 16*j + 18. Let w(m) = 5*x(m) + 4*z(m). Let n be w(-9). Which is greater: 1/50 or n?
1/50
Let x(f) = -f**3 - f**2 - 6. Let b be x(6). Which is bigger: -257 or b?
-257
Let g(c) = -c + 1. Let w be g(3). Suppose 0 = -2*n - 2*k + 42, 9*n - 5*k - 65 = 4*n. Let j = n + -21. Which is bigger: j or w?
w
Suppose 5*u = 4*s + 135 - 1485, -3*s = 5*u + 1315. Is 3 smaller than u?
False
Let t = 25 - 24.88. Let c = t + -0.27. Which is smaller: c or 2/5?
c
Let i(u) = u**2 + 12*u + 10. Let t = -29 + 18. Let k be i(t). Which is bigger: k or -2/51?
-2/51
Let h = -0.1 - -5.1. Let a = -1930 + 1928. Is a greater than or equal to h?
False
Suppose 95*b = 38*b - 285. Which is smaller: b or -89/15?
-89/15
Let s = -914.3 + 918. Which is smaller: s or -2/3?
-2/3
Suppose -7*f + 3*x = -2*f + 101, -53 = 3*f + 2*x. Is -19 bigger than f?
False
Suppose -33 = o - 4*o. Let t(w) = -11*w**2 + 5 - 17 - 2*w**3 + 2*w + 3*w**3. Let h be t(o). Which is smaller: 9 or h?
9
Let m be (-15)/(((-1)/(-9))/(1/3)). Is 2 <= m?
False
Suppose 5*j - 4*c = -2*c - 25, -39 = 2*j + 5*c. Suppose s + 2*l = -l - 33, -2*s = -4*l + 16. Let n be (-2)/9 + (-4)/s. Which is smaller: n or j?
j
Let b = -695.9376 + -0.0624. Does -1/2 = b?
False
Let g be 2/(-5) - 136/(-40). Let r be (2/g)/(10/15). Let x = -0.4 + 0. Which is bigger: r or x?
r
Let g be (-8)/18 - ((-121310)/45)/(-14). Is -191 equal to g?
False
Let o be (-4)/18 + 236/(-180). Let y be 6/(-9) - (23/15 + -1). Let b = o - y. Is b smaller than -3?
False
Let z be (3/(-2))/(6/(-152)). Let d = z + -40. Is d not equal to -3?
True
Let a = 0.0057 - -0.0583. Is a less than or equal to -1?
False
Let l = 126 - 128. Let m be 10/l - (2 - 16). Are m and 12 non-equal?
True
Let i = 295 - 914/3. Let d(t) = -2*t**2 + 6*t - 3. Let w be d(4). Which is smaller: w or i?
w
Let j = 8037 + -3254983/405. Is -1 smaller than j?
True
Let r be 5*(-10)/(-13) + 12/78. Suppose 4*p + 203 = -p + 3*c, -c - r = 0. Which is smaller: -1/2 or p?
p
Let v = 12202/935 + -220/17. Which is smaller: v or -0.2?
-0.2
Let b = -23 + 23. Suppose 0*a = -4*a - 20, b = y - 2*a - 4. Is y != -1?
True
Let g = 3 - -2. Let l be ((-475)/38)/((6/4)/(-3)). Suppose -o - 4*o + l = g*n, -2*n = 5*o - 25. Is 5 <= o?
True
Suppose -1 + 10 = -9*a. Let l be (-4 + 114/27)*-8. Which is smaller: a or l?
l
Let s(d) = -d**3 - 6*d**2 - 14*d - 1. Let x be s(-8). Suppose -2*a - 4*i = 3*a + x, 2*a - i + 93 = 0. Is -46 not equal to a?
True
Suppose 0*p - 6 = -2*p, 4*a + 72 = -4*p. Let h be ((-3)/3)/(1/2). Let l be (h/7)/((-81)/a). Is 0 > l?
True
Let z = 25/104 - 2273/9672. Which is greater: -1 or z?
z
Let w = 2/763 - 1544/6867. Is -9/19 < w?
True
Let n = -1 - -1.4. Let b = n + 0.6. 