s(v) - t(v). Let k be u(0). Suppose -5*d = w - d + 7, 5*w - 3*d = 57. Does w = k?
False
Let a = -55554/4026119 - -3/5947. Which is smaller: -1 or a?
-1
Let n = -37 + 38. Let i be n/3 + (-100)/(-42) - 3. Let p = 1.7 + -0.6. Is i less than or equal to p?
True
Suppose -6851 = -4*w - 411. Suppose 0*f + 1204 = 3*f - 2*s, w = 4*f - 5*s. Suppose 6*a = 5*l + a + f, -163 = 2*l + a. Is -81 less than l?
False
Let j(p) = -3*p**3 + 2*p**2 + p + 2. Let v = 46 + -44. Let z be j(v). Let b be 70/(-8) + (-10)/40. Which is smaller: z or b?
z
Let r = -846.8 + 846.6. Is r less than 6/217?
True
Let g = 67.67 + 1.33. Let h = 1.855 - 1.655. Is h at least as big as g?
False
Let p(c) = -3*c - 4. Let f be (-10)/2 - -1 - 3. Let s be p(f). Let h be (32 + -13 + -16)*5. Which is smaller: h or s?
h
Let a = 53 - 35. Suppose -4*q + 6 - a = 0. Let z be (6/12)/(0 - q/30). Which is greater: 2 or z?
z
Let q be -3 - (6 - (861 - 8)). Let m be ((-3)/6)/(q/8). Is m > 0?
False
Suppose -3*s - 10076 = 647*b - 643*b, 4*b = s - 10092. Which is smaller: -2524 or b?
-2524
Let j = -966120204/104915 + -13/20983. Let b = 9310 + j. Is b less than 101?
False
Let a = 1219/48 + -401/16. Is 270/19 bigger than a?
True
Let o be (-9)/((-1)/2*2). Suppose o*h + 2*h + 77 = 0. Does -28/5 = h?
False
Suppose 4 = 4*f - 8. Suppose 4*q = -f*g - 10, 3*g + 4 = 2*q - 0*g. Let v be 7/(-28) - (q - (-1)/(-4)). Is 3/47 smaller than v?
True
Let r be (2/14*2)/((-2356)/(-1426558)). Which is smaller: r or 161?
161
Let w = -78165757/184 + 424816. Let a = -34/23 + w. Suppose 4*q - 5*i - 53 = -60, -q - i + 5 = 0. Which is bigger: q or a?
q
Suppose -2*o = -2*t - 708, 2*o + t = 257 + 445. Which is bigger: 1764/5 or o?
1764/5
Suppose 3*x - 77 = -0*x + 5*t, 2*x - 42 = t. Let w(c) = c**2 - 2*c - 16. Let f(d) = -2*d**2 + 3*d + 4. Let z be f(3). Let j be w(z). Is j greater than x?
False
Let m be ((-5)/(-3))/((-400)/24480). Which is greater: -109 or m?
m
Let u = -452877/5 - -90206. Which is bigger: u or -370?
u
Let u be -8 - ((-22)/(-99) - (-64911)/(-7911)). Is -1 > u?
False
Suppose 0 = -0*r + 12*r + 2664. Let h = 216 + r. Is -6 greater than h?
False
Let t = -159739917/2906 + 54969. Which is smaller: 0 or t?
t
Let l = -3366 + 3367.1. Which is smaller: l or 69?
l
Let f = -1589/6 - -7963/30. Which is smaller: f or -21.8?
-21.8
Let y = -247 - -246. Let d be (-3047)/(-154) + y/(-2). Which is smaller: 20 or d?
20
Suppose 0 = 148*t - 770 + 15570. Which is smaller: -1302/13 or t?
-1302/13
Suppose 4*f + k + 10643 = 0, 14*f + 10625 = 10*f + 5*k. Which is smaller: -13302/5 or f?
-13302/5
Let v = 51 - 50.991. Let a = v + -2.709. Let k = a - -1.7. Which is smaller: 3 or k?
k
Suppose r - 3*g = 77, -r + 183 - 141 = 4*g. Suppose 3*l + 2*s = 4 + 190, 2*s = 2*l - 116. Is l at most r?
True
Let o be -13*-4*2236/(-32)*-2. Let v be -3 - o/(-53) - 2. Let n = v - 132. Are 0 and n nonequal?
True
Let f(l) = l**2 - 3*l - 50. Let g be f(-4). Let x = g - -16. Is -6 less than x?
False
Let b(o) = -o**2 - 6*o + 238. Let n be b(-18). Suppose 29*a + n = 27*a + 5*l, -l = 4*a. Does 1/158 = a?
False
Let i(w) = -w**3 + 32*w**2 + 37*w - 127. Let l be i(33). Suppose 5*p + l - 6 = n, -3*n - 3 = -4*p. Which is smaller: -1/1219 or p?
-1/1219
Suppose d = -d + 4. Let g be d/(-5) + (-798)/(-1520). Which is bigger: g or 2.5?
2.5
Let z be -3 + (18/(-40))/((-24)/64). Let c = 5 + -5. Suppose c = -2*b - 5*i - 16, 4*b + 2*i = -25 + 9. Is z > b?
True
Let y be (-90)/(-12)*(-34)/3. Let x(u) = -u**2 + 9*u + 10. Let g be x(8). Let p = -67 - g. Is p greater than y?
False
Let g = 1238 - 1238.411. Are g and -2 equal?
False
Let v = 9792 - 9800. Which is bigger: 236 or v?
236
Let q = -288.02 - -0.02. Let k = q - -280.7. Is k greater than 1?
False
Let w = 9784/161231 + -12/217. Let k = 3463/46809 + w. Let b = k - 718/315. Is b at most as big as -2?
True
Let a be ((-693)/28)/((-2)/(-4) + (-7)/12). Is 297 < a?
False
Suppose 38*w + 152 = 33*w + 6*k, 5*k + 75 = -5*w. Do w and -33 have the same value?
False
Suppose 4*u - 3 = 9. Let d be (u - 1)*(-22)/20. Suppose 7*j - 3*t = 3*j - 23, -2*t + 14 = -2*j. Are d and j nonequal?
True
Suppose 0 = 3*j - 2*w, 0 = j + 5*w - 15 - 2. Let k be 13/15 + (-31)/(930/(-4)). Is j bigger than k?
True
Let w = -1510 + 2953/2. Let r = -199/6 - w. Which is smaller: r or 0?
0
Let h be 15552/576 + 1351/(-50). Let d = -59/2 - -29. Is d greater than or equal to h?
False
Let o be 4/(-16) + (-714)/(-8) + -1. Suppose -5*h + 185 = -5*f, 5*f - o = -5*h + 3*h. Let r be h/(-26) + (-5)/(-2). Which is smaller: -8 or r?
-8
Let d(s) = s**2 - 2*s - 1. Let t be d(2). Let m = 29975.8743 - 29979. Let r = -0.1257 - m. Is t greater than or equal to r?
False
Suppose 0 = 2*q - c + 21 + 21, 23 = -q + c. Let x be 7 + -8 + (-4)/32*-8. Let z = q + x. Is z smaller than -20?
False
Let k(z) = -3*z**2 - 6*z - 11. Suppose 10 = -5*v + 5*n, -4*n - 18 = -2. Let l be k(v). Is -87 at most l?
True
Let l = -588404/3828696767 + 18/89747. Which is greater: l or 0?
l
Let j = 94 - 43. Let h = -51 + j. Which is greater: h or -2/223?
h
Let s be -12*(1 + (-207)/27). Let z be (1 - s/15)/(2/36). Which is greater: z or 0?
0
Suppose 137*j - 22298 = -79603 - 111205. Which is smaller: 0 or j?
j
Let g be (-3304)/478 + 15 + (-3 - 5). Which is smaller: 1 or g?
g
Let z = -8250 - -18479. Which is bigger: 10228 or z?
z
Let y(k) = -724*k**3 - 13*k**2 - 10*k + 20. Let z be y(2). Which is greater: z or -5843?
-5843
Suppose -50*q - p = -55*q - 330, 3*q - 5*p = -198. Which is greater: q or 11?
11
Let i be 8/68 + (-5 - 4685/85). Let n be i/8*(-408)/36. Is 84 at most n?
True
Let k(c) = -c**3 + 5*c**2 + c - 6. Let o be k(5). Suppose 0 = -4*m - z - 30, -3*m + 5*z = -4*m - 17. Let h be (1/m)/((-2)/(-7)). Which is greater: o or h?
h
Let c = 741.945 + -739. Let z = 0.055 + c. Let l = 51 - 46. Which is greater: z or l?
l
Let p be (0 - 16/20)*(-18 - -13). Suppose 2*n = 2*u - 122, -8*u + 126 = -6*u - 3*n. Let r = u + -107/2. Are p and r equal?
False
Let m be 10 - ((-136)/(-8) - 1). Is m greater than or equal to 0.116?
False
Suppose -12080 - 14276 - 15944 = 225*t. Which is smaller: t or -195?
-195
Let h(p) = -p**2 + 2*p. Let w be h(1). Let k = -7585/11578 - 108/827. Which is smaller: w or k?
k
Let u be (-1 + -11)*(-1)/2. Let r(l) = l - 7. Let j be r(u). Let t = -19320 - -405728/21. Is j at most t?
True
Let y(q) = 596*q - 1777. Let p be y(3). Suppose 0*d - 56 = -4*d. Which is smaller: p or d?
p
Let m be (70/12)/7 + (-8)/(-45 + -3). Let r = -4 + 6. Let g be ((-8)/52)/(1*r). Which is bigger: m or g?
m
Suppose -29*m + 3*q - 19 = -30*m, -4*m = -q + 2. Is m < 14/3631?
False
Let s = 2250/7 + -2248/7. Which is smaller: s or 1734?
s
Let z be (-3)/(-14) + (-285090)/1585220. Which is bigger: z or 1?
1
Let f = -249.9743 + -0.0257. Let p = f - -236. Let d = 29/12 - 11/4. Do p and d have the same value?
False
Let g = 1.6056 - 1.6. Let h = -385957/2 + 192978. Which is bigger: g or h?
g
Suppose -4*s + 3*w = 4451, -3336 = 17*s - 14*s - 3*w. Is s less than or equal to -1109?
True
Suppose 4*z + 10 = o, 2*z + 0*z + 5*o = 6. Let m(i) = -i - 9. Let b be (3/6)/((-1)/24). Let n be m(b). Are z and n non-equal?
True
Let n be -2689 + 5 + -1 + 5 + -12. Which is greater: n or -2691?
-2691
Let a = -307159530/6641 - -46252. Are 0 and a unequal?
True
Let a = 69/206 + -413239/1232498. Does -1 = a?
False
Let u be 60/160 - (-714)/16. Let p = u + -47. Let j(w) = -w**3 - 9*w**2 - 9*w - 11. Let r be j(-8). Is r > p?
False
Let n = -31141/7 + 4449. Does n = 3/586?
False
Let h be -3*4/12*46. Let v = h + 38. Let i be ((-84)/v + 4)*-2. Are i and -30 unequal?
True
Let u = 5.45 - 5.552. Let x = 2.102 + u. Let f = 6 - 4. Does x = f?
True
Suppose -32917 = 43*a + 1225. Is -795 bigger than a?
False
Let d be 6 + 10/3*(-612)/210. Suppose -2*n = -0 + 20. Let o = n - -5. Is o at most d?
True
Let p be 6/4*342349804/204. Let d = p - 2516979. Let s = d + -299. Is s at least as big as 0?
False
Suppose 2 = 11*g - 19*g - 6. Is g bigger than -28/45?
False
Let i be -271*(0 - 0 - (-28)/(-28)). Let f = i + -257. Is 15 at most f?
False
Let a = -11307 + 11480. Which is bigger: -8 or a?
a
Suppose -15*g - 14 = -8 + 24. Let p(t) = -30*t**2 - 2*t - 1. Let q be p(-3). Let j be g*((-4)/(-22) + q/1155). Which is greater: j or -1?
j
Let n = 99.84 + -3.84. Are n and -0.1 equal?
False
Let j = -372.2 + 372.1. Is -