*a + 22*a + 18. Suppose a*h = -17*h - 19. Is -3/46 greater than h?
True
Let z = 338 + -314. Let r = 18 - z. Let t be 70/(-49) - 1*-2. Which is smaller: t or r?
r
Suppose -4*a - 174 = -5*x - 7*a, -4*a + 12 = 0. Suppose w = -5*k - x, -4*w = -5*k - 2*w - 39. Let n = 1 + -5. Which is smaller: k or n?
k
Let q(f) = f - 12. Let b be q(8). Let c = 117 - 56. Let g = 58 - c. Which is bigger: b or g?
g
Suppose 20 = q + 5*l, 0*q + l + 22 = 5*q. Let x(r) be the second derivative of r**5/20 - r**4/2 + r**3 + 3*r**2/2 + 1343*r. Let y be x(q). Is 10 >= y?
True
Let u(i) = -18*i**2 - 5728*i - 1272. Let t be u(-318). Let h be 1/(2/(-276)) + 0. Is h at most as big as t?
True
Let u be 7/14*(-557 - -2 - -1). Is -277 <= u?
True
Let l be 2 + (-51)/(-12) + (-6)/24. Suppose -30 = l*j + 18. Let s be 6/j*(-8)/10. Is s less than 1?
True
Let x = -87 - -72. Let z = -10 - x. Suppose 1 = -6*y - z. Is y at least 2/49?
False
Let d be 91475/35 + 2 - (-27)/63. Which is smaller: 2617 or d?
d
Let d be (-5)/15 - 286/(-930). Let v = -2222/2015 - d. Let j be ((-3)/(-2))/(6/(-8)). Which is smaller: v or j?
j
Let a(q) = -259*q**2 + 206*q + 416. Let s be a(-2). Which is smaller: -1034 or s?
-1034
Suppose 408*d = 2*f + 405*d - 59142, -5*f = 4*d - 147809. Is 29566 at most f?
False
Suppose 0 = -168*p + 203*p - 61985. Is p not equal to 1772?
True
Let d = 257252 - 257253. Let v be (-1)/3 + (-246)/(-734). Is d smaller than v?
True
Suppose 0*n - 32 = -8*n. Suppose n*v + 26 = 5*y, -2*y - 5*v - 18 = -y. Let x = 62 + -794/13. Is x greater than y?
False
Let r = -99 + 71. Let i be (31/3)/(r/21). Let k = -22 - -13. Is i equal to k?
False
Let d be 1/(-3)*-2 - (-20)/(-15). Let x = 52 - 51.908. Which is smaller: d or x?
d
Let t be ((-13)/(260/(-3288)))/(858/440). Is t less than 83?
False
Suppose -2*j - 77 = 73. Let c be ((-64)/(-10))/(10/j*-3). Let w be c/(-34) + ((-1)/(-1))/2. Do w and -1 have different values?
True
Let i = -3447 - -58556/17. Let l = i + 40/17. Let c = 289 + -290. Which is bigger: l or c?
l
Let c(g) = g**3 - 3*g**2 - g + 9. Let a be c(0). Let s be a/(-6)*(3 + (3 - 4)). Which is greater: s or -31/9?
s
Let p(h) = -h**3 + 5*h**2 - 4*h. Let r = 101 - 99. Let j be p(r). Let n be 22/5 - (3 + -3 + j). Which is bigger: n or -1?
n
Let x = 55 - 9. Let w = -194760.8 + 194761. Is x > w?
True
Let p be 1*((-1 - -2) + 8 + -9). Suppose 21*u - 20*u + 1 = p. Is -4/127 at most as big as u?
False
Let h = 2786695/6958 + -8/3479. Which is smaller: 402 or h?
h
Let z = 6374.8 + -6375. Let q be (-57)/(-36) - (-2)/(-8). Which is smaller: q or z?
z
Let r(h) = h**2 - 2*h + 3. Let x be r(2). Suppose 3*v + 6 = -x*b, 3*v + 3*b = v - 8. Suppose 2*l = 16, -33 + 9 = -4*u - 2*l. Is v greater than or equal to u?
True
Let m(z) = 3*z**2 + 8*z - 21. Let o be m(-5). Suppose 34*k + o = 35*k. Which is bigger: k or 7?
k
Suppose 344 = 6*z - 388. Suppose 0 = -11*u + 7*u - n + 279, -2*u - 4*n + z = 0. Suppose -3*s = -4*b - 220, 4*s + 5*b - 37 = 246. Which is bigger: s or u?
s
Let d = -709 + 1141. Let q = d - 431. Let l = 4243/15 + -283. Is q greater than or equal to l?
True
Let j = -708/1885 + 10/29. Let g = 466/65 - j. Is g at least 6?
True
Suppose 149*d = 60*d + 237897. Is d at most 2673?
True
Let c be ((-1444)/57)/(2/9). Let u be ((-6)/(-4)*1)/(33/2266). Let r = u + c. Are r and -11 nonequal?
False
Let i be -596*(-15)/20 + -1. Let v = 414 - i. Which is smaller: v or -30?
v
Let q(y) = -13*y**2 + 81*y - 20. Let g be q(6). Let m = 7 - 5. Suppose -5*l = 0, 0 = -s - m*s + 2*l. Are s and g non-equal?
True
Let a = -989 + 1002. Let k(q) = -3*q**2 + 44*q - 80. Let v be k(a). Does v = -210/13?
False
Let g = -48 - -236. Let r = g - 302. Is -115 less than r?
True
Let b = -328 - -438. Which is smaller: 95 or b?
95
Let u = -9.178 + 9.3. Let w = u - 0.022. Are w and 30 nonequal?
True
Let q be (-364)/(-18) + (-8)/36. Let b = 273 - 273.1. Which is bigger: q or b?
q
Let v be (546 - 223)*4*-1. Which is bigger: v or -1293?
v
Let h be (-63)/10*(-48)/(-18) + 5. Are h and -6 unequal?
True
Let b = 9486.01672 + -9486. Is b > -0.1?
True
Let o be (-20)/(-160) + 8811/(-24). Let g = o - -1467/4. Is g equal to 71?
False
Let k(p) = -p**3 + 13*p**2 - 29*p + 377. Let i be k(13). Is i at most -3544?
False
Let y(g) = -2*g**3 + 2*g**2 + 5*g - 4. Let d be y(3). Let x = -204 - -185. Let z = d - x. Is z less than 0?
True
Suppose 7*y - 94 = 60. Suppose 207 = -4*q - 5*l, -265 = 5*q - y*l + 27*l. Is -54 greater than or equal to q?
True
Let s = -5154 - -5146.858. Let m = s - 26.92. Let t = -0.062 - m. Which is bigger: t or -1/3?
t
Let u = 0.0556 + 32.6844. Let y = 1272 - 1305. Let g = y + u. Which is smaller: g or 1/4?
g
Suppose 5*p - 552 = 3*c, 2*p - 3*c + 447 = 6*p. Suppose 1001 = 5*k + p. Which is greater: k or 177?
k
Let r be 388/854 - (-24)/(-21)*1. Which is bigger: r or -2?
r
Let b = 383 - 262. Let c = b + -83. Suppose -4*l + 178 = -c. Which is greater: 55 or l?
55
Suppose -3*r = 2*j - 3, -7*r + 3*r + 4 = -2*j. Let n = 488 + -489. Let k be 1 - (-2 - 0)*(-1 + n). Is k > r?
False
Let f = 1143 - 28581/25. Suppose -5*b + 4*a - 4 = 0, 3*a + 4 = -b + 7*a. Suppose b*j = -5*j. Is j bigger than f?
True
Suppose 5*o - 12 = -o. Let l be (-42)/(o + (-95)/10). Let d = -1237/220 + l. Which is smaller: d or 1?
d
Suppose -106*r + 17*r = 161 + 106. Let c = -174/53 + 801/583. Which is bigger: r or c?
c
Let n(g) = -g**3 + 19*g**2 + 69*g + 702. Let i be n(31). Is i not equal to -8690?
True
Let a = 187 - 188. Let u(c) = -21*c + 9. Let x be u(a). Is x at least 29?
True
Let n = -2.652 - -2.352. Which is bigger: n or -1696?
n
Let t be 0 - (2 + -1) - 83. Let g be (1542/(-45))/((-8)/20). Let z = t + g. Which is smaller: 3 or z?
z
Let f be 384/36*9/2. Let t be -2 - 3/2*490/(-15). Is f bigger than t?
True
Let s be (14 - 126/28)/(1 - 194/196). Which is bigger: s or 929?
s
Let n = -3061.88 - -2958. Let r = n + 104. Which is bigger: 2 or r?
2
Let x = 234 + -233.897. Let m = -0.703 + x. Is m less than -3/8?
True
Suppose -3*i = 2 + 1. Let d = -2228118/11 - -202759. Let x = -203 + d. Which is smaller: i or x?
i
Let k be ((-1415)/190 + 6)/((-2)/12). Which is smaller: k or 9?
k
Let f = -179469128 - -25305305530/141. Let y = f - 1124. Suppose -3 = 5*k + w, k - 5*w - 13 - 2 = 0. Is k <= y?
False
Let l = 94 + 108. Let b = l - 193. Which is greater: b or -5/4?
b
Let b = -2 + 3. Let h be (28/8 - 4)/((-1)/(-10)). Let m be (25 + -5)*h/(-90). Is m at least as big as b?
True
Let z(p) = -7*p**2 + 120*p - 32. Let s be z(10). Are 468 and s equal?
True
Suppose 0 = 4*h + h + 3*u - 133, 3*u + 49 = 2*h. Suppose 4*b - 2*v = 8*b - 32, v = 5*b - h. Let l be 4/b*(-48)/(-32). Which is smaller: -0.1 or l?
-0.1
Let k be 2/5 - (-6)/10. Let z be ((-2)/(-8) - 0) + 135/300. Is z greater than k?
False
Suppose -32*n = -63 - 257. Let b be (-5)/(-10)*192/(-10). Let s = n + b. Which is bigger: 2/17 or s?
s
Let o = -7249803 + 1578427109163/217720. Let p = 237663161/653160 - o. Let t = p - 364. Is -1 < t?
True
Suppose -4*g - 4416 = -8*i + 10*i, -1098 = g + 2*i. Let m be ((-3)/(-6))/(g/(-392)). Which is smaller: m or 0?
0
Let d = 1572 + -4191. Let l be (5 - 1) + 10482/d. Which is bigger: l or 1?
1
Let x be 47/95 + ((-2312)/(-680) - 2*2). Does 0 = x?
False
Let w be 1 - 3/9*-3. Suppose -4*j - w*v = -0*v + 66, 0 = 2*j - 5*v + 3. Let u be 16/(-56) - 18/j. Is u bigger than 2/89?
True
Let y(h) = h**2 - 2*h + 6. Let c be y(14). Let o be (-8 - 1)*((-184)/12 + -4). Is o smaller than c?
False
Suppose 4*w - 2*z = -188, w - 3*w = -2*z + 90. Let n be ((-2)/1)/(-2)*w/(-7). Suppose n*y = 19*y + 216. Is y greater than -16?
False
Let q be 38701/208 + ((-5)/5)/16. Do q and 1869/10 have the same value?
False
Let w = -207 + 157. Let i be (-2580)/w + 4/10. Do 52 and i have different values?
False
Let c = -286 - -854/3. Is 7.1 equal to c?
False
Let j = 0.03 - 0.2. Let v = -295092 - -2065642/7. Which is smaller: j or v?
v
Let q(s) = s**3 - 10*s**2 + 13*s + 6. Let n be q(10). Suppose -16 + n = -4*i. Let w be -9*(22/55 + (-28)/i). Are -10 and w non-equal?
True
Suppose -12*k + 269 = 3*i - 16*k, i + 5*k = 96. Suppose -105 = 49*g + i. Which is bigger: g or -35/11?
-35/11
Let f be (0 - -1) + (-10095)/(-20200) + (-51)/34. Are 1 and f equal?
False
Suppose -4*n + 42 - 126 = -4*o, -4*o + 5*n + 84 = 0. Let x be 3*(-2)/(-42) - 3/o. Let i = 29/7 + -340/77. Which is