. Let k = l + 0.3. Which is bigger: k or -1?
k
Suppose -6 = -3*w, -4*c - 2*w + 19 = c. Suppose 0*o + c*o = 0. Let n = 1 - 1. Does n = o?
True
Let f be -3*((-2)/2 + 0). Suppose -k + f*k = 2*g - 2, 0 = -5*g. Let a be (2/15)/(4/(-12)). Which is greater: a or k?
a
Suppose 3*z = b + 4*b + 28, 2*z + 3*b = 6. Let v = -66 - -73. Is z smaller than v?
True
Suppose 0 = r + 3*r - 4. Let h(s) = 4*s**2 - s + 1. Let y be h(1). Let m be ((-6)/y)/((-108)/16). Which is smaller: m or r?
m
Let x be (-1)/((-1 + -2)/6). Suppose 3*s + 3*w - 9 = 0, x*s - 6 = w - 0*w. Let c(q) = q - 4. Let y be c(4). Which is smaller: y or s?
y
Let l be 4/26 - 2509/(-169). Let d be 3/l - 18/15. Let m = 0.1 - 0.2. Which is smaller: m or d?
d
Let t = -270 - -211. Is -59 at least as big as t?
True
Let j(t) = t + 22. Let v be j(-9). Is v less than or equal to 0?
False
Let q = 22 - 28. Are 1/4 and q equal?
False
Let y be (-6 - 0)*(-3)/9. Suppose -d = 5*l - 3*d + 3, -y*d + 10 = 2*l. Which is bigger: l or 2?
2
Suppose -354 = 14*o - 11*o. Is -117 less than or equal to o?
False
Let d = 34/75 + -3/25. Let o be (-18)/24 + (-3)/(-4). Does o = d?
False
Let a be ((-1)/2)/(22/(-1188)). Which is smaller: 26 or a?
26
Let y = 18 - 17.9. Is -20 <= y?
True
Suppose 4*g - 23 = 5*q - 0*q, -3*q - 3 = 3*g. Is -26/11 equal to q?
False
Let w = -13 + 12. Let t(r) = r**3 + 7*r**2 - r - 5. Let q be t(-7). Suppose -5*j + q*o - 3 = -0*j, 5*o = 4*j - 1. Is w less than or equal to j?
True
Let q = 9.7 - 7.7. Which is smaller: 3/8 or q?
3/8
Let x(g) = -g**3 + 13*g**2 - 11*g - 4. Let m(z) = z**2 - 4. Let c be m(-4). Let r be x(c). Do r and 7 have the same value?
False
Let d = -2/659 - 3920/11203. Which is greater: -1 or d?
d
Let n(k) = k - 6. Let f be n(11). Suppose 0 = -m, 2*v + 3*m = f*v - 75. Suppose -1 = -4*b + 3*r, 5*b + 5*r = -0*b - v. Which is bigger: b or -3?
b
Let v be (44/55)/(4/10). Which is smaller: -0.1 or v?
-0.1
Suppose 4*o + 5*g = -197, -2*o = -0*g + g + 91. Are -45 and o equal?
False
Let y(f) = f**2 + 5*f + 1. Let r = 5 + -10. Let d be y(r). Which is smaller: -0.1 or d?
-0.1
Let o be (-6)/(-3) - (-2 + (7 - 4)). Does 2 = o?
False
Suppose 4*p - r + 47 = 0, -5*p - 24 = -2*r + 34. Which is smaller: -9 or p?
p
Suppose 16*n - 16 = 8*n. Let i(y) = -y - 7. Let p be i(-5). Let v be (p/10)/((-2)/6). Is v at most n?
True
Let q(p) = -3*p**3 - p + 1. Let l be q(1). Suppose 2*m = -2 - 2. Is l <= m?
True
Let p(r) = -r**2 - 3. Let l be p(0). Let z be l - (-18)/(-14)*-2. Let x be (2 + -3)/(-1*1). Is z greater than or equal to x?
False
Suppose t = -3*v - 3*t - 9, 2*t + 5 = -v. Is v > 1?
False
Let g = 31.93 - 32. Which is smaller: g or 2/7?
g
Let d = 0.26 - 0.16. Let v = 1.58 + 0.22. Let z = v - 2. Which is bigger: z or d?
d
Let m be 6/(7/((-21)/(-6))). Let s = -2 - m. Which is smaller: -4 or s?
s
Let x be (10/(-6))/(2/(-6)). Let j(g) = 10*g + 2. Let z be j(-2). Let w be (6/z)/(1/(-18)). Does x = w?
False
Suppose 2*q - 2*r = 8, 4*q + 5*r + 33 = 13. Suppose q = -4*v - 5 + 33. Let d = v - 7. Which is smaller: d or -1/4?
-1/4
Suppose 6*b = b + 20. Let v(n) = n**2 - 4*n. Let i be v(b). Suppose 0 = 5*l - 4*q - 4, 0 = -2*l + 5*q + 5 - i. Are 0 and l non-equal?
False
Let l = 1.2 + -0.2. Let u = 1 - 8. Let t = 4 + u. Which is bigger: t or l?
l
Suppose 2*s + 6 = 2. Is -4 bigger than s?
False
Let b = 43 + -25. Is b < 17?
False
Let d = -8.2 - -8.1. Is -2 <= d?
True
Suppose -2*u - 4*m - 14 = -4*u, 0 = m + 4. Which is greater: u or -1/7?
-1/7
Let j = -159/4 + 40. Suppose 2*c - 2*w + 0 = -16, -5*c + 4*w = 45. Let t = c - -13. Which is greater: j or t?
j
Let l be (-98)/(-306) + (-34)/153. Does 0 = l?
False
Let v = 9.99 - -0.01. Let o = v - 10. Let n = -1.2 - -0.2. Which is greater: n or o?
o
Let y(l) = -l + 11. Let n be y(9). Let q be 2/4 - (-84)/8. Suppose -2*t = -3*z + 10, 0 = -4*z + 4*t + q + 9. Which is smaller: n or z?
z
Let u = 4 - 4. Suppose 0 = -u*b - b + 13. Suppose -2*h = -d - 11, h - b = -2*d - 2*h. Which is smaller: -4/7 or d?
d
Let q be 0/1 - ((-72)/(-10) - 4). Do q and -2 have the same value?
False
Let v(s) = 2*s**2 + 2*s + 1. Let q be v(-2). Is q less than or equal to 4?
False
Suppose -6*w + 2*w = 20. Is w at least as big as -2?
False
Let m be (8/20)/(7/5). Suppose 4*q - 2*g = 5 - 17, -2*g + 9 = -3*q. Let p = 2 + q. Is m < p?
False
Let q = 0.9 + -1.1. Let b = -1.8 + q. Which is smaller: b or 0.4?
b
Suppose -5*z + 12 = -13. Let d = z - 2. Suppose -d*l + 2*l = -1. Do 0 and l have the same value?
False
Suppose t = 2*p + 2 + 4, -5*p = 3*t + 37. Let x be (p/(-70))/((-2)/20). Which is smaller: -2 or x?
-2
Let l(o) = o**2 - 2*o. Let z be l(4). Is 9 at least z?
True
Let z = -9.1 + -9.7. Let m = 19 + z. Which is bigger: m or -4/7?
m
Suppose -2*o - 20 = -8. Let g = 5910 - 53134/9. Let b = o + g. Which is greater: 0 or b?
b
Let y = -3 - -2. Let i be (-4)/(-18) + 13300/(-1449) + 9. Which is greater: i or y?
i
Suppose -7*z = -10*z - 3. Which is smaller: z or -3/2?
-3/2
Suppose -1 = -q + 1. Suppose 0*z - q*z = -4. Let m = 2 + -1. Which is smaller: z or m?
m
Let y(j) = j**2 - j + 1. Let c be y(2). Which is bigger: -2/5 or c?
c
Let k be (92/(-56) + 1)*-2. Which is smaller: k or 2?
k
Suppose -5*u = 3*h - 38, 3*u + 4*h - 13 = 1. Let x = -7 + u. Let r = 7 + -5. Is x >= r?
True
Suppose -5*y + 4 + 11 = 0, 22 = -f + 4*y. Let z(l) = l + 12. Let a be z(f). Let t be 6/45*(-2)/a. Is 0 less than t?
False
Suppose -44 = 7*s - 3*s. Which is smaller: s or -10?
s
Let k = 15 + -7. Suppose -4*h + 0 = -k. Let s = 1 + 2. Is h at least as big as s?
False
Let y = -18.1 + 19. Let j = y + -1. Let k = j - -0.1. Is -2 at least k?
False
Suppose -o + 78 - 184 = 4*n, 3*o - 6 = 0. Let w be n/1380 + 4/10. Let y = -3/23 + w. Is y > 2/7?
False
Let c(g) = -g**2 + 9*g - 10. Let y be c(5). Let r be ((-4)/y)/(4/20). Is -4 at least as big as r?
False
Let q be 2 - 5 - (-29)/(-15). Let n = q + 16/3. Let v(w) = w**3 + 6*w**2 + w + 5. Let o be v(-6). Which is greater: o or n?
n
Let o be -183*(1/(-9))/1. Let t = -20 + o. Which is smaller: 6 or t?
t
Let z be 1/4 - 162/(-24). Suppose -z = -4*s + 5. Which is bigger: s or -4/7?
s
Let b be (66/9*-3)/(-9 - -1). Which is greater: b or 4?
4
Let k = -35 - -34. Which is greater: k or -1/66?
-1/66
Let q = -6 + 4. Let u = q - -1. Let m be -1*(0 - (-2 - -2)). Which is greater: u or m?
m
Suppose -4*t - 55 = t. Is t <= -1?
True
Let i be ((-6)/(-1))/3 - -1. Suppose 4*o + 3*t + 7 = i*o, -2*o + 4 = -3*t. Let q be -2 - (-5)/(25/9). Which is smaller: q or o?
o
Let m be (-7 - -4) + (-24)/(-7). Is 0 less than m?
True
Let i = 0.1 + -2.1. Which is bigger: i or 0?
0
Let f = -154 - -73. Is f greater than -80?
False
Let n be (1/(-2))/((-1)/4). Let w be 0*(5/n - 2). Which is smaller: -1 or w?
-1
Let z(i) = i - 7. Let b be z(7). Let t be 1/2*(b + 0). Suppose t = -5*a - 0*a. Do 0 and a have different values?
False
Let l = -0.114 - -0.014. Is -10/13 at most as big as l?
True
Suppose 4*p + 9 = -3. Let m = -2 - 1. Are p and m equal?
True
Let z(s) = s**2 + 12*s - 11. Let f be z(-13). Which is smaller: f or 18/7?
f
Let l = -265/903 + 1/129. Let b = 1 - 1. Is l equal to b?
False
Suppose -3*l - 13 = -i - 2, 11 = -4*i + l. Let w(f) = -f**2 - 2*f + 4. Let m be w(i). Suppose 3*z + z + 12 = 0. Is m less than or equal to z?
True
Suppose p - 5*q - 41 = 0, -3*p - 5*q + 221 = -2. Suppose 0 = t - 4*t - p. Let o be (-5)/33 + 4/t. Which is smaller: 0 or o?
o
Let c(r) = -r**2 + 8*r + 11. Let v be c(9). Let y = v - 3. Is -1 < y?
False
Suppose -2*z - 87 = -4*u - 31, 3*u - 52 = -z. Let s = -33/2 + u. Is s at least 0.2?
False
Suppose 0 = -f + 2*o - 5, 5*o + 1 = -3*f + 30. Let g = 3 + 1. Is f at most as big as g?
True
Let a = -543/5 + 109. Suppose -22*n = -27*n. Which is smaller: a or n?
n
Let q(l) = 2*l - 1. Let i(h) = h**2 + h. Let o be i(-2). Let c be q(o). Which is smaller: c or 1?
1
Let j(w) = -w**3 + 25*w**2 + 28*w - 51. Let q be j(26). Which is smaller: q or -1/90?
-1/90
Let d = 1 - 10. Let z be (-2)/d + (-4)/18. Is z smaller than 1?
True
Let b be (-1)/5 - (-82)/260. Which is smaller: b or -1?
-1
Let z be (-2)/(-3)*(-15)/(-10). Are 2/27 and z equal?
False
Let q be (9/6)/((-3)/4). Is 2 smaller than q?
False
Let r be 2 - (-2)/((-6)/9). Which is greater: -4 or r?
r
Let d = -15.1 + 15. Does 5 = d?
False
Suppose 0 = -h + 2*h. Let d be (-351)/315 + (-4)/14. Does d = h?
False
Le