 smaller: p or f?
f
Let a = -29129/4660 + 1/1165. Which is bigger: a or -6?
-6
Suppose 5*x = 4 + 1, -2*x = -5*s - 7. Let v = -8371/45 - -186. Which is greater: s or v?
v
Suppose -t + 2 = 0, 7*o - 8*o = 2*t + 20. Which is bigger: -33 or o?
o
Let b(p) = p - 1. Let t be b(3). Suppose -14 + 18 = h. Suppose 0 = -h*c - 3*r + 10 + 1, r = 2*c + 7. Which is greater: c or t?
t
Let q be 3 + 0 - (-2 - -5). Suppose q = 3*r - 0*r + 42. Let l be 0/2 + 24/r. Does l = -1?
False
Let b = 5 + -5. Let l = b - -0.1. Let j = -1.9 - l. Is j != -1?
True
Let w = 109 + -115. Let c be ((-3)/(-9))/(58/w). Is c <= -1?
False
Let f be (8/5)/(1/20). Let u(z) = z**3 + 17*z**2 + 13*z - 17. Let a be u(-16). Which is smaller: f or a?
a
Let y = 134 - 122.1. Let v = y - 9.9. Which is greater: v or -39?
v
Let v = -0.244 + -30.756. Which is greater: 6 or v?
6
Let n = 192 - 192. Let w = -60 - -959/16. Is n bigger than w?
True
Let b(j) = -j**3 - 6*j**2 - 7*j - 4. Let w be b(-5). Let d = w - 8. Let f = -1389/796 - 1/199. Which is smaller: d or f?
d
Let b be (-2 - -1) + (-1 + -6 - -9). Are b and 2/311 nonequal?
True
Suppose 2*m - 5 = 17. Let z(j) = -5 - 9*j + j + m*j + j. Let g be z(-3). Is -16 bigger than g?
True
Let d = 3/860 + 1693/7740. Is 61/3 less than d?
False
Let j be 77/(-22) + (-2)/(-4). Let r be ((-27)/(-30))/((-6)/12). Is r <= j?
False
Let u(b) = b**3 - 14*b**2 + 28*b + 26. Let j be u(11). Which is smaller: 2 or j?
j
Suppose 3*l - 17 = 19. Suppose 4*z = -5*a - 11, 7*z + 5*a + l = 4*z. Suppose 5*x = -3*b + 31, -5*b - 10 = -4*x - 0. Which is greater: z or b?
b
Let v = -168 + -14. Which is smaller: -185 or v?
-185
Let x be -4 - ((-80)/(-2))/(-4). Let g be (-2)/3 - 14/x. Is g bigger than 0?
False
Suppose 2*w = 4*p - 28, 7*p + 33 = 12*p - 2*w. Suppose p*l = l. Which is greater: -7/17 or l?
l
Let l be ((-2)/3)/(-1)*21. Let m be (-268)/(-24) + 2/(-12). Is l equal to m?
False
Suppose -4*z = 3*g - 2*g - 28, 0 = -2*g. Let f = z + 10. Which is greater: f or 16?
f
Let z be (-297)/4*(-96)/68. Let f = -105 + z. Which is smaller: f or 0?
f
Suppose -18*p - 260 = -13*p. Which is greater: -53 or p?
p
Let u = 367 + -400. Is u greater than or equal to -2?
False
Let k be 18/(-3) + (-1)/2. Let m = -0.15 + 0.05. Which is greater: m or k?
m
Let v(x) = 2*x + 12. Let i be v(-7). Let z be i - (-4)/((-464)/(-236)). Is z != 0?
True
Let t(d) = -d - 2 + 0 + 16. Let u be t(15). Let g = -5 + u. Which is smaller: -5 or g?
g
Let f(j) = -26*j**2 - 205*j + 1. Let m be f(-8). Let v(g) = g - 5. Let r be v(3). Is m at least r?
False
Let c be 29 - ((-6)/(-1) + -5). Let l = c + -199/7. Let t(v) = 2*v**2 - v. Let a be t(1). Is a >= l?
True
Let u = -0.142 + 0.042. Are 74 and u equal?
False
Suppose h = r, -5*h + 2 = 3*r - 6. Is r > 3/89?
True
Let u be ((-3)/(-12))/(4*(-5)/(-240)). Does u = 2?
False
Let l = -14885/348 - -171/4. Suppose 8 = -2*x, -17*i = -15*i - 3*x - 10. Is i greater than or equal to l?
False
Let y = 84 + -72. Which is smaller: y or 11?
11
Let q = 15.1 - 2.1. Let g = -34 + q. Is g >= -1?
False
Let z = 388222/17 - 13295642/595. Let h = z + -491. Is h bigger than -1?
True
Let b = -45 + 45.1. Suppose 0 = -j - j + 4. Is b less than or equal to j?
True
Let k be (-363)/6 - ((-2)/6 - -1). Let h = k + 61. Which is smaller: h or 1?
h
Suppose 147 = 13*d - 555. Which is bigger: 58 or d?
58
Let x = -1125/17 + 22565/323. Is 4 >= x?
True
Let s be 1166/1419 + (-2)/2. Let k = s + 1/86. Is 1 < k?
False
Suppose -d - 38 = 3*r, 0 = 2*r - 2*d + d + 17. Let h = 12 + r. Let m = -103 - -4016/39. Which is smaller: m or h?
m
Let u = -519 - -530. Let w = 7.94 + 0.06. Let d = w - u. Is -0.2 less than d?
False
Suppose -2*o + 5*w = -100, 0*o - o = 5*w - 65. Which is greater: o or 56?
56
Let u(s) = 9*s + 305. Let p be u(-34). Let j = -1143/2125 - 21/125. Which is smaller: j or p?
p
Suppose 3*p = 4*p - 2. Let z(x) = 20*x + 1. Let y be z(0). Let g = p + y. Which is greater: g or 7/2?
7/2
Suppose -2*c + 62 = 2*o, 0 = -4*c + 2*o + o + 145. Is c greater than 34?
False
Let x = 233/3 + -77. Let v(z) = -z**2 - 5*z + 16. Let r be v(-7). Which is greater: r or x?
r
Let p be 6/(-14) + (-876)/(-1848). Are -0.14 and p nonequal?
True
Let j be 114/(-6) - 7/((-28)/(-8)). Is j > -22?
True
Let a = -860 + 4283/5. Let t = 5 + -8. Is t less than or equal to a?
False
Suppose 4*z - z = 0. Let o = -2186/98829 - 4/1251. Which is smaller: z or o?
o
Suppose 0 = -5*z, -3*k - 5*z = 10 - 106. Suppose -37*q = -k*q. Which is greater: q or 2/33?
2/33
Let c = 25436/17603 + 2/607. Is 1 at least c?
False
Let y = 800 - 800.1. Is 253 at most y?
False
Let z = -0.16 + -0.84. Which is bigger: 38 or z?
38
Suppose 192 = 5*n + 32. Suppose p + p = -4*f + 42, -3*p + 113 = -4*f. Is p != n?
True
Suppose 0 = s - 4*b + 34, -2*s + 3*s + b + 19 = 0. Let p be (-15 - -16) + s/2. Which is smaller: p or -12?
-12
Let b(c) = c**2 + 8*c + 4. Let g be b(-8). Let t be (g/8)/((-2)/4). Let h = -0.8 + -9.2. Which is bigger: h or t?
t
Suppose -918 = -10*q - 508. Which is smaller: q or 2/9?
2/9
Let a = -69 - -45. Let k(x) = x**3 - 4*x**2 - 15*x - 5. Let j be k(-3). Is a less than or equal to j?
True
Let j(b) = 14*b**2 + 14*b + 8. Let q be j(-4). Which is bigger: q or 175?
q
Let n = -544 + 543. Which is smaller: 91 or n?
n
Let m = 165 + -84. Let u = 77 - m. Is -7 at least u?
False
Let g = 623 - 613. Which is smaller: 166/15 or g?
g
Let q = 145 - 85. Let n = 89 - q. Suppose -24*b + n*b - 15 = 0. Which is greater: b or 0?
b
Let z = -30.425 - -27.4. Let p = z + 0.025. Let u = -1/7 + -5/14. Is p at least as big as u?
False
Suppose -2*j + 106 + 17 = 5*w, 2*j - 31 = -w. Which is greater: -22 or w?
w
Let z = -30 + 45. Let g = 9 - 4. Suppose g*o - 43 = -2*v, v - o - 11 + 0 = 0. Which is greater: z or v?
z
Let u(r) = 6*r**2 - 4*r - 7. Let b(p) = 7*p**2 - 4*p - 8. Let s(z) = -3*b(z) + 4*u(z). Let v be s(-1). Which is smaller: 5 or v?
v
Suppose 739*k = 751*k - 12. Do k and 18/41 have the same value?
False
Let f be 444/(-20) + 1/5. Let h = -20 - f. Suppose 2*n = -4 - h. Is -4 less than n?
True
Suppose -6*n - 24 = -6. Let w be (-3)/(-1) - n/30*-34. Which is bigger: w or -1.1?
w
Let g be 4 - 6 - (-1 + -2). Let o(c) = -6*c + 0*c**2 + 4*c**2 - 5*c**2 + g + 11*c. Let w be o(5). Which is bigger: -1 or w?
w
Let y be 204/(-306)*(-3)/4. Let h be 1/(-3) + (-38)/3. Is y not equal to h?
True
Let q be 17*(-3)/33 - -2. Suppose 4*y = 2*o - 16, -3*o - 13 = -4*o + 3*y. Let u be o*11/(-18) + 4/(-18). Which is smaller: u or q?
q
Suppose 0 = -r - 3*j + 1, -6*j = r - j - 1. Are r and 2/369 unequal?
True
Let k = 38354/23 - 1669. Which is smaller: -1 or k?
k
Let i = 1641/11 + -149. Let l(z) = z**3 - 6*z**2 - 2*z - 22. Let k be l(7). Which is bigger: k or i?
k
Let s = 77 + -70. Let v = -13 + s. Is -1 < v?
False
Let v = -31248/11 + 2841. Suppose x + 5 = -4*x. Which is smaller: v or x?
x
Let q = 0.076 - 3.076. Let j = -2.5 - q. Is j smaller than 3?
True
Suppose -z - 20 = -21*z. Which is greater: 1/1261 or z?
z
Let p = 1466.264 - 1467. Is 1 smaller than p?
False
Let o(i) = -7*i - 8. Let m(a) = -21*a - 24. Let g(t) = 3*m(t) - 8*o(t). Let f be g(-4). Suppose -f + 8 = -4*c. Is 1 >= c?
False
Let x be 67/(-402)*(-1)/7. Which is smaller: x or 2?
x
Let j = -14 - -16. Suppose -s - j = 0, -3 = m - 3*s + 4*s. Which is smaller: m or 61?
m
Let b(d) = d**3 + 7*d**2 + 4*d - 12. Let w be b(-4). Is 170/9 >= w?
False
Suppose -4 = 2*d - 22. Let n(u) = u - d + 2*u - 2*u. Let g be n(9). Which is bigger: 2 or g?
2
Let f(d) = -24*d - 243. Let j be f(-10). Which is bigger: 34 or j?
34
Let s be (18/20 + 15/(-10))*-5. Suppose 0 = 2*f + l, -5*l + 10 = -0*l. Which is greater: f or s?
s
Suppose 5*b = -b - 264. Is 2 != b?
True
Let r = 6.9 + -7.4. Let o = -52/5 - -329/10. Let m = 23 - o. Which is greater: m or r?
m
Let f(a) = -5*a + 2*a - 2 + a**2 + 5*a. Let h be f(-3). Let m be (2 - h - -2)*1. Is m at least 3?
True
Let p(z) = -z - 244. Let f be p(-12). Which is bigger: -231 or f?
-231
Let p = -239 - -208. Does p = 2/5?
False
Let l = 816 - 802. Is 14 less than or equal to l?
True
Let x = -444 - -443. Let z = -5/4 - -9/20. Is x greater than or equal to z?
False
Let y(l) = 2*l**2 - 16*l + 3. Let g = -29 - -37. Let i be y(g). Let c = -3 + 4. Which is smaller: c or i?
c
Let j(s) = -s**3 - 21*s**2 - 39*s - 19. Let b be j(-19). Let l = -230 + 151. Let k = -789/10 - l. 