 to -1/4?
True
Let x = 0.24 - 0.64. Which is greater: -0.3 or x?
-0.3
Let c = -43.95 + 47. Let z = c - 0.05. Are z and -1 non-equal?
True
Suppose z - 2*x - 3*x = -4, 2*x + 4 = -z. Do -7 and z have different values?
True
Let p be (2/(-6))/((-2)/96). Suppose -5*i - 10 = c + p, 5 = 5*c - 2*i. Which is greater: c or -1/19?
-1/19
Let o be (-9)/(-18)*(-12)/(-33). Is o at least as big as 1?
False
Let z be 18/(-3)*34/(-6). Which is smaller: 32 or z?
32
Let u be 3/15 - 12/(-15). Let x = -8969/65 - -138. Let f = x + 62/195. Which is bigger: u or f?
u
Let v = -925 - -10158/11. Let q = 743/495 + v. Let x = -4/9 - q. Which is bigger: -1 or x?
x
Suppose 0 = -3*w + 4*a - 9, w + 2*a = 7*a - 14. Suppose 2*g - 1 = -q, -2*g - w = -0*q - q. Is q equal to 1/5?
False
Let g(l) = l**3 + 6*l**2 + 5. Let f = -9 - -3. Let p be g(f). Is 4 less than or equal to p?
True
Suppose 3*f - 4 = f. Let h = 2 + f. Let y be h/(-6)*1*3. Are y and -2 equal?
True
Suppose -7 = f + 5*h, 2*h + h - 21 = 3*f. Let d be 1 - 2*14/4. Let b = f - d. Is b > -1?
False
Let q = 8 + -8. Is 6/7 less than q?
False
Let n be (-292)/(-20) - (-4)/10. Suppose 3*f = 5*g + 23, 3*g - n = 5*f + 8*g. Is 5/3 at most f?
False
Suppose 17*i + 8 = 21*i. Let t = 442 - 2199/5. Which is smaller: i or t?
i
Suppose -16 = -h - 3*a, -2*h + 2*a = -2*a + 18. Is h less than 3/13?
False
Let g be (27/30)/(120/(-50)). Suppose -x + 5*a + 5 = 0, 0*x = -x - 2*a - 2. Do g and x have the same value?
False
Let v = -0.02 - 0.78. Let d = -0.5 - v. Let j = 0.4 - d. Which is bigger: -3 or j?
j
Let x be -16 - 4 - (-4)/(-1). Is x equal to -24?
True
Suppose -2*k = -2*y + 6, -k = -y + 2*y - 5. Suppose 2*j + 1 = n + y, 6 = -2*n. Let w = -56 - -54. Is j bigger than w?
True
Let q(f) = 2 + f**3 - 8*f**2 + 3*f + 0*f**3 + 3*f. Let y be q(7). Is y greater than -1?
False
Let o be 0/(-3 + 1 + 0). Let q = 0 + -2. Is q smaller than o?
True
Let m(c) = -c**2 - 9*c + 2. Let g be m(-9). Is 9/8 <= g?
True
Let i be (1 - 0)*(2 - 1). Let b be i*(6/(-3) - -1). Are b and -3 non-equal?
True
Let m = -2/39 + -29/195. Which is smaller: 0 or m?
m
Let x(v) = -v + 7. Let r be x(5). Suppose 0*a + 5*a = -h - 20, 0 = 2*a - r*h - 4. Suppose -4*p = 1 + 11. Is p greater than or equal to a?
True
Let h be (2 - (-12)/(-4))/(-2). Let b be (-1 - 1)*(-2)/2. Let t = b - 1. Is h less than or equal to t?
True
Let d(w) = -6*w**2 - 2*w + 2. Let q be d(2). Let f = 17 + q. Is f >= -9?
True
Let u = -11081/24 - -462. Is u at least 0?
True
Let s = 0.91 + 0.09. Let z = -25/186 + -1/31. Which is smaller: s or z?
z
Let r = 91 - 143. Which is greater: r or -2/7?
-2/7
Let z = -9 - -15. Suppose -3*n + 7 = -f, -3*n - 2*f + 13 = -0*n. Let r be (n/z - 0)*3. Is r at least 2?
False
Let m = -24.1 + 24. Which is bigger: m or 15?
15
Let p = -0.5 + 0.4. Let j = -1 - -1. Let c = j - p. Which is greater: c or -1/2?
c
Suppose 18*f = 12*f. Suppose 0*d - 4*d = -16. Suppose 2*q - d*q - 2 = f. Which is smaller: q or 0?
q
Suppose -2*l + v - 3 = -6*l, -5 = v. Suppose 6 = -p - l*p. Which is greater: -0.2 or p?
-0.2
Let f be (-2 - -1*3)/1. Let l be 1/(1/(2 - 3)). Let p = 4/3 + l. Are f and p non-equal?
True
Let s = -631/168 - -15/4. Let v = 341/840 + s. Let o = 54 + -55. Which is bigger: v or o?
v
Suppose 4*u + 36 = -0. Let v be (-2)/(-3) + (-3)/u. Is v at most 12?
True
Suppose 35 - 7 = -4*p. Are p and -7 unequal?
False
Let h = -55 - -52. Is h greater than -4?
True
Suppose -10 - 14 = -4*t. Suppose c = -4*i + t*c + 4, -c - 3 = -3*i. Let x = -76/99 + 6/11. Is i <= x?
False
Let t(x) = x**3 - 2*x**2 - 1. Let j be t(-2). Let o = 376 - 787/2. Let w = j - o. Is w smaller than 0?
False
Let b = 0.298 - -0.002. Let w = 1 - 0. Do w and b have the same value?
False
Let g be (6/(-136))/(2/8). Which is smaller: 0 or g?
g
Let y = -4.53 + -0.57. Let v = -0.1 - y. Which is bigger: -1/4 or v?
v
Let j = -0.55 - -0.05. Let b = j - -1.5. Which is smaller: b or -2/3?
-2/3
Let k = -0.088 + -0.112. Is -0.2 at least k?
True
Let b = -1/49 - 93/245. Which is greater: -0.08 or b?
-0.08
Suppose -2*r = -2*b + 6, 4*b + 5*r - 12 = -0*b. Which is greater: b or 1?
b
Let m = 1 - -2. Let j = -19253/35 + 550. Let u = 111/70 + j. Does u = m?
False
Let j be 6/(-4) + (-1)/(-2). Let g(f) = 2*f**2 + 2*f + 1. Let h be g(j). Suppose 4*r + 3 - 11 = 0. Are h and r nonequal?
True
Suppose -2*l = -3*l + 13. Which is smaller: 14 or l?
l
Let j = 335/3 - 113. Which is smaller: 0 or j?
j
Let y = -0.03 + -7.97. Let k = y - -15. Is 1/4 > k?
False
Let n = -18 + 11. Let i = -6 - n. Which is greater: i or -4/9?
i
Suppose -4*z - 3*y = 86, 5*z + 104 = -6*y + 4*y. Let n be (-2 - (-24)/10)*z. Let i be (4 + n)/((-2)/1). Is i equal to 2?
True
Let v be (-276)/(-27) + (-2)/9. Suppose -2*w + v + 8 = 0. Is w equal to 11?
False
Let y be 2872/48 - (-1)/6. Suppose 2*s = 3*i - 26, -5*s + 13 = -3*i + y. Is 0 > s?
True
Let n be (12/14)/(3/21). Suppose -n*t = -5*t. Let p = 10/39 - 56/117. Which is smaller: p or t?
p
Let w(z) = -z**2 + 9*z - 15. Let m be w(6). Let b be (m/45)/((-3)/9). Is 0 < b?
False
Let w be (-2)/90*(-1574)/(-22). Let p = -17/11 - w. Is p != -1?
True
Let d = 33 - 19. Let g be 4/7 + 8/d. Which is greater: g or 2?
2
Suppose 25*t - 104 = 24*t. Is t greater than or equal to 104?
True
Let y = -13 + 13.06. Let m = -0.3 - -0.26. Let o = m - y. Which is smaller: o or 0.1?
o
Let x = -7.84 + 8. Is 2/3 greater than or equal to x?
True
Let b = 5590/17 - 329. Let g = b + -30/119. Suppose 6*i - 3*i = 0. Which is bigger: g or i?
i
Let i = 0.112 + -38.112. Is 0 bigger than i?
True
Let j = 4744 + -9285/2. Let u = j - 1033/10. Is -3 smaller than u?
True
Let a be 0*(3 + 16/(-6)). Which is greater: -5/6 or a?
a
Let y = -3 - -4. Let b = -1.3 + y. Is 0 <= b?
False
Let d = 14 - 15. Which is greater: d or 1/2?
1/2
Suppose 0*l + 32 = -l. Let k = 23 + l. Let m = k + 8. Is m at most as big as -7/5?
False
Let l = -7 - -17. Suppose l = 3*k - 2. Does k = 3?
False
Let h = 53.4 - 65. Let l = 0.6 + h. Is l at least as big as 2/5?
False
Let q = -6 + 5.8. Is -50 less than or equal to q?
True
Let r(t) = t**2 + 7*t + 6. Let i be r(-6). Which is smaller: i or -8?
-8
Let v be -1 - 3/(18/(-15)). Suppose -3*n + 2 + 5 = -4*k, -2*n = -5*k. Suppose n*f + 2 - 7 = 0. Is v equal to f?
False
Suppose 3*j - f + 14 = 0, -7*f = -2*f - 25. Suppose -2*l + 9 = -4*k + 3, 4*k + 5*l = 1. Is j greater than k?
False
Let d = -1531/11 - -139. Let u = -5 - -3. Are u and d equal?
False
Suppose 4*h - 4*i = -24, 0 = -4*h - 4*i + 7 + 1. Let d be 5/3 + (h - 0). Are -0.1 and d non-equal?
True
Let q be 4*3/(-6) + -6. Let d = q + 10. Is 3 bigger than d?
True
Let l be ((-1)/(-2))/(1/2). Let q be (-44)/(-36) + 4/(-18). Suppose 6*g + 3*y - 7 = g, -3*y + q = 2*g. Which is smaller: l or g?
l
Let j = 3 + 0. Suppose 20 = j*w + 5*m, -12 = -3*w - 0*m - 3*m. Let r be 5/12*3 - 1. Is w != r?
True
Let y(w) = w - 9. Let v be y(8). Let s = v + 5. Is 3 > s?
False
Let q = 22 + -22. Let c = -3 + 2. Which is greater: c or q?
q
Let i be ((-3)/(-4)*4)/1. Suppose -j = i - 6. Is j >= 4?
False
Let a be (-2)/(-9 + (2 - 0)). Let z(p) = p**3 + 2*p - 1. Let q be z(0). Let l be (-36)/(-42) - q/7. Is a bigger than l?
False
Let h(v) = -4 + v + 2*v**3 + 2*v**2 + 4. Let f = 0 + -1. Let k be h(f). Is k smaller than -2/9?
True
Let b be (-1 - -14) + -2 + 0. Let k = b + -7. Let m = k + -2. Is m at least 1/2?
True
Suppose 127 = 4*c - 5*i, -i + 33 = c - 2*i. Let k = 116/3 - c. Which is bigger: 0 or k?
k
Let m = 13 - 22. Is -9 less than m?
False
Let p(h) = -5*h**2 + 1. Let m be p(1). Let d be ((-2)/4)/(2/m). Which is smaller: 2/7 or d?
2/7
Let k(o) = -o**3 + 7*o**2 - 8*o + 8. Let c be k(6). Let p be 19/4 - 1/c. Suppose 0 = 3*l + p*h + 3, 5*l + h - 35 = 6*h. Does 1 = l?
False
Let z = 2 + 1. Let g = 78 - 82. Which is smaller: g or z?
g
Let i(z) = 3*z**2. Let x be i(1). Let r(y) = x*y**2 - 4*y**2 + 6*y + y. Let d be r(7). Is -1 at least d?
False
Let q = 63 - 66. Is q >= -3?
True
Let h = -4/285 - -49/285. Which is smaller: -1 or h?
-1
Let l = 135/4 - 34. Suppose -4*o + 4*n - 3 = -23, -4*n - 4 = 4*o. Suppose -o + 4 = -2*a. Which is smaller: l or a?
a
Let s = -3 + -1. Let m = -4.4 - s. Let l = 0.5 + m. Which is smaller: l or -1?
-1
Let f be 20 + ((-1)/(-3)*3 - 3). Which is greater: f or -0.1?
f
Let a = -38 + 72. Is a greater than or equal to 32?
True
Let g be 3 + -1 + 0 + -1. Let o b