ue
Suppose 8*v = 7*v + 54. Let x be (((-3)/(-12))/(-1))/(v/(-72)). Which is smaller: x or 74?
x
Suppose 47*v + 17*v + 45 = 109. Which is smaller: v or -321?
-321
Let j = -1.04171 + 0.04171. Is 7.849 < j?
False
Let a be (72 - 73)*(-1 - 532). Let z = a + -465. Is z bigger than 3?
True
Let f be (3404/2530)/((-3)/9). Which is greater: f or -5?
f
Suppose 51*a + 132 = 29*a. Let k be 2 - (-1 - (-74)/8). Which is smaller: a or k?
k
Let x be (-3)/(18/(-4))*129. Let p be 18/63*(-21)/12*-156. Let n be ((-68)/(-10))/(p/975). Is x greater than or equal to n?
True
Let f be (-7)/(-14) - 42/(-4). Suppose f*u - 336 = 17*u. Is u smaller than -58?
False
Let x = 232.9 + -233. Let v = 48.7 - 19.7. Are v and x nonequal?
True
Let a(g) = -5*g - 25. Let s be a(-5). Suppose -2*u = 2*u + 2*v - 8, -u + v - 4 = s. Do -55 and u have different values?
True
Suppose 81 = 2*a - 7. Let y be 1/5 - (-642)/15. Let b = a - y. Which is greater: b or 3/2?
3/2
Let g be 2 + (-11)/(11/2) - -2. Let m be 5 + g - (5 + -9). Which is bigger: m or 10?
m
Let u = -37/11 - -2845/836. Is u > 1?
False
Let s = -19420 - -19381. Which is bigger: s or -865/23?
-865/23
Let p = -39639.0225 + 39587. Let l = -0.0225 - p. Let b = -3 + 2.9. Which is bigger: b or l?
l
Let o = 0.3 + -3.5. Let w = 5.1 + o. Let v = 0.9 - w. Is 39 at most v?
False
Let a = -22876 - -26307. Is 3435 less than a?
False
Let t = -388 - -396. Suppose 5*i - t = -3. Is 1/127 != i?
True
Suppose -3*s - 2*o = 11, s - 4 = -3*o + 4. Let m be (s/1 - -1) + 6. Which is bigger: 1 or m?
1
Let j = 12128 + -1006687/83. Do j and 0 have the same value?
False
Let k = -0.136 + 16.636. Let z = -16.54 + k. Which is greater: z or 1?
1
Let d be -1*2460/490 + (-3 + 6 - -1). Does d = -2?
False
Let x be (-54 + 51)*(2/(-6) - (-16)/(-6)). Is x at most as big as -4?
False
Let s = 4156 - 4465. Does -311 = s?
False
Let z = 0.5844 - -0.1156. Let c = 265/4588 - -1/148. Which is smaller: z or c?
c
Let r(c) = c**3 - 33*c**2 - 20*c + 54. Let s be r(10). Which is bigger: s or -2443?
-2443
Let c(b) = 23*b + 42. Let t be c(-2). Let i be (1 + 0 + t)*(-64)/(-3). Are i and -64 unequal?
False
Let k(i) = i**2 - 39*i + 67. Let l(t) = -3*t**2 + 117*t - 202. Let x(u) = 17*k(u) + 6*l(u). Let s be x(37). Are 4 and s nonequal?
True
Let x = -1309 + 912. Let w = -397.4 - x. Which is smaller: 1/33 or w?
w
Suppose 0 = -182*h - 879*h - 89367 - 104796. Let q = -469 - -287. Is q <= h?
False
Suppose o = 3*o. Let u(w) be the second derivative of -w**4/12 + w**3/6 - w**2/2 + 251*w. Let x be u(o). Which is greater: 1/6 or x?
1/6
Suppose -7673*y + 7653*y + 17920 = 0. Which is greater: y or 901?
901
Let i be (-10910)/(-1556) + 4 + -11 + (7 - 7). Which is bigger: i or 1?
1
Let f = -0.014 - -1.014. Let l = 46 - f. Which is smaller: 0.3 or l?
0.3
Let g(p) = -18*p - 9. Let o be g(-1). Let q be (-2)/103 - (o - 9). Is q > 0?
False
Suppose 0 = -k - s + 195, 2*k + 2494*s - 402 = 2490*s. Suppose -945 = -2*x - 3*x. Is k != x?
False
Let k be (112/20)/(6/1050*-10). Which is greater: k or -112?
k
Let i = 1124254/10235 + -2526/23. Is -1 smaller than i?
True
Let t be -9 - (-6)/((-234)/(-26) - (-150)/(-16)). Is t at most -316/13?
True
Suppose 5*m = -b + 3774, -b = 774*m - 773*m - 750. Is 5298/7 <= m?
False
Suppose -3*x = -5*f + 33, 13*f + 17 = -5*x + 15*f. Which is smaller: x or -1/231?
x
Let u be ((-1)/(-3))/((-2860)/(-360)). Suppose 0 = -2*m - 3*w - 13, 4*w = 3*m + 2 - 25. Which is smaller: m or u?
u
Suppose 18*c = 25*c + 14. Let h(r) = r**2 + r. Let b(n) = -4*n**2 + 5*n + 7. Let v(d) = b(d) + 3*h(d). Let g be v(9). Does g = c?
True
Suppose -128 = -7*m - 135. Let a be (56/693)/((-3)/63). Is m smaller than a?
False
Let p = -185 - -89. Let h = p + 94. Which is greater: 40 or h?
40
Suppose 289*a - 85 = 284*a. Let m(t) = 3*t**2 - 15*t + 2. Let i(w) = w**3 - 10*w**2 - 10*w - 5. Let g be i(11). Let b be m(g). Which is smaller: a or b?
a
Let b = -34 + 40. Suppose b*f = f + 4*u + 117, f + 4*u - 33 = 0. Suppose m - 5*d = 2*m + f, -d + 79 = -4*m. Is -18 greater than or equal to m?
True
Suppose 5*a - 11 - 149 = 0. Let d = -108 - -219. Let u = d + -78. Are u and a unequal?
True
Let t(p) = -p**2 - 6*p + 3. Let x be t(-6). Suppose -5*l + 38 = 3*b, -x*b + 5*b = 5*l - 58. Suppose -4*g - 45 = -9*g. Which is smaller: l or g?
g
Let o(m) = 2 + 3*m**2 - m + m + 4*m. Let p be o(4). Let a(c) = 2*c**2 + 9770*c + 78098. Let n be a(-8). Do p and n have the same value?
True
Let f = 0.504 - 5.374. Let u = 3.19 + f. Which is bigger: -1/4 or u?
-1/4
Let a be 3 - ((-102)/(-21) + -3). Let o be (-4)/9 - 124/(-279). Suppose -4*r + 3 = -2*v - 1, -5*r - 2*v - 4 = o. Is r < a?
True
Let n = -6272 + 31358/5. Let j = -14 + -11. Which is smaller: j or n?
j
Let p = 231 + -231. Let u be p - (14/(-70))/((-6)/10). Which is greater: u or 0.282?
0.282
Suppose 2*p - 153 = -5*d, 3*p = 2*d + 3*d + 192. Let s be (-441)/140*2860/(-132). Which is smaller: s or p?
s
Let r be 0 + ((-2)/1 - -4). Let a = 1.2594 + -1.2994. Is r less than or equal to a?
False
Let u be 530/(-318) + 4/6. Which is smaller: 0 or u?
u
Let m be 6 + (1 - ((-114685)/30 - 2/12)). Is m greater than 3830?
False
Let h = 5 + 2. Suppose -270 = -50*o + 48*o. Let t be (o/(-4))/(11 + -17). Is h at most as big as t?
False
Let b = -23 - -92. Let h = b + -69. Which is smaller: h or 89?
h
Let y = 103 + -103. Let c be 60/20 + 1*-2 + y. Which is greater: c or -2/39?
c
Let u(c) = 196*c - 1225. Let r be u(13). Is 9270/7 equal to r?
False
Let j(u) = -u**3 - 5*u**2 - 4*u + 6. Let n be j(-4). Let a(d) = -d**3 + 6*d**2 - 2*d + 8. Let z be a(n). Let r be z + (330/25)/3. Is -1 at most r?
True
Let o = -159 + 159.008. Let b = o - -0.092. Suppose 0 = -77*i + 80*i - 123. Which is greater: i or b?
i
Let l = 16.68 - 17.58. Do l and -1/19 have different values?
True
Suppose 5*w - 3*b = 2*w + 24, -b - 2 = w. Suppose -4*m - 5*s = -6*m + 56, 3*m - w*s = 102. Let k = -34 + m. Is 3 > k?
False
Let f = 3163.7 - 3163. Is f greater than or equal to 81?
False
Let g = 1/5708 - -102731/74204. Which is greater: g or -11?
g
Suppose 0 = 175*x + 57*x + 18675 - 2667. Is x smaller than -41?
True
Let l = -494 - -501. Let f(y) = 2*y**3 - 12*y**2 - 13*y + 4. Let g be f(l). Which is greater: 17 or g?
17
Let c(p) = -60*p - 45. Let o be c(-1). Is 81/5 greater than o?
True
Suppose 5*o - 6*o - b - 508 = 0, -b - 1 = 0. Which is smaller: o or -502?
o
Let a = 20.785 + -1.785. Is 63 less than a?
False
Let a be (-4 - 1066/(-273)) + (-2 - 4132/(-42)). Which is smaller: -0.1 or a?
-0.1
Let k = 1 - -6. Suppose g - s - 56 = 0, 5*s - 200 = 4*g - k*g. Suppose -69*j + 30*j + 2301 = 0. Which is smaller: j or g?
j
Let j be (-3 + 21/(-14))*1*(-1)/6459. Are j and 0 unequal?
True
Let o = 11 - 31. Let w be (o/(-9) - 1) + 10/(-45). Let t be 152/80 - (-1)/2. Is w >= t?
False
Suppose 0 = 4*f + s - 50, -2*s - 24 = -5*f + 32. Let d = -16 + f. Let o be (d - -2)/((-3)/((-54)/(-8))). Which is greater: o or 4?
o
Let z = -6876.314 - -6877. Is 0 at most z?
True
Let p = -9172.09 + 9172. Does p = 126?
False
Let h be 13016*(-12)/(-17376) + -9. Which is bigger: h or 9?
9
Let g = -11 + 8. Let w = -565.1041 - -0.1041. Let k = 566 + w. Which is smaller: k or g?
g
Let m = 69620/7 + -9946. Is m not equal to 11369?
True
Suppose -134 - 580 = 2*r. Let v = 618 + r. Which is greater: v or 260?
v
Let n = 23 - 12. Let k = 172 - 121. Suppose 9 = 5*a - k. Which is smaller: n or a?
n
Let t = -1.35 - -16.95. Let i = -1.6 + t. Let h = i - 13.92. Which is greater: 0.4 or h?
0.4
Let l be (13 - (6 - -5))/(-4). Suppose -14 + 6 = -4*c. Let s be 0 - c/18*2. Which is smaller: s or l?
l
Suppose 0 = -7*j + 101 + 277 - 70. Is j at least 34?
True
Suppose -1232*c + 1236*c - 308 = 2*j, 4*c - 324 = -2*j. Let s = -24 - -103. Is s smaller than c?
False
Suppose -5*r + 3*p + 5 = -33, -4*p + 46 = 3*r. Suppose -84 = -13*w + r*w. Suppose -3*o - w = 3*i + 5, -33 = 3*i - 2*o. Which is smaller: -39/4 or i?
i
Let d be (6/(-8))/((-9)/(-3)). Suppose -904 - 198 = -124*l + 138. Is l less than d?
False
Let x = 0.16 + 0.24. Let r = x - 0.1. Let n = 68 + -86. Which is greater: n or r?
r
Suppose 0 = -0*o - 3*o - 24. Let z = -804 + 794. Is z < o?
True
Suppose -c = 5*a + 18, 4*c + 5*a + 12 = -0*a. Suppose c*r = -137 + 39. Let q(w) = w**3 + 11*w**2 + 13*w - 19. Let o be q(-10). Is r less than o?
False
Let v = 75.17 + -856.17. 