 = -i**2 + 4*i. Let p be r(3). Suppose 5*q = -2*y - 28, 28 = -q - 3*q - p*y. Which is smaller: q or d?
q
Suppose 3*v - 47 = -23. Which is greater: 6 or v?
v
Let h be (4750/135)/((-84)/(-9)). Let s = -45/14 + h. Which is greater: 1 or s?
1
Let k = -2.5 - -2.5. Let b = -4.93 - -5. Is k != b?
True
Let c(v) be the first derivative of v**2 + 6*v - 1. Let y be c(-4). Let a be y/35*(-5)/1. Is a != 1?
True
Suppose -5*q = q. Which is smaller: 2/53 or q?
q
Let m = -0.01 + 1.01. Suppose x - 3*d = -12, 0*d - 4 = x - d. Which is bigger: x or m?
m
Let s = -3701/11 + 337. Let q be (-2)/(8/(4*-1)). Which is bigger: q or s?
q
Let m = -0.08 + 0.18. Suppose 47 + 41 = -a. Let r = -173/2 - a. Which is greater: r or m?
r
Suppose -2 = 2*h - 6. Let f be (h/12)/((-3)/24). Is f greater than 0?
False
Let q(i) = 7 - 2 + 5*i + i**2 + 0. Let n be q(-5). Suppose -x = -2*m - n*x, 0 = -2*x - 2. Is -2 > m?
False
Let z = -2 + 12. Let w = 8 - z. Let h be (16/12)/(w/3). Is -1 bigger than h?
True
Suppose -6*b + 13 = 1. Is 2 at least as big as b?
True
Let j = -7 + 5. Which is bigger: j or 22/3?
22/3
Suppose 0 = -h - 3*h - 12. Which is greater: -22/9 or h?
-22/9
Let t = 625/306 + -30/17. Is t at least as big as -1?
True
Let u = 116371/71 - 1639. Which is greater: -1 or u?
u
Let q = -31 - -31.1. Is q equal to -29?
False
Let k(j) = -j + 11. Let r be k(4). Which is smaller: 0.05 or r?
0.05
Let v = 31 - 31. Are v and -1/176 equal?
False
Let a be (-1)/2 - 36/(-8). Suppose 2 = 2*m - a*j + 10, 0 = 3*m - 2*j. Is m less than or equal to 2?
True
Let i be ((-5)/(-3))/((-7)/(-21)). Suppose 10 = i*a, 4*a = -2*v - 0 - 10. Which is greater: -7 or v?
-7
Let b = -33/959 + 139451/11508. Let a = 12 - b. Which is greater: 0 or a?
0
Let q be 26/15 - (-1)/(-3). Which is greater: 0 or q?
q
Let h be 3 - (2 + 2 + -3). Let c(m) be the third derivative of -m**6/120 + m**5/60 + m**4/12 - m**3/3 + 20*m**2. Let s be c(h). Which is greater: -4 or s?
s
Let a = 35 + -34. Let b = 3 - 3.2. Which is greater: a or b?
a
Let j be (-7)/(28/12) + 1. Is -1 less than j?
False
Let w = 23 - 13. Let k be w/3*(-36)/(-30). Suppose -3*i = 2*d - 3, -3*d = d + 5*i - 7. Is d greater than k?
False
Let y = 5372/25 + -215. Let j = 18/25 + y. Let p(s) = s**3 - 8*s**2 - 10*s + 10. Let a be p(9). Is j at most a?
True
Let p = 4 + -10. Let s be p/2 - (5 - 1). Is s less than or equal to -6?
True
Let o be (3/(-2))/(-1 + 39/42). Is 21 less than o?
False
Let m = -0.3 + 0.2. Let j = 0 - m. Let n = j + -1.1. Which is greater: 1 or n?
1
Let z = -1 + 3. Suppose 0*y = -z*y. Let n = -194 + 194. Is n > y?
False
Let l = 3 + -3.1. Let d = 2/163 + 316/815. Is l >= d?
False
Let i be (-5)/15*(-6)/4. Is i at most -2/35?
False
Suppose -3*m - 4 + 1 = 0. Let v = 4 + -1. Suppose -g - 4*g - 5 = q, 3*q - 3 = v*g. Is m != q?
True
Let q = -17495/22 - -795. Which is smaller: -1 or q?
-1
Let k be 0 + 2/2 + 0. Let o = 56 - 111. Let m = 493/9 + o. Which is smaller: k or m?
m
Suppose g + 7 - 37 = -3*j, 3*g - 90 = 4*j. Let t be (2/(-6))/(2/g). Is t bigger than 2/5?
False
Let j(a) = -a - 7. Let h be j(-9). Suppose h*m - m = -4. Is -3 less than or equal to m?
False
Let v be 10/(-15) + 436/42. Let p = v - 10. Which is smaller: -0.1 or p?
p
Let r be 0/((-4 - -3) + 2). Let g be (3 + (-80)/26)*2. Which is smaller: r or g?
g
Let x(z) = 3*z**2 - 1. Let j(b) = -b**3 + b**2 + 2*b + 1. Let u be j(-1). Let w be x(u). Which is greater: 3 or w?
3
Let j(z) = -2*z + 2. Suppose 0 = -2*b + 2 + 6. Suppose o - 3*o = -b. Let d be j(o). Which is smaller: d or -3?
-3
Suppose -8*l = -3*l - 5. Suppose n + 18 + 10 = 4*m, 32 = -2*n + 2*m. Let x be (-1)/l + n/(-10). Which is bigger: -1 or x?
x
Suppose 90 = -k - 4*k. Let i = 3 + k. Is -15 != i?
False
Suppose 2*f + 6 = -d, -11 = -5*f + 6*d - 2*d. Is -1/5 less than f?
False
Let b be 10/(-15)*6/4. Let s(k) = -k + 1. Let f be s(b). Let t be -2 + f - 0/(-3). Do t and 2/11 have different values?
True
Let z be 2/(-6) - (-2)/6. Suppose -2*b - 9 + 3 = z. Which is bigger: b or -2?
-2
Let c = -75.4 + 65. Let n = 1.4 + c. Let q = n - -6. Which is smaller: 0.1 or q?
q
Let h = -20 + 24. Which is greater: h or 14/3?
14/3
Let n be (8/(-5))/((-16)/(-40)). Let i = -0.2 + 2.2. Which is smaller: n or i?
n
Let m = 0.6 + -1. Let a = m + 0.2. Let v be 1/((-4 + 2)/2). Is a >= v?
True
Let r = 20 - 12. Suppose 0 = -r*q + 3*q. Let a = 0.4 + -0.2. Which is bigger: q or a?
a
Let m be (-496)/(-24) - 1/(-3). Is m greater than or equal to 22?
False
Let v(p) = p. Suppose 0 = q + 6 - 4. Let w be v(q). Let m be (w + 2)/(1 - 4). Which is bigger: 1/7 or m?
1/7
Let j(i) = i**2 + 6*i + 5. Let a be j(-5). Suppose q - 3 = -0*q. Let d = 2 - q. Which is bigger: d or a?
a
Let z = 3 - 4. Let l be 0 - z/1*-1. Let s be l*(1 - 2 - -2). Which is bigger: s or 1?
1
Suppose 3*d = 3*i + 24, 3*i - d = 3*d - 28. Suppose -2*f = -z - 1, 4*f + 1 = -3. Let y = z - i. Is y equal to 0?
False
Let p = -166 - -86. Let g be p/682 - (-14)/77. Is g smaller than -1?
False
Suppose 0 = 3*u + u. Suppose u*d = d - 3. Which is greater: d or 2?
d
Suppose 0 = -2*v - 4, -5*j - v = 3*v - 412. Let x be -2 - j/(-33) - 2. Let t = -15/11 - x. Which is bigger: -1 or t?
t
Suppose 8*i + 25 = 9. Suppose -g - 4 = -0*g. Let a = g - -2. Is a greater than i?
False
Let b be 9/5 - (-6)/30. Let p(s) = 4*s - 7. Let i(v) = -3*v + 5. Let x(n) = -7*i(n) - 5*p(n). Let l be x(-2). Which is greater: l or b?
b
Suppose 4*w = -n + 2*n + 7, 0 = 4*w + 3*n + 5. Which is greater: 2/9 or w?
w
Let b = -6 + 8. Let m(u) = b - 2*u + 3*u - u**2 - 3*u + 3*u. Let t be m(2). Which is smaller: 1 or t?
t
Suppose 5*t + s - 2 = 0, 0 = 2*t - 5*s + 4 + 6. Let g be 1 - t - (-6)/(-15). Do 1 and g have the same value?
False
Let r = -143/2 - -70. Is r at most -1/7?
True
Let t be 505/(-12) - 12/(-16). Let g = 41 + t. Which is smaller: 1 or g?
g
Suppose k + 11 = -37. Which is smaller: k or -47?
k
Let c(f) = 3*f - 16. Let z be c(7). Suppose 34 = l + 4*p, 3*l - 61 = -z*p + 6. Are 13 and l equal?
False
Let f = 1.5 - 2. Let j be (2/(-4))/(15/(-12)). Which is smaller: j or f?
f
Let m(z) = z**3 + 3*z**2 + z + 2. Let t be m(-3). Let a = 5/4 + t. Are a and 0 nonequal?
True
Let z = -0.07 + 0.07. Which is greater: -0.5 or z?
z
Let y(l) = -l**2 - 9*l - 8. Let z be y(-8). Let k be 2 + -2 + z + 0. Is k at most as big as 1/2?
True
Suppose 487 = -4*w + 3*t, w + t = 6*w + 617. Let o be 2/8 - w/16. Is 8 greater than o?
False
Suppose 0 = y + 4*h - 28, 0 = -4*y + y + h + 136. Let b be 8/20 - y/10. Let c = 0 + -1. Which is greater: c or b?
c
Let t = 184/105 - 3/35. Let m = -35 - -35. Is m <= t?
True
Let s = -0.09 - -0.04. Let t = -1.05 - s. Which is smaller: -2/7 or t?
t
Let y(o) = -o + 8. Let c be y(7). Let t = c + 0. Suppose -4 + 12 = 4*w. Which is smaller: t or w?
t
Let f(v) = -2*v**2 + v**2 + 5*v - 6*v. Let r be f(-1). Let o be 2/15*(-8 + 7). Is r < o?
False
Let p = 159 - 961/6. Which is greater: p or 0?
0
Let g(v) = v**3 + v**2 - 1. Let t be g(-1). Let p = t - -1. Suppose 1 = f - 0. Is f > p?
True
Let z(y) = -y**2 + 11*y - 31. Let r be z(5). Which is smaller: r or -1/21?
r
Let m = -4 - -4. Suppose -5*k + x + 94 = 0, -2*k - 4*x = -m*k - 20. Let l = 53/3 - k. Which is smaller: 0 or l?
l
Let h(m) = -m**2 - 5*m + 4. Let r be h(-4). Let w be r - 3 - (-4)/(-2). Let v be -1 + (27/7)/w. Is -1 less than v?
True
Suppose 6 = 8*p - 14*p. Is p at least as big as 4/9?
False
Let x = -65 - -64. Which is smaller: 14 or x?
x
Let z = 0 - -2. Let i(n) = 4*n + 2. Let k be i(-2). Let t be k/(-9) + (-4)/(-3). Is t <= z?
True
Suppose 4*t + 38 = 2*v, 4*t = v - t - 34. Suppose -15 = -n + 3*h, -n - 3*h = -0*h + v. Is n greater than or equal to 2?
True
Let h(f) = f + 5. Let j be h(4). Let i be (2 + 1)*2/j. Which is bigger: i or 0?
i
Suppose 95 - 7 = 2*w. Let y be -2 + 0 + 76/w. Does 1 = y?
False
Let k = -12.9 + 13. Which is greater: 0.6 or k?
0.6
Let j(m) = -m**2 + 8*m - 10. Let p be j(5). Is 4 < p?
True
Suppose -4*u + 51 = -u. Let s = -12 + u. Suppose 2*b + 10 = 0, s*b + 12 = -q - 14. Is 0.1 less than q?
False
Let p = 436.9 + -409. Let f = -28 + p. Is f <= 11/3?
True
Suppose 2*f = t + 9, t - 15 = -f - 3*f. Let l = -2 - -3. Is t bigger than l?
False
Suppose -12*q = -5*q + 924. Which is greater: q or -133?
q
Let r be 1/(1 + 0/2). Let w = 2 + r. Let x be ((-15)/10 - -1) + 2. Are w and x equal?
False
Let b be (-20)