 o > d?
True
Suppose 162*o + 21 = 165*o. Let g be 1*((-14)/o + 246). Is 245 at most g?
False
Let j be (-122)/532 + (-423)/(-2679). Let u = 4 + -4.03. Which is bigger: u or j?
u
Let v(p) = 4*p**3 + 5*p**2 + 5*p - 239 - 3*p**3 + 241. Let s be v(-1). Let b be (-3)/9 - (-26)/105. Is s smaller than b?
False
Let u = 2501.64 - 2050.6. Let g = 451 - u. Is g <= 10?
True
Let y = 11829 + -14641. Is -2811 > y?
True
Let n be (-495)/(-814) + (-2)/4. Let q = 44 + -33. Suppose q = -3*j + 11. Are j and n nonequal?
True
Let i be 1/6 - 45/270. Suppose -4*c - 11 + i = -3*g, 2*c = -3*g - 1. Which is smaller: -14/25 or c?
c
Suppose -54*x = -47*x - 4312. Let n = x - 839. Is -224 <= n?
True
Let k be (-497)/28*-2 - 1/(-2). Is k smaller than 73?
True
Suppose -983*y = -989*y. Is -4/219 at most y?
True
Suppose o = -14*o + 30. Suppose 286 = 3*k - o*g, 0*k - 251 = -3*k - 5*g. Which is bigger: k or 94?
94
Let v = -2329 - -2318. Which is bigger: v or -19?
v
Suppose r + 4*n = -0*n + 20, -n = -5. Let u = -1312/183 - -36218/5307. Are r and u nonequal?
True
Let r be (2/3 - 25/(-12))*52. Let s = -714/5 + r. Which is smaller: s or 0?
0
Let d = -300 + 302. Suppose -d*n + n - t = 85, 0 = -n + 2*t - 97. Which is smaller: -90 or n?
-90
Suppose 0*w - 2*w + 83 = -3*v, 2*v - 5*w = -37. Let q = v + 57. Suppose 2*m + 10 = 0, -9*z + 2*m + q = -5*z. Which is bigger: z or 5?
5
Let l(m) = m - 14. Let c be l(9). Let p(n) = -2*n - 9. Let a be p(-10). Suppose -6*f = 5*g - a*f, -4*g - f = 0. Do g and c have the same value?
False
Let q = -12537 + 12532. Is 288 less than q?
False
Let i = 5103 - 5103. Which is bigger: i or 0.344?
0.344
Let p = 2173 + -2148. Is 21 smaller than p?
True
Suppose -3*g + 4*o + 204 = 0, -4*g + 86 = -3*o - 179. Suppose 24*v - 20 = 3 + 25. Let f be 1 + v - g/16. Which is greater: -13/7 or f?
f
Let k be ((-352)/96)/(2/(-8)). Let j = k + 89/6. Is 30 > j?
True
Let q(x) = 8*x - 7. Let l be q(2). Let y be (10/480)/(2/l). Let z(d) = d**3 - 17*d**2 + 14*d + 33. Let s be z(16). Which is smaller: s or y?
y
Let h(t) = t - t - 4 - t. Let z be h(-3). Let p = -2/1039 - 11415/7273. Which is greater: p or z?
z
Suppose -22*d = -43*d + 63. Suppose 15 = -5*s + d*f, f = -5*s + s + 5. Let g = -116/15 + 25/3. Which is bigger: g or s?
g
Suppose 521 = 7*t + 507. Let v = 0.048 + 3.052. Let i = v - 6.1. Is t greater than or equal to i?
True
Suppose 22552 - 6299 + 67075 = -14*n. Is n at least as big as -1?
False
Let s be 2/3 - (4 - 16/3). Suppose s*v - 15*v = 260. Let m be 6/(-2 + (v/8)/(-5)). Which is smaller: -7 or m?
-7
Let c(o) = o**3 - 9*o**2 - 24*o + 34. Let t be c(11). Let l be 1170/196 - (3 + t/4). Is l < 2?
True
Let i = 20220/191729 + -2/10091. Is i greater than 15?
False
Let b(n) = n**2 + 4*n - 4. Let j be b(-5). Let s be (j - 1) + (-1 - -2). Let u = -18185/58383 - -17/4491. Is u > s?
False
Let r be 2/8 + (27/4)/(-3). Let q(o) = 8*o**3 + 3*o**2 + o. Let n be q(r). Let c(j) = 4*j - 152. Let f be c(24). Which is bigger: n or f?
n
Let z = -3608 + 3591. Suppose -5*c - 7 = 13. Which is smaller: z or c?
z
Let v = 5885/4 - 1471. Is 409 smaller than v?
False
Let v = 6311 + -6309. Is v < -0.927?
False
Let u be (-196)/2 + 5 + -8. Let o = 584 + -555. Let g = o + u. Which is bigger: g or -71?
-71
Let k be (-243940)/14350 - (-238)/14. Is k equal to -1?
False
Let m(q) = -44*q - 307. Let c be m(-7). Let z be (-25)/(-33225)*(c*-1 + 7). Which is smaller: z or -1?
-1
Let m(u) = u**2 + 5*u - 432. Let x be m(-17). Which is smaller: -234 or x?
-234
Let h be (9/(18711/(-22)))/(348/112*-2). Which is smaller: h or -1?
-1
Let t(x) = 4*x**2 + 129*x - 520. Let v be t(4). Which is greater: v or -41?
v
Let k = -7.985 + 8.315. Let m(w) = 12*w + 1. Let t be m(-1). Does t = k?
False
Suppose 253 = 14*b + 43. Suppose 4*c = b*c + 5885. Is c >= -535?
True
Let p be (-752)/(-94) + (-2 - -91)*2/(-1). Let y be -1 - 2*(-2 - -1). Which is smaller: y or p?
p
Suppose 28*q - 384*k + 388*k = 284, q = -k - 1. Let x(z) = -z**3 + 4*z**2 + 3*z + 3. Suppose 0*g = -2*g + 8. Let j be x(g). Which is smaller: q or j?
q
Suppose -3*d - 2*w + 9 = 103, -5*w = 4*d + 137. Let o be (-186)/31*2/d. Is 0 less than or equal to o?
True
Let q be 1*6*(-27)/18. Let b be ((-4)/(-72)*6)/((-1)/(-18)). Let p be 9/b - (q/(-6) + -1). Is p smaller than -0.33?
False
Let z be 6/15 - (-126)/10. Let s = -6448 - -6462. Is z at most as big as s?
True
Let y(i) = 7*i - 13. Let j be y(3). Let z(c) = c + 4. Let p be z(-19). Let w = p - -17. Is w greater than or equal to j?
False
Suppose -7*k + 8*k = 5*r + 2, -3*r + 3*k + 6 = 0. Which is smaller: r or 4/3917?
r
Let u(v) = -7*v**2 + 22*v - 1. Let p be u(3). Suppose -27 = -3*h + 5*k - 3, -p*h - 6 = 4*k. Do h and 2 have the same value?
False
Let r(n) = 2*n**2 + 50*n - 2057. Let u be r(-47). Is 19 equal to u?
False
Let i be 7 + 200/(-28) + (-202)/7. Let w = -2541 + 2513. Which is greater: w or i?
w
Let v = 108.2 - 108.096. Which is greater: -74 or v?
v
Suppose -3*j - 24021 = -4*r, -2505 = -2*r + 4*j + 9493. Which is bigger: 6011 or r?
6011
Let f be (108/(-1104))/(21/(-2) + 0). Let i = -1171/91126 + f. Do -1 and i have the same value?
False
Suppose -6 = 34*k + 39*k - 79*k. Let r be (-2474)/(-1238) - (-2)/(-1). Let x = r + -3074/12999. Is x smaller than k?
True
Let j = 20 - 221. Which is greater: -190 or j?
-190
Let h be 1 - -1 - -11*(-2 - 87). Let k = h + 3851/4. Is k < -13?
True
Let c(r) = -2*r - 202. Let k = -101 + 84. Let o be c(k). Which is smaller: -166 or o?
o
Let j be (-13)/((-39)/(-978)) - -6. Let c = -323 - j. Suppose 0 = 2*l + 6 + 2. Which is bigger: l or c?
c
Let p = 610525/32 + -19079. Let m(v) = -v**2 - 13*v + 15. Let t be m(-14). Which is smaller: p or t?
p
Let n be ((-3)/((-135)/(-18)) - -1)/(7/(-2)). Suppose 2*v = 4 - 2. Which is bigger: n or v?
v
Let b = 328 + -345.9. Let g = -18 - b. Suppose 0 = 7*r - 6*r - 4. Which is smaller: r or g?
g
Suppose 0 = i - 0*n + 3*n + 3, 0 = -5*i + 5*n + 25. Let w be 7924/(-5320) - i/(-2). Is w greater than -1?
True
Let o = -21.05 + 1.05. Is o at most as big as 3?
True
Let k be (-36)/(-45) - (-177)/360. Let v = 77/8 - k. Which is greater: v or 9?
9
Let m be -12*(27/(-12) - -1). Suppose -5*r + 15 = -r + 3*w, -3*w + m = r. Let a be (-232)/1914*(-6)/(-4)*-5. Is r less than a?
True
Let k(y) be the first derivative of -4*y**2 - 2*y - 11. Let i be k(-9). Let w be 8/(-7) - (-10)/i. Which is smaller: w or -5/9?
w
Suppose -44 = -4*j + 5*b - 10*b, -3*j + 5*b = 2. Let v be 165/22 - ((-21)/j + 1). Which is greater: 12 or v?
12
Let q = -0.0148 + 3.2448. Let p = q - 1.23. Which is bigger: p or -4?
p
Suppose 4*u + 434 = 2*y, 4*y + 390 = 3*u + 1273. Let c = y - 6691/30. Suppose 3*z - 5*s - 12 = 0, 8*s = -4*z + 9*s - 1. Is z bigger than c?
False
Let s(l) = -l**2 + 4*l - 28. Let o be s(-14). Let c be (58/10 - 1)*o/42. Which is smaller: c or -34?
-34
Suppose 0 = -11*o + o + 920. Let p = o + -75. Which is smaller: 31/2 or p?
31/2
Let v = 27 - 79/3. Let y be (13 - 324/24)/(2/224). Is y at most v?
True
Let r(b) be the first derivative of b**2 + 9*b - 11 - 1/3*b**3. Let c be r(-4). Is c < -16?
False
Let s = -294723/21995 + -2/4399. Let j = s + 866/65. Suppose 5*i + 5 = x, -4*i + x = -7*i - 3. Which is greater: i or j?
j
Let a(n) = -n**3 - 42*n**2 - 42*n - 50. Let z be a(-41). Let s(g) = -g**3 - 2*g**2 - 2. Let o be s(-2). Do o and z have different values?
True
Suppose -145 = -5*o - 4*h - 40, 3*o - h = 46. Let s = -16 + o. Let g = -332 + 6316/19. Which is smaller: s or g?
g
Let p = 3.129 - 4.129. Are p and 730 nonequal?
True
Let r be 76/(-57) - ((-223)/3 - 2). Suppose -5*q + 45 = -r. Suppose q = 13*n - 10*n. Are 54/7 and n non-equal?
True
Let z be 2/(-2) + (0 - -1). Let n = 241164 - 3147241/13. Let p = 931 + n. Is p >= z?
False
Suppose -3 = 2*s + 1. Let m(z) = 2*z**3 + z**2 - z - 1. Let j be m(s). Let n be 9 + j - (2 + -2 - -3). Which is greater: n or -3?
-3
Let v = 0 + 0. Suppose 9 = 5*j - 11. Let z be j/114*6 + -15 + 15. Which is smaller: v or z?
v
Suppose 0 = -5*r + 49 - 134. Let m(g) = -16*g**2 - 257*g - 259. Let u be m(-1). Which is smaller: r or u?
u
Suppose -2*l + 6 = -3*s + 2, -5*s - 5*l = 40. Let b = 439/15 + -163/5. Is s at least as big as b?
False
Let p(q) = -q**3 - 17*q**2 - 6*q + 110. Let r be p(-15). Let h = 249 + r. Let d = 3352/286209 - 2/4851. Is d bigger than h?
True
Suppose 399 = 3*p 