et a be 8/(-16) + 1/v. Is a at most as big as 0?
True
Let i = 11.34 - 6.3. Let w = -0.04 + i. Is w bigger than -1?
True
Let h = 1713 - 7987/5. Let a be (-6)/((-354)/116 - -3). Let n = h - a. Which is smaller: 0.1 or n?
n
Let n = 1.53 - 0.13. Let s = 0.6 + n. Let q = -6 + s. Which is smaller: q or -1/2?
q
Suppose -2 + 0 = -2*i + 4*g, 5*g = 2*i - 3. Are i and 2/31 equal?
False
Let t = 10127/7 + -1449. Which is greater: t or -1?
-1
Suppose l + l + 2 = 0. Let t = 48/55 + -14/11. Which is smaller: l or t?
l
Let p(f) = 10*f - 1. Let j be p(-2). Let s = -1 + 7. Let n be s/j + (-30)/(-7). Is n <= 4?
True
Suppose v - 3*v + 14 = 0. Let z be (v/(-21))/(1/(-30)). Which is smaller: 9 or z?
9
Let y = 179/6 - 55/2. Which is smaller: 1 or y?
1
Let j = -233/4 - -58. Which is smaller: -0.01 or j?
j
Suppose g = 3*i + 4, 7*i + 2*g = 2*i + 8. Suppose s - 3*f + 20 = i, -3*f = 2*s + 2 - 7. Which is smaller: -4 or s?
s
Suppose -k = -0*k + 3. Let l = -3 - k. Are l and 1 nonequal?
True
Let d be (-6)/12*9/(-6). Are 1 and d non-equal?
True
Let b = 0.68 - 0.08. Let y = b + 2.4. Let w = 39 - 115/3. Is y bigger than w?
True
Let d = -0.28 + 0.38. Do -8 and d have the same value?
False
Let o be 3/((-3)/2) - 0. Let k = -3 + 1. Let s be k/(1*(o - -1)). Which is smaller: 3 or s?
s
Let p be (1/(-5))/((-2)/(-4)). Is p less than -0.2?
True
Let l(n) = 9*n + 166. Let o be l(-20). Let c = -10 + -3. Is c bigger than o?
True
Let y = -5 + 8. Let u = -3 + y. Is u at most as big as -1/2?
False
Let i(m) = -m**3 + 10*m**2 - 8*m - 6. Let c be i(9). Suppose c*a = -2*a + 40. Which is smaller: 9 or a?
a
Let b = -6 - -4. Suppose -z - z - 4*h = 12, -z = 5*h + 12. Is b >= z?
True
Let z be 2 - 2 - 4 - -4. Is z less than or equal to 6/11?
True
Suppose 3*g + 2*g = 0. Let k be (-21)/(-52) - (-1)/(-4). Do g and k have different values?
True
Let m(c) = -c**2 + 2*c. Let n be m(2). Suppose -4*a - 5 = 2*y - 33, 5*a - 20 = 5*y. Let k be (1/a)/((-4)/6). Is k >= n?
False
Suppose 0 = 3*s - 6*s - 6. Which is greater: s or -5?
s
Suppose -2*h - 2*j + 1 = -13, h = j - 3. Let d be (-1)/h*1/(-2). Which is smaller: -0.1 or d?
-0.1
Let w(r) = 42*r - 5. Let s be w(1). Is 36 > s?
False
Let a be -1 + (0 - -1)*2. Let y(t) = t**2 + 2*t - 3. Let g be y(-5). Let k be a*(-3*1)/g. Which is smaller: k or 1?
k
Suppose -4*x = 36 - 272. Is 58 less than or equal to x?
True
Suppose b = -0*b - 3. Let r be ((-4)/6)/(19/b). Let i be (-8)/52 + (-2)/(-13). Which is smaller: i or r?
i
Let c = -1/33 + -7/11. Let m = -7 + 2. Let x = 5.1 + m. Is x at most as big as c?
False
Let m be (-4)/(-2) + -1 + 1. Let s(x) = x**3 - x**2 + 3*x + 3. Let u(l) = -l - 1. Let n(i) = s(i) + 4*u(i). Let t be n(2). Which is greater: t or m?
m
Let v = 6.81 - -1.09. Let i = 2.9 + -10.9. Let h = i + v. Is 0 greater than h?
True
Let v = 8 + -28. Let z = 20 + v. Let h be 1/8*(-2 + 3). Which is smaller: z or h?
z
Let u be (-2)/(-1 - 9/(-6)). Let a be 30/u*(-12)/(-5). Let f be ((-4)/a)/(8/6). Do 1 and f have different values?
True
Let f(p) = -2*p + 1. Let g be f(-1). Let d(h) = h**2 + 4*h + 2. Let w be d(-4). Suppose -c + 0*c = -w. Is g at least c?
True
Let i = 413/5 - 83. Let f = -0.3 - -0.7. Is f smaller than i?
False
Let z = 6 - 11. Let f = 25 - 24. Do f and z have different values?
True
Let x be 1 - -1*(1 + -1). Let d be (-3)/(x + (-23)/20). Suppose 3*g + 15 = w, 0*w = 4*w + 4*g + d. Is -1/8 <= w?
True
Let a be (7 - 2) + -5 + 3. Which is greater: 4 or a?
4
Let n = -0.07 - -0.27. Let w = -3 + 5. Let p = w + -2. Which is greater: p or n?
n
Let i = -45 - -46. Let m be (5/3 - 1)/6. Which is bigger: m or i?
i
Let b(a) = -a**2 - 7*a + 2. Let w be b(-6). Suppose -s = s - w. Let i = s - 2. Is i >= 1?
True
Let u(q) = q**2 + 9*q + 1. Let x(t) = -t**2 - 8*t - 1. Let g(i) = i - 10. Let r be g(7). Let z(s) = r*u(s) - 4*x(s). Let a be z(-5). Is a at most 3/5?
False
Let w = -10 - 6. Which is smaller: 1 or w?
w
Let z be (-4)/3 - 21/(-9). Which is bigger: z or 5?
5
Suppose 4*g + 5*i = 0, -4*i = -5*g - 3*i. Which is smaller: -3/8 or g?
-3/8
Let j = 5 - 3. Suppose j*f - 6 = -4. Which is smaller: -2 or f?
-2
Suppose 4*y - 2 - 2 = 0. Let p be (y - 3) + 3/(-3). Is -3 at least p?
True
Let x = -14 - -46. Let k be (-8)/x - (-14)/24. Is 0 greater than k?
False
Let i = 111 - 111. Is -8 at least as big as i?
False
Let u = 51044/47 + -1086. Is u less than or equal to -1?
False
Let s(j) = -j**2 + 7*j + 4. Suppose 9 = 3*q - 12. Let m be s(q). Is m less than 1?
False
Suppose -w = -0*w - a - 27, -2*a = 5*w - 100. Let s = w + -22. Are 0 and s equal?
True
Let z = 2851/57 - 607/12. Let k = z - -6/19. Let m(c) = 2*c + 1. Let r be m(-2). Which is bigger: r or k?
k
Let l(x) = -7*x - 7. Let k be l(-5). Let q = k + -40. Which is greater: -1 or q?
-1
Suppose 0 = 4*s - 2 - 6. Which is smaller: s or 9/7?
9/7
Let x be ((-392)/68)/(-2) - 3. Let t(p) = p**2 + 8*p - 10. Let b be t(-9). Are x and b unequal?
True
Suppose 4*d - 28 = -4*u, -5*d = 2*u - 8 - 18. Let n be (-8)/78*u/(-2). Are -0.1 and n nonequal?
True
Let b be (-2)/6 - 34/6. Let l be (-3)/(b/(-2))*2. Suppose 3*t = -2 - 4. Is l at least as big as t?
True
Let b be 4/10 + 1/(-5). Which is bigger: -1 or b?
b
Let n(y) = -y**2 - 6*y + 3. Let a be n(2). Do a and -13 have the same value?
True
Let q be 1/2*(0/(-4) + 36). Which is smaller: 2 or q?
2
Let i = -4 - -3. Let s = -4 - -3.92. Is s at most i?
False
Suppose -3*r + 2*r = 0. Is -3/10 at least as big as r?
False
Let m be 6*-1*(2 + -1). Do m and -7 have the same value?
False
Let t be 316/(-182) - (-8)/4. Let p = 4/13 + t. Which is smaller: 1 or p?
p
Let p be (-4)/(-2) + 24/(-18). Let i = -1 + 2. Which is smaller: i or p?
p
Let q = 1 - -1. Suppose -q*h - 4*v + 6*v - 4 = 0, -3*v + 12 = -5*h. Is -1 >= h?
True
Let g = -4/25 - -14/25. Which is smaller: g or 3/4?
g
Let q = -4.579 - 0.021. Is q less than -0.1?
True
Let q = 0.383 + 0.117. Which is smaller: 13 or q?
q
Let c(q) = -5*q**2 + 11 - 8 - 5*q + 3*q**2. Let h be c(-3). Which is greater: 15/2 or h?
15/2
Let u be (4/(-9))/(20/20). Which is smaller: u or 0?
u
Let o(r) = -5*r + 4. Let k be o(0). Which is smaller: k or 60/13?
k
Let d = -1.37 + 4.37. Which is smaller: -5 or d?
-5
Let d be 1/(2 + -1) + 0. Let l be 6*(-747)/42 + -1. Let v = l + 108. Are d and v non-equal?
True
Let k = -108 - -107. Suppose 4*r = 4*f + 4, f = -r - r + 5. Let h be 11/(-12) + f/4. Is k >= h?
False
Let q = 3 + 0. Let h = 2.9 - q. Is h greater than or equal to 1/5?
False
Let z be 15/10*(-2 - -4) + -2. Which is smaller: z or 2/409?
2/409
Suppose 1 + 2 = -3*y. Let w be y + -2 + 8/2. Let p be (-100)/144 - 2/(-8). Which is greater: w or p?
w
Let w = 1 + 2. Let t = 4.6 - -1.4. Let u = w - t. Which is smaller: u or -1/3?
u
Let c = -33 + 31. Is c less than or equal to 2?
True
Suppose -4 = 5*w + 4*v + 30, v = -2*w - 13. Let c be 15/(-234) + 1/w. Is c greater than 0?
False
Suppose -4 = -2*f + c, -f - 3*c = 2 + 3. Is f < 2?
True
Suppose -2*h - 3*h + 5*y = 150, 0 = 5*y. Is 0 < h?
False
Let x be 8/(-6)*2778/(-74). Let a = 50 - x. Is a at least as big as 0?
False
Let i be 11 - 1/(4/4). Which is bigger: 9 or i?
i
Let q = -99.9 + 106. Let x = 6.6 + -0.6. Let l = x - q. Do -4 and l have the same value?
False
Suppose 3*q - 1 = -2*m + m, 0 = 3*m + 4*q - 8. Is 1/3 smaller than m?
True
Let y be (-12)/224*-4*-8. Is -1 > y?
True
Suppose 2*z + 5 - 7 = 0. Do z and 2/9 have different values?
True
Suppose -2*v = 3*g - 1, 3*g = 2*v + 2*v + 7. Which is greater: v or 57?
57
Let h be -1*(-3 - 20/(-8)). Let k = -1283/11 + 117. Is k not equal to h?
True
Let x = 3 - 4. Let b(j) = 2*j - 3 - 3*j - 1 + 5. Let h be b(x). Which is smaller: 2/3 or h?
2/3
Suppose 2*n - f = 4*f - 21, 4*n + 3*f - 23 = 0. Suppose n*t - 6*t = -4. Which is greater: t or -2/21?
t
Let g(p) = -4*p. Let j(v) = 3*v. Let d(r) = 2*g(r) + 3*j(r). Let n be d(3). Which is greater: n or 1?
n
Suppose 7*h - 16 = 3*h. Let y be (-3)/h - (-195)/20. Does 9 = y?
True
Let k = -33 - -199/6. Which is bigger: k or 0?
k
Suppose 4*y - 5*f - 57 = 0, 2*y = -3*f - 2*f - 9. Suppose -2*g = -g - 7. Which is smaller: g or y?
g
Suppose 7*s - 3*s - 3 = -3*k, 2*s = 3*k + 15. Suppose -j + s = -7. Is j < 9?
False
Let k = -7.8 + 7.8. Is k < 2/55?
True
Let o = -10 - -8. Let d = o - -1.7. Let z = 18 - 37/2. Which is smaller: z or d?
z
Let j = -0.2 - -0.2. Suppose 0 = -3*h + 2*z + 8, -h