 + -1515 - -1) + (-20)/(-4). Which is greater: p or 1?
1
Let w = -1110.1 + 1167. Let z = 61 - w. Let c = -4.6 + z. Is 1/7 less than c?
False
Let q = 0.0046 - 0.1336. Let u = q + 0.173. Let c be 2/(-3) - 1/3. Which is bigger: u or c?
u
Let v be (-1)/2*3*4. Let y = v + 6. Let h = -607/923 + 3/71. Is y != h?
True
Let v(c) = c - 13. Let w be v(7). Let a(j) = 6*j + 14. Let k be a(w). Let q = 22 + k. Is q at least 2?
False
Suppose -16*l = -5*c - 20*l - 4, 4*c + 4*l + 4 = 0. Let k be -1 - (-82)/(-94) - -2. Which is smaller: c or k?
c
Let v = 42/11 - 4. Suppose 4*g - 7 = -3*n, -1715*n + 18 = -1710*n + 13*g. Which is smaller: n or v?
v
Suppose -8902*a = -8865*a + 105228. Is -2845 bigger than a?
False
Let a be (3 - 8) + 216/27. Suppose -110 = 2*r - 4*h, 3*r + 2*r + a*h + 340 = 0. Suppose -4*n - c + 108 = 359, 10 = 2*c. Which is smaller: n or r?
r
Suppose 0 = 3*y - 2*r - 2313, 3*y + 5*r - 1523 = y. Which is bigger: 765 or y?
y
Let n = 5 + -5. Let m be 0 - 0 - -30 - (64 + -67). Let i be (-2)/(-6) + (-11)/m. Is i > n?
False
Suppose -113 = -3*s + 4*s. Let o = -19876 - -19877. Which is smaller: o or s?
s
Let o(k) = k**3 + 6*k**2 + 12*k + 17. Let a = 99 - 103. Let q be o(a). Is -2/627 bigger than q?
False
Let g(v) = -5*v**2 - 4*v + 6. Let q be g(3). Let n be (q/(-30) + -2)/(72/(-704)). Let f = n - 13/5. Which is greater: 13 or f?
13
Let y be ((-4)/(-6))/(8/84). Let g = 111 - 108. Suppose 4*d + g*a = 32, a = -4*a. Is d less than or equal to y?
False
Let j = -4/5 + 29/30. Let c be 40/50 + 138/(-10). Is c at least as big as j?
False
Let c = 108 - 168. Let f = 782 - 842. Is f at most c?
True
Let l = -1723 + 1725.2. Which is bigger: -10 or l?
l
Let n be (3/5672)/((-54)/(-36)). Is 0 smaller than n?
True
Suppose -2083*q - 5*x + 71 = -2079*q, 3*q - x - 58 = 0. Is q at most 222/11?
True
Suppose -19*b - 3*t + 476 = 0, -4*b - t + 3 = -95. Which is smaller: 25 or b?
25
Let s be -6 - 9/((-63)/70). Suppose 4*r - 2*o = -66, r + 7*o + 27 = s*o. Which is greater: r or -11?
-11
Suppose 3*r = 6*r - 3*y + 69, -4*r + 3*y - 97 = 0. Suppose -248 = -6*k + 14*k. Is r <= k?
False
Let r be (1/((-14)/1092))/((-214)/12 - 2). Which is smaller: r or 5?
r
Let t be ((-25)/450*27)/((-3)/32). Which is smaller: t or 77/5?
77/5
Let j(n) = -947*n - 1890. Let v be j(-2). Which is smaller: 167/32 or v?
v
Let q = -2535 - -2534. Which is bigger: q or -3/7675?
-3/7675
Let n(c) = 9*c**2 - 19*c - 22. Let z(u) = 2*u**2 + u - 9. Let d be z(4). Let i be n(d). Let g = 2416424/401 - i. Which is smaller: g or 0?
g
Let a = -33.448 + 0.748. Let y = 20.64 + a. Let n = y + 1.06. Is n bigger than 2?
False
Let w(k) = 3*k**2 + 74*k - 166. Let o be w(-27). Is o at least as big as 267/11?
False
Let c(x) = 2*x**2 - 16*x + 40. Let j be c(5). Let v be (18/j)/(228/80). Do v and 0 have different values?
True
Let h be 3/(-18) - ((-38)/12 + 1). Let d be h + 1 - (21 - 18). Does 1/37 = d?
False
Let t = -0.58 - -0.491. Let g = t - 81.911. Are g and 0.1 non-equal?
True
Suppose -5*j = m + 22, 3*m - 5*m + 31 = -5*j. Let n be 22/18 + 7/((-189)/6). Suppose -m*b + 5 + n = 0. Is b at most 8/9?
False
Let l(g) = g**2 + 18*g + 10. Let v be l(-18). Suppose -13*k + 27 = -v*k. Suppose -5*q + 21 = -k. Which is bigger: 7 or q?
7
Let u be 5*(255/(-25) + 10). Is 19/178 at least u?
True
Suppose -91554 = 75*f + 99921. Which is greater: f or -2554?
f
Let p(x) = -7*x + 33. Let b(m) = m. Let i(z) = 5*b(z) + p(z). Let u be i(13). Let t = -130 - -409/3. Which is bigger: t or u?
u
Let q = -179.78 - -5003.78. Which is smaller: q or 3?
3
Let p be (-19261)/3811 + 3*((-2)/(-3) + 1). Which is smaller: 0.08 or p?
p
Let q be (1456/832)/(2/(-16)). Is 277 greater than or equal to q?
True
Suppose -265*n - 98 - 1792 = -195*n. Which is bigger: n or -277/10?
n
Let j(u) = 4*u**2 + 3*u + 2. Let v be j(-1). Let w(n) = 6*n**v + 5 + 13*n - n**3 - 9*n**2 - 4*n**3 - 6*n. Let g be w(8). Is -3 smaller than g?
False
Suppose 179*n - 172 - 38 = 144*n. Is 19/4 at most as big as n?
True
Suppose 4*l - 6 = -3*c, 0 = 59*l - 61*l + 2*c - 4. Are -4/41 and l non-equal?
True
Suppose 2*x + 4*f = 3728, -f - 7162 = -5*x + 2235. Is 1878 <= x?
True
Let w(j) = -j**3 + 12*j**2 + 60*j + 3. Let c(r) = 20*r + 276. Let x be c(-14). Let z be w(x). Is 14 bigger than z?
False
Let u = 31348 + -533896/17. Does -59 = u?
False
Let t = -22750.8 - -22751. Which is smaller: t or -5520?
-5520
Suppose -o + 5*o = 16. Let c = 0.004 - -2.296. Let q = c + 0.7. Which is smaller: o or q?
q
Let w be 2 - (0 + (2 - (6 + -1))). Let l be (21/4)/(w + 65/(-40)). Let p = 88/45 - l. Is -8 at most p?
True
Suppose -4*z - 2*m - 664 = 0, 4*z - 27*m = -25*m - 672. Is z > 0.72?
False
Let g = 77 - 50. Let z = -22.2 + g. Let k = z + -11.8. Which is smaller: k or -0.1?
k
Suppose -30*v = -127 + 127. Is 112/747 < v?
False
Let d(c) = 5*c - 8. Let s be d(-8). Suppose -2*p = 20*p - 18348. Let b = 787 - p. Which is smaller: s or b?
s
Suppose 894 = 26*p - 3370. Let a be p/16*-2*(-2 + 0). Is 42 bigger than a?
True
Let p = -21 - -39. Suppose 4*h - p = -2*j - 3*j, -2*j + 3*h = 2. Suppose 2*l + 4*x + 6 + j = 0, -4*x - 8 = 4*l. Which is greater: l or -1/98?
l
Let m = 56.197 - 0.197. Let u = -55 + m. Is 1.3 at most as big as u?
False
Let z be ((-3)/(-42))/(((-1935)/210)/(-43)). Are -184 and z non-equal?
True
Let c = -20084 + 20081. Which is smaller: 3.99 or c?
c
Let s = -346092 - -129092394/373. Is 0 less than or equal to s?
True
Let i(q) = -1598*q + 2996. Let h be i(2). Is -171 at least h?
True
Let g = -1.172 - -2.271. Let x = -0.099 + g. Is 0.27 >= x?
False
Suppose -291 = -5*y + 799. Let t = -47959 - -238709/5. Let b = y + t. Which is smaller: 10 or b?
b
Let a = 78 - 80. Let w(s) = -36*s**2 - s - 3. Let r be w(a). Let l = r - -146. Which is greater: l or 0.056?
l
Let q = 85 - 71. Let u = 73/300 + -13/300. Which is smaller: q or u?
u
Let v(x) = -x**2 + 4*x + 1. Let y be 3/2*((-4)/12 + 1). Let s be v(y). Let g be s/(-8) - 2/44. Which is smaller: 0 or g?
g
Suppose -4*r - 14 - 18 = -2*c, 3*c - 4*r - 40 = 0. Suppose a + 3*a + c = 0. Let k be (-8)/(-6) + (5 - 4) + -5. Is k less than or equal to a?
True
Let v be ((18/12)/(342/(-12)))/(1/(-422)). Is v at most 21?
False
Let m be (-28 + (-6 - -35))/((-738)/4). Is -0.02 < m?
True
Let v = 1550.3 + -1551. Is 0.73 less than v?
False
Suppose -34*u + 154810 = -227010. Is u < 11232?
True
Let v be 180/8 + (-792)/36. Is v at most as big as 1515?
True
Suppose -4*m - 9 = 3*f, 4*m - f - 2 = 1. Suppose m = -0*s - 5*s + 5*n + 120, -s = 3*n - 24. Let w = 51 - 28. Which is smaller: w or s?
w
Let i = 14972 + -14971.8. Is -2/8175 < i?
True
Let z be 6 - (-2)/6*0*-1. Suppose 0 = z*n - 4*n. Let v = 295 - 5607/19. Which is smaller: n or v?
v
Suppose a = 1, 0 = -3*j - 11*a + 9*a + 614. Is 206 at most as big as j?
False
Let b be -3*(-10 - (-43001)/21 - -6). Which is smaller: -6132 or b?
-6132
Let d = -15.36 + 23. Let q = d + 1.36. Which is greater: 0.22 or q?
q
Suppose -35*p + 76*p = 193274. Which is greater: p or 4713?
p
Suppose 49*b + 16 = 53*b. Suppose -6*s + b*s - 12 = 4*d, 0 = -3*s + 12. Is d at most as big as -13?
False
Suppose 42*i - 15 = 108*i - 51*i. Is i greater than -36.55?
True
Let z = -3661/1420 + 51/20. Suppose 138 = -6*f + 144. Is z bigger than f?
False
Let d(t) = -t - 2. Let u be d(4). Let h = u - -8. Suppose c + 5*r + 6 - 16 = 0, h*c = 5*r + 5. Is c >= 5?
True
Let u(h) = -h**2 + 5*h + 37. Let l be u(-4). Which is greater: 15/332 or l?
l
Let t = 125.75 + 1.25. Let w = 127 - t. Let d = w + 2. Which is greater: d or -8?
d
Suppose 17*p - 4567 = -6913. Is p greater than or equal to -9/4?
False
Let h be (-9)/12*(-60)/45. Let n be 12/(-24) + h/2. Does n = 21?
False
Let m = 4 - 2. Suppose -4*t = 5*v - 62, -5*v = -v - m*t - 34. Let h be (-1064)/2310 - ((-12)/v)/3. Is 0 at least as big as h?
True
Let q = -39290 - -39285.0282. Let r = -0.0718 - q. Is r not equal to 0.09?
True
Let n(p) = 4*p - 117. Let m be n(20). Suppose 3*g + 134 - 22 = -l, 4*l = -3*g - 115. Let j be 2/(2 - 0) + g. Is j greater than m?
True
Let k = -437093/73 + 5987. Which is smaller: k or -1?
-1
Let f = 3759 - 15035/4. Which is smaller: f or -303?
-303
Let l = -8518/19 + 448. Suppose -5*p + 4*j = -71, 3*p - 3*j + 1 - 43 = 0. Suppose -3*y + 11*f + p = 14*f, 10 = -2*y + 2*f. Which is greater: l or y?
y
Let g = -20653 - -21718. Which is bigger: 1060