 Suppose 3*r - 6*r - t = -308, -3*r + 298 = -4*t. Let v = r - 1532/15. Is n greater than v?
True
Let y = -35.44 - -36. Let a = 0.56 - y. Do -2 and a have the same value?
False
Let s = -568.2 + 568. Which is smaller: s or -0.47?
-0.47
Let n = 473/164 + 15/41. Let q be (-10)/(-3)*(-48)/(-40). Suppose 8*l = q*l + 12. Which is smaller: l or n?
l
Let a = -1.7 - -14.7. Let t = 9 - a. Suppose -3*i + 11 = v, -5*v + 29 = 2*i - 0*v. Is i not equal to t?
True
Let w be (-6)/(-51) + (-7608)/(-68). Which is bigger: 563/5 or w?
563/5
Let f(a) = a**3 - 5*a**2 + 5*a. Let p be f(2). Which is smaller: 3/47 or p?
p
Let s be (-36 - (-4)/2)/(-1). Let x = s + -31. Is 3 smaller than x?
False
Let g be 27230/34 - 86/(-731). Do g and 803 have different values?
True
Suppose 0*g - 2*g = -8. Suppose -3*a + 2*s + 34 + 97 = 0, 92 = 2*a + s. Let y = -91/2 + a. Is g greater than y?
True
Let f = -14 - -5. Let s be 15/f + 2/3. Let l be (0/(-4))/(s*1). Which is greater: l or 3/5?
3/5
Let h be -4 + ((-299)/(-161))/(1/2). Which is greater: 0 or h?
0
Let w = 3/251 + -1606/29367. Is -1 less than w?
True
Suppose 3*y - 2856 = -0*y. Let p be (-2)/9 + y/72. Let r = p + -22. Which is smaller: r or -10?
-10
Let a be (12 + -1)/((-12)/5952). Let z = -60100/11 - a. Let h = 87/11 + z. Which is greater: h or 1?
1
Let g(w) = w**2 + 11*w + 1. Let u be g(-11). Let d(p) = p**3 + 3*p**2 - 6*p - 3. Let f be d(-4). Suppose -f*t + 6*t - 2 = 0. Is u less than or equal to t?
True
Let k be (-6)/(-12)*(-12)/6. Let s(z) = -z - 1 + 0*z**2 - 4*z**2 - z**2. Let d be s(k). Which is smaller: d or -7?
-7
Suppose 2*v = 1 + 9, -u = v + 10. Let s = -11 - u. Which is greater: s or 6?
6
Let y be ((-8)/40)/(1/(-2)). Let n = -55 + 38. Let s = -22 - n. Which is smaller: y or s?
s
Let u(q) = q**2 + 6*q - 8. Suppose 4*j + 22 = -22. Let g = j + 4. Let m be u(g). Are m and 1 non-equal?
True
Let t = 180/19 + -4235/437. Which is smaller: 0 or t?
t
Let t be (-17)/3 + 2/3. Let q be ((-3)/(-42)*4)/(t/(-7)). Which is greater: q or -2?
q
Let v = -169.3 - -2.3. Let l = 168.9 + v. Let m = -0.8 - 0.2. Are l and m equal?
False
Let k = 1103 + -1106. Which is smaller: -62/25 or k?
k
Let b = 23 - -22. Suppose 7*l + b = 2*l. Is l less than -9?
False
Let u = -76.8 - -8.8. Do u and 0 have the same value?
False
Let m = -1 - -0.6. Let h(o) = 2*o**2 + 23*o + 64. Let f be h(-7). Are m and f nonequal?
True
Let f be (105/(-6) + 4)*4/(-6). Is 6 <= f?
True
Let t = -2.16 + 2.06. Which is smaller: t or -0.09?
t
Suppose -71*q = -55*q - 1632. Do 104 and q have different values?
True
Let t = 95 + -99. Let m(f) = f**3 + f**2 - 14*f - 9. Let s be m(t). Let i be 8/9*(-3)/4. Is i greater than or equal to s?
True
Let n(h) = -h**2 + 30*h - 104. Let l be n(4). Which is smaller: -8/167 or l?
-8/167
Suppose 3*y + 3*y - 318 = 0. Suppose 3*g - w + 11 = y, -4*g + 56 = 2*w. Let z be 15 - g - (-14)/(-12). Which is smaller: z or -1?
-1
Let o = -85 + 79. Which is smaller: o or 6/11?
o
Suppose -11*f - 358 - 291 = 0. Do -58 and f have different values?
True
Let z(n) = 8*n**2 + 5*n + 11. Let b be z(8). Let q = 38846/69 - b. Is q smaller than 1?
True
Let h = 0.01 + 1.19. Let k = 91 + -102.9. Let d = k - -12. Which is greater: h or d?
h
Suppose 3*j = 4*b - 36, 0 = 2*j - 3*b + b + 26. Let g(a) = -a**2 - 4. Let t be g(3). Which is smaller: t or j?
j
Let d = -208 + 207.9. Do 181 and d have the same value?
False
Let o be ((-48)/(-42))/((-2)/(-7)). Suppose 4*k = -o - 8, 0 = -c - 2*k - 3. Are c and -0.2 nonequal?
True
Let n = 5771/47603 - 354403094/2714846693. Let x = 5/533 - n. Which is smaller: 0 or x?
0
Let q = 781 - 713. Is q less than or equal to 68?
True
Let d = 1111/1395 - -1/279. Which is smaller: d or 1/3?
1/3
Let z(x) = x - 4. Let i(p) = 3*p - 8. Let y(f) = -2*i(f) + 5*z(f). Let s be y(5). Is -5 at least s?
True
Let u = -3 - -2.9. Let g = 31.1 + -30.95. Which is greater: g or u?
g
Let n = -94 - -9. Which is greater: -87 or n?
n
Let u be 10/(-12) - (-4 + 5)/(-3). Let n(l) = -6*l. Let i be n(8). Which is smaller: u or i?
i
Let h(u) = 2*u**2 + 2*u - 10. Let b be h(-7). Suppose 0 = -3*y - 3*c - b + 5, -2*y - 64 = -4*c. Which is smaller: -25 or y?
y
Let v be (-35)/(-14)*12/10 + -11. Let x be (-4)/6 + (-1 - v/3). Are 3 and x nonequal?
True
Let q = -0.098 + -43.902. Let l = q + 43.4. Which is greater: l or -1/5?
-1/5
Let w(a) = -a**3 + 7*a**2 + 5*a - 3. Let k be w(9). Which is smaller: -121 or k?
-121
Let p = -428 + 397. Is p smaller than -216/7?
True
Let o(m) = 5*m**3 + 81*m**2 - 59*m + 96. Let s(g) = g**3 + 16*g**2 - 12*g + 19. Let b(c) = -2*o(c) + 11*s(c). Let r be b(-15). Which is smaller: r or 5?
r
Let v = -1154 + 1037. Is v at least -116?
False
Let d = -14 - -3. Let w be (-1)/((-15)/(45/(-12))). Is w < d?
False
Let r(m) = -m**3 - m**2 + 5*m + 3. Let p be r(-3). Suppose p*d - 9*d = -9. Let w(q) = q**2 - 3*q + 4. Let a be w(d). Is a greater than 2?
True
Let r(z) = -1 - 4*z**2 - 5*z**2 + z + 5*z**2. Let o be r(1). Let y be (-23)/12 + (-8)/o. Which is smaller: y or 0.1?
y
Let t(m) = m**3 - 8*m**2 - 23*m + 25. Let h be t(10). Is 0.09 greater than h?
True
Let l = -3 - 0. Let o = 3.1 + l. Let f be ((-2)/(-5) - 11/(-10))*2. Is f less than o?
False
Let b = -30 + 18. Let m be (b/(-14))/(6/4). Let j = -2189 - -2191. Is m equal to j?
False
Let h = -227 + 200. Which is smaller: h or -25?
h
Suppose 5*k - 44 = 2*x + 26, 2*x = -4*k + 74. Let h(a) = a**3 - 2*a**2 - 3*a - 9. Let j be h(4). Let o = k - j. Are -1 and o unequal?
True
Let y be 9/(-3 + 2)*36/(-162). Suppose -4 = -0*z - z. Let x = 3 - z. Is x at most as big as y?
True
Let i = 11 + -10.8. Let m be (42/5)/(21/70). Suppose 2*v - m = b + 2*b, 3*b + 3*v + 3 = 0. Is b greater than or equal to i?
False
Let v = -0.2 - -0.2. Let g = 0.036 - 6.636. Let x = -6 - g. Is v at least x?
False
Let m(u) = u**3 - 5*u**2 + 6*u - 3. Let c be m(4). Suppose 0 = 2*s - 0*s - 22. Suppose -5*r = -19 - s. Is r >= c?
True
Let p(u) = -2*u**3 - 63*u**2 + 34*u + 65. Let i be p(-32). Let m = -3 + 4. Let d be (-36)/(-56) + m/(-2). Is i greater than d?
True
Suppose -2*z + 100 = 3*z. Suppose -1 + 18 = -2*d - 3*m, -5*d - 3*m = z. Which is smaller: -3/7 or d?
d
Let w = 66 - 70. Let n(t) = t**2 + 7*t + 4. Let k be n(-6). Let y be (3/(-3))/(k/(-4)). Does w = y?
False
Suppose 2 = 2*w, 8 = -9*y + 10*y + 4*w. Which is smaller: y or 94/19?
y
Let q be 3/(9/3) + -266. Let d = q + 11396/43. Is -1 less than or equal to d?
True
Let m(l) = l**3 + 8*l**2 + 6*l + 5. Let n be m(-7). Let t be 7/((-9)/(-12) + 9/(-36)). Let w = n - t. Is -10/11 less than w?
False
Let d(m) = -m - 23. Suppose -3*u = -2*r + 45, -3*u - 4*r = 2*u + 75. Let b be d(u). Let l = 0.4 + -0.2. Which is smaller: l or b?
b
Let g = -63949 + 506359/8. Let z = 655 + g. Which is greater: 1 or z?
1
Suppose -3*s - 11 = -3*q + 13, s = -2*q + 1. Which is greater: q or 37/11?
37/11
Let m be (-2 - 0)*11/(-22). Let b be ((-6)/192)/(m/6). Which is greater: 0 or b?
0
Let z be -1 + 7 - 3114/540. Which is smaller: z or 0?
0
Let p be 3/7*(-46)/12. Let d = 8/7 + p. Let n = -0.1 + 0.3. Which is smaller: d or n?
d
Suppose -107*i + 112*i = -3*y - 44, -49 = 4*y - 3*i. Is -288/23 equal to y?
False
Let d be 2 - (2 + (-3 - -4)). Let p be d/2 - 63/18. Which is smaller: p or -15/4?
p
Suppose 2*y = 5*y - 18. Suppose y = m - 24. Suppose -k = 3*u + m, -k + 22 = -u + 8. Which is bigger: -10 or u?
-10
Suppose -2*r + p = -15, 0*p + 1 = p. Suppose -3*y = -5*s - 14, -6*y + s - 20 = -66. Is y equal to r?
True
Suppose -22 = 5*c + 18. Let j be ((-38)/c + -5)*4. Which is greater: j or -2/23?
-2/23
Let c = 1 + -1.14. Let w = c + 0.04. Do 2/53 and w have the same value?
False
Let c be (-7 + -1)*16/(-40). Let b(p) = -2 - 12*p**2 - p**3 + 2*p**3 + 5 - 2*p**3. Let v be b(-12). Does c = v?
False
Let m = 0.12 - -9.88. Let l = -12 + m. Let o = -3.6 - -0.6. Is o > l?
False
Let f = 2/13 + -641/26. Which is smaller: f or -24?
f
Let k be (-573)/(-1 + 5/2). Let y be (1/5)/((-2)/k). Let x = -38 + y. Which is greater: x or 0?
x
Let s be 460/(-30) - 12 - (-4)/(-6). Let p = -66 + 40. Which is smaller: s or p?
s
Let w(u) = -u - 5. Let k = -2 + 7. Let i be w(k). Let n = -24 - i. Is n greater than -13?
False
Suppose -2*q - 9 = -2*g + 67, 0 = -q + 5*g - 22. Let d = q + 42. Which is smaller: -2/7 or d?
-2/7
Let f = 3771 + -2169. Let a = -43262/27 + f. Let y = a - -314