 m = 5 + -1. Let j be (-1)/m*-2*-2. Suppose -2*q - 21 = 5*l, 15*l + 10 = -5*q + 11*l. Which is greater: j or q?
q
Let n be (-46060)/(-60) - (-34)/(-51). Do -0.3 and n have the same value?
False
Suppose 3*c = a - 2*a + 17, -2*a + c = -6. Suppose -2 = -2*d + 4*u - 10, 0 = a*d - 4*u + 8. Suppose 3*n = p - 24, d*p + 59 = 3*p + 4*n. Is 21 > p?
False
Let r be (-10)/(-5) - 969*(-16)/104 - -7. Does r = 158?
False
Let s(r) = 15*r**2 - 434*r + 94. Let x be s(29). Which is bigger: 745/6 or x?
745/6
Let c = 262 - 157. Let g = 98.896 + 0.104. Let y = g - c. Which is greater: y or -0.03?
-0.03
Let d = 61 + -98. Let q = 162 + d. Let i be 3*(q/(-30) + 4). Which is smaller: 0.11 or i?
i
Let v be ((-6)/(-4) - (-186)/(-120))/((-2)/(-12)). Which is smaller: v or -2/215?
v
Let x = 1.06 + -0.06. Let h = -3.64 + 0.74. Let p = h + 4. Is p <= x?
False
Let b be (-12 + -2)*-1 + 2 + -1. Suppose -10*m = -5*c - 9*m + 9, c + 4*m = -b. Let l be (-3)/276 + (1 - 1). Is c at least as big as l?
True
Let z = -365 - -846. Let u(j) = j**3 + 58*j**2 - 11*j - 158. Let x be u(-58). Are x and z non-equal?
True
Let h be (-2)/13 - (-540)/468. Which is greater: 2/81025 or h?
h
Let r(j) = 15*j + 81. Let m be r(-7). Let a = -863453/37310 + -1/5330. Which is smaller: m or a?
m
Let h be -3 - -2 - (188/56 - 5). Let k = 14 + -12. Suppose -u + 4 - k = 0. Which is greater: u or h?
u
Suppose 5*g + 1 - 6 = 0, 3*x + 4 = 4*g. Suppose x = 3*q + 2*b + 17, 13 = q - 2*b - 2*b. Suppose -4*l - 4*p - 5 = 23, p = -3*l - 17. Which is smaller: q or l?
l
Let a be (-2)/(4*5/(-30)). Suppose 30 - 18 = -a*i. Suppose 4*h + 13 = 1. Which is bigger: i or h?
h
Suppose -12*b - 5924 - 1121 = 1055. Is b bigger than -675?
False
Let c(z) = -29*z - 247. Let w be c(-8). Let p(n) = -n**2 + 11*n + 7. Let j be p(10). Let b be (j/4)/((-7)/28). Is b >= w?
False
Suppose -2418*c + 2326*c - 721 - 4247 = 0. Let s = -48 - 5. Is c greater than s?
False
Let r be (-129)/(-17) + (-2184)/273. Which is greater: -3/2 or r?
r
Let r(z) = 6*z - 39. Let k be r(8). Let m be k*-6*(-3)/27. Let o be ((-8)/(-6) - 4)/(2/m). Which is smaller: o or -33/5?
o
Let p = -3244.8 - -3646. Let r = p - 437. Let f = -35 - r. Which is smaller: 2 or f?
f
Let r(z) = -4*z**3 + 167*z**2 + 40*z + 84. Let d be r(42). Which is smaller: d or -1/17?
-1/17
Suppose 0*q + 5*n - 1770 = 4*q, 4*n - 448 = q. Let h = 8362/19 + q. Let u = -86 - -86. Which is bigger: u or h?
h
Let c(g) = -2*g**3 + 11*g**2 + 3*g + 122. Let w be c(-9). Is 2446 smaller than w?
False
Let q be 5/(-5 - 0)*27. Let w(a) = -a - 35. Let v be w(q). Suppose p - 6*p + 3*n = 52, 2*p - 4 = -5*n. Is p greater than or equal to v?
True
Let p = 237 + -233. Let v be (2 + p + -3)/(18/402). Which is smaller: v or 65?
65
Let u be (3 + 2 + -5)/3. Suppose u = 14*g - 3 + 17. Is g less than -5/6?
True
Let t(g) = 2*g**2 + 18*g - 66. Let s be t(3). Let k be (-370)/s - (-18)/12*-2. Which is smaller: -65 or k?
-65
Let a be -17 + 14 + (-173)/(-34). Let f = 11235/5372 - a. Is 1 equal to f?
False
Let r be (-3 + (6 - 2))/(-4). Let s = 11936702828/85 - 140433371. Let p = -1573 - s. Do r and p have different values?
True
Let i = -4072.3 + 4072.2. Which is bigger: 17016 or i?
17016
Let o = 14027 - 13959. Which is smaller: 8 or o?
8
Let s(q) = q**2 - 10*q + 18. Let o be s(8). Suppose 3*j = 31 + o. Suppose -j*b = -5*b. Which is smaller: 1 or b?
b
Let y be (8 - (255/20 + -1))/((-18)/2708). Is y not equal to 564?
True
Let k = 34249 + -34249.8. Which is smaller: 154/9 or k?
k
Let i = -2504 + 2505. Is 9/139 < i?
True
Let r be 328306*(-6)/(-1704) + 6. Let j = -1162 + r. Are 1 and j equal?
False
Let u = 8.1 + -3.5. Let a = u - 2.6. Is a >= -41?
True
Let s = -205 + 218. Let i be 234/s + (-3 - -2). Is i <= 22?
True
Let w be 2/(-7) - (-24)/(-14). Suppose -11*y = v - 9*y - 1, 5 = v + 3*y. Are v and w non-equal?
True
Let z = 28 + -32. Let t be ((-98)/7 - -8) + 5. Is t != z?
True
Let u(b) = 19*b - 682. Let l be u(10). Which is smaller: l or -5402/11?
l
Let p = -1.0527 + -2168.9473. Is 0.3 at most p?
False
Suppose -7*d + 8*d = 3, -4*q - 6 = -2*d. Is q less than 893/2?
True
Let g(p) = -p + 2. Let w be g(-6). Let u be ((-3)/(-2))/((-6)/w). Let b = -15215 - -15232. Is b bigger than u?
True
Let k(s) be the second derivative of -s**3/6 - 2*s**2 - 3*s. Let o be k(-3). Let l = 97/12 - 2789/348. Which is smaller: l or o?
o
Let g be (60/6)/(-90)*3 - 1/(-3). Is -2/625 greater than g?
False
Let x = 98 - -68. Let k = -170 + x. Let r = -139/5 + 23. Is k < r?
False
Let z = -484 + 427. Let t = -58 - z. Which is smaller: 1/237 or t?
t
Let t be 8125 + 4/(-3)*-3 + 1. Suppose 0 = -6*p - 24*p + t. Is 271 <= p?
True
Suppose 6*c - 2*c = 3*s - 396, -s = -4*c - 388. Suppose 2*l - 286 = 5*l + d, -3*d - 98 = l. Which is smaller: c or l?
c
Let m = 172.1 - -35.9. Let o = -211 + m. Which is smaller: o or -15?
-15
Let f(l) = 59*l + 3. Let h(m) = -119*m - 7. Let p(w) = 5*f(w) + 2*h(w). Let x be p(-1). Let t = x + 92. Which is greater: t or 69/2?
t
Let i(c) = -c**3 - 4*c**2 + c + 15. Let n be i(-9). Suppose 3*j - n = -21*s + 18*s, 0 = -j + 2. Is s smaller than 135?
False
Let x be (0 - ((-704)/12)/(-8))*45. Let z = 329 + x. Let f be 2/2*(-6)/(-23). Are f and z non-equal?
True
Suppose 0 = -3*d + n + 123 - 206, 0 = -4*d - 4*n - 84. Is d greater than -9?
False
Let m = 0.49 + -70.69. Is m bigger than -2?
False
Suppose -2*o = 4, 2*o = -2*n - 59 + 3. Let f = -888 - -934. Let x be f/23 + (-116)/4. Is x not equal to n?
True
Let v be ((-34)/(-12291))/(235/(-15)). Is v <= 1?
True
Suppose -173*s = -184*s + 6864. Let r = -625 + s. Which is greater: 2/255 or r?
2/255
Let f be 4/(-8)*(-12)/24*131. Which is greater: 34 or f?
34
Let o = 6487929/337 - 19252. Is -1 greater than or equal to o?
False
Let x(a) = 5*a**2 + a + 18. Let z be x(4). Let o = -92 + z. Suppose 32 = -2*d + o. Is -11 <= d?
True
Let b(l) = -28*l - 20. Suppose 0 = -3*i - 4 - 11. Let y be b(i). Suppose 6*s + 0*s = y. Is 20 smaller than s?
False
Suppose -39*p = -44*p + 100. Suppose 0 = b - 4*l + 6 + 11, -l + p = -b. Let g be 10/(-35) - 6/b. Are 2/61 and g nonequal?
True
Let b be 5/(-10) + 5181/14040. Let s = -9/104 - b. Is 1 equal to s?
False
Let t(i) = 38*i**2 + 9*i + 9. Let v be t(-2). Suppose -4*s + 116 = 2*n, -6*s + s - v = -2*n. Is n at most 64?
True
Let a(g) = -16*g**2 - 2*g - 1. Let y be a(-1). Let v be 6/y - (-358)/(-30). Let u be 6/18*(-33 + -6). Which is greater: v or u?
v
Let y(j) = 5*j**3 - 3*j**2 + 2*j - 1. Let f be y(1). Let i be -1*(-6)/f + 50. Suppose -53 + i = -d. Do d and 5/7 have the same value?
False
Let d be (-3032)/386 + -9 + 17. Is -1 at most as big as d?
True
Let n = -0.211 - 23.789. Let o = n + 24.4. Is -3.4 equal to o?
False
Let l be (-83)/(-1)*(-2)/2. Let m = -82 - l. Let q be m + (15/30)/(2/(-112)). Are q and -26 unequal?
True
Let s = -34 + -2. Let o = -32 - s. Suppose 5*q = q - o. Which is smaller: q or -9/8?
-9/8
Suppose -121*a = -113*a - 1544. Suppose 0 = -5*o + 1087 - 117. Is o bigger than a?
True
Let p = -278 + 321.2. Let q = p - 44. Which is greater: q or -0.05?
-0.05
Let x(o) = -o**3 - 30*o**2 - 4*o + 48. Let g be x(-12). Which is greater: g or -2495?
-2495
Let v be 34/(-48) + 570/1520. Which is smaller: 47/2 or v?
v
Let a be 2461/161 + ((-2)/7 - 0). Let q be (-2*(-214)/(-4))/(6 - 5). Let m = 124 + q. Which is smaller: m or a?
a
Let j be (85/(-425))/((-4)/5). Is j equal to -12164?
False
Let r = -116 + -178. Is r less than or equal to -1?
True
Suppose 13*s - 5*s - 160 = 0. Let p(n) = 2*n + 34. Let l be p(s). Which is smaller: 73 or l?
73
Let c = 641 + -305. Let x be (2 - 1)/(342/c + -1). Is x at least as big as 56?
True
Let x(l) = 7*l - 4*l + 0 + 3 + 4*l**2 + l. Let s be x(-1). Let o be (-2)/(-8)*(-15 + s)/3. Is o greater than 4/19?
False
Let m be ((-15)/(-10))/((-186)/900 + 8/(-60)). Are -3 and m non-equal?
True
Let c(o) = 36*o + 6. Let g(h) = -71*h - 13. Let b(q) = 7*c(q) + 4*g(q). Let k be b(-1). Is 18 smaller than k?
True
Suppose -94*u - 726 = 2376. Is -133 less than or equal to u?
True
Let i = -333 + 353. Suppose 3*n + 9 = -q, i*n + 2*q + 9 = 17*n. Which is bigger: n or -24/7?
n
Let g be -1 - -1*(4 - -5). Suppose -g*i + 12*i + 28 = 4*j, -3*i - 2*j = 6. Is -19/5 smaller than i?
False
Let q = -143/8 + 18. Suppose 43*p - 41*p - 36 = 0. Suppose -3*z + 2*y = -3*y - p, 7 = z - 2*y. Is z greater than