3 = -2*t. Which is greater: 7 or r?
7
Let j(v) = 2*v - 3. Let o be j(-3). Is -9 at most o?
True
Suppose -2*y - 5*i - 29 = 0, 0*i + 5 = 5*y - 3*i. Are -2 and y non-equal?
False
Let v = -1.8 - -1.71. Let g = 1.7 + -1.6. Is g bigger than v?
True
Let s be (-1)/(-3) + 44/(-6). Let h(q) = -6*q. Let o be h(1). Are o and s nonequal?
True
Suppose -11*r = 6*r + 34. Which is smaller: r or 35?
r
Suppose -9 = 3*g, 4*o + 5*g - 14 = -37. Which is smaller: o or -3?
-3
Let l(t) = -2*t + 22. Let q be l(11). Is 2 less than q?
False
Let y be (-8)/12*27/(-6). Suppose -2 = y*u - 5. Suppose r + u = 6. Is r smaller than 5?
False
Suppose 2 = 3*q - q. Let f be q/4 - 30/(-8). Is f less than or equal to 1?
False
Let w = -27/11 - -1409/583. Which is greater: w or -1?
w
Let f = 42 + -44. Is -11 at least f?
False
Suppose 0 = -3*x + 3. Suppose -2*v = v - 81. Let f = v - 82/3. Which is bigger: f or x?
x
Let k(o) = -2*o - 6. Let r be k(-5). Let t be ((-6)/r)/(3/(-6)). Suppose 18 = 5*j - 10*j + t*u, -3*j = -4*u + 13. Which is smaller: -2 or j?
j
Let n be (45/(-220))/(3/(-2)). Which is bigger: -1 or n?
n
Let d be -1 + 1 + 0 + 1. Let j be (1/6 - 0)/((-8)/(-16)). Which is smaller: j or d?
j
Let i = 0.935 - -0.065. Which is smaller: i or 0?
0
Let m be (-1 - -2 - -3)/1. Suppose 5 = -m*o - o. Let s = 7 + -6.9. Is o bigger than s?
False
Let v be (-9)/(-8)*(-1 - 14/(-6)). Is 1 <= v?
True
Suppose -3*p = -6 - 6. Let h(x) = x. Let l be h(p). Let m be l/(-18) - (3 - 3). Which is smaller: -1 or m?
-1
Let x = 23/2 - 119/10. Let d = -7/2 + 4. Is d > x?
True
Let c(h) = -2*h**2 - 2*h + 2*h**2 - h**3 - 2*h**3 + 1. Let o be c(1). Let v(p) = -p**2 - 4*p. Let w be v(o). Which is smaller: w or -1/4?
-1/4
Let c(v) = -v**3 - 7*v**2 - 4*v + 8. Let w be c(-6). Let f = -7 - w. Suppose -z + 0 = 3. Does z = f?
True
Suppose 15*b + 51 - 186 = 0. Is b at least as big as 6?
True
Let b be (2 + -1 - 0) + 4. Suppose -3*t + b = 2*t. Let c be (-1)/(0 - -2 - t). Which is greater: c or 0?
0
Let r = -455 + 14107/31. Let o = -27/62 - r. Let p = 3 + -2. Is p greater than or equal to o?
True
Suppose 2*m + 112 = -3*u, -5*m = -m - 3*u + 224. Let l be m/10 + 4/(-10). Let q be 10/(-12) - 2/l. Are -1/3 and q equal?
False
Let v = -10.4 - -8. Let y = v + -1.6. Is y > -1/2?
False
Let f = 1/41 + -89/287. Which is greater: f or 0?
0
Let w(p) = p**3 + 11*p**2. Suppose -2*f - 4*i = -i + 10, -2*f = 5*i + 2. Let g be w(f). Is g at most as big as -1?
False
Let r = -20.7 + 22. Let i = -0.3 + r. Let n be 2/(-2) - (-2)/5. Which is greater: i or n?
i
Suppose 2*a + 2*u = 8, -2*a - 3*u = -0*u - 12. Which is bigger: a or -1/347?
a
Let q be 0 + -3 - (-4 - -3). Let m be (-1 + -5)*7/(-105). Which is bigger: q or m?
m
Let x be ((-3 + 3)/(-3))/(-2). Suppose k - 4*k + 4*d = x, k - d = 0. Are -4/3 and k non-equal?
True
Let y be 1/2 + (2 - 3). Let b(g) = -g + 5. Suppose 0 = 4*v - 16, -i + 2*v - 11 = -2*v. Let n be b(i). Is y <= n?
True
Let k be 396/120 + (-1)/2. Which is greater: k or 4?
4
Let k(y) = -y**3 - 14*y**2 - 13*y + 9. Let j be k(-13). Is 41/5 >= j?
False
Suppose -5*w + 5*x - 665 = 0, -2*w + 2*x + 3*x - 266 = 0. Let f = w + 663/5. Is 0 < f?
False
Let d = 172 - 171. Let k be (-144)/(-74) - (0 - -2). Which is smaller: d or k?
k
Let a be 2*3/(-954)*-3. Which is bigger: -1 or a?
a
Let g be (-35)/2 - 8/16. Let c = g + 7. Is -9 at least c?
True
Suppose -n - 13 = -4*i, 0 = -4*i + 4*n + 1 + 3. Suppose -2*u + 8 = 3*y, -4*u + 0*y + 2*y = 0. Suppose -2 = 3*l - 3*w + u, l + i*w + 6 = 0. Is -3 <= l?
True
Let q(f) = -f + 6. Let g be q(7). Let h be -3 + (24/(-27))/(-1). Let r = 7/9 + h. Is r smaller than g?
True
Let m be -3*(-3 - (-1 + 1)). Let j = 10 - m. Is -2/25 equal to j?
False
Let j = 48 + -47. Which is bigger: j or -0.05?
j
Let a = 1.7 - -0.1. Let g = a + -1.4. Let o = 0 - 1. Which is smaller: o or g?
o
Let t be 2 + (-23)/5 + 3. Let c = -23 + 17. Are t and c equal?
False
Let u be 9/2*(-28)/(-21). Let g = -10 - -15. Let k = 9 - g. Which is greater: k or u?
u
Suppose 5*b - 20 = 4*l + l, -11 = -4*l - 5*b. Let w be l*4 - (1 + 1). Let r be -1 + -1 + w/(-2). Which is smaller: 2/9 or r?
2/9
Let n be (-63)/(-15) - ((-4)/(-5))/4. Let v = -4 + 6. Is v at least n?
False
Suppose -4 = -k - 0. Suppose c - 10 = 2*l, -2*c + 10 = 2*l - k*l. Let h be (12/9 - c) + -2. Do h and 0 have different values?
True
Let l = -569/15 + 153/5. Let b = l + 104/15. Let n = 1.5 + 0.5. Which is bigger: n or b?
n
Suppose -6*g - 10 = 32. Which is smaller: g or -3?
g
Let d = -12.3 - -20.4. Let a = -8 + d. Which is smaller: 4 or a?
a
Let b = 10 + -6. Suppose 7*y - 2*y + 10 = 5*i, 3*i - 4*y = b. Suppose 4*q + 2 = 5*k, -3*k + q = -3*q + 2. Is i smaller than k?
False
Let w = -2 - 2. Are w and -2/5 unequal?
True
Let j = -341136/7 - -48565. Let g = -169 - j. Which is smaller: g or -1?
-1
Suppose 4 = -4*q - 0. Let w = 3 + 0. Suppose -5*a = -5*b - 9 - 11, b - w*a + 12 = 0. Is b at most as big as q?
False
Let w(q) = 3*q + 6. Let a be w(-2). Let r be (-2)/(-16)*(-2 - -12). Does r = a?
False
Let s = 133 + -67. Suppose -5*r - 3*g - s = 0, r = -r + g - 22. Let u be 2/r - 35/(-14). Which is greater: u or 1?
u
Let a = 29 + -21. Which is greater: 6 or a?
a
Let i(f) = f - 4. Let h be i(7). Suppose 4*t = h*t - 5. Is -5 equal to t?
True
Let u = 0.1 - -3.9. Let m = -2 + u. Let l = -55 - -54.7. Is l bigger than m?
False
Suppose 3*l - 5*t + 105 = 8, l - 4*t + 37 = 0. Let h = 14 + l. Let k be ((-1)/15)/((-6)/h). Is k greater than 0?
False
Suppose 0 = -z - z - 24. Let n(l) = -l**2 - 13*l - 13. Let a be n(z). Is -1 > a?
False
Let l = 19 + -27. Which is smaller: -2/3 or l?
l
Suppose -y - f = -2*y - 6, -8 = -2*f. Let v be 3/(-6) - y/8. Which is bigger: v or -1?
v
Let u be ((-17)/17)/((-2)/6). Suppose 5*v - 59 = t, -3*v + u*t = 5*t - 38. Is v bigger than 11?
True
Suppose z + 9 = 4*z. Suppose 3*s + y + 16 = 7*s, 0 = -2*s + 3*y + 18. Is s at least z?
True
Let m = 23 + -27. Let y be (0/m)/(-1) + -4. Is y at least -14/3?
True
Let r = -22 + 21.78. Let g = r + 0.02. Let d = 2.2 + g. Which is greater: -0.1 or d?
d
Suppose 4*i - 4 = 8. Let j be (i/4)/(1/2). Which is smaller: 2 or j?
j
Let v be (-6)/56 + 1/4. Does v = -2/9?
False
Let f = -4738 - -14522/3. Let i = 104 - f. Are i and 1 non-equal?
True
Let t(b) = -2*b**2 - 6*b. Let s be t(-5). Let h be 8/s - -1*1. Let n = 3.8 - 2.8. Which is smaller: n or h?
h
Suppose -14*j - 10 = -13*j. Let s = j + 10. Is s != 2/19?
True
Suppose 4*w = w - 9, -n - 5 = 3*w. Suppose 0*c = -b - 4*c + 9, 11 = 3*b + n*c. Are b and 1/6 non-equal?
True
Let l = -7.5 - -12. Let s = -0.5 - l. Let i = s + 3. Which is smaller: -0.1 or i?
i
Let j = 621718/165 + -3768. Which is greater: j or 1?
1
Let f be ((-8)/140*5)/(2/(-16)). Suppose -o = 3*o - 4. Is o greater than f?
False
Let v = -6 - -14. Let a = v + -6. Let j = 2.2 - a. Are j and 0.2 unequal?
False
Let y = 0.09 + 0.01. Let o = 1.9 - 2. Are y and o unequal?
True
Suppose -5*f - q - 31 = 0, -q - 3*q - 16 = 2*f. Let r(l) = -2*l + 4. Let z be r(5). Let m = z - -2. Is f less than or equal to m?
True
Suppose 0 = -h - 0 + 2, 0 = -5*f - 5*h + 70. Suppose 2*l + f = 36. Which is bigger: l or 13?
13
Let t(x) = -x + 6. Let i be t(6). Is -2/3 > i?
False
Let t = -13 - -11.6. Let n = t + 0.4. Which is bigger: -4/7 or n?
-4/7
Let q(s) = -s - 1. Let b be q(5). Let n be (-3)/b - (-18)/4. Let f = n - 7. Is f > -2?
False
Suppose -5*k = -3*j + 17, 5*j - 41 = -0*k + 2*k. Is j >= 7?
True
Let q be 0 - (24/(-567))/(-4). Which is smaller: q or 0?
q
Let s(c) = -c - 5. Let y be s(-5). Let l be (-4)/(y - -2) - 2. Which is smaller: l or -2?
l
Let w = -0.082 + -0.918. Let q = -32.84 - -35.9. Let s = 0.06 - q. Is s less than or equal to w?
True
Let f(v) = 8*v**3 + 2*v**2 - 2*v + 1. Let g be f(1). Suppose 0 = 3*h + 2*h - l + 14, -2*h - g = 3*l. Let j be (0/(h + 2))/1. Which is smaller: -1 or j?
-1
Suppose -3*n = -2*b - 41, n - 3*b - 3 = 13. Do 12 and n have different values?
True
Let o be 2/(-7) + 36/28. Let i = -56 + 223/4. Which is greater: i or o?
o
Let v be -2*((-7)/2)/(-1). Let a(i) = i**3 + 7*i**2 + i + 9. Let g be a(v). Suppose 0 = 5*p - 3*q + g, 3*p = -p + 3*q - 4. Which is bigger: 0 or p?
p
Suppose -p = -4*p + 12. Do p and 24/7 have different values?
True
Suppose 0 = 2*b + 4 - 0. Let p be b/(-4) + 3/6. Is 8 smaller than p?
False
Let j be (-2 - -1) + (-12)/(-3). Let d = 