Suppose -y*v - 3 = 3*p - 0*p, p + 3*v = -1. Do -4/3 and p have the same value?
False
Let w = 13.3 - 13.5. Is 13 greater than w?
True
Let r(l) = -4*l - 6. Let j be r(4). Is -41/2 not equal to j?
True
Let x(y) = y**2 + 10*y + 8. Let r be x(-8). Let t be ((-1406)/4)/((-20)/r). Let k = -140 - t. Which is smaller: 2 or k?
k
Let d be 2 + -1 - 18/14. Suppose -29 = -4*r + 3*l, 5*r - 3*l - 10 = -8*l. Suppose 30 = -r*x + 5*b, -b + 5*b - 22 = 2*x. Does d = x?
False
Suppose 4*a + 38 = -5*b - 0*a, 3*b + 2*a = -22. Let q be b/10 - 2/5. Let o be 93/54 - (-3)/(-2). Which is smaller: o or q?
q
Let o be 1 + 0 + 1 + -3. Let c = -1/10377 - -13069/17295. Let f = c - 28/15. Do o and f have the same value?
False
Suppose -3*w + 4*v + 6 = 0, w + w - 4*v - 4 = 0. Suppose 2 = -3*g + 5*g. Which is smaller: g or w?
g
Suppose 3*t - 5*q + 19 = 0, 2*q = 5*t + 6*q + 7. Suppose -j - 12 = 2*j. Which is smaller: j or t?
j
Suppose 0*w = -4*w + 56. Suppose 11 = -2*t - h, 0*t + 4*h + w = 2*t. Is t > -2?
False
Let k = 0.02 - 12.02. Which is bigger: -1/4 or k?
-1/4
Suppose 0 = 4*k - 6*k. Are k and 2 nonequal?
True
Suppose -15 = -u - 4*u. Suppose -3*k = u + 9. Which is smaller: -5 or k?
-5
Suppose -4*j - 1 + 21 = 0. Suppose -4 = j*v + 6. Are 0.2 and v non-equal?
True
Let m be ((-3)/(3/8))/(-1). Let w = m + -5. Let z be (3 - 4)*(-6)/4. Which is bigger: w or z?
w
Let k = 0.087 - 5.987. Let y = -6 - k. Is -0.2 != y?
True
Let z be (-1 - 7)*(-7)/14. Suppose 0*l - 4 = z*l. Suppose -5*n - 5*d = -15, -4*n = -0*n + d. Is n smaller than l?
False
Let n be (-75)/(-21) + (-9)/((-6)/2). Is 8 != n?
True
Let r be (5 - 4)*1*-1. Let i = r - -3. Let o be (-1 - 0)*3*-1. Are o and i unequal?
True
Suppose -3*x - 2*x + 20 = 0. Which is smaller: x or 7/2?
7/2
Let m = 1.41 - 0.41. Is -3 >= m?
False
Let z be (-26)/169*(-2)/4*1. Is z greater than 0?
True
Suppose -5*a + 13 + 7 = 0. Suppose 3*i + 8 + a = 0. Which is smaller: i or -5?
-5
Suppose 0 = 3*x - 15. Suppose -m + 0 = -5*o - x, 3*m = 15. Which is greater: o or 1/5?
1/5
Let h(j) = -j**2 + 3*j + 3. Let i be h(4). Let q be 1 - ((-54)/(-39) + -2). Let l = q - 19/13. Is i less than or equal to l?
True
Let g = -28 - -30. Is 4/13 at most g?
True
Let r = -0.1 + 1.1. Let v = 854733/20 - 42728. Let l = v + -33/4. Which is smaller: r or l?
l
Suppose -5*w - 11 = 2*h, -3*w = -h - 2*w + 5. Let t(d) = -d**2 + 4*d - 5. Let c be t(h). Are c and 0 equal?
False
Let v be ((-1)/(-1))/3 + 10/(-15). Is -1/2 at least v?
False
Let g = 5 + -3. Let w = -9 + 13. Suppose w*h = -h + 5. Which is smaller: h or g?
h
Let z be (-9)/(-3) + -1 - 0. Suppose -2*r - z*r = 0. Let f be 2 - (-39)/(-21) - r. Which is smaller: -1 or f?
-1
Let a be (-1)/(((-15)/(-6))/1). Is 25 > a?
True
Let i = 3.3 - 5. Let l = -4.7 - i. Which is bigger: 2 or l?
2
Suppose 3 - 42 = 3*t + 5*v, 0 = t - 2*v + 2. Is -10 > t?
False
Let n = -8 + 27. Suppose 0*l - 4*l = 5*k + n, 5*l + 2*k + 11 = 0. Which is greater: 1/26 or l?
1/26
Let k = -46 + 23. Is k < -26?
False
Let z be 2/(-7) + (-48)/(-21). Suppose -7*d + z*d = 0. Is d at most 0?
True
Let l = -27 + 26. Which is smaller: -9/5 or l?
-9/5
Suppose -3*x + 2*n - 8 = -0*x, -3*n = -4*x - 9. Suppose 4*y = t + 4*t - 26, 4*y = -2*t - 12. Let o be 4/x*(-3)/t. Is o equal to -1/8?
False
Let b(d) = -2*d - 5. Let p be b(-4). Suppose p*u = u. Which is smaller: u or 1?
u
Let x be 1*16*(-3 - 21/(-6)). Suppose 4*k - 35 = 1. Which is smaller: k or x?
x
Let n be (2/4)/(4/96). Let h be (-2)/n - 15/18. Which is bigger: h or -1/2?
-1/2
Let p be (-3)/(-6)*2 + -1. Which is smaller: p or -2?
-2
Suppose 115 = -8*i + 283. Which is smaller: i or 22?
i
Suppose 1 + 3 = -4*g. Let z be (2/g)/(-6)*-2. Let u be 2/(-4) - (-3)/(-6). Which is bigger: u or z?
z
Let q = -295/7 + 42. Does q = -1?
False
Suppose -s - s = -10. Suppose 3*i - 10 = s*i. Let k be 1*(-1)/i*-2. Which is greater: 1 or k?
1
Let v(r) = -r**2 - 10*r - 5. Let y be v(-9). Is y < 5?
True
Let r(a) = -2 + 5 - 4*a**2 + a**3 + 1. Let x be r(4). Suppose 4*y = x*d - 24, -3*d + 5 = 2*y + 12. Are d and 2 non-equal?
True
Let k = 25 - 21. Suppose -4*w - 7 - 5 = k*g, w + 3*g = -7. Which is bigger: w or 2/79?
2/79
Let r = -765 - -1563/2. Let y = r - 17. Is 4 less than y?
False
Let g(r) = -r - 11. Let y = -16 + 5. Let f be g(y). Do -1 and f have different values?
True
Suppose 7*m = 4*m + 12. Which is bigger: m or 20/7?
m
Suppose 4*d = -0*d. Let i(w) = w**3 + 2*w**2 + 1. Let f be i(-2). Let j = f - d. Which is smaller: j or 1/3?
1/3
Let o(x) = -x - 2. Let t be o(8). Which is greater: t or -8?
-8
Let t = -4 + 3. Let c be (-4)/8*(t + 5). Let g be ((-1)/c)/(-1)*4. Which is greater: -1 or g?
-1
Let h = 1.1 - 1. Let v(w) = -w**3 - 6*w**2 - 5*w + 3. Suppose 3*t + 2*n = -17, t + 2 + 1 = 2*n. Let g be v(t). Are g and h nonequal?
True
Suppose -5*m - 3*y = -321, 0 = 2*m - 3*y + y - 138. Is 66 at least m?
True
Let z(l) = 2*l + 8. Let i be z(-5). Let k be 6*i/(-9) - 1. Is k < 1?
True
Let r = -14 - -12.6. Which is greater: -2 or r?
r
Let p = -139 + 238. Suppose x + 2*d = 33, 3*x + 0*d = -2*d + p. Let j = -65/2 + x. Are j and -2/7 equal?
False
Let l = -2 + 0. Let p = 0.44 - 0.34. Is l at least p?
False
Suppose 5*w - 47 = 28. Let d = w - 7. Suppose -4*y = -l - 4*l + 10, y = -4*l + d. Which is smaller: 0 or l?
0
Suppose 0 = -7*s + 12*s + 15. Which is smaller: s or -1?
s
Let i = 6 + -3. Let x be -2*(i + -2) - -8. Let n = x - 4. Which is smaller: n or -1/2?
-1/2
Suppose u = -0*u + 5*d, 4*u + 105 = -d. Let w be (9/(-2))/(u/10). Is w smaller than 1?
False
Let p = -42.9 - -40. Let h = 3 + p. Let c be 2/3*(-13 - -12). Do c and h have the same value?
False
Let t be (2 + 1)/(-6)*4. Let x be t/(-7) - 1730/28. Let u = -63 - x. Which is smaller: u or -3?
-3
Let y = -599/4 - -150. Suppose -2*x = 3*n + 9, 2*x = 3*n - 0 - 3. Is y at most n?
False
Let f(q) = 6*q**2 - 3*q**2 + 2 + 6*q - 4*q**2. Let u be f(7). Let w(i) = -i**3 - 6*i**2 - 6*i - 5. Let c be w(u). Is c != 1/6?
True
Let i = 11 + -21. Are i and -3 nonequal?
True
Let t = -8 - -9. Which is bigger: t or 16/7?
16/7
Let d = -13/8 - -55/24. Is -1/65 > d?
False
Suppose 126*z - 128*z - 2 = 0. Does z = 1/11?
False
Suppose 2*l - n + 5 = 0, 2*l - 15 = 7*l - 2*n. Suppose -h - 4*i = -31, 0 = 4*h - 5*i - 25 + 6. Suppose -h = y - 6. Are y and l nonequal?
False
Suppose 0 = 4*q - 6*q - v + 2, 3*q + v - 2 = 0. Let d be (16/(-6))/(6/(-9)). Suppose d + 1 = -5*t. Which is bigger: t or q?
q
Let r = 57 + -57. Is 0 > r?
False
Let q = -43 + 43.068. Let l = -3.832 - q. Let v = -4 - l. Which is smaller: v or -3?
-3
Let h = 39/68 - -3/17. Is -1 bigger than h?
False
Let x be (-46)/(-10) + (-4)/(-10). Let z = 2 - x. Are z and -2 equal?
False
Suppose 40 = 19*n - 20*n. Which is bigger: n or -39?
-39
Let r be (-570)/(-50) - (-4)/(-10). Let f = 15 - r. Let l be (1 - 2 - 0)*-3. Which is greater: l or f?
f
Let f = 6 + -12. Let l = f - -4. Which is greater: l or -2/5?
-2/5
Let f(b) = 9*b - 1. Let l be f(-2). Let v = l - -19. Which is bigger: 2/7 or v?
2/7
Suppose -3*y - o = -2*o - 35, 0 = 3*y - 3*o - 27. Which is greater: 11 or y?
y
Suppose 4*v = -7 - 25. Let k be 10/12*v/(-70). Which is smaller: k or -1?
-1
Suppose -14*h - 2*h - 16 = 0. Is 1/58 <= h?
False
Let k be (-14)/(-10) - 12/(-20). Suppose 4*f = -3*w + 8*w + 15, k*w + 6 = 0. Is f < -1?
False
Let d = 41 + -41.2. Is 3/11 at least as big as d?
True
Let r be (-12)/86*(-2)/(-4). Let h = r + -16/387. Which is smaller: -1 or h?
-1
Let v(y) = -y**2 + 5*y + 1. Let s be v(4). Let k(d) = -d**3 + 4*d**2 + 5*d - 5. Let f be k(s). Let h = f - -5. Which is greater: h or -2/5?
h
Suppose 3*d - 2 = 5*y, -2*y - 6 = -0*y + 4*d. Which is smaller: y or -2/205?
y
Let g = -9 - -15. Let b = g + -4. Let i be 5/(-2) - -1 - -2. Which is smaller: i or b?
i
Suppose x + 7 = -3. Let r be (6/8)/(18/276). Let f = x + r. Do f and 2 have different values?
True
Suppose 0 = 4*b - 27 - 5. Let k be 20/b*3/(-285). Is k smaller than 0?
True
Let n = 15 + -28. Let v be 9/(-24) + 1111/(-88). Is n > v?
False
Let k = 0.05 + 4.95. Let r = 6 - k. Is r less than 2?
True
Let j be -14 - -11 - (-1 - 3). Which is greater: j or -1/147?
j
Let s = -18/1079 - -96283/15106. Let u = 2950 - 20684/7. Let t = s + u. Is t at most 1?
False
Suppose -5*p = -9 - 16. Let x be ((-4)/270)/(p/(-25)). Is 1 greater than x?
True
Let u = -182 - -228. Are 47 and u non-equal?
T