0)/(-25). Suppose -4*j = 5*y - 999, j - o*y - 253 = -0*y. Is 252 greater than j?
True
Let x = 24577 + -172034/7. Which is greater: -0.5 or x?
x
Let h = 2947 - 2963. Do 2/15 and h have the same value?
False
Let l = -12149/63 + 1353/7. Which is smaller: l or -18?
-18
Let t = 8.3 + -17. Let q = t + 9. Which is smaller: -0.11 or q?
-0.11
Let h be 0 - (4637/(-3) - 5/15). Let s = h - 190156/123. Let v = 2 - 1. Which is smaller: v or s?
s
Let j be (0 + (-1803)/(-8))*2/27. Let n = -69/4 + j. Which is bigger: 0 or n?
0
Suppose 6310 = -4*v + 11*k, 3*v - 2*k + 3011 + 1709 = 0. Does v = -1570?
False
Let y = -3724 - -3825. Let w be 8*(93/6 - 3). Is w equal to y?
False
Let k = 1 + 0. Let q be 3*(2/(-6) - 1). Let s(y) = -y**3 - 2*y**2 + 9*y + 5. Let d be s(q). Is d at most as big as k?
True
Let c be 4/(-22) + (-8859200)/13200. Which is greater: c or -671?
-671
Let v(b) = -b**2 - 33*b - 281. Let w be v(-21). Let a be 1/((-1)/(-93)*-3). Which is greater: a or w?
w
Let o = 111 - -348. Let d = -418 + o. Which is smaller: d or 44?
d
Let i(s) = -s**2 + 15*s - 10. Let p be i(14). Suppose 52 = 5*j + 2*k, -k = k - 2. Suppose f - 5 + 0 = -3*l, -j = -p*l + 2*f. Which is bigger: l or 18/13?
l
Let w be (21/(-21))/(1/(-13)). Let o = w - -1. Does o = 2/3?
False
Let n(i) = i**2 - 3*i - 4. Let z be n(4). Suppose z = 6*t - 3*t - 27. Suppose t*j = 14*j + 50. Which is smaller: j or 3?
j
Let j = -866 + -1376. Let z = -15727/7 - j. Is z at most as big as -4?
True
Let f be (-6)/(-14) - 11/((-77)/(-24)). Let k be -1 + 80/(-85) - f. Let n = k - 550/391. Which is bigger: 0 or n?
0
Let j be (-7 - -7)/((-3)/1). Let w(q) = q**2 + 4*q + 2. Let l be w(0). Suppose -2*i - 22 = -7*a + l*a, -2*i + 4*a = 18. Does j = i?
False
Let j = -17103467/9180 + 31674/17. Let o = -1/60 + j. Let i = 994/135 + o. Which is bigger: i or 7?
i
Let u = 404 - 278. Let t = u + -120.3. Let o = -6 + t. Is -2/7 at least o?
True
Let s(l) = 10*l + 4*l**3 - 5*l**3 + 278 - 9*l**2 - 137 - 136. Let g be s(-9). Is 1 bigger than g?
True
Suppose -5*w - 304 = 33*w. Which is smaller: w or -3/19?
w
Suppose -99167 = 98*j - 430407. Is 3381 > j?
True
Let n = 0.963 - 483.963. Let p = 482.6 + n. Is 3 > p?
True
Let q = -12.89 + 13. Let s = -1.51 + q. Let k = 146465 + -146464.8. Which is greater: s or k?
k
Suppose 0 = -2*v - f - 46888, -5*f + 8653 + 14758 = -v. Which is smaller: 1 or v?
v
Let p be (1 + -2)/(1/(-2)). Suppose p*t - 2*m = 770, -3*t + 4*t = 2*m + 380. Let b be 24/180 + (-97)/t. Is b smaller than 2/5?
True
Let b = -143 - -581. Let f = b + -290. Which is smaller: 0.1 or f?
0.1
Let z = -302 + 404. Suppose -46*p = -42*p + 4, 0 = 4*o - 2*p + z. Which is smaller: o or -180/7?
o
Suppose 0 = -3*b - b + 5*d + 105, 3*d + 111 = 4*b. Suppose b = u + 12. Suppose 4*w = l - 5, 2*l + 2*w = -0*w + 40. Is u smaller than l?
False
Let d = -48 - -51. Suppose -d*t - 4*i = -100, -2*t - 34 = -3*t - 2*i. Let s = 42 - t. Which is smaller: s or -1?
-1
Suppose -2*p + 2*s + 5976 = 0, p - 5*s + 389 - 3353 = 0. Which is bigger: p or 2/13?
p
Let s be 2*4/(-8)*19. Let r = -19 - s. Let f = -50842/57 - -892. Which is greater: f or r?
f
Suppose 24 - 34 = -5*k. Let o(i) = -1 - k + 2 - i + 5. Let z be o(3). Which is bigger: z or 4/41?
z
Let h be (-3)/2*16/(-12). Suppose -m - 8*z + 50 = -3*z, 2*m - h*z = 76. Let y = -51 + m. Is y bigger than 1?
False
Let h = 160 + -124. Let m = h - 35. Which is greater: m or 3/44?
m
Let x = -2106989/10 - -210506. Which is smaller: x or -193?
-193
Let a(n) = n**2 + 70*n + 1208. Let c be a(-31). Is -2/9369 < c?
False
Suppose -3*p = 1309 - 1348. Suppose 5*x - 6*x = -4*h - p, 3*h = 3*x - 12. Do x and -4/51 have the same value?
False
Suppose 4*x - 35*c + 32*c + 2 = 0, 17*x - 13 = 2*c. Which is bigger: 11/954 or x?
x
Let t = 122 - 123. Let r(o) = 3*o + 7. Let a be r(t). Is 2 smaller than a?
True
Let x = -305 + 320. Let j(c) = c**2 + 15*c - 31. Let w be j(-17). Let b be (-572)/(-39) + 0*w/6. Which is greater: x or b?
x
Suppose 4*m = 8, 9*h + 3*m - 120 = 28*h. Is -265/41 greater than h?
False
Let o = 1936 + 3097. Does 5031 = o?
False
Let p be 13/(130/(-20)) + 3. Which is smaller: p or -25/144?
-25/144
Suppose -14*h = h + 6450. Let w be 1 + 1 - (h/(-50) + -6). Suppose 5*v = -5*m - 30, 4*v + 5 = 3*v. Is w greater than m?
True
Let k be 22/8*1188/242. Is k at least as big as 100?
False
Suppose -111*t = -100*t - 2189. Is t greater than or equal to 0.04?
True
Let f = -1374 + 1354. Let o(a) = -8*a**2 + 7*a - 8. Let n be o(2). Which is bigger: f or n?
f
Let z = 30.05362 + -0.06562. Let n = -30 + z. Let u = -153 - -154. Which is bigger: n or u?
u
Suppose -957 = -27*a - 15*a + 4755. Which is greater: 152 or a?
152
Let f(a) be the third derivative of -a**2 + 0*a + 1/120*a**6 + 13/24*a**4 + 0 + 1/4*a**5 - 10/3*a**3. Let j be f(-14). Are -0.06 and j equal?
False
Suppose 127 - 95 = -4*i. Let p be (-28)/(-7)*(-38)/i. Is p < 18?
False
Let a = 202 - 329.6. Let n = -137 - a. Is -2/3 >= n?
True
Let l = 2.05 - 1.75. Let d = -2.3 - -2. Let j = l + d. Is -5/3 less than j?
True
Let f = -4953.1 - -4953. Let x = 2.92 + 0.2. Is f < x?
True
Let i be ((-8)/22)/(4/(-2)). Suppose 3*v + 14 = c, 2*c = 2*v + 3*v + 24. Let t be 1 + 76/(-36) + c. Which is greater: i or t?
t
Let w = -13766 - -41296/3. Which is smaller: w or -24/779?
w
Let g = -14140 + 13678. Which is smaller: 5 or g?
g
Let v be 1326/2720 + (-8)/10. Which is smaller: -8 or v?
-8
Let q = 5789 + -5789.1. Which is smaller: -234.1 or q?
-234.1
Suppose -5*u = -3*m + 5428, 3*m = 8*m - 4*u - 9064. Let l(k) = -7*k + 3*k - 3 - 1815*k**2 + m*k**2. Let i be l(5). Is -0.1 at most as big as i?
True
Let y be 130/143 - 17880/19305. Which is smaller: y or 0.07?
y
Let d = -116.6 + 128. Let q = d - 1.4. Let j = q + -9.2. Which is greater: j or 2/3?
j
Let b = -1767 - -1769.09. Which is smaller: b or -0.1?
-0.1
Suppose -354 = -15*j + 1431. Let y be (-68)/j + -11*796/14. Do -627 and y have the same value?
False
Let v = 318 - 306. Suppose 3*p + p + 40 = 0. Let m = v + p. Which is greater: 14 or m?
14
Suppose 2 + 0 = -3*m - s, -s - 1 = 2*m. Let g be 8/(-18)*((-38)/323 + 39/(-102)). Which is greater: m or g?
g
Let q = 0.10565 + 0.09435. Which is smaller: -3956 or q?
-3956
Let t = -34 + 674. Let l = t - 1364. Is l greater than -0.1?
False
Let a = 99 + -23. Let i = a + -75.808. Let q = 0.092 - i. Is q > 6?
False
Let u = 211 - 210.896. Let a = u - 1.104. Is 62 != a?
True
Let w = -208301 - -1662553/8. Which is smaller: -482 or w?
-482
Suppose 2*y - 2*j - 3250 = 0, 35*y - 3*j = 37*y - 3280. Which is smaller: y or 1630?
1630
Let g = -1805909/6 - -300254. Is g greater than -730?
False
Suppose 800 = s - 0*s + 5*r, 0 = -5*s - 3*r + 4132. Which is smaller: s or 829?
829
Let b(k) = 7 + 47 + 4 + 3*k + 6. Let f = -24 + 9. Let p be b(f). Is 20 at most as big as p?
False
Suppose -63*c + 4740 - 792 = -49*c. Which is smaller: 272 or c?
272
Let i(j) = -34*j - 30. Let s(g) = -11*g - 10. Let p(r) = -5*i(r) + 16*s(r). Let w be p(-3). Let h be ((-28)/w)/((-4)/(-8)). Which is greater: -6 or h?
-6
Let d be (-39 - -35) + 374/94. Let b(c) = -c**3 - 5*c**2 - c - 5. Let k be (2 + 8)/(2/(-1)). Let w be b(k). Do d and w have different values?
True
Let r = 0.31188 - 0.01188. Is -0.793 equal to r?
False
Let k be (-59)/177*(-100)/15. Is k > 0.21?
True
Let x(n) = -6*n**2 + 58*n + 8. Suppose w - 3*m = 28, -w - 1 = 3*m + 1. Let s be x(w). Is s greater than or equal to -252?
True
Suppose -2*a = 4*a + 1368. Let s be (-4137)/18 - (-75)/90. Which is bigger: s or a?
a
Let x = 412 + -411. Are 74/263 and x equal?
False
Suppose 2*l + 3 - 23 = 5*r, 4*l = -r - 4. Let s = -236 + 5440/23. Is l > s?
False
Suppose -i = 4*r - 632 - 45, 0 = 3*r + 3*i - 519. Which is bigger: -20 or r?
r
Let z be (-1466)/(-10) + 2/5. Suppose 0 = 14*t + 3*a - 2000, a - 78 - 202 = -2*t. Which is bigger: z or t?
z
Let v = -185.14 - -185.2. Is 73 >= v?
True
Let t = 151.2 - 151.2. Which is smaller: 10/103 or t?
t
Let d(i) = -442*i + 46. Let t(z) = 221*z - 21. Let y(p) = 6*d(p) + 13*t(p). Let g be y(1). Which is smaller: g or 225?
g
Suppose -191 = 109*c - 82. Which is bigger: 0.04 or c?
0.04
Let r be ((-7)/21)/((-103)/(-18)). Let n be 24/6 + 1 + (-10)/(-5) + -8. Which is smaller: n or r?
n
Let v be 28/(-322) - (-142)/46. Let t be (4 + -22)/(-1)*v/6. Which is bigger: -2 or t?
t
Let q = -7.93 + 93.73.