 - 4, -z - 3*n = -1. Which is smaller: g or z?
g
Suppose -21 = 3*d, 28*d - 47 = -c + 26*d. Which is greater: c or 29?
c
Suppose -j - 20 - 2 = 5*w, 2*w = j - 13. Let r = 83052 - 83047. Which is bigger: r or j?
r
Let z = -238 + 184. Let n = z + 54.1. Which is greater: n or 0.11?
0.11
Suppose 0 = 80*z + 165*z - 4165. Suppose 5*l = -3*i + 67, -i = -3*i + 4*l + 30. Are i and z unequal?
True
Suppose 0*y + 4*a - 90 = -y, -3*y + a = -270. Let z = y + -219. Which is smaller: -130 or z?
-130
Let q = -40277 + 131947451/3276. Which is greater: 1 or q?
1
Suppose 4 = 8*j - 4*j. Let d be 0 + (-1 - j) + 34. Let b be d/(-80) - (-2)/5. Which is greater: 1/116 or b?
1/116
Suppose -43*g + 90993 = 6*g. Is 1857 at least as big as g?
True
Let a = 7440.11 - 7440. Which is bigger: a or -1/4?
a
Suppose -6 = -i - i. Suppose i*k = 8*k - 5, -4*h = k + 11. Let w be 31*117/2418 + 142/(-28). Are w and h equal?
False
Let g = -31 - -46. Let k be (-5 - 103)/12 + 57/3 - -4. Which is smaller: k or g?
k
Let v = -16228 + 15015. Is -1 at most v?
False
Let y be -2*(-10)/4 - 3. Let n(g) = g**2 - 333 + 7*g + 349 + 0*g**y. Let s be n(-6). Which is smaller: s or -1?
-1
Suppose 6*o = 189 - 9. Let k be (2/(-9))/((-5)/o - -1). Which is bigger: -3/8 or k?
k
Suppose -5*s - 276 = 5*x - 2*s, x + 4*s = -45. Let f = -48 - x. Let q = -22 + 32. Which is bigger: q or f?
q
Suppose -2*a = -a + 73. Let w = -72 - a. Let j be (-13 - 0)*(-2)/14. Which is smaller: j or w?
w
Let r be (5716/12)/(-2518*4/1304). Let h = r + 4/1259. Which is smaller: h or -63?
-63
Let x = -22794 - -22794.4. Which is greater: x or 2/721?
x
Let v(x) = 3*x**3 + 4*x**2 + 2. Let c be 1 - 2/((-6)/15). Suppose -15 = 3*k - c. Let j be v(k). Is -44 greater than or equal to j?
False
Let y(g) = -15*g + 51. Let x be y(14). Is 4 <= x?
False
Let c(f) = -13*f - 11. Let y(a) = 12*a + 10. Let g(d) = 2*c(d) + 3*y(d). Suppose 2*u + 4 = -6, -3*q - 3*u - 30 = 0. Let m be g(q). Are -40 and m unequal?
True
Let l = 392 - 390.4. Let g = -5.4 - -8. Let y = g - l. Is 14 != y?
True
Let n(h) = -h**3 + 18*h**2 + 90*h + 382. Let x be n(21). Which is smaller: x or 947?
947
Let p = -307 + 303. Let u(w) = 3*w**3 + w**3 + 6*w**2 - w**2 - 3*w**3 - 12. Let k be u(p). Is 4 <= k?
True
Let i(b) = 63*b + 3510. Let s be i(-16). Which is bigger: s or 2501?
s
Let o = -92 - -24. Let z = o + 81. Let s(l) = -2*l - 7. Let w be s(-11). Which is greater: z or w?
w
Let s be (2/(-6)*1)/(-10 - 3710/(-84)). Let l be (-1)/4 - (-4)/(16/(-3)). Which is greater: s or l?
s
Let x be -6 - ((-140)/4)/7. Let r = -7658 + 421208/55. Is x greater than r?
False
Let z be (-277 - 1) + ((-126)/(-9) - 8 - 8). Which is smaller: -273 or z?
z
Suppose -58 = -17*c + 27. Suppose c*n = y + 386, -5*n + 398 = 6*y - 4*y. Is 77 greater than n?
False
Let z = -1168 + 726. Is z at most as big as -447?
False
Let h(x) = 2*x + 31. Let k(f) = f**3 - 20*f**2 - 2*f + 28. Let g be k(20). Let o be h(g). Suppose 4*s - 21 = o*s. Which is greater: s or -6?
-6
Suppose 7*q = 9*q + 26. Let c be q*1/119 - 2/(-7). Suppose 5*a = 9*a. Which is smaller: c or a?
a
Let l be 8*(-4)/(-48) - (-7)/3. Suppose -l*c = -a + 164 + 173, 2*c + 232 = -3*a. Which is smaller: c or -115?
-115
Let d = -180 + 185. Let y be 1/(d - (0 - 813/(-156))). Is y equal to -4?
False
Let i be 1/(1*(-4)/(-20)). Suppose 0 = i*d + 2*o - 20, 3*d - 7*d + 16 = 2*o. Suppose -d = -6*c + 2*c. Is c less than or equal to -3/14?
False
Let j = -3095 - -3931. Is j != 834?
True
Let f be (6/7)/((-13)/455). Let h be (-19)/(2/(-2)) - 60/f. Which is bigger: -1/4 or h?
h
Suppose 16*k - 11*k = 25, 0 = 4*j - 11*k + 37883. Is -9457 smaller than j?
False
Suppose -177 = -5*p + 113. Let o = -34 + p. Suppose 3*h + o = -45. Do -24 and h have the same value?
False
Let h = 14 + -8. Let r be 1/(-20)*h/(-15). Suppose -23355*o + 23477*o = 122. Which is smaller: o or r?
r
Let f be 5/(-4) + 3/12. Let a be 6/(1 - 1/3). Let y be a - 105/12 - 63/268. Which is greater: y or f?
y
Let r(d) = 2*d**3 - 57*d**2 + 30*d - 57. Let z be r(28). Is -1/14 at least as big as z?
True
Suppose o + 40*n = 45*n + 55, n = 5*o - 131. Which is bigger: o or 180?
180
Let u be (202/(-4) + -6)*38/19. Is -109 smaller than u?
False
Let h(p) = 2*p**3 + 3*p**2 + 6*p - 10. Let c be h(-11). Which is smaller: c or -2376?
-2376
Let t = 2463.63 - 2463. Which is smaller: t or -4?
-4
Let g = -1735 - -1767. Suppose -2*h = -156 + 8. Let k = h - g. Do k and 43 have different values?
True
Let w(z) = z**3 + 4*z**2. Let c be w(-3). Let b(d) = -3*d + 28. Let u(m) = -7*m + 56. Let q(v) = c*b(v) - 4*u(v). Let j be q(-15). Which is greater: -1/4 or j?
j
Let d be 4 + (-1 - 3) - 1. Suppose -3*l - 15 = 2*l. Let x be (3/(-2))/((l - 22)/(-5)). Which is smaller: d or x?
d
Let q be (182/(-10) + -1)*-5. Let z = q - 135. Let r be 7 + (-14)/(672/368). Which is smaller: z or r?
z
Let v be (-2)/(-2) + -4174 - 0*(-21 + 20). Which is bigger: -4174 or v?
v
Let c = -17 + -11. Let p be 1477/(-196) + -21 - 2/8*-1. Which is smaller: c or p?
p
Let m(r) = -r**3 - 30*r**2 + 43*r + 454. Let i be m(-31). Which is smaller: i or 23?
23
Let w = -13 + 11. Let o(g) = -g**3 + 9*g**2 - g + 6. Suppose 21 + 24 = 5*z - 4*c, 0 = -5*c. Let j be o(z). Are j and w unequal?
True
Let g be (-54)/(((-236)/58 + 18/261)/(-2)). Is -184/7 < g?
False
Let s(w) = -2*w**2 - 25*w + 19. Let l be s(-13). Suppose 3*c = l*c + 45. Let h = c - -137/9. Which is greater: 0 or h?
h
Let w be -4196 - (-12)/(-15)*(3 + 2). Let a be 20/14 - w/(-196). Let s(d) = -5*d + 1. Let c be s(4). Is c not equal to a?
True
Let c(q) = q**2 + q + 14. Let n be c(-6). Suppose 65 = 7*t + n. Which is greater: 30/7 or t?
30/7
Let c(b) = b**3 + 4*b**2 - 4*b - 8. Let r be c(2). Let o = -119 - -77. Let l = o + 48. Is l greater than r?
False
Let o(m) = -m**3 - 4*m**2 - m + 1. Let a be o(-3). Let w be (a/5)/((-12)/(-2)). Let q = -3645.2 - -3645.7. Which is smaller: q or w?
w
Let d be (-2272656)/2486 + (-2)/(-11). Which is bigger: -913 or d?
-913
Suppose -14*d - 58 = 124. Let y(u) = -3*u - 40. Let c be y(d). Let x = 1.1 - 0.1. Is c equal to x?
False
Let u(x) = -26*x + 77. Let c = -523 - -526. Let d be u(c). Which is smaller: 2/869 or d?
d
Let z = -309 - -140. Let j = z + 284. Which is smaller: 1 or j?
1
Let l = -3 - -4. Let z be (16/(-4) - 2)/(-1). Let q be (4/(-30))/(385/(-63) + z). Which is smaller: q or l?
l
Let l(x) = -x**3 + 62*x**2 + 264*x - 1. Let j be l(66). Which is bigger: j or 17/206?
17/206
Let k = 20473/10902 + -343/138. Does -2 = k?
False
Let x(h) = 6*h + 147. Let b be x(-25). Is -3141 less than b?
True
Let d = -11229 + 11227. Suppose 4*s - 12 + 108 = 0. Which is greater: d or s?
d
Let t be -33*(3 - 2)*-1. Suppose 5*f - 3846 = -2*l - 9491, 4*f + 4549 = 5*l. Let g be 78/f - (-959)/29. Is g greater than t?
False
Suppose -6*z + 0*z - 162 = 0. Suppose -2*m - 50 = 2*q, -3*q - 51 = 2*m - 0*m. Let w = m - z. Which is smaller: -10 or w?
-10
Let o = -211.38 - -324.442. Let p = o - 113. Which is bigger: 0 or p?
p
Let p be -2*(1/7)/(-1). Let g = -22.593 - 144.407. Which is smaller: g or p?
g
Let b = 11209.86 + -11210. Is b less than or equal to 42?
True
Let o be (-4)/6*((-70)/4 + 1). Suppose -2*g = -4*l - 0 + 16, 0 = 3*l - 2*g - o. Let m be (-8 - (10 - 13))*(-2)/(-15). Which is greater: l or m?
l
Let x = 10.8 - 6.8. Let n = x - -68. Let l = -71.75 + n. Is l > -1?
True
Let z be 70 + -71 + 1 + 1. Is -9/52 at least z?
False
Let u be 3/(-2)*(-144)/1639116. Are 1 and u non-equal?
True
Let m = 658/285 - -7/285. Let h be 1 + -1 - (-3)/(-3). Let g be 1/((h - -3) + -1). Is g != m?
True
Suppose -3 = a, w - 4*a + 18 = -5*a. Let r(u) = -6*u**2 - 92*u - 20. Let j be r(w). Which is smaller: 142/15 or j?
142/15
Let c(d) = -d + 8. Let u be c(8). Let x = 20162 + -4133209/205. Which is smaller: x or u?
u
Let i(c) = -2*c - 4. Let x = 3 - 6. Let q = x + -1. Let d be i(q). Is 9/2 < d?
False
Suppose 10 = -5*t + 10. Suppose -8 + 24 = -4*j, -4*m - 4*j - 4 = t. Suppose 3*g + m = -3*y, 2*g + 0 + 2 = -3*y. Is g > -19?
True
Let l = 30 + 8. Suppose 5*q = 3*b - 82, 0 = 5*b - q - 44 - 122. Is l greater than b?
True
Let r be 66/(-56) - 325/260. Is -0.2 bigger than r?
True
Suppose -286*u + 10 = -281*u. Let h be (-108)/(-90)*(1 - (-3)/u). Suppose 2 = i - 1, h*n - 12 = -i. Is n at most as big as 7/3?
False
Let a = 3.4754 + -3.4845. Which is bigger: a or 22?
