 -3/28. Let r = -0.2 - -0.3. Let s = r + -1.1. Which is smaller: q or s?
s
Let n be 12 + -13 - 42/(-38). Is 1 not equal to n?
True
Let k be 1 - ((-9)/255 - -1). Let z = -149/595 - k. Is z at most 0.4?
True
Let n = -12 + 6. Suppose -4*a = 3*a. Suppose 5*z - 30 = 2*r, 2*r - 4*z + 0*z + 26 = a. Which is smaller: n or r?
n
Let p = 0.2 + 0.8. Suppose -1 = -l - 0. Let n = l - 2. Which is smaller: p or n?
n
Let g be 2/(-5) - (3 - 1). Is -1 equal to g?
False
Let o = 4.1 + -4. Let y = -8 - -11. Is o greater than or equal to y?
False
Let y(k) = k**2 - 6*k - 7. Let h be y(6). Let t = -12 - h. Let s be (-2)/t - (2 + -2). Which is smaller: s or 0?
0
Let m be (-4)/18 - 1550/(-90). Is m less than 16?
False
Let q(v) = -v**3 + 6*v**2 + 2*v - 9. Suppose 2*b = 3*b - 6. Let k be q(b). Suppose -k*n = -2*n. Which is bigger: n or -2/3?
n
Let x(y) = y - 8. Let a be x(8). Let j = 45/2 + -21. Let t = a - j. Which is greater: -3 or t?
t
Let u = -106 + 106. Let b = 9 + -6. Which is greater: u or b?
b
Let k = -434/39 + -20/13. Do k and -14 have different values?
True
Let t(m) = -m**2 - 11*m - 21. Let b be t(-6). Which is greater: 6 or b?
b
Let n = 14.07 - 14. Let q = 0.2 - -0.8. Does q = n?
False
Let r = -8 - -71. Let p be (-12)/r*3/(-2). Is p equal to 0?
False
Let l = -122 - -122.1. Which is greater: -22 or l?
l
Let v(s) = s - 1. Let b be v(4). Let w be ((2 - 6) + 0)/(-2). Let n be (w/b)/(6/(-9)). Is 0 != n?
True
Let g be (-12)/(-4)*(-8)/(-6). Let p = g - 2. Let z be -2 + 1/(p/2). Are -1/9 and z unequal?
True
Suppose 3*x - 5 = -32. Let d = x - -8. Which is bigger: d or 1?
1
Let w be ((-57)/9 - 0)/(-14). Let q = -9/7 + w. Is q at least as big as -2?
True
Let k be -4*((2 - 0) + -1). Let h = 4 + k. Let f = -2/31 + -23/124. Which is smaller: f or h?
f
Suppose -2*c = 2*c. Which is smaller: c or -0.05?
-0.05
Let t = 116 - 115. Is t < -3/13?
False
Let i = -0.24 + 0.12. Let w = i + -0.88. Let y = -0.4 - -0.2. Are y and w unequal?
True
Let s be (-2)/4*0 + -2. Do 1 and s have the same value?
False
Let q = -3 - -6. Let z be (q/(-18))/(2/16). Let b(s) = -s**3 + 7*s**2 - s + 5. Let u be b(7). Is z equal to u?
False
Suppose 0 = -2*p + 5*y - 25, -3*p - 5*y + 25 = 0. Is p bigger than 4?
False
Let z = -1 + 6. Suppose -z = -j - 4. Which is greater: j or 2/33?
j
Suppose 0 = v + 4 + 1, -5*v + 2 = 3*k. Suppose -k = -3*f + b, -2*f + 2*b = -1 - 1. Suppose 0 = 3*g - 5*i, f*g = 5*i - 3*i. Which is bigger: 2/29 or g?
2/29
Let s(h) = -3*h + 5. Let b be s(5). Let k = -9 - b. Are 1 and k unequal?
False
Let d = 5 - 0. Let h = d + -4. Let w = -0.9 + h. Is w at most 0.1?
True
Let y = -12 - -17. Suppose 0 = y*g - n + 4*n - 8, 4*g - 5*n = -1. Which is smaller: g or -2/9?
-2/9
Let d(u) = -u - 1. Let k be d(1). Let n = k + 2. Which is bigger: -1 or n?
n
Let p = 26/11 + -152/55. Let g = -0.2 - -1.1. Let d = g + 0.1. Which is smaller: d or p?
p
Suppose 2*k + 2 = 4*k. Let n be k + -1 - 12/1. Let i be 8/66*n/8. Which is bigger: i or -1?
i
Let t = 117/20 - 28/5. Let v = 0.5 - -0.5. Let b = 2 - v. Which is greater: b or t?
b
Suppose -4*z + 6 = 2*n, 3*n - 10 = 5*n. Suppose 5*v - 5*g + 15 = 0, z*v + 4*g - 21 = -v. Is v less than or equal to 0?
False
Let t(l) = -l**2 - 8*l - 5. Let k be t(-5). Suppose 23 = 3*z - 4*i, -5*i = z - k*i - 26. Suppose 3*g = h - z, -h - 3*g = -0*g - 1. Is h less than or equal to 1?
True
Let o(g) = g**2 - g - 1. Let z be o(0). Suppose -20 = r - 5*d - 1, 4*r = 5*d - 16. Suppose 4*a - r = -5. Is a >= z?
True
Suppose 5*r - v + 14 = 0, 4*v - 18 = -2*r + 3*r. Let n(s) = s**2 + 3*s + 2. Let z be n(r). Which is smaller: z or 4/3?
z
Let k be (1 + 81/(-42))*-2. Which is smaller: k or 2?
k
Let o = 12321/55 + -224. Is -1 smaller than o?
True
Suppose -y + 6 = -4. Suppose -5*t + 7*t = -y. Let m(s) = -s**2 - 5*s + 1. Let a be m(t). Is 1 less than a?
False
Suppose 6*a + 4 = 4*a. Let q be (-4)/(-1)*1 + a. Let m be ((-6)/q)/(6/8). Is m > -3?
False
Let p be ((-1)/(-2))/(4/48). Which is greater: 7 or p?
7
Let o be 10 + (-4 - -1 - -7). Is 13 at least o?
False
Let d(j) = -j**2 - 2*j + 2. Let a be d(-4). Let b be (-1)/(-2) + 3/a. Is b < 1?
True
Suppose 4*v + z - 2 = 3*v, z - 5 = 2*v. Does -1 = v?
True
Suppose 0 = z - 2*z - 1. Let g(w) = -3*w**2 + 2*w + 1. Let h be g(z). Is -4 at most h?
True
Let u be 4 + (4/1 - 0). Which is greater: 1 or u?
u
Let j = -993/5 - -202. Is 4 greater than j?
True
Let g = -221/2 - -105. Let m = 4 + g. Is -0.1 at least m?
True
Let k = -0.36 + -0.04. Let u = 0.7 + -0.6. Let o = u - k. Which is greater: o or 0.1?
o
Let v = -18 + 26. Let d be 8/288*(-6)/v. Is d smaller than 0?
True
Let g = -22 + 28. Which is greater: g or -2?
g
Let n = -624 + 14355/23. Which is bigger: 0 or n?
n
Let a be (2 + -1)/(5/(-25)). Is -5 bigger than a?
False
Let q = -0.1 + 0.07. Let l = 0.03 + q. Let u be ((-1)/2)/(7/(-14)). Which is greater: l or u?
u
Let b be (4/(-3))/(10/(-15)). Suppose 0*a + 5*j = -3*a - 41, 2*a - b*j + 22 = 0. Which is bigger: -13 or a?
a
Let d = -0.95 - 0.05. Let h = 0.8 + d. Are -3 and h nonequal?
True
Let z(n) = -n**2 + 11*n - 5. Let o be z(10). Which is greater: o or 9/2?
o
Let q = 26233/24 - 536957/504. Let a = -192/7 + q. Which is bigger: -2/7 or a?
a
Suppose -4*n + 8 = -0. Let m = 1 - 2. Are m and n equal?
False
Let a = -81 - -80.7. Let x = 0.95 - 0.05. Let k = 1 - x. Is k equal to a?
False
Suppose x + 2 = -3*v + 2*v, 18 = -5*x - v. Let q be 5/((-10)/28) - x. Is q less than -10?
False
Let g be (-8)/(-6)*20499/12. Let r = g - 25027/11. Let v = 20/11 - r. Is 0 greater than or equal to v?
True
Suppose -2*m + u = -3*u + 4, 0 = 2*m + u + 4. Which is smaller: m or 1?
m
Let q be (-526)/(-6)*20/10. Let h(p) = -8*p**2 + 5*p + 2. Let c be h(5). Let d = q + c. Which is bigger: 2 or d?
d
Let m = 1698531/55 + -30880. Let t = m - 24/11. Let h = 2/33 - 41/132. Which is bigger: t or h?
t
Let w = -2587/11 + 235. Is w at most as big as 0?
True
Let x = 10 + -9.9. Which is smaller: x or 67?
x
Let r = 103/51 - 6/17. Which is smaller: 1 or r?
1
Suppose -2*g = -4*r - 24, 2*g - 5*r = 4*g + 12. Let t be (4/63)/(g/(-6)). Suppose -1 = -2*f - 3. Which is bigger: t or f?
t
Suppose z = -1 - 0. Which is bigger: 1 or z?
1
Let w = -0.1 - 0.4. Let x = w - 0. Let b = -0.4 - x. Which is bigger: 4 or b?
4
Let g(k) = -k**3 + 2*k**2 + 2*k - 3. Let j be g(2). Is j >= 0.2?
True
Let w = 63 - 185/3. Suppose -2*o - o = 0. Does w = o?
False
Suppose -19 = -4*m - m - 2*f, m - 5 = -f. Suppose m*v + 20 = -2*v. Let s = -0.2 - -0.1. Which is smaller: v or s?
v
Suppose 5*a - 2 - 8 = 0. Let j(w) = w**2 + 4*w - 8. Let z be j(-6). Is a not equal to z?
True
Let f be (-6)/(-51) + (-4)/34. Suppose 2*l = -f + 18. Is 8 not equal to l?
True
Let o = 0.105 - 2.105. Let v be 2/5 - (-38)/(-20). Which is smaller: v or o?
o
Let x be -2 + 665/42*(-18)/(-20). Which is smaller: 11 or x?
11
Let v(l) = l**3 + 13*l**2 + 13*l + 6. Let w be v(-12). Which is smaller: w or -3?
w
Let i be ((-8)/(-5) - 1) + 38/(-30). Let l = 7 + -6.94. Is l < i?
False
Suppose -5*y = 2*b + 1, -3*b + y = 5*y - 16. Let x be 0 - (-2)/(8/b). Which is greater: x or 5/2?
x
Let q = -111 - -110.06. Let i = 25.94 + -26. Let o = q + i. Is 2 at most o?
False
Suppose 5*n = -4*q - 2, -2*n - 3*n - q - 8 = 0. Let s be (13/(-6) - n)*-4. Let v = -1 + 2. Do s and v have different values?
True
Let h(g) = -g**2 + 6. Let n be h(0). Suppose 222*z = 215*z + 56. Are z and n nonequal?
True
Suppose 0 = 28*g - 27*g - 2. Which is smaller: 13/5 or g?
g
Suppose -2*x = u + 2*u + 172, -2*u = -4*x + 120. Which is smaller: -60 or u?
-60
Let i = 0.2 + -0.22. Let r = i + -0.08. Which is smaller: r or 0.04?
r
Let t = -29.2 + 29. Which is smaller: -0.7 or t?
-0.7
Let a = -2 - 11. Which is smaller: a or -14?
-14
Suppose 9 = 5*y + 59. Let z be (12/y)/((-18)/60). Let g be z/(-16) - 21/(-52). Which is bigger: 0 or g?
g
Suppose 525 = -3*f - 5*j, 2*j - 6*j - 862 = 5*f. Let w be (-9)/(-24)*f/1. Let q = 63 + w. Is -0.1 at most as big as q?
False
Let u = 59 + -60. Which is bigger: u or 2/47?
2/47
Let s = 0.55 - -0.5. Let b = -31 + 31.05. Let a = s - b. Is a greater than 1?
False
Let o = -2 - -4. Suppose -3*w + 4*a + 12 = w, -2*a = o*w + 6. Let g = -86/5 + 17. Do w and g have the same value?
False
Let p = 2307/658 - 2/329. Is 5 bigger than p?
True
Suppose 6*z - 4*z - 3*i - 35 = 0, 65 = 4*z - 5*i. Let g = z - 11. Is -1 not