et r be ((-18)/4*74/6)/(51/3536). Which is smaller: -3845 or r?
r
Let h be (7 + 608/10)*28/9*3. Which is bigger: 633 or h?
633
Let l = -21608 - -23484. Which is smaller: l or -0.7?
-0.7
Let q be (56/(-10))/(28/13650). Are -2730 and q non-equal?
False
Suppose 3*f + 4*b = -186 - 133, -2*b = 2. Suppose -10*j + 28*j + 19*j = -3848. Is f at most j?
True
Let k = -0.0547 + 1.6847. Let o = k - 1.73. Which is bigger: 299 or o?
299
Let k be 2*-1 - (-13 + 13). Let t be (((-84)/18)/7)/(k/(-3)). Let c = -1046 + 21970/21. Is t > c?
False
Suppose -145*n = -164*n + 5263. Suppose 4847 = 28*l - n. Is l at most as big as 183?
True
Let x = 18.22549 + -56.38417. Let n = 0.04868 + x. Let c = 38 + n. Which is smaller: -2 or c?
-2
Let y be (1 + 30/(-4))/(28/(-560)). Suppose -3*k = n - y, -70 = -k + 8*n - 3*n. Which is smaller: 44 or k?
44
Suppose -p + 215 + 77 = 0. Suppose -252*c = -253*c + p. Is c <= 292?
True
Let v be -48*(-1)/(1 - -2). Let m(h) = h**2 - 14*h - 28. Let n be m(v). Suppose n*p - 3*p = 0. Do p and 68 have different values?
True
Let f = 268 - 208. Let t be ((-12)/130)/(12/f). Which is smaller: -0.11 or t?
t
Suppose 4*w - 156 = -3*c, -4*c + 13 = 2*w - 65. Suppose 7*z - w - 129 = 0. Suppose -z = 2*s - 14*s. Is s > 5/2?
False
Let f be 15*(-51)/(-85) + (-1037)/115. Let b(x) = -x - 5. Let u be b(-5). Which is greater: u or f?
u
Let o = 3 + -8. Suppose 4*z - 8 = 0, -5*z = 5*h - 0 - 50. Let v be h/1*217/(-186) + 3. Do o and v have different values?
True
Suppose -3*p + 5*t + 137 = p, -4*t = 2*p - 62. Let m(h) = -16*h + 2. Let x be m(-2). Which is greater: x or p?
x
Let o = -824788045/150514 - 182037/1654. Let y = -5590 - o. Let t = 472/819 + y. Is 0 >= t?
False
Suppose 2*z = -3*n + 5*z, 0 = -4*n - 2*z + 18. Suppose -8*d + 2*m + 5 = -n*d, 5*d = -2*m + 5. Do -257 and d have the same value?
False
Suppose z = 5*z - 28. Suppose 0 = -5*x + 3*b + 29, -12*x - 3*b + 27 = -9*x. Is x less than or equal to z?
True
Let d = 49679/8 - 6210. Which is bigger: d or 1/80?
1/80
Let o = -606 + 660. Let w be (o/8)/((-108)/(-144)). Let y = 2190 + -10906/5. Are y and w nonequal?
True
Let k = -9165 + 9183. Are -2/353 and k unequal?
True
Let x = 5.12533 + -19.12533. Let h = 0.06 + 1.54. Which is bigger: x or h?
h
Let p be (-14)/26*-4 - 2314/15041. Suppose -2*v - 5*j + 30 = 0, -5*v - j + 56 = 2*j. Suppose 0 = 5*q + 4*b + 9 + 71, 0 = p*b - v. Are -20 and q non-equal?
False
Let g = 101644474/49 + -2074870. Let i(f) = -165*f + 2. Let o be i(3). Let h = o - g. Is 1 smaller than h?
False
Let w = -78 + 78.98. Let s = w + -1.98. Is s not equal to 108?
True
Suppose 236*l = 90*l - 1529 - 9713. Which is bigger: l or -20?
-20
Let w(k) = -k**3 + 8*k**2 + 8*k - 10. Let m be w(8). Let u = 54 - m. Let y = 10 - 5. Which is greater: u or y?
y
Let t = -6.6858 + 8.4858. Suppose -4*w + 2 = -2. Which is bigger: w or t?
t
Let u be (-3)/((-3890250)/1236688) + (-4)/(-6). Let j = u + -1186/741. Let z = -1/250 - j. Which is smaller: z or 0?
z
Let d be 429/(-2)*4/2. Let k = -13729/32 - d. Let q(a) = 3*a**3 + 12*a**2 + a + 3. Let c be q(-4). Is c less than k?
True
Suppose 0 = -5*g - n + 10, -3*g = 5*n - 3*n - 6. Let j be 22 - (-9 + 21) - (-522)/(-60). Which is smaller: g or j?
j
Let x(u) = u**3 - 3*u**2 - 6*u + 13. Let n be x(4). Suppose 3*p + 5*j + 170 = 0, -5*p = n*j + 234 + 36. Let l be (3 - 0)/60*(-8)/p. Are l and 0 unequal?
True
Let s be 108/(-6777)*(23/(-4) + (7 - 2)). Let z = -1 + 0. Which is smaller: s or z?
z
Let k = 5670 - 5594. Is -13/8 not equal to k?
True
Let u be 2*2/4*1. Let t = -96237/26081132 + -1/48388. Is u smaller than t?
False
Let y = -0.0222 + -0.1978. Which is smaller: 2 or y?
y
Let s = -877 + 888. Let q be 1 + (-75)/63 + (-11)/(-33). Which is bigger: q or s?
s
Let s = 6.71 + 0.09. Let q = s + 36.2. Let t = 43 - q. Are t and 3.6 unequal?
True
Suppose 0 = 49*m - 46*m - 9. Suppose -4*j + 2*h - 6 = -0, j = -h + m. Is j bigger than -2/15?
True
Let h be 2/(-4)*(-36)/1. Suppose y = -5*y + h. Let o be ((-1)/(-33))/(5/y). Which is smaller: o or 1?
o
Let f be 51/(-30)*(-490)/49. Which is bigger: 16 or f?
f
Suppose 4*p + 2*l = l + 5, 5*p + 15 = 3*l. Is 0.0785 >= p?
True
Suppose -134*v - 36 = -131*v. Let a(r) = -4*r**2 + r + 4. Let c(i) = -i**2 + i + 1. Let x(j) = a(j) - 3*c(j). Let w be x(-5). Is w greater than v?
False
Let w = 0.5 - 0.4. Let i = -70 + 187. Let h be i/180 - (-1)/10. Is h equal to w?
False
Let t(c) = 2*c**3 + 51*c**2 + 63*c - 311. Let q be t(-24). Which is greater: q or -91?
-91
Suppose 2*b + 11*b - 52 = 0. Let v be -1 - (-6)/b*(-2 + 4). Suppose 0 = -4*c, 5*u + v*c = u. Which is bigger: 2/57 or u?
2/57
Suppose -5*z - 4*s - 1337 = 1617, 2*z + 1148 = 4*s. Is z >= -587?
True
Let s be 158/13 + 8/(-52). Let a = 388 + -379. Which is smaller: a or s?
a
Let t be 1/(-2) + 35/22. Let f = 406 + -406.787. Let o = -2.787 - f. Is t equal to o?
False
Let w = 2901 + -2847. Which is smaller: w or 0.24?
0.24
Let k = 86 - 66. Suppose -16 = k*o - 24*o. Suppose -27 = h - o. Does h = -23?
True
Let w = -474 - -362. Which is greater: -102 or w?
-102
Let u = 11 - 20. Let d be 3/u + (-12)/(-9). Let r = -0.94 + 0.84. Which is bigger: d or r?
d
Let j(o) = -o**3 + 54*o**2 + 4*o - 232. Let t be j(54). Is t at least 204?
False
Let q(k) = 35 + 617*k + 619*k + 613*k - 4 - 1843*k. Let t(o) = -2*o + 1. Let j be t(3). Let h be q(j). Is 1/3 bigger than h?
False
Let j be (-180)/75*(-2230)/(-4). Are j and -1336 nonequal?
True
Let b be 66/495 - (-4318)/31485*-1. Are -1 and b non-equal?
True
Let k = 62 + -60. Suppose -5*u + 3*u - k = 0. Which is smaller: u or -1/218?
u
Let h = -10545.92741 + 10546. Is h greater than -0.1?
True
Let s(j) = j**3 - 4*j - 1. Suppose -3*i - 2*q + 16 + 32 = 0, -69 = -3*i + 5*q. Suppose -3*z = -12 + i. Let p be s(z). Is 0 at most p?
False
Let z(c) = -c**3 + 7*c**2 - 11*c - 2. Let q be z(8). Let r = 3266 - 3419. Is q greater than r?
False
Let z = 20.0191 + -1.5381. Let a = 0.519 + z. Does a = 1/4?
False
Let k be ((-34)/(-9758))/((-20)/(-55)). Is 1 greater than or equal to k?
True
Suppose -a + 24 = 5*r, 0 = 3*r - 2*a - a. Suppose 4*m - 12*g = -14*g - 78, -2*m = -r*g + 14. Do 7 and m have different values?
True
Let u = -2.0763 - -0.0763. Is u bigger than 169?
False
Let m(o) = -2*o**3 + 13*o**2 - 20*o + 26. Let k be m(5). Which is bigger: -2/1325 or k?
k
Let p = 2 + -2. Let q = -924/25 + 29/25. Let t = q - -36. Which is greater: t or p?
t
Let j(k) = -k + 3. Let c = -16 - -34. Let z be 86/c + 5/((-135)/(-6)). Let x be j(z). Which is smaller: x or -4/5?
x
Let u = 856 - 856. Let i be (-8 - -2)*(-6)/2172. Which is smaller: u or i?
u
Let w be 0 + (195/(-2))/(-3). Suppose 25 = 15*x - 672 + 217. Let k = w - x. Which is bigger: k or 2?
2
Let l(o) = -112*o**2 + 34*o + 11. Let t be l(-10). Let x = t + 57306/5. Which is greater: x or -68?
x
Let s = -43274/245123 - -1/14419. Suppose 12 = -5*r + r. Let k = r - -3. Which is smaller: s or k?
s
Let y be (-1865 - -1877)/((-6)/1552 + 0). Is -3100 at most as big as y?
False
Suppose 63897 + 125914 = 54*g - 40013. Which is greater: 4257 or g?
4257
Let s be ((-7)/(-98))/(1/4). Let r = -692 + 691.95. Is s less than r?
False
Let f(q) = q**2 - 2*q + 1. Let j be f(2). Let o(s) = -s**2 - 13*s - 42. Suppose -4*c - 5*i - 11 = 42, -5*c - 4*i = 55. Let k be o(c). Is k greater than j?
False
Let i = 642 - 343. Suppose 139 = -g - 0*g + f, 5*f = -2*g - i. Is -143 < g?
True
Let o = 0.287 - -0.013. Let u(d) = -2*d + 16. Let q be u(9). Which is bigger: o or q?
o
Let r(v) = -v**3 + 11*v**2 + 50*v - 312. Let p be r(13). Is p less than 3/2696?
True
Let s be 1755/(-180)*8/309. Let u = -161/2678 - s. Is u at least as big as -1?
True
Let m(n) = 5*n + 46. Let b be m(-9). Let x be (27 - 22) + 270/(-85). Which is bigger: x or b?
x
Let p = -7836511/1764 + 188839/36. Suppose -171 - 2238 = -3*l - 4*v, v = 4*l - 3212. Let a = l - p. Which is bigger: 1 or a?
1
Let p be (3/(-1) - -311) + 6. Let l = -117 + p. Is l at most as big as 1?
False
Let z = 133 + -133.33. Let d = -0.352 - 1.648. Are z and d nonequal?
True
Let y be (-4)/1 + (-46)/23. Let a be 1*(3 + 10/(-4))*y. Which is greater: 1 or a?
1
Suppose 258 = -27*d - 467 - 1948. Do -98 and d have the same value?
False
Let m be ((-8)/1674)/(2/3). Let a(d) = -8*d**2 - 6*d + 2. Let u be a(-1). Which is bigger: m or u?
u
Suppose -986*i + 981*i = -1425. Let