e y(-5). Suppose 2 = 3*v + 11. Let h = v + s. Which is greater: 2 or h?
h
Let n be 1 + (9150/(-1822))/5. Let j = -64693/2733 - n. Let t = -22 - j. Which is smaller: 1 or t?
1
Let o be 3 + (-13383)/42 + 24/(-28). Is o less than or equal to -316?
True
Suppose -3*s = -1 - 17. Suppose 3*z = -3*g, z + s*g - 3 = 2*g. Suppose 3*t = 4*u + 19, 2*t + 6*u = u - 18. Is t at least as big as z?
True
Let j = 29 - 26. Suppose 0*n = n - 2*u - 11, 0 = -j*n - 4*u + 23. Is n greater than 10?
False
Let c = 71/175 - 3/25. Which is greater: c or 2/2077?
c
Suppose -407 = -7*t - 344. Which is smaller: t or -7?
-7
Let q = -18 + 21. Let n be 7 + -5 + (-99)/q. Is -33 less than or equal to n?
True
Suppose -5*a + 561 = -8*a. Which is smaller: a or -186?
a
Let k be 1927/(-90)*-2 + 6/(-27). Is 42 < k?
True
Let k = -613.1 - -613. Let p = 40.1 + -38. Let f = 2 - p. Do f and k have different values?
False
Let o be (-8 - 127) + (0 - 1). Let g be 17/o - 69/(-424). Suppose -2 = -f - 1. Is g bigger than f?
False
Let y(u) = u**3 + 2*u**2 + u + 1. Let a be y(-2). Let l be 12/(-36)*2/(-54). Which is smaller: l or a?
a
Let i = 119 - 92. Suppose 4*j + 1 = -i. Is -2 >= j?
True
Let h be (-10)/(-65)*-53 - 108/(-18). Which is smaller: -3 or h?
-3
Let w be (-3)/12 - 244/(-16). Let d be (1*-63 - 0) + -15 + w. Is -64 greater than d?
False
Suppose -4*b = v - 21, 2*v - 4 = 2*b - 2. Let t(g) = 5 + g**2 + v*g - g**2 - g**2. Let f be t(5). Which is bigger: f or 4?
f
Let a = 42 + -30. Let r(b) = -b + 8. Let q be r(a). Which is bigger: q or -5?
q
Let y be 3 + (26/(-52))/(1/6). Which is smaller: -7/99 or y?
-7/99
Suppose -q - 36 = 4*k - 3*q, -34 = 4*k - q. Let s be (k/6)/((-20)/30). Is 36/11 greater than or equal to s?
True
Let w be 1 + (-428)/(-102) - (-50)/(-10). Do w and -1 have the same value?
False
Let f be ((-4)/3)/(6 + (-154)/21). Which is smaller: -7/340 or f?
-7/340
Suppose -5*l - 48 = 4*o - l, 3*o - 5*l + 12 = 0. Let y be -14 - (o + 9 + 1/1). Is -15 less than or equal to y?
True
Let x(w) = w - 5. Let g be x(6). Suppose -2*t + 12 = 2*q - 4*t, -5*q = 4*t - 3. Suppose 3 = q*y - 6*y. Is g greater than y?
True
Suppose -6090 = 45*u - 10*u. Is -174 at most as big as u?
True
Let d = 117/38 - 279/646. Is d >= 0.1?
True
Let o be (-4)/6 + (-4)/(-9). Let f(l) = -l**3 - 11*l**2 - 14*l - 17. Let i be f(-9). Let q = 54 + i. Which is smaller: o or q?
o
Suppose 0*i = -5*i - 35. Let a = 11 + i. Suppose a*p = -p. Is p bigger than -2/15?
True
Let t be (-4)/(-58) + (-5720)/(-1160). Which is bigger: t or -3?
t
Let i(x) = x**2 + 24*x + 5. Let m be i(7). Are m and 223 equal?
False
Suppose 0 = 13*i + 9*i + 176. Which is greater: i or -26/3?
i
Let g be (-165)/30 - 15/(-6). Let w = -270 + 150. Let c be g/(-5)*w/(-324). Is 0 less than c?
True
Let b be 255/24 + 0 + -8. Which is smaller: b or 3?
b
Let p be (-198)/165 - (-44)/(-5). Which is smaller: p or -35/4?
p
Let w = 0.0419 - 8.0419. Is -18/7 >= w?
True
Suppose -q + 86 = 3*d, -2*q + 7*q - 25 = 0. Let p = 26 - d. Which is bigger: p or -0.1?
-0.1
Let b = 78 + -147. Which is bigger: b or -70?
b
Let w = 3475 - 52094/15. Is 1 less than w?
True
Let m be -234*5/(14 + 1). Which is smaller: -0.1 or m?
m
Let z = -4 - -7. Suppose -2*o - 24 = -z*o. Let w be (2/(-6))/(10/o). Which is smaller: w or -1?
-1
Let l = -918 + 19300/21. Let h = -5/7 + l. Let u = -0.203 - -0.103. Are u and h nonequal?
True
Suppose 4*t - t = 2*t. Let h = 4675/6 - 781. Let g = h - -41/24. Is g < t?
True
Let m be (-2)/(-6) - (-40)/24. Suppose -z = -1 + m. Let h be (-5)/2*1*(-4)/(-5). Which is smaller: z or h?
h
Suppose 2*c = -c. Let k(g) = -2*g**2 - 14*g - 23. Let z be k(-3). Which is bigger: z or c?
z
Let a = 9195 + -606857/66. Is a not equal to 1?
True
Suppose 4*n - a = -251 - 16, -2*n = -4*a + 116. Which is greater: n or -65?
-65
Let x be (312/(-182))/((-921)/14). Is x <= -1?
False
Let t = 324 + -327. Let j = 0 - 2. Is j <= t?
False
Let p = -72313/28 - -2583. Which is smaller: -1/4 or p?
-1/4
Suppose 0 = -n - 2*r + 2 - 8, 2*r + 10 = 0. Let w be (5 + (-2 - 1))*3. Suppose 2*v = 3*v - w. Which is greater: n or v?
v
Let d = 19 + -18. Let x = -21727/71 + 306. Is x > d?
False
Let m = -1847 + 1887. Let k be (23 - (2 - 1))*-1. Let z = m + k. Is -1 >= z?
False
Let h = 210 - 211. Is -2/1597 not equal to h?
True
Suppose 0 = 2*r - 4, -t + r + 2 = -11. Suppose 0 = -j - 5, t = -w - 2*j - 1. Let q be w/(-4) - 18/12. Which is smaller: q or 3/14?
q
Let q be (4 + -1 + -1)/2. Let y = q - 2. Are 0 and y non-equal?
True
Let d = -885.024 + 885. Is d not equal to 1?
True
Let b = -1/1321 + -1134/247027. Which is smaller: -1 or b?
-1
Let x(f) = -12*f**2 - 7*f - 3. Let q be x(-3). Let l = -98 - q. Suppose 3*r + r = -24. Which is greater: l or r?
r
Let v be (-65840)/(-6)*(3 - (-26)/(-8)). Let j = 2720 + v. Which is smaller: j or -22?
j
Suppose -4*c - 3*o = -8, 0*o + 6 = 3*c - o. Suppose w + 2*w + 3*p - 6 = 0, c = 5*w + 3*p. Is w less than -1?
True
Let q be 4/2180*(1258 + 0). Let r = -10/109 - q. Is 0.1 > r?
True
Let r(j) = j**2 + 11*j + 6. Let s be r(-9). Let w be 6/9 + (-70)/6. Let n be ((-2)/s)/(w/(-99)). Which is smaller: n or 0.2?
0.2
Let a(h) = -h + 1. Let s be a(-3). Suppose s = -2*w + 6. Which is greater: w or -3.2?
w
Suppose l - 9 = -4*x, 2*x + 4*l - 6 = x. Let z be x/(-9) + (-10)/(-450). Are z and 1 equal?
False
Let c = -33.7 - -29.7. Are -0.041 and c equal?
False
Let v be (-243)/6 - (-5)/10. Let k be (v/(-50))/((-14)/(-20)). Let h = 86/63 - k. Is h <= -0.1?
False
Let q be ((-360)/(-16))/(0 + 0 + 1). Which is smaller: q or 23?
q
Let i = -258.013 - -258. Which is bigger: -2/5 or i?
i
Suppose 43*p - 322 = -21. Which is smaller: 186/23 or p?
p
Let i = -14790 + 7409798/501. Is 0 < i?
True
Let y be (2 + 1 + 0/5)*1. Suppose 0 = 5*p - 4*b + 16, 17 = -4*p + 2*b + y. Let v(n) = -n - 1. Let q be v(4). Is q not equal to p?
True
Suppose 0 = 67*k + 26996 + 11462. Is k bigger than -574?
False
Let d be 4/(-54) - (-1064)/2052. Which is smaller: 3 or d?
d
Let a(x) = x - 2. Let l(z) = -z + 3. Let q(f) = 5*a(f) + 4*l(f). Let k be q(3). Which is smaller: k or 9?
k
Suppose w = 3*w - 80. Suppose -5*b + 3*r = -w, 0*r - 15 = -2*b + r. Suppose 0 = -0*x + 3*x - 3*u - 6, -5*u = -20. Is x bigger than b?
True
Let j be -9 - -5 - (-2 + -4). Let u be (-2)/24 - (-2 + j). Let v = 5/12 - u. Which is bigger: v or -1/3?
v
Let u = 31/10 - 7/2. Which is bigger: u or -90?
u
Suppose -3*a + 5 = -4*d + 4, -3*a - 8 = 5*d. Let u be d/2*(-2 + -1)/(-3). Which is greater: u or 0.12?
0.12
Let m = -2/211 + -412/1055. Let j = 0.24 + 71.76. Let h = j - 68. Which is greater: h or m?
h
Let p be 6669/(-364) + -3*(-8)/42. Is p <= -18?
False
Suppose 5*x - 1027 = -407. Let a be x/(-2)*(-2 - -3). Is a smaller than -62?
False
Let p(o) = o**3 + 7*o**2. Let h be p(-7). Let z be -1 - 58/(-62) - h. Suppose 4*t - 9*j - 3 = -12*j, 0 = 4*j - 4. Are t and z non-equal?
True
Let h(o) = 256*o**3 - 9*o - 20. Let l be h(-2). Is l at most as big as -2050?
True
Let t = -16 + 16. Let u = -4 - t. Which is smaller: -0.4 or u?
u
Suppose -4 + 4 = 4*w. Suppose 4*s + 0 - 4 = w. Let z = -88 + 806/9. Which is greater: s or z?
z
Suppose 0 = -5*o - 4 - 1, -4*l + 2*o = -18. Suppose -7 = 8*r - 95. Which is smaller: r or l?
l
Suppose 5*f = 7 + 18. Suppose -f*b - 1531 - 699 = 0. Let u = b + 9368/21. Is u at most 0?
False
Let a = 0.012 - 33.012. Let i = 33 + a. Which is bigger: i or 3/4?
3/4
Let h be (-4)/(-6) + 17/(-3). Let m be 40/15*(4 + -1). Let i be ((-6)/m)/(h - -2). Is i greater than or equal to 0?
True
Let h = 233 - 235. Let m = -0.4 - -0.4. Let y = m + 0.1. Which is smaller: h or y?
h
Let h = -376 + 541. Suppose 2*x - h = 7*x - 5*p, p = -3*x - 111. Is x equal to -36?
True
Let c be 1 + 280/(-288) - 1/4. Let t(o) = -2*o - 1. Let l be t(-2). Let q = -3 + l. Is c > q?
False
Let b = -229 - -211. Let n = -1.9 - -2. Is b at least as big as n?
False
Let a = -133/3503 - 3/113. Let u(w) = 2*w + 67. Let y be u(-33). Which is smaller: a or y?
a
Let l = 72 + -73. Let k(h) = -6*h + 9. Let v be k(4). Let c = v + 12. Which is smaller: c or l?
c
Let y(x) = x**3 - 7*x**2 + 5. Let m be y(6). Let t be (-2 + 1 - (-4)/8)*2. Does t = m?
False
Let g = -42397/915 - -2/915. Let q = -47 - g. Suppose r + 4 = 2. Do q and r have different values?
True
Suppose -2*c + 3*c = 0. Suppose c = p + 2*p. Let s be ((-70)/266)/(9/(-6) + -1