 n(r) = -r. Let g(z) = -b(z) + 4*n(z). Let p be g(x). Which is bigger: -6 or p?
p
Suppose -5*a = -5*z - 0*a + 205, -a - 201 = -5*z. Let m be (-5)/(z/(-36))*-2 - 3. Is m at least as big as -1?
False
Let i = 27.6 - 27.62. Is 88 < i?
False
Let c = -23 - -98. Let k be ((-3)/18)/(10/c). Let d = -17/20 - k. Is d > 15?
False
Let a be (-2)/(-4)*(-4)/6. Let o(c) = -c**2 - 7*c + 5. Let s be o(-7). Let q = s - 5. Are q and a non-equal?
True
Let t = -55/7 + 8. Let f = 0.033 - 0.046. Let m = f - -0.013. Which is smaller: m or t?
m
Let k = 66082/295 + -224. Do k and 0 have the same value?
False
Let n(p) = -p**3 + 12*p**2 + 29*p - 12. Let m(x) = -x**3 + 12*x**2 + 28*x - 13. Let q(h) = 3*m(h) - 2*n(h). Let u be q(14). Is 2/7 equal to u?
False
Let v(q) = 6*q + 30. Let n be v(7). Suppose n = 2*o - 5*o + f, -5*o - 4*f = 103. Is o >= -24?
True
Let r be (-9)/(79/20 - 4). Suppose -4*v + r = v. Are v and 35 unequal?
True
Let n = -31 + 36. Let r(z) = -z**3 + 4*z**2 - 3. Let a be r(n). Let f be (-49)/(-6)*(-16)/a. Which is bigger: 4 or f?
f
Suppose 3*t = 2*c + 4, 4*t - 12 = -2*c - t. Let u be 627/190 + 0 + (-24)/(-20). Is c bigger than u?
False
Suppose 2*r = -2*v - 24 - 0, -2 = -v. Suppose -1838*t + 1833*t + 45 = 0. Let s = t + r. Which is greater: s or -4?
-4
Let n be 1/(-2)*-2*1. Let w(l) = -l + 9. Let o be w(8). Let h = o + n. Which is greater: 3 or h?
3
Let c be (-2)/(-4) + (-3)/6. Let a(q) = q**2 + 20*q - 20. Let h be a(-21). Is c at most h?
True
Let n = 2693 + -3966. Is n at most -1274?
False
Let n be 160/180 + 1/((-27)/6). Is n greater than 47?
False
Suppose 102 = 2*q - 5*q. Let m = q + 17. Suppose 0 = 12*s - 12 + 216. Is s >= m?
True
Suppose -4*v + 113 = -39. Let i = -76 - -115. Is v != i?
True
Let o = 1109 + -1154. Which is smaller: -23 or o?
o
Let l(n) = -2*n**3 - 2*n**2 + 2*n + 5. Let z be 3*((-5)/(-15) - 1). Let w be l(z). Is w > 13?
False
Suppose -129*l = -130*l - 36. Is l < -35?
True
Suppose -585 = 2*g + 2*g + 5*b, -b + 153 = -g. Let j = -451/3 - g. Is 21/2 bigger than j?
True
Let v = 70 - 70. Suppose 4 = 4*z - v*z. Is -3/11 at most z?
True
Let q be 20 + -1409 + -3 + 0. Let z be ((-27)/(-21))/3 - q/(-14). Which is smaller: -98 or z?
z
Suppose 0 = 8*k - 4*k - 4. Suppose 3*v = -0*v - 6. Let m be (-4)/v*(-2)/(-4). Is k at least m?
True
Let n = 186 - 1305/7. Let c = -0.4 - 4.6. Which is bigger: c or n?
n
Let a be ((-3)/2)/((-2)/(-4)). Let c be 4/(a/(-4) - 82/88). Which is bigger: c or 1?
1
Let p(t) = -t**2 + 12*t - 4. Suppose 5*o - 30 = -2*a, o = -6*a + 2*a + 24. Let x be p(a). Which is bigger: 32 or x?
32
Suppose -41*o = -256 + 2839. Which is smaller: -580/9 or o?
-580/9
Let q = -12.63 + -0.37. Let k = q - -15.9. Is k != 0?
True
Suppose 4*i = 4*z + 68, 2*z - 7*i + 6*i = -30. Is z less than or equal to 10?
True
Suppose -3*n = -d - 13, 4*n - 15 = 2*d + 1. Suppose -5*c = -3*c. Suppose 4*f + 3*j - 25 - n = c, 26 = 5*f - 2*j. Is 6 > f?
False
Let y(x) = -2*x**3 + 5*x**2 + 16*x - 26. Let s be y(4). Which is greater: -46 or s?
s
Suppose -5*b + s - 14 = 0, -b + 5*s - 6*s + 2 = 0. Let t = 1/3614 - 108431/39754. Which is greater: b or t?
b
Let g be ((-1)/4)/(2/(-8)). Suppose -c = -2*f + 4*f - 16, -43 = -3*c - 5*f. Let v(d) = -d**2 + 7*d - 4. Let w be v(c). Which is smaller: w or g?
g
Let i = 1/12900 + -1389977/25800. Let r = -54 - i. Let l(p) = p - 6. Let d be l(5). Which is smaller: r or d?
d
Let c = 3/32 - 11/32. Let a be (0 - (-4)/(-6))*-3. Suppose a*x - 3 = 3*x. Is c at least as big as x?
True
Suppose 3*y - 111 = -3*h, 2*y - 173 = -4*h - 21. Let t = -40 + h. Which is bigger: t or 2/227?
2/227
Suppose 17*s = 34*s + 2142. Let u = s - -124. Do u and -0.01 have the same value?
False
Let d = 8/31 + 131/93. Let r be (23 + (-3 - -3))*1. Let t = r + -21. Does t = d?
False
Let t be (2 - 3)/(1 - 2). Let l = -386829775/5120006 - 4/134737. Let n = -151/2 - l. Is n greater than t?
False
Let i be 28/98 + 340/(-14). Let v be 36/i*(-1)/(-6). Is -2/5 at least v?
False
Let u be ((-2)/(-4) + -1)*847/77. Suppose 5 = 2*a + 17. Do u and a have different values?
True
Let y(i) = 2*i**2 - 10*i - 5. Let f be y(8). Let k = -56 + f. Is -13 at most k?
True
Suppose 0*p + 5*p = 5, -p = -3*r + 5. Suppose r*b + 0 = 2. Let o be (8 + -7)/(0 + b). Is o at most -2/31?
False
Let c = 402 + -419.16. Let j = c + 1.06. Let u = 16 + j. Is -20 greater than or equal to u?
False
Let a(i) = 3*i - 6. Let v be a(3). Which is smaller: 5/3 or v?
5/3
Let g be (-4)/22 + 40910/(-660). Let u = -62 - g. Is 0 bigger than u?
False
Let p = -3.6 + 4. Let m = 159 - 160. Which is bigger: m or p?
p
Let k = 20 + -12. Suppose 0 = -9*q + k*q. Which is smaller: q or -4?
-4
Let z = 312 + -311. Suppose -g - m = 6, 0 = 3*g - 5*m + 4*m + 30. Let u be z + 2 + 23/g. Which is bigger: u or 0?
u
Let l(b) = -b - 1 - 2*b**2 - 2*b**2 + b**3 + 2*b**2. Suppose 3 = 140*r - 139*r. Let i be l(r). Is 1 greater than or equal to i?
False
Let n be 7 - ((1 - 3) + 8). Let y be -2 + (2 - 3) - 1. Let o be y + 3 + 38/34. Which is bigger: o or n?
n
Let s(h) = h**2 + 7*h + 2. Let u be s(-3). Let n(i) = -10 + 37*i**2 - 4*i - 38*i**2 - 7*i. Let z be n(u). Which is smaller: -3 or z?
-3
Suppose -d - 2*a - 36 = d, -2*d - 15 = -5*a. Let x be 3/2*(-10)/1. Is d at least as big as x?
True
Suppose k - 5*g - 19 = 1, 3*k + 8 = -2*g. Let n = -419 + 9635/23. Let w = -19/46 + n. Is w greater than k?
False
Suppose -26*i = -29*i + 234. Let c be ((-1)/12)/((-26)/i). Do 0.06 and c have different values?
True
Let m be ((-1)/(-1))/(6/42). Suppose m*j = 4*j + 30. Which is greater: 2 or j?
j
Let b be 14/21*3/2. Suppose -h + 3*p = 4*h + 1, p + 1 = h. Is h at least b?
False
Suppose 2*a = 5*s + 26, 3*a - s - 16 = -a. Let l = -6 - a. Is l at most 0?
True
Let b(l) = l + 5. Let w be b(-5). Are w and -2/133 nonequal?
True
Suppose 12 + 8 = -20*a. Which is smaller: 0.077 or a?
a
Let f be 8/6 - (0 - (-2)/(-3)). Suppose 3*p - f*y = -2*p, 5*p = -y. Which is greater: -0.3 or p?
p
Let u be (-2)/((-1)/12*-4). Let z be (6/(-9))/(16/u)*6. Is 4 > z?
True
Let i(c) = c**2 + 5*c - 9. Let t be i(-7). Let v be -15 + (-2 + t)/1. Let p = v + 11. Is -2/7 > p?
True
Suppose 2*t = 17*l - 22*l + 21, -l = 2*t - 9. Which is smaller: 5/2 or l?
5/2
Let r = -55 + 64. Let l be r*-5*3/(-315). Which is bigger: -1 or l?
l
Let m(o) = 9*o - 2. Let d be m(-2). Let n be (d/15)/((-6)/9). Let j be -3 - 1/(-2) - -3. Which is greater: n or j?
n
Let l(a) = -a**3 - 6*a**2 - a - 8. Let g be l(-6). Let f be -12*5/(-10) - (-75)/(-12). Which is smaller: g or f?
g
Suppose -2*l = -5*h - 16, -5*h + 17 - 27 = 0. Which is greater: -60 or l?
l
Suppose 0 = 16*g - 20*g - 4. Let w be (g - -2)*8/8. Which is greater: w or 10?
10
Suppose -3*g + 8*g - 2*a = -71, -3*g + 4*a = 37. Suppose 0 = -3*y - y + 20. Suppose y*s + 5*d + 84 - 24 = 0, 3*s + d + 44 = 0. Which is smaller: s or g?
s
Let y be 10/4*(-2)/(-10). Let g(x) = -x - 26. Let u be g(-20). Let f be u/60*-1 - 1/(-2). Which is smaller: f or y?
y
Let l = -43 + 43.4. Let d = 0.7 - 0.66. Let o = d - 0.34. Which is smaller: l or o?
o
Let t be 4/(-22)*(7 + 2). Suppose 0 = 3*z + 4*p - 176, -11 = -3*z - p + 168. Let u be ((-72)/z)/(2/5). Are u and t equal?
False
Suppose 4 = y + l, 4*l = -2*y + 3*y - 24. Let k be (-24)/128 - (-2)/y. Suppose 0 = h + 4*h. Which is smaller: h or k?
h
Let i(z) = z**3 + 6*z**2 - 9*z - 10. Let w be i(-7). Let f be -4 + ((-222)/w)/(-3). Which is bigger: f or 16?
16
Let n = -223.6 - -1501.6. Which is greater: n or -0.1?
n
Let v = 8/3 - 46/15. Let f = -951 - -3803/4. Which is smaller: f or v?
v
Let m = 598537 + -37709011/63. Let o = 128/7 + m. Let y = o - -25/36. Is y >= -1/7?
True
Suppose -5*k - 3*x + 17 - 50 = 0, -5*k = -4*x + 61. Suppose q = -2*j + 29, -q = -2*j - 2 - 39. Suppose -r - q = 4*r. Which is smaller: k or r?
k
Let u(a) = -2*a - 58. Let q be u(-10). Let b be (-3)/9 + (-2)/3. Is q != b?
True
Let i = -194/17 + 13420/1173. Let u = 73/138 - i. Let a = -183/644 + -1/644. Which is smaller: a or u?
a
Let o = -29.6 + -93.4. Let u = o - -123.58. Is -1/3 less than or equal to u?
True
Suppose -159*h = -166*h. Is -4/5 greater than h?
False
Suppose -10 = -4*t - 3*p, -4*p + 4 = -0*t - 4*t. Is 2 != t?
True
Let f(g) = -36*g - 981. Let y be f(-47). Is 711 greater than y?
False
Let g = 477/4 + -23349/196. Let t = g - -81/539. Which is smaller: t or 1?
t
Let c = 3 + -2.8. Let