et w = 73573993/704095182 - 3/518098. Let v = 1/151 + w. Is v < -1?
False
Let u be (4/(-8))/((-84)/(-210126)). Is u greater than -1250?
False
Let l = 147173631/1154201410 - 98958/74455. Let t = l - -55/46. Which is bigger: -1 or t?
t
Let f be 7/(-9) - 36/162. Let x be (-4)/(-10) - 13188/34545. Is x equal to f?
False
Let y(a) = -93*a**3 + 4*a + 3. Let j be y(-1). Let k = 58 - j. Let w be 7 + -36 - (-8)/(-2). Which is greater: w or k?
w
Let m = -44.68 + 0.68. Let v = m + 44.11. Let q = 417 + -1253/3. Which is smaller: q or v?
q
Let a be 14/4*2 - 0. Suppose n + 6 = -5*u - 89, 57 = 3*n - 3*u. Which is bigger: n or a?
a
Let a = -3977 - -8331. Let o = 12853/3 - a. Is -70 not equal to o?
True
Let o = 4782 - 4782. Is 226/31 bigger than o?
True
Let v be 513/(-33) - (-12)/22. Let m(c) = c + 15. Let f be m(v). Is 1/9 at least as big as f?
True
Let w be (-174)/11 - (240/(-88))/(-15). Let g be ((-39)/2)/(0 + 8/w). Is g greater than or equal to 43?
False
Let l = 287/5 - 2354/35. Which is smaller: l or -11?
-11
Let n = 191 + -201. Let f be (-5 + (-74)/n)/(21/10). Let j = -0.29 - 0.01. Is f not equal to j?
True
Suppose 8*s - 4*s - 842 = -2*n, 0 = 2*n - 3*s - 814. Which is smaller: 827/2 or n?
n
Suppose 72 = 3*m + 4*d, -m - 4*d - 96 = -4*m. Suppose m + 52 = -g. Let f be ((-24)/g)/(18/(-8)). Which is greater: 2/7 or f?
2/7
Let b(c) = c - 5. Let s be b(11). Suppose -5*d + 19 = -p, d - 4*p - 14 - 5 = 0. Suppose -t - t - 6 = d*x, x = -5*t + 11. Is s smaller than t?
False
Suppose 3*c - 2*o = 54, 1 = -c + 3*o + 19. Suppose 5*y - c = -3*p, p + 4*p = -5*y + 20. Suppose 5*s + 5*l = -28 - 62, y*l = 3*s + 54. Is s bigger than -17?
False
Let w be 172116/9576 + 7/(-1) - 11. Suppose 0 = -4*b + 2*b. Which is bigger: w or b?
b
Let c be 12236/245 + 4/70. Let a be (-546)/28*16/(-6). Which is smaller: a or c?
c
Let s be (-224)/(1 + 7)*(-5)/140. Let p = -654 + 116411/178. Is p != s?
True
Let l = -205.9 - -7.9. Let p = l - -197.8. Which is greater: 83 or p?
83
Let j = 0.1 - 0.2. Suppose 5*b = -c - 357, 5*c + 3*b + 1837 = 96. Let s = -333 - c. Which is smaller: s or j?
j
Suppose 0 = -h - 3*a - 12, 3*h - 2*a + 16 = -7*a. Suppose -v + 17 = -h*c, -c - 2*c = -2*v + 22. Which is smaller: -1 or v?
-1
Let g(l) = 159*l + 282. Let s be g(-2). Is 6 at most as big as s?
False
Let b = 3023 - 3022. Do b and 21/43 have the same value?
False
Let v = -665/18642 + -2/717. Let k(i) = 12*i**3 + 24*i**2 - 1. Let q be k(-2). Which is bigger: v or q?
v
Let q = 14862 - 14861. Do 1/1503 and q have the same value?
False
Let v be (-1 + (-5459)/(-5465))/((-784)/80 + 9). Which is greater: v or 1?
1
Let z = -61 + 57. Let s = -3 - 0.4. Let n = s - z. Are n and 1/3 equal?
False
Let h = -19917/85 - 2072/17. Which is smaller: -357 or h?
-357
Let v be (20/6)/(2/(-6)). Let h = 15873 - 9629. Let j = h + -43782/7. Which is greater: v or j?
v
Let t(h) = -h - 4. Let i(j) = -2*j - 9. Let d(l) = -6*i(l) + 13*t(l). Let q be d(2). Let w = 79/60 - 9/10. Which is smaller: w or q?
q
Let p = 269926 + -25642664/95. Does p = 4?
False
Let t = 113 - 57. Let o = t - 55.9. Let u = 215/6 + -36. Which is greater: o or u?
o
Let m be (-909)/(-460) + (-2)/5. Let k = 96/23 + m. Suppose 1057*w - 10185 = -980*w. Which is smaller: w or k?
w
Let b be -48*(4 - 464/24). Let p = b - 718. Which is greater: 14 or p?
p
Let u = -9 - -23. Let t be (9/(-2))/(-6*8/672). Suppose -3*r - w = -66 + 21, 5*w + t = 3*r. Do u and r have different values?
True
Let k(d) = d**2 - 3*d - 5. Let z be k(5). Let x = z + -2. Let p be (-6)/(-4)*(-188)/x. Is -95 less than p?
True
Let k = 2.01 - 0.01. Let x = -142 - -147. Suppose -27 = x*v - 7. Is k at least v?
True
Let x = 1887.1 + -1887. Do 3107 and x have the same value?
False
Let q = 437.1 - 438.2. Is q smaller than -33?
False
Let b = -3455.6 - -3457.6. Is 18/437 at least b?
False
Let j = -595 + -1550. Which is bigger: j or -2146?
j
Suppose 0 = -3*q - 2*v - 7, -4*q + 1 = -4*v + 17. Let i be ((-1)/q - 1)/((-4)/576). Suppose -12*y + 10*y = -i. Is y at most 48?
True
Let q be 1374/57 + (-69 - -53). Which is smaller: 8 or q?
8
Suppose 1 = -2*q - 1. Let w = -114/55 - -13511/6545. Are w and q nonequal?
True
Let n = 15435 + -15434. Which is greater: 5119 or n?
5119
Suppose -y - 249 = 10*n - 5*n, 2*y + n + 534 = 0. Is -266 < y?
False
Suppose -16 = -4*w, 2*u + 4*w - 178 = 108. Suppose 0 = 2*i, -u = -5*y + 3*i - 5*i. Is 26 greater than or equal to y?
False
Let p(y) = y**2 - 7. Let d be p(-3). Suppose -10*i = -d*i - 8. Let b be (3471/366 - 7) + (-10)/4. Is i at least as big as b?
True
Suppose g = 0, 3*g + 30 = -5*r - 0. Let q(p) = p**3 + 7*p**2 + 6*p + 1. Let i be q(r). Let x = -0.333 + 30.333. Are x and i equal?
False
Suppose 2 + 0 = 2*a. Let i be (-28)/(-49) + (-1896)/(-14). Let x be i/26 - 5 - 0/1. Which is smaller: x or a?
x
Let i = 8 - 5. Let q = -1568 + 1557. Is i != q?
True
Let a = 21 - 20. Let i be (0 - 3)*(-3 + a). Suppose -i*t - 147 = -45. Which is bigger: -18 or t?
t
Let v be ((-225)/(-180) - (-45)/(-12))/(-11 - -1). Which is bigger: v or 2/10703?
v
Let k = -0.93 + 1. Let h = 9328 - 9329. Which is smaller: h or k?
h
Let k be (852/(-1278))/(4/174). Which is greater: -562/19 or k?
k
Let o = 159 - -174. Suppose 4*z - z = 4*l - 342, -3*z - o = -l. Let g be 350/z - (-4)/22 - 1. Are -8 and g non-equal?
True
Let t = 36 + -55. Let z = 0.26 - 19.26. Let h = z - t. Which is smaller: h or -7/3?
-7/3
Let h = -5719094/377 + 15170. Which is greater: -1 or h?
h
Let o = -1.8 + 16.8. Let i be (62/230)/(-1)*5/4. Let h = i - -2/23. Is o < h?
False
Suppose 0 = -8*k + 34 - 42. Let s be ((-84)/126)/(k/636). Is s > 424?
False
Let j(x) = -x. Let i(f) = -f**2 - 18*f - 18. Let a(m) = -i(m) - 5*j(m). Let y be a(-22). Is y at most as big as -5/2?
True
Let r = 18255 - 55313/3. Is r < -184?
False
Let g = 0.3265 - -0.0535. Is 66 bigger than g?
True
Suppose -38*o + 680 - 2922 = 0. Which is bigger: -55 or o?
-55
Suppose 2*m + 32 = 20, -m - 2 = -4*i. Which is bigger: i or 1/965?
1/965
Let k be (-12)/(-8) - (-422)/4. Let t = k - 108. Is 0.6 less than t?
False
Suppose 10*p + 10*p = -p + 3*p. Which is greater: p or -8/175?
p
Let z = 206 - 302. Let v = z - -97. Is -2/143 != v?
True
Let f be ((-851)/(-69) - 12) + (-7762)/(-294). Which is greater: 28 or f?
28
Let c be (24/(-742))/((6/12)/(21/12)). Is c not equal to -1?
True
Let w(s) = -41*s**2 + 18*s + 126. Let a be w(-5). Is -988 < a?
False
Let g be 16190/(-6)*768/(-640). Is g less than 0.1?
False
Let m be 120/(-48)*2608/(-9). Which is bigger: 723 or m?
m
Let w(r) = -r**3 + 15*r**2 + 2*r - 26. Let u be w(15). Let b(o) = -2*o**2 + 11*o - 39. Let x be b(u). Which is greater: x or -83/3?
x
Let z(h) = 5*h**2 + 24*h + 44. Let g be z(-2). Suppose g*l - 15*l = -11*l. Which is smaller: 1/249 or l?
l
Suppose 3*l + 45 = -2*l. Suppose 12 + 3 = 5*h + 5*w, -2*h - 5*w + 6 = 0. Suppose -3 = -5*n + 9*n + h*t, 4*t + 4 = -2*n. Is l < n?
True
Let l(b) = -b + 4. Let d(h) = -h - 1. Let u(j) = 2*d(j) + l(j). Let s be u(2). Let i be 11/(2/(-16)*s). Do 22 and i have different values?
False
Let f = 196/127 + -93307/60706. Suppose 4*u = 10*u + 6. Is u less than or equal to f?
True
Let c(m) = -3*m - 37. Let y(w) = w**2 - 5*w + 4. Let i be y(5). Let l be 19/i*-6*(-6)/(-9). Let d be c(l). Which is greater: d or 19?
d
Let o be (-82)/4 - 1/2. Suppose -3*t + 107 + 7 = 2*y, 4*t + 331 = 5*y. Suppose -201 = 12*s + y. Which is greater: o or s?
o
Let l = 220 + -247. Let y = -29 - l. Which is bigger: y or -26/41?
-26/41
Suppose 110 = k - 6*p + 23, -5*k + 5*p = -385. Which is smaller: 71 or k?
71
Let a = 800 - 878. Does -715/9 = a?
False
Let r = 56 + -56.084. Let d = -2.084 - r. Are d and -1.8 equal?
False
Let n = 2745 + -2743. Which is bigger: n or 1559?
1559
Let a be 10/3 + 2*(-2)/12. Suppose -a*f + 0 + 27 = 0. Is f <= 3?
False
Let k = 7532/145 + -258/5. Let s be (-39)/91*7/(-3). Which is greater: s or k?
s
Let t = -13 + 14. Let a = -31469/21 + 76915/42. Let o = a + -661/2. Are t and o nonequal?
True
Let o be 9 - ((-50)/10 - 51). Suppose 5*t + 48*h - o = 46*h, 0 = 5*h - 25. Is t at least as big as 113/11?
True
Let c(p) = p - 8. Let t be c(6). Let k be ((-6)/(-4))/(-1*33/(-154)). Let g be 36/(-63)*(-4)/(-30)*k. Which is smaller: t or g?
t
Suppose 0 = -5*l - 16 - 54. Let i = -373 + 359. Let w be -18 - -1 - (392/i)/14. Is w >= l?
False
Let f 