/(-765))/(m/5). Which is greater: q or 1?
1
Let k be (-1 + 0)*-42 - (-3 - -1). Let i be k/(-154) + -1 + 2/7. Let u(y) = y - 3. Let c be u(4). Which is greater: c or i?
c
Let l = 30.07 - 3.77. Which is greater: l or -1/5?
l
Suppose -143*c + 147*c - 16 = 0. Suppose c*a = 3*r + 126, a - 85 = 2*r - 2*a. Is -38 equal to r?
True
Let c be (-3)/(-2) - (-8)/(-16). Let v be c + (-30)/(-28) + -2. Which is smaller: -1 or v?
-1
Let w be 144/648 + 248/18. Is 21 greater than w?
True
Let i = -14 + 17. Let n be (0 - 6)/(i/6). Which is greater: 3 or n?
3
Suppose 0 + 7 = -4*b - 3*j, -2*j - 18 = -4*b. Let t be 176/(-96) + b/(1/1). Suppose -h = 2 - 3. Which is smaller: t or h?
t
Let l(t) = -t. Let i be l(9). Let r be (-4)/(-12) + 111/i. Let g be r/8*2/(-3). Which is greater: g or 2/17?
g
Let j be 2 + (-13)/(-4) + (-5)/4. Suppose 2*y - 61 = 7. Suppose c - 51 = -3*q - 15, -2*q = j*c - y. Is q at most 11?
True
Let d be 20*((-17)/6 + (-5)/30). Let w = 67 + d. Let u = -152 - -1066/7. Is u greater than or equal to w?
False
Let a(v) = v**3 + 18*v**2 + 3*v + 4. Let h be a(-18). Let u be (-45)/2*660/h. Let z be 153/u - 1/3. Which is smaller: 1 or z?
z
Let w = 499 - 544. Are -45 and w equal?
True
Let w(u) = u - 29. Let h be w(19). Let t = h + 22. Which is smaller: t or 10?
10
Let k = -725 - -794. Which is smaller: k or 68?
68
Let i = -9793/16 + 612. Which is smaller: i or -41?
-41
Let v = -28 + 28.36. Let w = v - 0.36. Which is smaller: w or 0.7?
w
Let n be 4*8/(-64)*34. Is -9 >= n?
True
Let k(y) = y**3 - 6*y**2 + 4*y + 2. Let m be k(4). Let s = 16 + m. Suppose 0 = -o - s*v + 5, 2*o - 6*v + 3*v = 3. Is 3 != o?
False
Suppose -v = 2, -3*q + v - 8 = 5. Which is smaller: -4 or q?
q
Let z = -212/93 - -70/31. Which is greater: 0 or z?
0
Let i be 15/40*(-24)/(-9). Let p = -15 + 24. Which is smaller: p or i?
i
Suppose 3 = 17*k - 133. Is k greater than 0?
True
Let z = -61.1 - -141.1. Which is bigger: 7 or z?
z
Let y be 1/3*2 - (-326)/6. Suppose y + 160 = -5*k. Which is greater: k or -44?
k
Let j = 66 + -63. Suppose 4*b - 2 = 3*z + 40, -33 = -j*b + 3*z. Is 9 < b?
False
Let w = -663/2 + 156. Which is bigger: -177 or w?
w
Let l(i) = -i**3 - 5*i**2 + 39*i + 11. Let w be l(-9). Let b be (-12)/10*110/8. Let u = w - b. Is u greater than 2?
False
Let u = -51 + -1601. Which is smaller: -1653 or u?
-1653
Let h = 70/3 + -23. Let l = h + -1. Are l and -6 non-equal?
True
Let c be 0 + (3/3 - 3). Let y = c + 1. Let m = 1997/16830 - 1/990. Which is smaller: y or m?
y
Let w = -188.9 - -189. Is 2/197 >= w?
False
Let q = -719 - -297. Let c = q - -5482/13. Let b = c - 1/39. Is -1 <= b?
True
Suppose -3*v + 167 + 205 = 3*z, -4*v = 2*z - 502. Let u = v + -118. Which is greater: u or 8?
u
Let x(f) = -f - 3. Let d be x(3). Let h = 8 + d. Let j(u) = -u**3 + 2*u**2 + u. Let s be j(h). Is 2 at least s?
True
Let y = 4/33 + -218/165. Which is bigger: -2 or y?
y
Let a(l) = 5*l**3 - 3*l**2 - 2*l - 1. Let k be a(-2). Does -51 = k?
False
Suppose 7*l - 8*l + 644 = 0. Let x be (-16)/330 + l/(-105) + 6. Let d = -151/504 + 1/72. Which is smaller: d or x?
d
Suppose 537*v - 545*v = 128. Suppose -2*i = 5*y - 6*i + 92, -65 = 5*y + 5*i. Are y and v non-equal?
False
Let m = -60 + 26. Let n = m - -34.05. Let o = -3.95 - n. Which is greater: o or -1/5?
-1/5
Suppose 5*o - 2 = 8. Let t be 264/55 - o/((-1)/(-1)). Which is smaller: 3 or t?
t
Suppose -k + 5 = 0, 0*k + 35 = -3*j + 4*k. Let v(a) = -a**2 - 13*a - 18. Let y be v(-12). Is y <= j?
True
Let g be 4/(-18) - 21640/(-180). Suppose -5*z - 2*t = -t - g, -3*z - 5*t = -94. Is z less than or equal to 23?
True
Let c(w) = -w**3 + 19*w**2 + 2*w - 22. Let y be c(19). Which is bigger: y or 18?
18
Suppose 0 = -4*c + 12, -9 = 3*d - 5*c + c. Suppose 0 = -3*o + 2*i + 8, 0 = 5*o + 4*i - 7 + 23. Does o = d?
False
Let o = 138 - 141. Which is smaller: o or -52?
-52
Let f = -11 + 14. Let z = 1 + f. Let b be (2/z)/((-5)/30). Is b at most as big as -3?
True
Let a = 0.154 + -0.075. Let n = a + -0.079. Is -2 < n?
True
Let l = 219 - 242.3. Which is smaller: l or 0?
l
Let s = 27 + -28. Let p be (-6)/(-2*17/20). Let k = p + -472/153. Is k bigger than s?
True
Let d be 3321/(-26760) + 5*(-2)/(-80). Which is bigger: d or -1?
d
Let q(b) = 17*b**2 + 12*b + 93. Let h be q(10). Which is bigger: h or 1914?
1914
Suppose s + 5*c = 152 - 53, -432 = -4*s - 2*c. Let f(d) = 839*d + 948. Let o be f(-1). Are o and s unequal?
False
Let j = -864 - -630. Which is bigger: -235 or j?
j
Let n = 2162893/7 + -308238. Let p = n + -748. Which is smaller: p or 0?
p
Let a = 584 - 533. Does 51 = a?
True
Let z = -8.8 + 8. Let s(d) = d**3 + 10*d**2 + 5. Let y be s(-10). Let g be 0/3 + 1 + (-6)/y. Which is smaller: z or g?
z
Let m = 34 - 33. Let d be -3 + (-6)/(m*(-3)/8). Does 8 = d?
False
Let s be 8/(-48) + 29/(-6). Let d(i) = -i**2 + 2*i + 10. Let b be d(s). Is -25 at most b?
True
Let j(b) = -3*b + 14. Let o be j(12). Is -68/3 < o?
True
Suppose -13*w = 31 - 18. Suppose 0*q - 2 = -q - 2*v, -2*v - 2 = 0. Suppose -4*b = -0*g - 3*g + 27, 2*b = q*g - 26. Which is smaller: w or b?
b
Let y = -3 - -4. Let p be 2/(-4)*(y + -3). Which is smaller: -2/13 or p?
-2/13
Let z be 12/((-125)/64 + 2). Let j be (4/(z/(-18)))/3. Which is greater: j or 1?
1
Suppose 24 = 4*q + 16. Let f be ((-25)/10)/(-3 - q)*-4. Which is smaller: -7/4 or f?
f
Suppose -15 + 6 = 3*l. Let g be -5 - 4 - l/(-1). Let b = g + 10. Is -2 > b?
False
Let t = -9 + 18. Suppose k + 5 + t = 0. Let f be k/77 - (-13)/11. Are f and 1 non-equal?
False
Let d = -536086/3281 + 2778/17. Is -1 greater than d?
False
Let l = 302.7 - 284. Are 4 and l equal?
False
Let p = 2.29 + -2.4. Suppose -52 - 44 = -32*g. Which is smaller: g or p?
p
Let w be (-12)/3 + (-8272)/308. Is -0.1 less than or equal to w?
False
Let l be 1624/60 + 15/25 + -2. Is 25 at most l?
True
Let a = -143 - -709/5. Are -1 and a non-equal?
True
Let k = -65 - -100. Suppose -37*y + k*y - 2 = 0. Is y at least -3?
True
Let d be (37/(-6) + 3)*-3. Let a(p) = -24*p - 135. Let c be a(-6). Which is smaller: d or c?
c
Let t(k) = 2*k - 14. Suppose 0 = -5*z - p + 45, 4*z - p + 29 = 7*z. Let s be t(z). Let d(v) = 9*v - 4. Let c be d(s). Is c greater than or equal to 14?
True
Suppose -5*j + 211 = 151. Which is smaller: 9 or j?
9
Let y(p) = p - 1. Let w(l) = -l + 1. Let o(r) = -3*w(r) - 4*y(r). Let j be o(-1). Suppose -j*a + 5 = -3*f, -a - f - 3 = 3*f. Do 1/9 and a have the same value?
False
Suppose 3*j = -16*j - 3021. Is -159 >= j?
True
Let c(p) = -14*p**3 + p**2 + p - 1. Let s be c(1). Which is smaller: s or -1/2?
s
Let k = -1.369 + -0.631. Is k greater than -506?
True
Let v be (-20)/(-1688)*4/(-10). Are -1 and v non-equal?
True
Let q(a) = 4*a - 2. Let i be q(2). Suppose 3*f - 21 = -i, -3*t + 22 = 2*f. Suppose -w - t*r = -5, 3*r = 3*w - r + 1. Are w and 2 nonequal?
True
Suppose 5*f = o + 1, 2*o + 5*f - 7 = 4*o. Let p be ((-2)/(-1))/((-2)/7). Which is greater: o or p?
o
Let l = 5 - 8. Let q be (-3)/(-3) - (-244)/(-16). Let z = q - -14. Is l < z?
True
Suppose -8*o + 7*o = 0. Suppose -2*b - 15 = 5*p, 9 = -3*b - 2*b - 3*p. Is b >= o?
True
Suppose -6*f - 4 = -22. Is 48/11 less than f?
False
Let i = 4 - -18. Let g = i + -68/3. Let m = 2.72 + -2.92. Which is greater: m or g?
m
Let g = 2 + -3. Let p(l) = l**2 + 3*l + 1. Let h be p(g). Which is bigger: -2/19 or h?
-2/19
Let n = -17270 - -1951524/113. Which is smaller: n or -1?
-1
Let s = -13 + 17. Suppose 3*i + u = -0 - s, 4*i = u - 10. Suppose 5*l + 23 = t - 0*t, t = -5*l - 27. Is i <= t?
True
Let d = -44 - -38. Let i be ((72/4)/3)/(-1). Is i at most d?
True
Let j be (-8)/(-28) - 24/(-14) - 3. Let h = -5 - j. Is -5 > h?
False
Suppose -4*y + 11 - 143 = -3*o, 0 = -3*y - o - 112. Let a be 2/y*10 - (2 - 2). Is -1 > a?
False
Let x be 13/273*-7 - (-65)/51. Is 1 at most as big as x?
False
Suppose 13 - 53 = -10*g. Let f(q) = -2*q**2 + 20*q - 17. Let n be f(8). Is n less than or equal to g?
False
Let q be (-227)/130 - (-399)/228. Is -1 greater than q?
False
Let q be (214/(-2))/(21/11). Let c = 56 + q. Let w(h) = -48*h - 193. Let k be w(-4). Which is smaller: k or c?
k
Let a(j) = j + 1. Let n be a(-1). Let p = -9 + 15. Let z be p/3 - (-81)/(-39). Which is bigger: z or n?
n
Suppose 8*n = c + 18 + 29, -3*n = -c - 32. Which is greater: -4 or c?
-4
Let v be 5 + (-1 - 1 - 1). Let c(s) = s**2 - 3*s - 5. Let j be 