 - 7. Let v be c(10). Suppose 5*x - 12 = -v*z, -3*x - 4*z = -8 - 8. Is x at least as big as 1?
False
Suppose -3*h - 1 + 10 = 0. Suppose 3*t + 0*t = h. Let f be (-1)/2 - (-5)/6. Is f equal to t?
False
Let y = 1235/11264993 + 17135930411186/47391825551. Let o = y - 91/601. Let u = o + -362. Is 2/7 bigger than u?
True
Let v = -7/30 - 1/6. Which is smaller: -0.02 or v?
v
Let d be 3 - (-4)/(12/(-39)). Which is greater: -11 or d?
d
Suppose 0*u - 3*u + 18 = 0. Let x be (-2)/u - 4/(-3). Do x and -0.1 have the same value?
False
Let i = 17 - 29. Does -13 = i?
False
Let m(c) = c. Let z(v) = 3*v**2 - v - 1. Let f be z(-1). Suppose 2*y = -y - f*n, 0 = -3*y + 4*n - 7. Let s be m(y). Which is bigger: 1 or s?
1
Let g(z) = -6*z. Let j be g(2). Let v = 0 + 23/2. Let d = v + j. Is 0 > d?
True
Let y = -63/4 - -15. Is y at most 2?
True
Suppose 0*q + 2*q - 4 = 5*b, -10 = -5*q + 2*b. Is q at most as big as 0?
False
Suppose -5*r = -4*r - 1. Let o = r - 0. Let u = 0.2 + 0.8. Is u at most o?
True
Suppose 2*f - 6*f + 0*f = 0. Which is smaller: -12/13 or f?
-12/13
Let n = 40 - 40. Is 20 greater than or equal to n?
True
Let m = -16 - -16.15. Let v = -0.07 + m. Is v <= 1?
True
Let y(f) = f**2 + 3*f - 2. Let s be y(-4). Suppose -c - 1 = -s*c. Let h be (-21)/(-35) - (73/30 - 2). Is h less than c?
True
Suppose a + 9 = l, -5*a - 33 = -0*a - l. Which is greater: a or -16/3?
-16/3
Let c = -0.005 + 0.405. Which is smaller: -3/10 or c?
-3/10
Let m(a) = -a - 2. Let t be m(-4). Suppose 0 = t*y - 0 - 4. Is 2 < y?
False
Let h be ((4 - 3)*1)/5. Do h and 2/9 have the same value?
False
Let b = 2 + -3. Let z be (-1*35/(-5))/(-1 + -4). Is b > z?
True
Let s be (-99)/(-15) - (-3)/(-5). Is 0 at most s?
True
Let v = -3/5 + 19/65. Suppose 0*a = -4*a. Are a and v nonequal?
True
Let j be 2*(-4 + ((-118)/(-8) - 2)). Is -2/7 greater than j?
False
Let a(d) = d + 12. Let k be a(-10). Let j = -3 + 4. Which is smaller: j or k?
j
Suppose 14 + 2 = -8*l. Let x(p) = -p**3 - p**2 + p - 2. Let f be x(-2). Which is bigger: l or f?
f
Let c = 21 + -20.987. Let i = c - -0.197. Let d = i + -0.01. Is d greater than 0?
True
Suppose 0 = 5*c - 6 - 39. Is c less than 9?
False
Suppose -k = -0*k. Suppose 0 = 5*t - 4*o - 3 + 7, 2*o - 2 = -t. Suppose t*s = 3*s - 6. Which is greater: s or k?
s
Suppose -p = 4*z - 3*z - 185, -z - 5*p = -189. Let o be z/(-180) - 4/(-18). Which is smaller: o or 0?
o
Let i = 16 - 40. Let u be i/(-15) - 1*2. Let x = 108 + -107. Is u at most as big as x?
True
Suppose 6*r - 12 = 3*r. Suppose -8 = -4*g - 0*g. Suppose g*x + 1 = 2*l - 3*l, -3*x = -r*l - 4. Which is bigger: -1/9 or l?
-1/9
Suppose 21 + 3 = 4*w. Suppose w*q = q. Let h = 87 + -345/4. Is q not equal to h?
True
Let i = -1 - -1. Let g = -1 - 1. Is g bigger than i?
False
Let l = -1410385/3113 + 2925/283. Let d(m) = -49*m**2 - 2. Let u be d(-3). Let t = l - u. Which is smaller: t or 1?
t
Let s be (-2)/(-12) + (-5)/12*1. Which is greater: -0.055 or s?
-0.055
Let l = -13/3 + 5. Suppose 4*f - 4 = -0*f. Which is smaller: l or f?
l
Let n be 248/(-60) - 1/30*-4. Is n < 3?
True
Suppose -5*s + 15 = 0, v = -0*v + 5*s - 3. Suppose 0*g + 5*g = -20. Let k be (-2)/g - v/56. Are k and -4/9 non-equal?
True
Let a = -15 - -14.6. Let y = 0.3 + -0.8. Let x = y - a. Which is greater: x or 1/2?
1/2
Suppose 1 + 15 = 2*d. Let s(q) = q. Let g(z) = z + 1. Let i(k) = 5*g(k) - 6*s(k). Let w be i(d). Which is greater: w or 0.1?
0.1
Let f(h) = -h**3 + 5*h**2 + 2*h - 5. Let v be f(5). Let c(x) = x - 2. Let q be c(v). Suppose -q*n = 2*n. Is n < -2/5?
False
Let i(b) = -2*b + 9. Let h be i(0). Is 10 smaller than h?
False
Let z(k) = -3*k + 11. Let l be z(9). Is l equal to -1?
False
Let r(n) = n**2 - 7*n + 1. Suppose -2 = t - 9. Let c be r(t). Which is smaller: c or 0.02?
0.02
Let z = -4 + 4.06. Let p = 0.093 - 0.193. Which is smaller: z or p?
p
Let n = -2 + 4. Suppose 0 = -3*g - g - 12. Let i be (g - -4)*(-2)/(-2). Which is smaller: i or n?
i
Suppose i = d + 4*i - 3, 0 = -d + 2*i - 22. Let h be ((-2)/d)/(4/36). Are 3 and h equal?
False
Let y = -1 - -3. Let m be 0 - (2 - -4 - y). Let d = -3 - m. Is d less than 0?
False
Let r be 10/3 - (4 - 2). Let y be (-4)/(-24) - 35/(-6). Let d be 0/(-3)*(-3)/y. Which is smaller: r or d?
d
Suppose 0*z - 2*z = 40. Let p be 6/10 - (-52)/z. Suppose 1 = -r - 2. Which is greater: r or p?
p
Let j be (1 + -1)/(3/(-3)). Suppose j = -o - 0*o - 1. Is -2/11 less than o?
False
Let v = -23 + 26. Suppose -r - 2*g - 3 = 0, -2*r - v*r = 5*g + 30. Which is smaller: 0.1 or r?
r
Let h be 1/(-2) + (-2)/4. Let l = 10528 + -73295/7. Let j = l - 57. Do j and h have different values?
True
Let s be -2*(0 + 2/4). Suppose -12*z + 16 = 3*r - 7*z, 34 = -3*r + 5*z. Is s not equal to r?
True
Let p be ((-21)/(-56))/(10/4 + -1). Which is bigger: -8 or p?
p
Let x be 1/3 + (-38)/42. Let j be ((-44)/66)/(4/6). Are j and x non-equal?
True
Let t be 204/68 - (1 - 17/(-7)). Which is bigger: t or -0.01?
-0.01
Let p be (-3)/(-6) - (-118)/(-234). Is 1 bigger than p?
True
Suppose -x + 15 - 7 = 0. Which is smaller: x or 28/3?
x
Let c be (-35)/(-4) + (-3)/(-12). Let s be c/12 + (-39)/(-12). Which is greater: -1 or s?
s
Suppose -4*x - 2 = 2*z, 4*x = -x - 4*z - 7. Is x less than or equal to 1/42?
False
Let d = 0.47 + -0.49. Is d smaller than 1?
True
Suppose -4*w - w + 30 = 0. Suppose 4*n - 2 = -w. Is 2 greater than n?
True
Let h = 12 + -9. Let q be h + -1 - 48/20. Which is smaller: q or 1?
q
Let a be (-5)/(20/12)*-1. Suppose f + 2*u + 15 = 2*f, 0 = -a*u - 6. Is f <= 11?
True
Suppose -7*f + 2*k + 16 = -2*f, 3*f - 6 = 3*k. Suppose 5*o - q = -37, f*o = q + 2 - 31. Let p be 4/o + (-18)/(-44). Which is smaller: 0 or p?
p
Let y be 2/(-2)*(10 - -3). Which is bigger: y or -12?
-12
Suppose -3*x - 23 = 10. Which is smaller: x or -10?
x
Let h = -16 + 22. Let u be (-4)/h - (-1)/(-3). Let b = -1 + -1. Which is smaller: u or b?
b
Let v = 0.02 + -0.02. Let x = 1 + v. Which is smaller: x or 5?
x
Let g = -0.9 + 0.1. Let h = g - -1. Is 0.3 > h?
True
Suppose -2*l = -0*l - 30. Suppose -25 = 5*m, 0*f + 3*m = -5*f - l. Is f greater than -2/3?
True
Let l = 11.3 - 11. Let y = l + -1.3. Which is greater: -6 or y?
y
Suppose 3*s - o - 4*o - 3 = 0, s = -2*o + 1. Let u = 2.9 + -3. Is u <= s?
True
Let l be (-4)/(2/(-3)*51). Is l smaller than 0?
False
Let i = -89.83 - -89.8. Let a be (-4)/(-6) - (-6)/(-9). Which is smaller: a or i?
i
Let w be 18/(-21) - 2 - 1/7. Which is bigger: w or -9?
w
Suppose -5*d + 5*v = 5 - 20, -5*d - 4*v - 12 = 0. Let w = -64/65 + 18/13. Which is greater: d or w?
w
Suppose 0 = 2*w - 3 + 1. Which is bigger: -1 or w?
w
Let x = -3 - -4. Let l be 92/(-6) - x/(-3). Let z be 2 - (1 - 21/l). Which is greater: 1 or z?
1
Let w be (-41*5)/(2/(-4)). Suppose w = -3*d + 86. Let c be 2/(-7) - d/(-63). Is -2 bigger than c?
False
Let f = -11 + 8. Which is smaller: f or 7?
f
Let j(u) = 2*u - 3. Let n be j(2). Let c = -9153/10 - -173353/210. Let b = 272/3 + c. Which is bigger: n or b?
n
Let u = 706 - 720. Let n = -2 - -1. Is u < n?
True
Let d = 0.7 - 0. Let k = d - 0.5. Is k bigger than -0.2?
True
Let f = -11.77 + 12. Let m = -0.03 + f. Is -2/9 not equal to m?
True
Let z = 0.8 + -1. Let r = -10.5 + 10.6. Which is smaller: r or z?
z
Suppose -4*s + f + 8 = 0, -3*s + 5 = 3*f + 14. Does 1 = s?
True
Let p = 3.85 - -0.15. Are 0.1 and p unequal?
True
Let s(k) = 15*k + 12. Let o be s(2). Is 43 not equal to o?
True
Let r(u) = -u**3 + 12*u**2 - 12*u + 5. Let n be r(11). Which is smaller: n or -4?
n
Let y = 4 - 5. Let v = -2 - y. Let f be 4/(-6)*(-3)/(-7). Are f and v equal?
False
Let q be ((-30)/36)/(20/(-252)). Is 10 < q?
True
Let l(m) = m**2 + 7*m + 10. Let j be l(-7). Is j less than or equal to 17/2?
False
Let i be (-1250)/(-45) - (-4)/18. Let y be (-10)/14 + (-8)/i. Which is bigger: y or 0?
0
Let f(w) = w**3 + 7*w**2 + 6*w - 1. Let x be f(-6). Let k = 0 - x. Suppose 2*g - 5 = -3*g. Is k less than or equal to g?
True
Let v = 2 - 2. Let f = -0.1 + v. Let r = 4.2 + -0.2. Is f > r?
False
Let s be (1 + 2/(-4))*0. Let n = s + 0. Which is bigger: 1 or n?
1
Let v(q) = -11*q**3 - 21*q**2 - 18*q. Let a(y) = 4*y**3 + 7*y**2 + 6*y. Let g(b) = 8*a(b) + 3*v(b). Let n be g(-6). Which is bigger: -0.05 or n?
n
Let g = -9 - 5. Which is smaller: g or -10?
g
Suppose 5*p - h - 6 = 0, h = 4*h + 3. Suppose -2*q = q + 4*c - 4, 2 = -3*q