3*a = 6. Suppose -a + 5 = 3*q. Let w be -5 + (132/64 - -3). Is q equal to w?
False
Let q(a) = 13*a**2 + a. Let p be q(1). Suppose 13*x + 1 = p*x. Is 73 bigger than x?
True
Let b be (-4)/(-28)*(-20)/30. Suppose -14 = 2*y + 3*d, d + 2*d = -12. Let f = -2 - y. Are b and f non-equal?
True
Let o(z) = -4*z - 21. Let r be o(-16). Which is greater: r or 0?
r
Suppose -d + 25 = 58. Let p = -60 - d. Is -26 <= p?
False
Let x = 617/10 + -62. Which is smaller: 23 or x?
x
Let w be 4/(-6) + (-2 - (-35)/(-15)). Let m = -8 - w. Are -1 and m nonequal?
True
Suppose 22 = -2*m + 3*o + o, 5*m - o = -73. Which is smaller: m or -7?
m
Suppose -5*m - m = -30. Suppose -13 = -4*s + m*s. Which is bigger: s or -14?
s
Suppose 5*t - 41 = -216. Let m = -10 - t. Which is greater: m or 24?
m
Suppose o = 4*c + 448, -5*o = -3*c + 5*c + 224. Which is greater: c or -221/2?
-221/2
Let c(n) = -n**3 - 7*n**2 - 15*n - 26. Let x be c(-5). Which is bigger: x or 1/269?
1/269
Suppose 5 = 5*h - 2*v, 4*h = -0*h - 4*v + 4. Which is bigger: -10/181 or h?
h
Let u = 3.2 - 3. Let p = 902 + -902. Is p at least as big as u?
False
Let q = 2.89 + 0.11. Let g = 9 + -7.6. Let k = -1.4 + g. Which is smaller: k or q?
k
Let c = -7.1 + 7.131. Let n = c - -3.969. Let m be 9/6*(-6)/(-3). Which is bigger: n or m?
n
Suppose -3*k = u - 497, -382 = -5*k + 2*u + 461. Do 169 and k have different values?
True
Let r(u) = -u**2 - 1 + 2*u + 6 - 7 + 3*u. Let x be r(3). Let h be (1/(-3))/(x/12). Is 3 at most h?
False
Suppose -5*f + 9 = -11. Let y = 62.2 - 62.5. Is f at least y?
True
Let b = 68977/374 + -2020/11. Is b greater than 0?
True
Let b be (98/(-35))/((-368)/(-40) - 8) - -7. Suppose -2*u + 3 = -g, 4*g = -2*u - 11 + 39. Which is smaller: b or g?
b
Let a be ((-17)/1)/(0 + -1). Let v be (-70)/(-175)*(-2 - -17). Let l = v - a. Which is bigger: -12 or l?
l
Let t be (-11)/(-33) - (-16)/6. Let m(k) = 3*k - 1. Let r be m(t). Let s be (r/(-186))/(4/(-6)). Which is smaller: 1 or s?
s
Suppose 0 = 5*t + 5*b - 65, -9 = -t - 2*b + 3*b. Suppose -5*r - 2 = -3*u - 1, 5*u = -r + t. Do -3/11 and r have different values?
True
Let y be (-9)/6*2/(-12). Suppose 0 = -2*z + g + 9, 2*g + 14 - 4 = 0. Let c be (4/(-40)*z)/(-1). Is y equal to c?
False
Let b = -631 - -515. Is b <= -116?
True
Let l = 3698/651 - 3/217. Let o = -712/5 + 142. Is o < l?
True
Suppose -2*t + 36 = 2*u + 2*t, 5*u - 5*t = 105. Let y be (6/(-20))/(6 + (-96)/u). Are y and -28 equal?
False
Let a = -32 + 34. Let x(j) = -2*j + 3. Let u be x(a). Suppose -6 = 3*s + 3. Is u at most s?
False
Let r be (-9)/(-12) - 1155/20. Is r greater than or equal to -58?
True
Let u(r) = -r**3 - 5*r**2 - 3*r - 3. Let i be u(-4). Is -24 != i?
True
Let r be (-4)/(-6) + 4/3. Let z(b) = -b + 6. Let g be z(5). Let s(i) = i**3 + 2*i**2 - 2*i + 1. Let k be s(g). Is k smaller than r?
False
Let x = -97 - -385. Is x less than 287?
False
Suppose 2*q - 26 = -2*s, 0 = -3*q - 0 + 3. Suppose -12 = -7*c + 6*c - 3*z, -4*c + 4*z = 0. Suppose 9 - s = -c*j. Is j greater than or equal to 1/11?
True
Let w(l) = l**3 + 28*l**2 - 30*l - 6. Let o be w(-29). Which is smaller: o or 119/5?
o
Suppose -x = -3*a + 8 + 2, 5*a - 3*x - 18 = 0. Let m = -58246/17 + 3428. Which is smaller: m or a?
m
Suppose 5*q = 0, 4*u + 52 = -2*q - 8. Let z be (5/u)/((-6009)/(-18)). Let t = z + 16038/14021. Which is bigger: 0 or t?
t
Let o be -5 + 210/27 + -3. Let c = -18908/31 - -610. Is o bigger than c?
False
Let z(y) = -y**2 + 13*y + 109. Let s be z(20). Is s != -33?
True
Suppose r + 18 - 24 = 0. Suppose 2 + 4 = -r*x. Is -1/4 at most as big as x?
False
Suppose -4*l - 5*z - 78 = 0, 4*l - 3*l = z - 15. Let t(s) = s + 13. Let c be t(l). Which is bigger: c or -3?
-3
Let t = -65.9 - -115.8. Let x = t - 50. Let s be ((-4)/(-6))/(3/(-9)). Which is bigger: x or s?
x
Let h = -21 + 37. Let b be (3 - 1 - 18) + 1. Let a = b + h. Which is smaller: -1/24 or a?
-1/24
Suppose 5*i = 10, 6*i - 24 = -2*a + i. Suppose 3*y = a*y + 24. Let u = y - 3. Is -8 < u?
False
Let p = 5.7 - 59.7. Let v = p + 29. Let s = v + 30. Is 4 bigger than s?
False
Let p(t) = t**2 - 11*t - 11. Let y be p(11). Suppose -3*a + 2*n + 77 = -0*a, 5*a - 120 = -5*n. Suppose -4*m - a = 23. Which is bigger: m or y?
y
Let j(b) = -46*b - 1. Let g be j(1). Let x = g - -19. Which is bigger: -27 or x?
-27
Let q be (-2)/4 - (-6)/12. Let o(x) = -x**2 + 12*x + 2. Let l be o(11). Let r be (l/169)/((1 - -1) + -1). Which is greater: q or r?
r
Suppose -21 + 1 = -4*b. Suppose b*m - y - 39 = y, -25 = -3*m + 2*y. Which is smaller: m or 6?
6
Let p = -94 - -127. Is 37 >= p?
True
Let h(a) = -a**3 - 6*a**2. Let q be h(-6). Let t be ((-22)/6 + 4)*q. Is 5/9 >= t?
True
Let l = -57 + 52. Let y = 19 + l. Which is smaller: 11 or y?
11
Let f = -435 + 309. Does -126 = f?
True
Suppose 0 = -19*s + 23*s + 72. Let n(y) = -36*y + 92. Let f be n(3). Is s bigger than f?
False
Suppose 0 = 6*w + 2 - 272. Suppose 48*o - 51*o = -w. Which is smaller: o or 17?
o
Let n = -2/991 + 4983/13874. Let d(h) = -2*h**2 - 24*h + 25. Let r be d(-13). Does r = n?
False
Let c be 5881/(-12) + 24/288. Are -490 and c equal?
True
Let v(f) = -2*f - 12. Let s be v(-8). Let y be (-1 + 0)*(-3 - -3). Suppose -4*j - s = -y*j. Is -2 smaller than j?
True
Suppose 2*b - p = 3*p - 14, -2*p - 61 = 3*b. Let n = -14 - b. Which is smaller: 7/4 or n?
7/4
Suppose 12*o + 18 = 9*o - d, -16 = 2*o + 2*d. Let k = 0.6 + -2.6. Is k >= o?
True
Let s = 122 - 52. Let a = -68 + s. Which is bigger: -5 or a?
a
Let v(c) = 3*c**2 - 47*c - 8. Let l = 72 - 56. Let d be v(l). Which is smaller: 70/9 or d?
70/9
Let l = -386 - -386. Which is smaller: -9/23 or l?
-9/23
Suppose 19*s - 490 = 9*s. Which is bigger: 44 or s?
s
Let y = 129 + -128. Is 42/13 at most y?
False
Let z be (-1490)/(-247)*1*(-4)/(-64). Let u = 1177 + -581439/494. Let o = z + u. Is 1 > o?
True
Let h(c) be the third derivative of 2*c**4/3 + 2*c**3/3 - 7*c**2. Let r be h(5). Let m be (-6)/8 + 91/r. Are m and 12 equal?
False
Suppose -q + 3*c = -0*q + 11, -5*c + 23 = 3*q. Let b be 497/11 + (-40)/220. Let h be ((-54)/b)/(((-6)/(-5))/(-3)). Is q equal to h?
False
Suppose -2*n - 5*d - 7 - 7 = 0, 4*n - 8 = -d. Let o(c) = -c**n + c**2 + 6*c**2 + c - 3*c**2 - 13 + 6*c**2. Let p be o(10). Is p at most -3?
True
Let i(h) be the third derivative of -h**4/24 + 3*h**3/2 - h**2. Let s be i(6). Suppose -v - s*v = 0. Which is smaller: v or -1?
-1
Let z(i) = -i**3 + 4*i**2 - 4*i + 32. Let t be z(6). Is t greater than -65?
True
Let q(n) = -9*n - 20. Suppose 19 = -4*m - m - 2*k, -1 = -m + 2*k. Let c be q(m). Is 5 less than c?
True
Let t = -0.074 + 102.074. Let g = -103 + t. Which is smaller: g or -3/8?
g
Suppose -4*p + 17 = g, -2*g + 38 = 5*p + 19. Is -22/7 at least g?
False
Let i be 289/((-4)/((-12)/3)). Let v be i/(-119) + 6/14. Suppose 0*h = -4*h - 12. Which is smaller: h or v?
h
Let x be (4 + (-63)/14)*0. Is x > 1/1052?
False
Let a = -71 + 17. Let x be a/(-81)*18/74. Is -1 less than or equal to x?
True
Suppose 392*y = 405*y - 377. Is 28 not equal to y?
True
Let i = 2/51 + 143/255. Let s be 2/6 + (-21)/9. Let d be (-5 - 228/(-44)) + s/11. Which is smaller: d or i?
d
Let v = 25.2 - 25. Let h = 24 + -15. Let m be 21/18*h/6. Which is smaller: v or m?
v
Let o be (-2 + 1)*1*-1. Let b = -84 - -17. Let v = b + 65. Is v less than or equal to o?
True
Suppose 0 = -t - 0*t - 3. Let a be ((-134)/(-12) + -11)*-15. Is a at most t?
False
Let t(q) = q**3 - 9*q**2 - 12*q + 21. Let f be t(10). Which is smaller: 2/97 or f?
2/97
Let h be 20/(-12)*-3 + 2. Suppose 4*s - h*s - 87 = 0. Which is bigger: -30 or s?
s
Suppose t = 2*t + 1. Let p be (9 - 8)/(2/t). Are p and -3/5 non-equal?
True
Let k(p) = 2*p**2 + 2*p + 6. Let y be k(-4). Let r = -29 + y. Let c = 167/1827 - -1/261. Are c and r unequal?
True
Let k be (-4)/(-65)*(-6)/(120/(-50)). Is k at least -1/252?
True
Let l = 136.3 + -144. Let m = l - -7.8. Is -0.03 bigger than m?
False
Let x(j) = -j**3 + 6*j**2 + 2*j - 10. Let f(c) = 3*c**2 - 2*c - 1. Let t be f(2). Let g be x(t). Let y be (g/22 - -3) + -1. Is y greater than or equal to 1?
False
Let g be (-9435)/66 + (3 + -1)/2. Let z = g + 142. Which is greater: z or 1?
1
Suppose -20*w + w = 0. Is -204 at least w?
False
Let g = 1661 + -18247/11. Which is bigger: g or 0.11?
g
Suppose -3*x + 9 = -0*x. Let j(d) = -5*d + 1. Let c be j(x). Is -14 at most as big as c?