r 4.4?
4.4
Suppose -3*t = -6*r + r + 13, -5*r = t + 11. Let d be (-31)/(-11) + t/(-33). Let o be (d + -4)*(-2 - -7). Which is bigger: o or -2?
-2
Suppose 4*j + 12 = 2*j. Let i be j/16 + (-1)/(-2). Let q(f) = -f - 2. Let k be q(-2). Is i greater than k?
True
Let s be 1/(-2) + 28/8. Let q(f) = -f**3 + 4*f**2 - 3*f + 1. Let d be q(s). Let n be (-20)/(-25)*1/2. Which is greater: d or n?
d
Let v be 6/14 + 76/(-112). Is 1 equal to v?
False
Let p be 2/(-4*(-2)/20). Let f be 1*-3 + (p - -1). Which is greater: -1/3 or f?
f
Let z(m) = m**2 - 5*m - 4. Let n be z(6). Let j be ((-10)/2)/(0 + 1). Let d be (-12)/j - (0 + n). Which is smaller: d or 1/3?
1/3
Suppose 45 = 4*t + 105. Let w be (-2)/3*t/(-10). Let d(o) = o**2 - 6*o + 6. Let a be d(4). Is a < w?
True
Suppose -2*z = z + 15, -2*i = -4*z - 22. Is i smaller than 2/109?
False
Let h = 34 - 55. Is 1 != h?
True
Let p be 42/(-75) - 4/(-8). Is 0 not equal to p?
True
Let o = 532 + -523.08. Let t = o + -9. Which is smaller: t or 0.1?
t
Let i(y) = -4*y + 2. Let j be i(1). Is 0 at most as big as j?
False
Let h = -104 - -111. Is h less than or equal to -11?
False
Let t = 87 - 83. Let n be (-1)/(-3) - (-3 + 0). Is t <= n?
False
Let n = -6 - -11. Suppose 0 = -3*v + q - 2 + 1, 2*v - 5 = -n*q. Let a be (2 + 38/(-18))*2. Which is bigger: v or a?
v
Let a be -2 - -3 - 18/70. Let g = -548/7 - -540/7. Let s = g + a. Which is smaller: s or 0?
s
Suppose 5*b + 5 = 65. Let t be 4/(-10) - b/(-5). Suppose -t*y = -4*k, -5*y = k - 0*k + 11. Which is smaller: -2/15 or k?
k
Let u be 4 + (-381)/84 - (-3)/12. Which is greater: u or 1?
1
Let f = -2/383 - 1907/1532. Let s(g) = -g**2 - g - 2. Let h be s(0). Let j be 0 - h*1/(-2). Are j and f equal?
False
Suppose -6 = -t + 4*o, -t + 3 + 3 = -2*o. Let m = -7 + t. Is -1/2 <= m?
False
Let y = -8685 + 807761/93. Let c = y + 2/31. Which is smaller: c or 1?
c
Let g be (3 - 51/15)/(-4). Let n = -2 - -3. Are g and n non-equal?
True
Let t = 13 + -12. Is -0.1 greater than or equal to t?
False
Suppose 4*f - 2*f = 2. Which is smaller: f or 4/3?
f
Let s = 83 + -69. Is 16 not equal to s?
True
Suppose 3*b + 0*v - v - 4 = 0, 4*b - 10 = -v. Suppose b*y + 0*y + 6 = 0. Which is smaller: -4 or y?
-4
Let n = 26 + -117/4. Which is smaller: n or -2?
n
Suppose 4*o + 2 = b, 3*o - b = -5*b - 11. Let k be (0/(-3))/(1 + 1). Is o at most k?
True
Suppose -b = -4*q + 55, -b + 3*q = 4*b + 275. Let d = 221/4 + b. Let o = d - -1/12. Which is bigger: o or 1?
1
Let y = 116.134 - 0.134. Let b = -110.9 + y. Let w = b - 5. Which is bigger: 0.2 or w?
0.2
Suppose 2*o - 11 = -3*l + 12, 4*l = -2*o + 28. Suppose -p = o*p. Are p and 1/7 nonequal?
True
Let q = -12 - -17. Suppose -3*a + 16 = a. Do a and q have the same value?
False
Suppose 4*z - 2*a = -a + 12, -4*a = 2*z + 12. Suppose 0*v - 2*v - 3*v = 0. Which is greater: v or z?
z
Let r = 5 - 3. Suppose -6*a - 4 = -r*a. Is a <= -2/7?
True
Suppose 3*s = s + 6. Suppose -4*r - 12 = -s*w, 0 = -r + w + w - 3. Which is bigger: 0 or r?
0
Suppose 0 = -10*f - 246 - 194. Does -45 = f?
False
Let s(g) = g**3 + 4*g**2 - 6*g - 6. Let h be s(-5). Let n be (1 - (-12)/(-9)) + h. Is -1 equal to n?
False
Suppose 5*h - 4*h - 2 = 0. Suppose -h*i - 3 = -1. Is i greater than -11/6?
True
Let m = -1/21 + -5/21. Let q = 0.19 - -0.71. Let u = q + 3.1. Are u and m unequal?
True
Let x be ((-50)/(-12) - -1)*-1. Let b = x - 4/3. Is -6 not equal to b?
True
Suppose 3*m = 4*m - 1. Suppose -2*h - 2*n = 12, -2*h + n + 18 = -3*n. Does h = m?
False
Suppose 2*o = 2*r + 12, -5*r + 2 = -o + 16. Let z = 4 + r. Suppose -2*l = 4*a + 2*l + 4, -a - 9 = 3*l. Is a > z?
True
Let v be 3/9*8/(-6). Suppose 0 = -5*i - 7 + 42. Suppose 2*d = i*d. Which is greater: d or v?
d
Let m be (2 + -8)/(-1 - -3). Suppose 9*n = 3*n - 24. Which is greater: m or n?
m
Let m(s) = s**3 + 9*s**2 - 2*s + 3. Let d be m(-9). Let l be (12/7)/(6/d). Is 7 bigger than l?
True
Let t(v) = -v - v**2 - v - 1 - 3*v. Let h be t(-5). Is -3/2 smaller than h?
True
Let g be (-6)/(-14) + ((-234)/(-140) - 2). Which is bigger: -1 or g?
g
Let k = 33 - 31. Is 4 at most as big as k?
False
Let j = -788/17 - -48. Let l = -163/68 + j. Which is bigger: l or -2?
l
Let h = -104/3 + 174/5. Let u = 5 - 5. Suppose u = -3*m + 15, 21 + 5 = o + 5*m. Are h and o non-equal?
True
Suppose -5*y + 0*y + 400 = 0. Is 79 >= y?
False
Suppose -3*j - d + 2*d - 3 = 0, 5*j - 3*d + 5 = 0. Are j and -1/24 equal?
False
Let t be ((-4)/8)/((-2)/84). Let m be (-48)/t + 10/35. Suppose 3*b - 8*b - 15 = 0. Which is smaller: b or m?
b
Let d = -148 - -1334/9. Is d at most 1?
True
Suppose b = f + 5 - 25, 2*b + f = -34. Let h = 11 + b. Are -2 and h non-equal?
True
Let m = 14341/71 + -202. Is m bigger than -1?
True
Let n = -67 + 46. Let k be (-3)/(-6) - n/(-30). Is -1 not equal to k?
True
Let y = 11 - 19. Let v be (-1)/2*y/12. Which is bigger: -2/3 or v?
v
Suppose -2*f - 3*f - 34 = -o, -5*f + 5*o = 50. Let w(i) = i**3 + 7*i**2 + 7*i + 7. Let y be w(f). Is -4/9 > y?
False
Let d be 8/(-5) - (-2)/(-5). Suppose j = 3*j - 4. Let n be (-126)/45 - j/10. Is n at least as big as d?
False
Let r = -26 - -18. Which is greater: r or -7?
-7
Suppose -2*l = -1 + 7. Which is bigger: 2 or l?
2
Suppose 29 = -5*r - 21. Let w be (20/r)/((-2)/(-3)). Is -2 less than w?
False
Let j = 1/326 - -637/4890. Which is bigger: 1 or j?
1
Suppose o + 9 = 2*o - 2*h, 5*o = -3*h - 7. Is o smaller than -5/18?
False
Suppose 3*s = 4*p + 14, -s + 0*p = -p - 5. Let d be 6/(-8)*s/(-9). Which is smaller: d or 1?
d
Let t(z) = z**3 + 10*z**2 - z - 9. Let c be t(-10). Is 0.2 greater than or equal to c?
False
Let i = 0.18 + -0.03. Let y = i - 15.15. Which is greater: y or 0.1?
0.1
Suppose -5*y = 2*y - 28. Which is smaller: 2 or y?
2
Let z be 1 + 3/(1 - -2). Let k be (-4)/10 + (-62)/(-30). Which is bigger: z or k?
z
Let t be (-18)/14 - 10/(-35). Are t and 3 equal?
False
Let h be -2 - (0 + 1)/(-1). Suppose 4*q = 4 + 16. Suppose -4*d + q = 13. Which is greater: h or d?
h
Let y(r) = 1 - r + 1 + 3. Let m be y(3). Let l be ((-9)/36)/((-2)/12). Which is greater: l or m?
m
Let b be ((-15)/20)/(21/(-8)). Suppose 2*a = -0*a - 2. Which is smaller: a or b?
a
Let n(z) = -z**2 - 8*z - 1. Let k be n(-8). Is k bigger than -9/4?
True
Suppose 0 = -2*x + x - b, 0 = x - 5*b - 24. Let f(k) = k - 3. Let d be f(x). Suppose -4*t + 5*t - d = 0. Which is greater: t or 0?
t
Let m = 81 + -86.1. Let x = -4.4 + -0.6. Let s = x - m. Is 1/8 <= s?
False
Let b = -13 - -14. Let d = b - 1.5. Do d and 0 have the same value?
False
Let g = 25 + -26. Let t = -14 - -15. Which is bigger: t or g?
t
Suppose -c + 0*f - 9 = 3*f, -4*c + 3*f + 9 = 0. Which is smaller: -9/7 or c?
-9/7
Let b = 0.38 - -0.57. Let d = b + 0.05. Is d greater than or equal to 6?
False
Let r = -4 - -4.05. Let n = r - 1.05. Is n >= 2/5?
False
Let f = 0.1 - 0.2. Let s = 15.5 - 16. Is f at most as big as s?
False
Let j(n) = -2 - n**2 - 2*n - 2*n - 2. Let b be j(-3). Let h be (-2 - (2 - 5)) + -1. Is b at most h?
True
Let p = -1.3 + 1.5. Is p at least as big as 2/3?
False
Let n be (-2)/7 - 32/(-14). Let z(k) = 2*k**2 + 3*k - 2. Let u be z(n). Suppose 6*h + u = -2*j + 3*h, 16 = 3*j - 4*h. Which is smaller: 1 or j?
j
Let x = -2 + 2. Suppose 0 = 4*f + 4*j - x*j + 20, 9 = -3*j. Let h be 5/(-15)*(3 - 1). Is h greater than or equal to f?
True
Let d = 10 + -15. Let y(u) = 4*u + 10. Let t be y(d). Is -2/5 != t?
True
Let k be 1/2*(0 + 0). Let f be 17/(-3) + (-4)/12. Let n = f + 4. Is k not equal to n?
True
Let w(c) be the first derivative of 0*c - 1/2*c**2 - 2. Let f be w(-2). Is 1 at least as big as f?
False
Suppose 12*q + 151 = -401. Do -46 and q have the same value?
True
Suppose 6*g = 12*g + 186. Do g and -31 have different values?
False
Let b(l) = l + 7. Let y be b(-3). Let o be (0 - -2) + y + -2. Let u be o/(116/(-2 + 4)). Which is smaller: u or 1?
u
Let p = 13.6 + -11.6. Is p at most as big as 5/3?
False
Let o(w) = -2*w**2 - 20*w**3 - w + w**2 - w**2. Let j be o(-1). Suppose 0 = 4*z - 3*y - 0 + 1, -j = -2*z - 5*y. Is 1 at least z?
False
Suppose -3*z - h + 1 = 0, 3*h = -4*z + 1 - 3. Let w = 7 - z. Suppose -w*x + 25 = -x. Which is smaller: 4 or x?
4
Let j = -1149 - -28731/25. Let s = 61/150 - j. Let h be 4/(-6) + (-7)/(-6). Which is greater: s or h?
h
Suppose -5*k + 5*y = -3 - 2, -2*y - 5 = -3*k. Let s be k + 15/(-3) + 1. Which is bigger: