 b?
False
Suppose -j + 0*j = 0. Let b be j/((3 + -2)/(-1)). Is -1 less than b?
True
Let g = 7 - 8. Let k be (-4)/((-448)/87) - 2. Let c = k - -15/16. Is c >= g?
True
Let q = 81 - 82. Which is bigger: q or -4?
q
Let l = 1 + -2. Suppose u - 3 = -5. Let k be (-3)/12 - u/8. Which is smaller: k or l?
l
Suppose -1 = c - 0. Let a be (-5)/20 + c/(-4). Which is smaller: a or -1?
-1
Let u = 3 + -10. Suppose 2*q = -3*g - 7 - 9, -2*q - 24 = 4*g. Are g and u non-equal?
True
Let w = 1 + -4. Let g = w + 0. Let r be (-2)/(-15) - 0/g. Which is smaller: 0 or r?
0
Suppose -2*d = -0*d + 8, -3*a + 2*d + 17 = 0. Let s = 3 - a. Which is smaller: 6/17 or s?
s
Suppose 0 = g - 3*i + 5, -3*g + 8 = 2*g - 4*i. Suppose -2*x + 3*b + 6 = -4, -2*x + g*b = -14. Is x less than or equal to -1/3?
True
Let q = 4 + -9. Let a = q - -4. Let v be 1 - (30/(-27))/a. Which is smaller: v or 0?
v
Let b be (2 + (-117)/57)*10. Are b and -1 equal?
False
Let l = -8 - -8.1. Let q = -2 + 1.9. Which is bigger: l or q?
l
Let i = -6.35 - -0.15. Let c = -1.9 - i. Let q = c + -4. Which is smaller: -0.1 or q?
-0.1
Let v = 13/3 - 5. Let n(k) = k**2 + 12*k + 13. Let s be n(-11). Suppose 2*t + s*i = -8, 3*t - 4 = 2*i + 3*i. Which is bigger: v or t?
v
Let a = 0.13 + 1.87. Is a less than or equal to -2/11?
False
Let k(q) = q + 5. Let l be k(-6). Which is bigger: -3/8 or l?
-3/8
Let i be (14/385 - 0)/((-2)/20). Which is smaller: 1 or i?
i
Let r be ((-913)/(-440) - 0/(-1)) + -2. Which is bigger: 1 or r?
1
Let g be -12*(-3)/((-12)/(-4)). Is 11 at least as big as g?
False
Let g = -5.056 - -0.056. Is g equal to 2?
False
Let m be 13 - (1 + 0 + 0). Suppose -4*h + m = -h. Let o(p) = p**2 - 2*p - 5. Let z be o(h). Is z >= 2?
True
Let y(o) = -o - 5. Let r(h) = h. Let i(m) = 2*r(m) + y(m). Let x be i(5). Suppose -c - c = x. Is -2 < c?
True
Let k be 12/(-42) + (-570)/14. Is k at least as big as -41?
True
Suppose -5*g - 3*v - 6 - 12 = 0, -5*v = 3*g + 14. Let b(i) = i**2 + 2*i - 2. Let r be b(g). Suppose -4*h = -9*h + 5. Is r less than or equal to h?
True
Suppose -5*w + 0*i = 3*i + 299, -2*w = i + 119. Is -59 greater than w?
False
Suppose -3*o - 31 = -5*p, 4*o - 2*p + 18 = -0*p. Is -3 greater than o?
False
Let b be ((-2)/(-4))/((-10)/20). Which is smaller: b or 2/29?
b
Let d(b) = -3*b - 5. Let i be d(0). Do i and -6 have the same value?
False
Let r = -0.5 - -0.5. Let i = -3 + r. Let o be (6 - 4)*1/(-6). Which is bigger: i or o?
o
Suppose -2 = 5*w + 3. Let s = -5 - w. Which is smaller: s or -5/2?
s
Let u = -366027/202 + 1812. Let j = -431/1818 - u. Is 7 at least as big as j?
True
Let t = -0.09 - 0.03. Which is smaller: -0.1 or t?
t
Suppose -2*z = -0*z - 8. Suppose z = v - 0. Suppose -4*m + 2*g - 4 = -3*m, -m + 14 = v*g. Do 3 and m have different values?
True
Let w = -2 + 4. Suppose w*n = 4*n - 8. Suppose -l = 4*d - 4, -d - 3 + n = -2*l. Is -1 at least l?
False
Let v be 1*8 - 20/(-10). Let y be (-26)/(-65) + 16/v. Do y and 4 have different values?
True
Let g be 2*(-3)/6 - -1. Suppose -4*p + 23 + 1 = g. Is 6 bigger than p?
False
Let k = 1 + -3. Let m(n) = 3*n + 3. Let b(w) = w**3 + w**2 + w - 2. Let h be b(0). Let c be m(h). Is k at least c?
True
Suppose 5 = 5*u - 10. Suppose 0*p - 10 = h + u*p, -2*h = 2*p + 4. Is h less than -0.3?
False
Let g = 0.32 + -0.02. Let t = -1.7 + -0.3. Which is smaller: t or g?
t
Let j = -0.1 - -0.1. Suppose 4*y - 3*b - 27 = -0*b, 0 = 5*y + 3*b - 54. Let t be 6/(-20)*(-12)/y. Which is greater: t or j?
t
Suppose -4*n + j - 7 = 0, n = -4*n + 3*j - 14. Suppose 0 = -p + 1 + 1. Let o = p - 4. Which is smaller: n or o?
o
Let l = 22/15 + 14/45. Is 3 at least as big as l?
True
Let j = 1 - 1. Suppose -i = -j*i. Let m = 23/6 - 13/3. Is m greater than i?
False
Suppose 5*d - 17 = -2. Let s be -2 + 4 + d + -5. Is s less than or equal to 2?
True
Let z = 1 - 6. Let g = z + 4. Let c = 4/9 + -17/18. Which is smaller: c or g?
g
Suppose -28 = 4*d - 0*d. Let s = d - -11. Which is smaller: 3 or s?
3
Let w = 13.13 + -13. Are -2/7 and w unequal?
True
Suppose 0 = 2*t - 4 - 0. Let w be (t/6)/((-1)/9). Suppose 3*u = -0*m + m - 3, -1 = -m + 2*u. Is w bigger than m?
False
Let k be ((10/(-3))/(-10))/(1/3). Let w = 36/7 + -32/7. Are w and k nonequal?
True
Let o = 79/234 + -8/13. Is 0 at most as big as o?
False
Let x(j) = -j**3 - 17*j**2 - 7. Let y be x(-17). Let w(b) = -8*b**2 + b + 1. Let r = 3 - 4. Let h be w(r). Is y not equal to h?
True
Let a be -3*4*5/(-60)*-2. Let s = 1 + -1. Suppose -4*u + 2*m - 16 = s, u + 3*m = -u + 8. Do a and u have the same value?
True
Suppose t - 5 = -k, 4*t - 24 = -3*k - 5. Which is smaller: 5/2 or t?
5/2
Let p(g) = -6*g**2 - g + 9. Let v be p(-3). Which is smaller: -40 or v?
v
Let o be (-2)/(-6) - (-91)/(-117). Let z = -7/18 + o. Are z and -2 nonequal?
True
Let k(a) = -a + 4. Let f be k(-9). Let p = 8 - f. Is p <= -5?
True
Let i be ((-16)/(-204))/((-4)/2). Which is smaller: 1 or i?
i
Let t be 42/4*4/(-6). Let u = t - -7. Let s be (8/(-10))/(6/9). Which is smaller: s or u?
s
Let m(g) = 6 + 5 - 2*g - 2*g + 2*g. Let c be m(6). Which is smaller: c or 2/31?
c
Suppose 0*q = -4*q - 4*f, -4*q = 2*f - 8. Let j(p) = p**2 - 4*p - 5. Let u be j(q). Let t = u - -3. Is -2 smaller than t?
False
Let k = 10/9 - 128/99. Let l(w) = -w + 2. Let f be l(3). Which is greater: f or k?
k
Let q be 20 - ((-40)/(-56) + (-6)/(-21)). Is 17 greater than q?
False
Let q be -1 - (-3)/(3/1). Let p be (-33)/(-27) - q - 1. Is 1 smaller than p?
False
Suppose 0*z - 44 = 4*z. Is -10 at most z?
False
Suppose -t = -x + 3*x + 24, 0 = -4*x. Which is bigger: -25 or t?
t
Let n = -13/114 + 1/114. Which is greater: 1 or n?
1
Let z = 16 - 49/3. Is -2/15 less than z?
False
Let f = 10 - 12. Let z = f - 2. Is -1/2 < z?
False
Suppose u + 4 = -0*u. Is -8/3 > u?
True
Let s = 0.141 - -0.029. Is 0 bigger than s?
False
Let m = 10.02 - 10. Which is greater: m or 1?
1
Let s be (-4)/2 + (-8)/(-2). Let u = -6.88 - 0.12. Which is greater: s or u?
s
Let p = 22 + -9. Let w = p + -18. Is -3 greater than w?
True
Let a be 4/(-10) + 122/5. Suppose -7*m + 10*m + a = 0. Is -1 greater than or equal to m?
True
Let w be 4/30 + (-209)/330. Let j be 4/14 + 3946/56. Let i = j + -72. Which is greater: w or i?
w
Let p = -19.997 + -0.003. Let k = 21 + p. Which is greater: -9/7 or k?
k
Let m = -3/29 - -103/435. Let k be 4/(-16)*-22*-2. Let x = k + 11. Which is smaller: x or m?
x
Let x = -8962/27 - -332. Suppose 0 = -s - 1 + 3. Let z = 3 - s. Is z <= x?
False
Suppose 3*t = -2*r - 54, -3*r - 6 = -5*t - 77. Let k = 14 + t. Is -8/7 bigger than k?
True
Let r be (0 - 0)/((-23 + 5)/6). Let t = -33/58 - -2/29. Is t < r?
True
Suppose 4*d + 1 + 7 = 0. Let x be (-5)/2*60/(-225). Is d greater than x?
False
Let r be (42/108)/((-3)/6). Is r not equal to -0.1?
True
Let v(f) = 2*f + 5. Let h be v(4). Suppose 5*r = h - 43. Which is greater: r or -5?
-5
Let i = 46 - 44. Which is bigger: 7 or i?
7
Suppose 1 - 13 = -3*d. Suppose d = 4*b + 5*h, -4*h + 0 = -2*b + 2. Suppose -3 + b = 2*q. Is 2/5 at least q?
True
Let r = -28 - -30. Do -37 and r have the same value?
False
Let g be (-2 + 2 - 0)/(-1). Let v = 2 + g. Suppose -3*i = -0*u + u + v, 5*u + 2*i = -10. Are u and -2 equal?
True
Let m = 1.3 + -0.3. Let y = 12 - 13. Which is bigger: m or y?
m
Let a = -7.5 - -8.5. Are 0.14 and a equal?
False
Suppose 7 = k - c, 16 = k - 4*c - 0. Let j = k - -6. Is j > 10?
False
Let p = -0.12 + 1.92. Let z = p - -0.2. Let n = -106/153 - -8/17. Which is greater: n or z?
z
Let i = -10 + 10.5. Are i and -4 nonequal?
True
Let i = 41691/47 - 887. Is -1 greater than or equal to i?
False
Suppose 4*c = 11*c - 189. Which is bigger: 25 or c?
c
Suppose 4*i + 4 + 12 = -5*m, -5*i - 20 = 4*m. Are -2/71 and m equal?
False
Let p(h) = h**2 + 6*h. Let l be p(-6). Let y = -12.5 + 22.6. Let x = y + -10. Which is smaller: x or l?
l
Let x be 12*(-7)/(112/60). Are -44 and x equal?
False
Let s be (0 - (-6)/46)*(-185)/111. Which is smaller: 1 or s?
s
Suppose 5*s - 5*r - 375 = 0, -5*s + 2*r + 308 = -s. Let t = 791/10 - s. Which is greater: -1 or t?
t
Let k = -34/25 + 14/25. Is -1 equal to k?
False
Let p = 43 - 27. Let i be ((-1)/(-3))/(12/p). Let b be (3 + -3)*1 - -1. Is b < i?
False
Suppose -19 - 1 = 4*i. Let b be 3/(-42)*(i - -3). Are 0.1 and b non-equal?
True
Let y = 33 + -35.8. Let t = y - -3. Let x = 0.4 - 0.3. Are x and t non-e