?
True
Let n = 22 - 21.87. Let s = n + -0.03. Is s less than 2?
True
Let f = 0.08 + 13.92. Let d = 0.23 - 10.23. Let g = d + f. Do 2/5 and g have the same value?
False
Let w be -3 + 5 - 7*1. Which is smaller: w or -29/5?
-29/5
Let u(x) = -x**2 + 7*x - 4. Let n be u(7). Let z be 6/n*-1 - 2. Let r = -1/58 + 44/29. Is z at most r?
True
Suppose -2*x + 3*x = 4914. Let s be x/35 - 6/2. Let b = s - 137. Is b smaller than 0?
False
Let i be (-3)/18*(-30)/4. Which is bigger: 0.2 or i?
i
Suppose b - 4 = -0. Suppose 59 = -b*z - 1. Let s be 3/z*15/12. Does -1 = s?
False
Let h(a) = 2*a + 20. Let i be h(-9). Let y be ((-4)/(8/i))/(-1). Are 3 and y nonequal?
True
Let b be (-3 - -2)/((-3)/(-6)). Which is smaller: -5/2 or b?
-5/2
Suppose 0 = 3*t + g - 3, 3 + 2 = 5*t + 2*g. Let m = -1/1202 - -197131/3606. Let d = m + -54. Which is smaller: d or t?
d
Suppose 2*q + 0*q - 2 = 0. Do 1/4 and q have different values?
True
Let v be 11/3 + (-6)/9. Let g(z) = -2*z**2 + 2*z + 4. Let l be g(v). Let n = l - -26/3. Which is bigger: -2/3 or n?
n
Let v = 91 + -120. Are v and -30 non-equal?
True
Suppose f + 2*f - 9 = 0, 229 = -4*z - 5*f. Which is greater: -62 or z?
z
Let f be (1 - 17)*(-10)/20. Is f > 8?
False
Suppose 60*d - 52*d = -16. Is -5 at least as big as d?
False
Let u = 10.91 - -0.09. Let k = 8 - u. Do k and -1 have different values?
True
Suppose -2*a = -3*a - 3. Let i = a - 2. Suppose 0 = -5*l + 4*l. Is l at least i?
True
Let p = 53/3 + -18. Let x = 0 + -3. Let d be -6 - x - (1 - 3). Which is greater: d or p?
p
Let u(v) = v**3 + 4*v**2 - 2*v. Let a be u(-4). Suppose -5*x + 19 = -6. Let h be a/(-110)*x/2. Is h >= 1?
False
Let g(f) be the second derivative of -f**4/12 - f**3/6 + 3*f**2/2 - 2*f. Let p be g(0). Is p equal to 2?
False
Let w(v) = v**2 + 2*v - 2. Let x be w(-3). Suppose b + 2 - x = 0. Let q = 5/12 - 37/60. Which is greater: b or q?
q
Let u = 32 - 32. Which is bigger: u or 1?
1
Let m = 1 + -1. Suppose f + f = m. Suppose 218 = -51*j - 37. Is f less than or equal to j?
False
Suppose -40 = -7*l + 2*l. Suppose -2*t - 3*b = 23, -b - 2 + 1 = -t. Let r be t/l*(-8)/(-14). Which is smaller: 1 or r?
r
Suppose 2*r = -3*i + 46, 0 = -0*i + 4*i + 5*r - 73. Suppose 0 = -i*a + 17*a. Let b be (-1)/(-2)*1/(-2). Which is smaller: b or a?
b
Let c = 3 + -3.1. Let v = 0 + c. Is v at most 0?
True
Let k(i) = -i**2 + 7*i. Let d be k(7). Is 2/45 < d?
False
Let z be (-11)/(3575/(-120)) + 6/(-10). Which is smaller: z or 0?
z
Suppose q - 2*m = 21, -2*q + 3*m + 49 = 7. Is 21 smaller than q?
False
Let r = -20/9 + -13/9. Is -4 less than or equal to r?
True
Let y be 7/((-14)/(-8)) + -2. Suppose -5*v = -f - y*f - 45, -f = v - 1. Which is smaller: 5 or v?
5
Let r(i) = -i**3 - 13*i**2 - i - 6. Let v be r(-13). Suppose v*y - 5*y = 6. Which is greater: 6 or y?
6
Let f be (330/(-40))/((-2)/8). Which is smaller: f or 32?
32
Let p be ((-4)/10)/(3/15). Let d be (1 + -2)*-1*-5. Let m = 2 + d. Is m bigger than p?
False
Let d = 2 - -9. Suppose -j - k = 5, -18 = 4*j - 5*k + d. Let x = 4 + j. Which is bigger: -3 or x?
x
Let f(l) = -l**2 + 15*l + 4. Let v be f(16). Is v <= -12?
True
Let h(w) = w**2 - 8*w + 3. Let j be h(8). Suppose 0 = -2*x - 3*l - 3, -4*l - j = -l. Let c be 0*(2 + -3)/2. Is c >= x?
True
Suppose 2*s = -l + 7, -3*s = -5*s - 2*l + 10. Which is greater: 1 or s?
s
Let b(j) = -j**3 + 3*j**2 - 4*j + 4. Let m be b(2). Which is bigger: m or 3/11?
3/11
Suppose -5*c = 5*g + 20, -3*c - 2*g - 2 = 7. Let i be (10/(-25))/(2/(-20)). Let p be i/(-3)*1/2. Does p = c?
False
Let v be 2 - 1 - (6 + 2). Is 1 at most v?
False
Suppose -k = k - 8. Let j be 2/k + (-2)/3. Is 1 smaller than j?
False
Let o = 146 + -98. Let a be 2/7 + o/(-21). Let w be (2/12)/(1 + a). Which is bigger: 1 or w?
1
Suppose 2 + 7 = 9*x. Is 1 at most x?
True
Let v = -5 - -7. Let b(s) = -s**2 + 6*s. Let j be b(6). Which is smaller: v or j?
j
Let u = 4 - 6. Let v(h) = 0*h + h + 15 - h**2 - 12. Let j be v(3). Is j less than u?
True
Let n be (-1022)/(8/4) - -1. Let m be 4/10 + 224/n. Which is bigger: m or 0?
0
Let p be 1/(6/(-5) + 1). Let s = -1 + 1. Let y be 3*(s - (-12)/(-9)). Which is smaller: p or y?
p
Let a be (3/6)/(1/2). Suppose -5*w = -a + 6. Let q(z) = -3*z - 8. Let o be q(-3). Which is bigger: o or w?
o
Let f be (-20)/4 + 10148/2028. Is f > -1?
True
Suppose -3*d + 2*y = 26, -3*d + 6 = -4*d - 2*y. Which is greater: -2 or d?
-2
Let a be ((-32)/28 + 1)*6. Is a bigger than 1?
False
Suppose 0 = -2*i + i. Let b = 11 + -7. Suppose -5*v = b*a - 16 - 4, -2*a - 5*v = -20. Is a less than i?
False
Suppose 7*i - 2*i = -3*y + 31, -4*y - 4*i + 28 = 0. Suppose 3*j - 12 - 19 = 5*v, 3*v + 20 = y*j. Suppose 5*s = -0*s - 2*g + j, s + 2*g - 3 = 0. Is s <= -1/4?
False
Let o = 0.14 + 0.26. Which is smaller: o or -0.3?
-0.3
Suppose -2*a + 1 = -1. Let u(l) = -8*l**2 - l - 1. Let k be u(a). Do -10 and k have different values?
False
Let s be -1*(-2)/(-6)*-12. Let q = 1 + s. Is q at least 6?
False
Let f be 9/(756/(-32))*(-12)/2. Which is smaller: 2 or f?
2
Let y = -9 + 7. Let s be (-28)/(-18)*(y - 1). Is s not equal to -1?
True
Suppose q - w = -0 + 3, 12 = -q - 4*w. Which is greater: -3 or q?
q
Let f be (21/14)/((-6)/40). Suppose -g + 27 = -4*g. Which is bigger: f or g?
g
Suppose -4*r = -29 + 9. Suppose -5*h + 5 + 38 = 4*u, 50 = 5*u + r*h. Which is smaller: u or 6?
6
Let i be (3/(-9))/((-1)/3)*-1. Does -21/10 = i?
False
Let v(j) = -3*j - 5. Let i be v(-1). Which is greater: i or -0.7?
-0.7
Let d be ((-6)/(-9) - 2)*6. Let v be (10/(-4))/(4/d). Suppose -5*a + 0*a + 2*z + 2 = 0, a + 18 = v*z. Does a = 2?
True
Let o = -17/116 + -3/29. Which is smaller: o or -1/3?
-1/3
Let s = -3 + 3.4. Let q = 1.4 - s. Which is smaller: q or 0?
0
Suppose 3 = 2*y + 1. Suppose -7 - 7 = -4*p + 2*d, 14 = -p - 3*d. Let j be ((-15)/12 + p)*-4. Is j > y?
False
Let d = -0.7 + 1. Let s = d + -0.2. Which is smaller: s or -2/11?
-2/11
Let q = -11 - -6. Which is smaller: q or -9/2?
q
Let g be (-25)/44 - 18/99. Which is smaller: 1 or g?
g
Let h = -142 - -18. Let i = h + 627/5. Is i at least as big as 0?
True
Let d = 4.98 - 5. Let m = d + 2.02. Which is smaller: m or -2/7?
-2/7
Suppose -2*m + 0*m = 0. Is m greater than -2?
True
Let n = 25 + -49. Let k be (-4)/(-14) + n/(-14). Which is bigger: k or 1?
k
Let q be (-30)/(-50) + (-2)/(-5). Which is smaller: -0.1 or q?
-0.1
Let f be -3 + 835/483 + 1. Let z = f + -1/69. Is z < -1?
False
Let a be 0 - 2/(-3) - 1. Let g = 0.91 - -0.09. Is g less than or equal to a?
False
Let j = 2/405 + 88/405. Is -1/4 > j?
False
Let b be 2/6 - (0 + 1). Let f(k) = k - 6. Let t be f(6). Is t bigger than b?
True
Let b = 8 + -20. Let h be 18/14*(-2)/b. Let a = -1/2 + h. Which is greater: a or 1?
1
Let x = 47/3 + -15. Let g be 0 - (-1)/(1/2). Which is smaller: x or g?
x
Let l(x) = -2*x - 12. Let r be l(-8). Suppose 0 = -r*f + s + s + 2, 3*f + 5*s = 8. Is f not equal to -1/4?
True
Let a(k) = -k**3 + 2 + 0 + 7 + 7*k**2 - 8*k + 0. Let t be a(6). Let h(x) = x + 3. Let y be h(t). Which is bigger: 2/5 or y?
2/5
Suppose t - 12 = -3*t, b + 5*t - 6 = 0. Is b smaller than -6?
True
Suppose l = 5*j - 5, -4*l - l - 5*j + 95 = 0. Suppose 1 = 4*t - l. Suppose 0 = m - t*q - 6, q = 5*m - 0*q + 8. Which is smaller: 1/4 or m?
m
Let q = 8 - 4. Let c = -1 + q. Let m = 0.1 - -0.1. Is c bigger than m?
True
Let m = 0.34 + -0.04. Let b = m + -0.4. Suppose -11 = 4*i - 2*r + 3, 0 = i - 3*r + 11. Are i and b equal?
False
Suppose 5*j - 88 - 92 = 0. Is 37 smaller than j?
False
Let s = 7/30 + -1/90. Let t(p) = p + 8. Let z be t(-6). Let d = z + -3. Which is smaller: d or s?
d
Let y(f) = 7*f**2 - f - 6. Let z(r) = -7*r**2 + r + 5. Let o(p) = -4*y(p) - 5*z(p). Let g be o(-1). Let t = -4 + g. Do 3 and t have different values?
False
Let z = 7.84 - -0.16. Which is smaller: z or -2/7?
-2/7
Let f = -6 + 7. Is 1/4 bigger than f?
False
Let c = 2 - 0. Suppose -3*o + c*o = -7. Let n be (-18)/112 + 2/o. Which is greater: n or 1?
1
Let p = 1594 - 19117/12. Is p at most as big as 0?
False
Let t(n) = -n**3 - 6*n**2 - 4*n + 5. Let j be t(-5). Is -2/63 > j?
False
Suppose 5*z + 5 = -2*t, -4*t - 20 = 4*z - 4. Suppose -8 = -4*k + 2*g, 4*k + 8 = -g - g. Let r be z/2*-2*k. Which is smaller: 1 or r?
r
Suppose -38 - 7 = -5*b. Which is smaller: 4 or b?
4
Let r = -151 - -162. Which is bigger: r or 13?
13
Suppose 0 = 4*j - 11 - 1