se
Let z be 2/(-13) - 1/((-91)/53). Which is smaller: 0 or z?
0
Let v be 60/18*36/(-10). Are v and 3 non-equal?
True
Suppose -4*o + 9*o = 0. Which is greater: -1 or o?
o
Suppose 2*t = -t + 24. Let c be ((-30)/t)/(-3) + -4. Which is bigger: -4 or c?
c
Suppose 1 = 3*o - 8. Suppose 0 = p + 2*p - 6. Are p and o equal?
False
Let i be 12/54 - 68/(-18). Is i greater than or equal to 5?
False
Let l be 1*(3 + 1 + -5). Does 2/25 = l?
False
Let z = 2 - 2.1. Let b = -0.1 + -0.2. Let h = 0.3 + b. Is h >= z?
True
Let l = -0.96 + 1.1. Let i = l - 0.52. Let s = -0.08 - i. Which is smaller: s or -1?
-1
Suppose 4 = -4*g + 2*k, 0*k + 4*k + 13 = g. Let m(t) = t**2 - 5*t. Let p be m(6). Let n = p + g. Is n > 3?
False
Suppose 0 = -4*c + 7*c - 3. Let l be (-3 - (-8)/2)*c. Is 1/5 >= l?
False
Let t = -38/23 + 1208/759. Let n be (-4)/6 - (-2)/3. Which is smaller: n or t?
t
Let z = -67/161 + 26/23. Let p = 3/14 - z. Which is bigger: p or 1?
1
Suppose -8*i + 3*i = 5. Let u be (i - 3)*(-5)/(-90). Which is bigger: u or -1/4?
u
Let b = -0.27 - -0.17. Suppose 10 = -w + 6*w. Which is smaller: w or b?
b
Suppose 3*j + 2*h = -20, -3*j + 6*h - 13 = h. Let a(s) = -2*s**2 + 15*s + 2. Let n be a(8). Does n = j?
True
Let v be 522/30*8/(-358). Let w = v - 2/179. Which is bigger: -1 or w?
w
Suppose 4*z - h - 5 + 21 = 0, -5*z - 3*h = 3. Let f(y) = -2*y + 3. Let q be f(z). Let m be 2/(-3) + 33/q. Does 2 = m?
False
Let t = -512 + 185855/363. Let p = 60186299884/2541 - 23686069. Let g = p + t. Is g >= 0.1?
False
Let f(x) = -x**2 + 12*x - 23. Let o be f(12). Which is smaller: o or -24?
-24
Let m be 3/3*(-1 - 0). Let a = -0.1 - 0.3. Let n = -0.8 - a. Which is smaller: n or m?
m
Suppose -q + 1 + 0 = 0. Which is greater: -1/4 or q?
q
Let f be (-3)/12*-62*-4. Which is greater: -61 or f?
-61
Let n = 37.017 - 0.017. Is n greater than or equal to 1?
True
Let s = 1.4 + 4.6. Let n = 0.9 + 5. Let w = n - s. Is w at most as big as 2/7?
True
Let u = -59.3 + 57. Is u less than 1?
True
Let l = -17 + 34. Is l > 15?
True
Let h = -12 + 11. Let f = h - -0.8. Which is greater: 1 or f?
1
Let h = -1 + 5. Suppose -h*g - 3*u + 8 = 0, 3*g + u - 7 = 4. Suppose 6*f = 23 + 1. Which is smaller: f or g?
f
Suppose -s = -0*s + 1. Let x be s/4 - (-15)/(-4). Is -4 > x?
False
Let k(w) = 8*w**2 + 2*w + 1. Let a be k(-1). Suppose 5*v - a*v = -12. Is v >= 5?
True
Let q = -0.97 + 0.89. Which is smaller: q or -2?
-2
Let d = 35 + -8. Which is greater: -0.2 or d?
d
Let k(x) = -7*x**2 + 5*x + 4. Let g be k(-5). Let u = 2939/15 + g. Is 1 at most u?
False
Let h(z) = z**2 + 4*z - 4. Let t be h(-5). Let m be 0 - (-3 - (t - 2)). Let f be (-32)/(-12)*m/(-12). Is f at most -1?
False
Let z be (-32)/(-12) - (-4)/(-6). Suppose -z*g + 15 = -5*g. Which is greater: g or -2?
-2
Let v(r) = -r**2 - 4*r. Let i be v(-4). Let m be i/(-1 + 0)*-1. Are -2/7 and m nonequal?
True
Let b = -3.62 + 3.8. Is b <= -0.06?
False
Let j be (-6)/4 - (-51)/(-6). Let c = -7 - j. Suppose 8 = -n - 5*d, 0*n + c*n + d - 4 = 0. Which is bigger: n or 1?
n
Let u(f) = f**2 + 7*f - 6. Let p be u(-9). Let o be (-3)/2*2/p. Let i = 0 - 0. Are o and i non-equal?
True
Let o = 24.8 - 25. Let y = -8 + 7.7. Let n = -0.2 - y. Which is smaller: o or n?
o
Let i be (-2)/12 + 1/6. Is i greater than or equal to -3?
True
Suppose -f = 10 + 8. Let m be 5/(-30) - 147/f. Is m at most as big as 6?
False
Let y = 3.266 - -0.034. Let i = -0.2 + y. Let l = i - -0.9. Is l greater than or equal to -1?
True
Let u be (-18)/(-8) + 4/(-16). Suppose -2*j = 4*l + 18, -u*l - 1 = 5*j + 4. Is j < -1/6?
False
Let m(h) = h**3 - 9*h**2 + 6*h + 10. Let x be m(8). Let g be ((-8)/x)/(4/(-12)). Is g less than or equal to -5?
False
Let o be (-6)/(-21) + 19/7. Suppose 0 = n + o*n - g + 11, -4*n - 20 = -4*g. Let x(z) = z + 4. Let m be x(-7). Which is bigger: n or m?
n
Let p be 1/(-2) - (-1)/2. Let c be p + (-3)/1 - 0. Is -13/3 greater than or equal to c?
False
Suppose 0 = 2*j - 5*u - 21 - 7, -4*u = j + 12. Suppose 4 = -3*w + 4*w - 3*a, j = -w - 5*a. Let s be ((-4)/(-7))/(2/7). Do w and s have different values?
True
Let m = -153 - -609/4. Suppose -u - 11 = 2*j, j - 5 = 2*j. Is m at least as big as u?
True
Suppose 0 = -6*m + 25 - 115. Which is bigger: m or -1?
-1
Let d = -1.73 - -0.73. Which is bigger: d or 6/65?
6/65
Let f = -8 + 11. Suppose -13 = -b + 4*t - 5*t, t - 29 = -f*b. Is b > 9?
False
Let v be 4/(-4 - 0)*-3. Suppose -4*f + 4 = v*p - 9, f + 2*p - 7 = 0. Are 5/3 and f equal?
False
Suppose 3*q + 0*n - 3*n = 51, -4*q - 2*n + 68 = 0. Let l = q + -18. Is 2/73 at least as big as l?
True
Let x be 4/6 - (-13)/(-15). Let f be (-18)/(-14) - 20/70. Is x smaller than f?
True
Suppose 2*n = -3*l - 0*n - 12, l + 3*n = 3. Let k be (-7)/(-28)*8/l. Let u be 32/14 - (-2)/(-7). Does k = u?
False
Let f be 1*1/3 + -1. Let p(v) = -v**3 - 4*v**2 + 3*v + 12. Suppose 5*y + 19 = 4*o - 21, 4*o - 28 = 2*y. Let l be p(y). Which is greater: f or l?
l
Let x = -51 + 25. Is -0.1 greater than or equal to x?
True
Let x = 967/11 - 88. Which is smaller: 1 or x?
x
Suppose -c = -q - 18, 4 = -2*c - q + 55. Which is bigger: 0 or c?
c
Suppose 7*o + 9 = 4*o. Are -3 and o equal?
True
Let i = -6/172109 - -999781211/860545. Let o = i + -1158. Is 4 < o?
False
Suppose 3*l + 12 = 0, 5*g - 32 = 4*l - 11. Which is greater: g or 1/15?
g
Let a be 393/(-12) - 2/8. Is -33 >= a?
True
Let v be 0 - 1*(3 - 4). Do v and 3/10 have the same value?
False
Suppose 23 = -x - 0*i - 4*i, x = -2*i - 13. Let o = x + 2. Are -1 and o unequal?
False
Let l = 3 + 0. Suppose 2*b = -l*b. Suppose -4*i + b*i + 25 = -3*u, 3*u + 13 = i. Is u not equal to -3?
False
Suppose -5 = -2*q + 13. Is 9 equal to q?
True
Let v = -1 + -3. Is v < -17/5?
True
Let r = 27 + -9. Let z = r + -17. Which is bigger: -5/9 or z?
z
Let y = -56 + 40. Let s = y + 9. Is s less than or equal to 0.1?
True
Let i(s) = s**2 - 3*s - 2. Let c be i(4). Let q be 3/c*(-20)/(-6). Is 5 less than or equal to q?
True
Let u = 1.6 + -4.6. Is -1 at most as big as u?
False
Suppose u + 38 = -32. Let c = -348/5 - u. Which is smaller: c or 1?
c
Let o be -2 - (-3 - -3) - -12. Let l be o/14 + -7 + 6. Which is bigger: l or -1?
l
Let l be 2/(-4*(-12)/618). Which is bigger: 27 or l?
27
Suppose 5*s = 2*s - 6. Let l be (2 + -5)*(-2 - -3). Let j be l/2*(-1)/(-6). Which is smaller: s or j?
s
Suppose 2*q + 2*q - 4*x = 12, 5*q - 4*x = 16. Suppose 0 = 3*a - 6*a + 5*f, 2*a - 2*f = 0. Which is greater: q or a?
q
Suppose -160 = -f - 3*f. Let a be ((-15)/f)/(3/(-2)). Suppose 3 = 5*y + 3*v - 0*v, -2*v = -y - 2. Is a at least as big as y?
True
Let b be (-11)/(-2) + 3/(-2). Let d(a) = 6 - a**3 - 6 + 7*a**2 + 10 - a. Let r be d(7). Are r and b non-equal?
True
Suppose -4*h + 21 = -h. Suppose h*y + 3*s = 2*y + 14, -2*y + 2*s = 4. Is 1 less than or equal to y?
True
Let p be -1 - ((-9)/(-3) + -14). Which is greater: p or 0.1?
p
Let c = -48.9 - -49. Which is smaller: 1/2 or c?
c
Let z be 4/14 + (-122)/(-14). Let d = z - 4. Which is smaller: d or 1?
1
Let z(x) = -x**2 + 12*x + 4. Let v be z(12). Suppose o = v*o + 6. Which is greater: -4/3 or o?
-4/3
Let a = -88/3 - -29. Let q = 15 - 6. Let d = -7 + q. Is d less than or equal to a?
False
Suppose t - 2*j = -1, -t - 2*j = -0*j - 3. Let g be (-777)/18 + 2/(-6). Let l = 613/14 + g. Which is bigger: l or t?
t
Let z be (-2)/(-10) - 234/(-30). Suppose -z = y - 4. Are -2 and y equal?
False
Let k be (6/4)/(30/(-8)). Let y(x) = x**3 + 4*x**2 + x + 4. Let j be y(-4). Which is smaller: j or k?
k
Let w(n) = -n**3 - 5*n**2 + 8*n + 7. Let y be 2/2 + -8 + 1. Let s be w(y). Is s < -4?
True
Let s(d) = -13*d**2 - 21*d - 8. Let a(x) = -7*x**2 - 11*x - 4. Let f(n) = -11*a(n) + 6*s(n). Let l be f(-3). Is l smaller than 2?
False
Let d = 116 + -112. Is -4 greater than or equal to d?
False
Let u(c) = -c**3 - 5*c**2 - 5*c - 6. Let d be u(-4). Let g = 1977/7 - 283. Which is greater: g or d?
g
Let s = 4 + -10. Suppose 7*d - 32 = 11*d. Is s >= d?
True
Let o = -22/17 - -320/221. Let q = -76/325 + o. Which is smaller: q or 1?
q
Let l = 1/234 + 58/117. Let i = -0.4 - -0.6. Is i <= l?
True
Let w = -3 + 5. Let g = -0.27 - -3.27. Let h = g - w. Which is smaller: 0.4 or h?
0.4
Suppose -o - 3 + 9 = 0. Suppose -o*k = -4*k + 4. Which is smaller: k or -1/2?
k
Let f = -1829/2260 + 18/113. Let l = -341/340 - f. Which is greater: l or 1?
1
Suppose -4*m - 5