0*p + 55 = 3*r - 4*p. Which is bigger: 24 or r?
r
Let m = 10 - 10. Let c be ((-592)/(-2664))/(970/18). Is c greater than or equal to m?
True
Suppose -3*v + 2135 = 5*h, -6*v = -2*h - 10*v + 854. Suppose 27*b = 20*b + h. Is 60 at most b?
True
Let a = -169 - -214. Let b = 11 - a. Which is bigger: -32 or b?
-32
Let k = -30.518 - -3.518. Is -0.06 > k?
True
Let g = 8274 + -8096. Which is bigger: 173 or g?
g
Let v be (-324)/(-540) + 684/10. Which is smaller: v or 2?
2
Suppose -2*r + 752 - 748 = 0. Let v = -227 - -178. Is v smaller than r?
True
Let j be -2*(-1 + 2) - 61/(-61). Which is greater: -8/129 or j?
-8/129
Let d be (11 + (-10)/(-26))*-1. Which is greater: d or -12?
d
Let d(c) = c**2 + 4*c - 1. Let q be d(-4). Let l(y) = y**2 - 9*y + 3. Let v be l(10). Suppose 5*b = -12 - v. Which is greater: q or b?
q
Let z(s) = 2*s**3 - 5*s**2 - 12. Let i be z(4). Suppose 5*j - 116 = -3*r, -r + i = -0*r - j. Does r = 39?
False
Let f be (-2)/8 - (-2)/8. Let c = 2565554/26999 - 4656/49. Which is bigger: c or f?
c
Let v be (280/(-105))/((-3)/(-9)) - -9. Is v at least as big as -2/7497?
True
Suppose -10*w + 834 = -106. Suppose -w = 14*l - 38. Let p be (-2 - -2) + -1*8. Which is bigger: l or p?
l
Suppose 8*h + 190 = 3*h. Let r = 45 + h. Let o be 4/16 - (-286)/40. Is r >= o?
False
Suppose -3*c + 172 = c - 4*k, -5*c - 3*k + 231 = 0. Let x = c + -294. Let n = 1239/5 + x. Which is greater: n or -1?
-1
Let o = 6248/51 - 241/17. Let v = -20531 - -20639. Are o and v unequal?
True
Let l = -21901 + 49058241/2240. Which is smaller: 1 or l?
l
Let d = -1652 - -1648. Suppose 4*x = 2*x + 2. Let j be (d - (x - 16))*1. Is j < 11?
False
Let q(n) = 2*n**2 + 2*n - 67. Suppose -14 = 136*w - 134*w. Let y be q(w). Is y bigger than 7?
True
Let z be ((-36)/21)/(4/(-42)). Suppose -r - 7 = 4*o + z, 0 = -r - 2*o - 25. Is -25 <= r?
True
Let h = 3/10 + -7/50. Let r(c) = c**2 + 20*c - 24. Let l(u) = -2*u**2 - 19*u + 25. Let t(i) = 2*l(i) + 3*r(i). Let z be t(21). Which is bigger: z or h?
h
Let j(z) = 356*z + 1913. Let h be j(-5). Let n be (-2 + 2 + -7)*-19. Are h and n non-equal?
False
Let i(d) = -d + 15. Let q be i(0). Let c = -767.084 - -764. Let s = c - -0.084. Which is greater: s or q?
q
Let v = 0.723 + 0.277. Let r be (22/18)/((-7)/105) - -1. Which is smaller: r or v?
r
Suppose 2*q - 107 = -103. Suppose -q*i - 39 = 4*h + 3*i, h + i = -9. Let s be (-25)/h*(8 + -2). Are 28 and s non-equal?
True
Let g = -888.7 + 888.9. Which is bigger: g or -3244?
g
Let y = 2/105039 - -149190391/105039. Let t = -1403 + y. Is t not equal to 16?
True
Let n be (-10 - 160/(-16))*2/8*2. Which is smaller: -391.2 or n?
-391.2
Let s be 7/(-4) + (-3 - (-12250)/(-1160)). Which is bigger: -14 or s?
-14
Let x = -0.2 - 0. Let l be (1735/(-35))/(1/(-3)). Let h = 149 - l. Which is bigger: x or h?
h
Suppose -7*b + 13*b = 126. Let d be ((-32)/(-24))/2 + (-5)/b. Which is smaller: 0.2 or d?
0.2
Suppose -49*r - 274 = -78. Which is bigger: -86/17 or r?
r
Let h = 272/7 - 2483/63. Suppose 13*j = 3*j - 20. Which is greater: j or h?
h
Let a(j) = 2*j**2 - 36*j + 34. Let r(x) = -x**2 + 4*x**2 + 5*x - 2*x**2 + 19 - 17. Let z be r(2). Let t be a(z). Which is bigger: -28 or t?
-28
Suppose -4*b = p + 30, -45 = 2*p + b + 4*b. Let h(n) = -n**3 - 11*n**2 - 11*n - 14. Let m be h(p). Let j be (-4 + (-18)/m)*1. Which is bigger: j or -0.07?
j
Let b = 1863 - 1748. Is b at least as big as -1/32?
True
Let c(m) = 0*m**3 + 6*m**3 - 17*m - 7*m**3 - 15*m**2 - 25. Let g be c(-14). Suppose -3*r + 5*o - 4*o - g = 0, -4*o = -20. Is -0.4 greater than or equal to r?
True
Let y be (-2 - (-20)/16)/(1/80). Let d = -63 - 0. Which is bigger: y or d?
y
Suppose 0 = -5*v + 82 + 33. Let w be -9 - -1 - -5 - -547. Let z = 566 - w. Which is bigger: z or v?
v
Let i(g) = 2*g**3 - 88*g**2 - 141*g + 537. Let x be i(47). Which is bigger: x or 1?
x
Suppose -29 = 2*r + 4*f + 13, -f = 0. Suppose -19*j + 26*j = 2457. Let p = 331 - j. Is p equal to r?
False
Let x = -613 - -327. Let l = x - -542. Is 256 greater than l?
False
Let k be (30/(-4))/(-5)*20. Let y be (-18)/k + ((-136)/(-10) - 0). Suppose -4*p + 2*p = -a + 5, a = -4*p - y. Is a < -1/2?
True
Let l(j) = -4*j**3 + 77*j**2 - 35*j + 306. Let m be l(19). Let n = -1.21 + -0.04. Is n not equal to m?
True
Let k = -6563/568 - -93/8. Let a(p) = -43*p + 171. Let u be a(4). Do u and k have the same value?
False
Let t = -5944 - -7337. Which is greater: 0 or t?
t
Suppose -99*b - 132 = -103*b. Suppose 2 = y - b. Which is smaller: y or 40?
y
Let j(r) = 11 + 4*r - 3*r + 0*r. Let d be j(-8). Suppose -4*h - d = -h. Which is smaller: 5/11 or h?
h
Let c = 5858 - 6054. Is c equal to 2/9?
False
Suppose -31*a = 9*a - 3*a. Let w be ((-60)/630)/(a + (-2)/(-6)). Which is smaller: w or 184?
w
Let o be ((-213208)/48 + 1/(-6))/(-1 + -1). Which is smaller: o or 2223?
o
Let n be (6/(-20))/(84/27 + -3). Let d = 209/70 + n. Is 1/3 bigger than d?
True
Let z(h) = -h**3 - 13*h**2 - 16*h - 28. Suppose 6 = -o + 2*k, 0 = 4*o - k + 5*k + 60. Let x be z(o). Is 115/6 > x?
False
Let z = -0.0102 - -25.5102. Let w = 25.5 - z. Which is greater: w or 16?
16
Suppose -7*x - 31 = -8*x - 3*q, 0 = x + 4*q - 36. Are x and -57 non-equal?
True
Let i be (2 + (-4)/3)/(2394/(-1890)). Let r = 2.05 - 0.05. Which is smaller: i or r?
i
Let m = -315/446 - 923429/2230. Let u = m - -414. Suppose -2*a - 2*a = 0. Is a equal to u?
False
Let o = -635 + 652. Suppose -24*d + 22*d + o = -u, 84 = -4*u + 4*d. Which is bigger: u or -1?
-1
Suppose 80*t - 71*t - 27 = 0. Suppose t*i + 11 = -1, 4*h + 28 = -4*i. Let c = 2072/5 - 416. Which is greater: h or c?
c
Suppose -19 = -16*f + 13. Suppose 3*z + f*j = 31, z + 3*j + 2*j - 32 = 0. Let b = -7 + 15. Which is smaller: z or b?
z
Let v = -4.902 + 6.902. Which is greater: v or -37?
v
Let b(v) = v**3 - 71*v**2 + 332*v - 120. Let c be b(66). Let k be ((-1)/(-3))/(2/69). Which is greater: k or c?
c
Let m(b) = b**2 - 10*b - 7. Let w be (-80)/(-6)*(-12)/(-80)*8. Let a be m(w). Let p = a + -122. Which is smaller: -35 or p?
-35
Suppose -130*c - 144042 = 17*c + 90864. Which is greater: c or -1600?
c
Let v = 0.0234 + 265.9766. Let k = 273 - v. Which is smaller: 1 or k?
1
Suppose i - 121 = 2*i - 5*k, k + 1 = 0. Let o be 2 - 1480/12 - 3. Let q = i - o. Which is smaller: -2 or q?
-2
Let t be 2/12*(-40)/280. Which is smaller: t or 15?
t
Let p be 1280/468 - 20/(-130). Suppose -10 = -3*l + 7*u - 9*u, 3*u = -2*l + 5. Are p and l nonequal?
True
Let t be 0 - (-3 + 4/24*0). Suppose 0*n + 2*n = 8. Suppose n*b - 3 = t*j - 2, -3*b + 6 = 3*j. Is 1/147 less than b?
True
Let y be 7 + (-920)/(-5)*-11. Are -2015 and y equal?
False
Let i be (-33)/((-165)/980) - (-2 + 2 + -3). Is i bigger than 199?
False
Suppose 19438 - 60142 = 9*m + 27066. Are -7530 and m unequal?
False
Let v = -0.0272 - -6.5302. Which is greater: -0.1 or v?
v
Let t = 493 - 509. Let v be (0 + 6/(-5))/(t/2120). Is v >= 159?
True
Let h be ((560/98)/4)/(1/63). Which is bigger: h or 88?
h
Let v(k) = k**3 + 5*k**2 + 5*k - 5. Let o be v(-3). Let a = -4911 - -4719. Is a at most as big as o?
True
Let o = 1065/2 + -13859/26. Which is smaller: 6/7 or o?
o
Let k = 4820 - 4910. Which is bigger: k or -86?
-86
Let g = -591 + 589. Let p = 9.731 - -0.069. Let s = -11 + p. Which is bigger: s or g?
s
Suppose 2*z + 0*z - 2*a = -2, 3 = 3*z - a. Suppose p = 2*p - z. Suppose 4 = -g - 0, -p*g = -4*y. Are y and -12/7 nonequal?
True
Let o = 0.0065 - -404.9935. Let j = o + -635. Which is smaller: j or 0.2?
j
Let x = -196 + 14. Let c = x - -180. Do -3/5 and c have the same value?
False
Let k = 17 - 14. Let v be (-28102)/(-61098) - k/6. Let l = v - -1/1198. Which is bigger: l or 1?
1
Let h = -414 - -492. Let q be (1/(-4))/((-182)/h). Suppose 5*b - 5*i = -25, -5*i = -i - 16. Is q at least b?
True
Let t = -1921/1060 - 57/106. Let f = -11/4 - t. Does f = -60/11?
False
Let d = -72.8 - -66. Let i = -30.8 - d. Which is smaller: 1 or i?
i
Let l = 1 + 0. Let q be (1 - l)*(-2 + 1). Let u = -5 - -79/16. Which is smaller: u or q?
u
Suppose 0 = -2*m + 134*b - 131*b + 183, -m + 2*b + 94 = 0. Is 79 > m?
False
Let k = 27835 + -612369/22. Which is greater: -1 or k?
k
Let c = 11310 + -11392. Let g = -211.5 - -293.64. Let o = c + g. Is o less than or equal to -3?
False
Let x = -52463475366435647/96174 + 545505805812. Let a = 8/3699 - x. Let u = 6/13 + a. 