Which is bigger: u or t?
u
Suppose 5*p = -5*f + 70, 3*f + 0*f - 56 = 4*p. Which is greater: 12 or f?
f
Let x = 1.26 - 1.1. Let q = 0.04 - x. Let z = -0.02 - q. Is z bigger than 3?
False
Let s = 61.2 + -67. Let a = -6.9 + 0.9. Let j = a - s. Is -0.2 greater than or equal to j?
True
Suppose -4*y + 8 = 3*p, 4*y = 3*p - 5*p + 4. Suppose d = -c + 3*c + 3, -3*d - 18 = 3*c. Let o be (4/(-10))/(d/(-15)). Which is smaller: y or o?
o
Suppose 2*x - 5*k - 21 = 0, 2*k = 2*x + 4*k. Suppose 0 = -2*c + x*c + 2. Do 1 and c have the same value?
False
Let k be (-4)/6 + (-2)/6. Let r = 5/53 - 247/371. Is k less than or equal to r?
True
Let f(h) = -h**2 + 12*h - 21. Let g be f(10). Is g < -2/35?
True
Let s be ((-5)/15)/((-2)/(36/21)). Which is greater: s or 1?
1
Suppose -4*r = -0 + 4. Let h be r/(-2 + 3 + -2). Suppose -3*p = -2 - h. Is p less than 1?
False
Let d be ((-2)/(-1) + -1)*0. Let v = 1 - 0. Let c be ((-2)/13)/(v/(-1)). Which is bigger: c or d?
c
Let m = 436455859/615 + -709683. Let p = m - -2/205. Let g = 0.1 + -0.2. Is p >= g?
True
Suppose 0 = 4*r - 0 - 4. Let a(f) = -2*f**3 + 2*f**2 - f. Let w be a(1). Which is greater: w or r?
r
Let s(l) = -l**2 - l + 2. Let q be s(-2). Suppose -3*o = 6 - q. Suppose 2*p = -6 - 0. Which is greater: p or o?
o
Let f be ((-4)/(-6))/(86/6). Let c = f - 92/129. Which is greater: c or -1?
c
Let u be 172/(-276) - (-2)/3. Suppose 9*m = 13*m - 4. Which is bigger: m or u?
m
Let j(l) = -l - 11. Let k be j(-8). Let s be 2/k*1/2. Which is greater: s or 1?
1
Let c(b) = b + 4. Let p be c(-3). Let w be (-2636)/(-18)*2/4. Let t = w + -73. Which is smaller: p or t?
t
Suppose 0*r + 15 = 5*r. Is r smaller than 4?
True
Suppose 3*y - 1 = 2. Let u = -400 - -3604/9. Which is smaller: y or u?
u
Suppose 5 + 1 = 2*q. Suppose q*r + 13 = 5*p + 1, -5*p - 5*r = -20. Suppose -p*t + 20 = 2*t. Which is smaller: t or 3?
3
Let j be (-79)/1*(5 + -7 + 1). Which is smaller: 80 or j?
j
Let a = -46 + 7. Let g = -27 - a. Is 11 equal to g?
False
Suppose 3*m + m + 16 = 0. Let r = -4 - m. Are r and -6/11 non-equal?
True
Let p(i) = 2*i - 3. Let x be p(4). Suppose -1 = 3*d + 2*u, 0 = -3*d - x*u - 2 - 5. Suppose d = -4*f + 9. Is 3/5 not equal to f?
True
Suppose -666 = -4*j - 1946. Let q be j/(-728) + 2/(-7). Is q greater than 1?
False
Let n = -11 - -21. Let r be 5/(-7) - n/35. Which is smaller: r or 0?
r
Let b = 10 - 4. Which is smaller: b or 7?
b
Suppose -p - 25 = 4*p. Let b be -4 + -3 + 5/2. Is b > p?
True
Let m = -5 - -4. Let s be 5/7 - (-28)/(-42). Is s less than or equal to m?
False
Let v = 45 + -63. Let d be ((-1)/(-3))/((-66)/v). Is d < -1?
False
Let v = 0 + -0.02. Let g = -0.32 - v. Let q = 0.2 + -1.2. Is q at least g?
False
Let a(v) = -9*v**2 + v + 1. Suppose 0 = -f + 5*f + 4. Let z be a(f). Which is bigger: z or -1/3?
-1/3
Let i = 276/13 - 271/13. Which is smaller: i or -1?
-1
Suppose 4*a + 5*t = -52, -a - 3*a + 3*t - 20 = 0. Let c be 2/a*(-2 - 2). Let v be -2 + c*3/2. Which is smaller: -0.1 or v?
v
Let d be (7 - 1) + -4 + 1. Suppose -4*w + 7 = d*k, 0 = 5*k + 3*w + 2*w - 5. Let g be (-6)/99*(k - -6). Which is smaller: 0 or g?
g
Let u = -6 - -4. Suppose 0 = -4*i - 0*i - 3*g - 8, 8 = -2*g. Suppose 2*h + 5 = -i. Do u and h have different values?
True
Let d be ((-18)/5)/3 - -2. Let g = 48/85 + 3/85. Let f = d - g. Are 0 and f nonequal?
True
Let g be 7/70*(9 + -1). Let f be 4/10 + 6/10. Which is bigger: g or f?
f
Suppose 4*c - 8 - 8 = 0. Let z = 6 + c. Is 10 equal to z?
True
Let x be -1 + 2/(10/15). Are x and 17/11 unequal?
True
Let i = -145 + 155. Is i less than or equal to 13?
True
Suppose 4*r - 5 = n - 16, -3*r = 3. Is n < 5?
False
Suppose 0*i - 3*i - 1032 = 0. Let c = -1367/4 - i. Is 2 at least c?
False
Let k = 883/11842 - 5/191. Let y = k - 207/434. Which is bigger: y or -1?
y
Suppose -6*k = -2*k. Suppose 0*o + o - 1 = k. Let m be -2 + o + (2 - 1). Is m > -2?
True
Let p = 41 + -3241/79. Which is smaller: 0 or p?
p
Suppose -3*w = -2*s + 14, 2*s = -0*w + w + 2. Let z(t) = t**3 + 6*t**2 + t + 8. Let k be z(w). Let l be (-1)/((3 - k)*1). Are 1 and l equal?
False
Let i = -29/15 - -13/5. Let x(p) = p**2 - p + 2. Let j be x(0). Suppose -3*z - z - 5*d = -19, -j*d = -6. Which is bigger: i or z?
z
Let n = -4 + -30. Is n > -35?
True
Suppose 10 = -4*o - o. Are -6/5 and o non-equal?
True
Suppose 0 = -b - 3*b. Is 13 <= b?
False
Let g(c) = 2*c**3 + 2*c**2 - 2*c - 2. Let s be g(-2). Let p be ((-2)/s)/(3/(-6)). Is -2 at least as big as p?
False
Let j = 63.9 - 64. Is j < -0.04?
True
Let u be 1/(-4) - 21/(-36). Suppose -h = r - 6 - 0, -3*r + 5*h = 22. Which is smaller: r or u?
u
Suppose -2*i - 2*c + 7 = -i, -3*c = 3*i - 18. Suppose -4*g = -i - 3. Which is smaller: 0.2 or g?
0.2
Let i(d) = d**3 + 2*d**2 + 2*d + 1. Let h = -4 - -2. Let y be i(h). Let j be 2/(1 - y/5). Which is greater: 1 or j?
j
Let y = 44 - 49. Is y equal to -2?
False
Let w = 3 - 7. Let i be 30/9*6/w. Is -5 bigger than i?
False
Suppose -2*d - 8 = -24. Let o be ((-4)/(-3))/(2/27). Let z be 2 - 5/o*d. Which is bigger: 0 or z?
0
Suppose 3*r + 8 = 29. Suppose 0 = -3*k + r*k. Let q(a) = -a + 6. Let o be q(5). Is k not equal to o?
True
Let c be ((-4)/6)/(15/9). Let h be (1/(-2))/((-15)/(-108)). Let g = h - -49/15. Does c = g?
False
Suppose -6 = -32*f + 35*f. Which is smaller: f or -10?
-10
Suppose -2*p + 141 = u, 3*p = -0*u - 4*u + 219. Is 70 <= p?
False
Let r(m) = m - 10. Let q be r(7). Suppose -c = -p - 23, -106 = c - 6*c + 2*p. Suppose -2*o - 2*i = c, -o - 5*i + 0*i - 30 = 0. Is q >= o?
True
Suppose -g - 3 - 3 = 0. Let z = 7 - 9. Which is smaller: g or z?
g
Let k = -337/4 + 85. Which is smaller: k or 1?
k
Let r = -1 - -2.5. Which is bigger: r or -1?
r
Let a be 5/((-25)/(-30)) - -1. Is 10 at most a?
False
Let x = 89531/19 + -4715. Let d = -740/247 - x. Is d greater than or equal to 0.1?
False
Let i = 8 + -6. Suppose -2*l + 3*v = 13, 5*v + i + 2 = l. Let b = -7 - l. Which is greater: 5 or b?
5
Let w be (-36)/2*2/(6/11). Is w less than or equal to -66?
True
Let c = 149/5 - 30. Let m = 3067/15 - 205. Let u = m - c. Which is smaller: u or 0?
u
Let b(l) = -l**3 + l**2 + 2*l - 2. Let c be b(2). Let q be ((-6)/4)/(1/c). Let f be (3/(-2))/(q/(-4)). Is 2 at most f?
True
Let q = 33 - 22. Let p = q - 18. Is p greater than or equal to -8?
True
Suppose 2*u - 3*l = -3*u - 36, -2*u = -l + 15. Is u greater than or equal to -10?
True
Let x(o) = 7*o**3 - 16*o**2 + 4*o + 4. Let p(a) = 15*a**3 - 33*a**2 + 7*a + 9. Let l(j) = 6*p(j) - 13*x(j). Let n be l(9). Is n less than or equal to 0?
True
Let w(f) = -f. Let m be w(1). Let k = -1/10 - -13/30. Is m at most as big as k?
True
Let o = 0 - -0.3. Let m = 1 + -0.7. Let f = o - m. Is f equal to 2/5?
False
Let b(n) = n - 24. Let c be b(26). Let g = -1/31 + 158/93. Which is greater: c or g?
c
Let n be 8/(-14)*(-97)/2. Let s be (-3)/2 + 477/(-18). Let l = n + s. Which is smaller: l or -1?
-1
Let b = 5 - 7. Let z = -3 - -10. Suppose z + 2 = -3*v. Is b smaller than v?
False
Let i be (104/(-10))/((-8)/140). Let a = -4549/25 + i. Which is smaller: -1 or a?
-1
Let b = 156 + -156. Let y be (1*3)/((-21)/4). Does b = y?
False
Suppose 0 = 5*t - d + 6*d + 5, -5*t - 6 = 4*d. Is -3 bigger than t?
False
Suppose 0 = 3*f + 3*a + 3 + 6, 4*a = 3*f + 9. Which is smaller: f or -19/5?
-19/5
Let g = 14 - 13. Let p be (3/6)/(g/(-6)). Let v = -4 + 1. Is v greater than or equal to p?
True
Let i be -1*42/(-3) - 2. Suppose 2*c = -2*c + i. Let q be 2 + 3 + 6/(-3). Is q greater than or equal to c?
True
Suppose -3*d - 45 = 24. Let l be 3 + (-1 - 1) - d. Suppose 0 = 4*f - s + 1, -2*s + l = 5*f + 9. Does -1/3 = f?
False
Let z = -496.97 + 499. Let a = z - 0.03. Let d = -1.8 + a. Are d and 0.2 nonequal?
False
Let l(n) = n**3 - 6*n**2 + 4*n. Let x be l(5). Let f be -2 + 3 - 5*1. Which is smaller: f or x?
x
Let o = 150 + -280. Let g = o + 255/2. Does g = -0.1?
False
Let t(n) = n**3 - 4*n**2 - 4*n - 1. Let v be t(5). Let d(h) = -h**2 + 8*h - 12. Let w be d(4). Is w equal to v?
True
Let d be (-2)/6 + 4/(-6). Let h(u) be the third derivative of u**5/60 - 7*u**4/24 - u**3/3 + 2*u**2. Let f be h(7). Which is bigger: f or d?
d
Suppose -4*v + l + 20 = 3*l, 0 = 5*v + 4*l - 31. Suppose -5*f = 4*y + 7, 0*y + y = v*f + 11. Let b be (-16)/(-9)*-1 + y. Which is smaller: b or -1?
-1
Let l be (-2)/12*(-184)/34. Let b = l + -4/17. Let u 