 than l?
True
Let r = 16514 - 16513.9. Which is smaller: r or -8067?
-8067
Suppose -3*d + 495 = 2*d. Let y be (-4750)/(-45) - 24/(-54) - 6. Which is smaller: d or y?
d
Let w = -0.18005 - -2.08005. Is -1/262 equal to w?
False
Let h = 8299 + -8227. Are 1.4 and h nonequal?
True
Let z = -4989 - -4983. Which is greater: 6 or z?
6
Let t be 183/(-3 + (-9)/(-2)). Let q be (123/15)/(39/585). Which is greater: q or t?
q
Let x = -654 + 1023. Let o = -283 + x. Which is smaller: o or -1?
-1
Let l be ((-306)/126)/(2*2/(-28)). Let k = 14 + 0. Is k at most as big as l?
True
Let m(p) = p**3 + 9*p**2 + 14*p + 24. Let h(g) = g**2 + 14*g + 41. Let c be h(-8). Let f be m(c). Is 139/6 at most as big as f?
True
Suppose 116 = 6*h + 50. Let i be -4 - -6*25/30. Is h >= i?
True
Let i = 10/621 - 5227/54648. Which is smaller: i or 1?
i
Let k = 14711/3 + -5092. Which is greater: -188 or k?
-188
Let c(z) = -4*z - 87. Let p be c(-21). Let l be (-45)/12*-8*1/p. Is l > -8?
False
Let z = 49.3 - 8.8. Let i = 1.5 - z. Let d = i + 40.2. Which is smaller: 1 or d?
1
Let t = 666 + -636. Let q be 6/t - 174/(-5). Which is smaller: 36 or q?
q
Suppose 4*k = 9*k + 10. Let n be -16 + -1 + 2 + k. Suppose -8*o + 12*o = -68. Does o = n?
True
Let z = 248 + -176. Let a be -2 - (1 + z/(-14)). Let i = -933 - -934. Is a greater than or equal to i?
True
Let i(v) = -v**2 + 6*v**2 - 4*v - 4*v**2 - 6*v + 10. Let k be i(9). Let t be 3/12 - (-198)/(-840). Which is bigger: t or k?
k
Let i = -1725 - -4598. Let n = i + -37369/13. Is -2 at least as big as n?
False
Suppose 0 = 6*p - p + 200. Let z = 32 + p. Let h = -4/89 - 158/445. Are z and h nonequal?
True
Let f = -0.023 + -67.977. Let m = -166 + 206. Let h = f + m. Which is smaller: h or -0.1?
h
Let z(k) = 26*k**2 - 2*k - 2. Let t be z(-1). Let d(l) = -8 + 42*l - 86*l + 42*l - t. Let n be d(-16). Which is smaller: -5/8 or n?
n
Let f = 0.07356 + -0.27356. Is 1477 greater than f?
True
Suppose 4*y - 32 = 4*f, -3*y + 52 = 5*y - 5*f. Suppose -y*c = -21*c + 187. Let g be 1/(-4) + (-21)/(-2). Is g equal to c?
False
Suppose -6 = -2*b + 3*o + 559, 3*b = 5*o + 845. Let p = -182 + b. Suppose p = -5*v + 33. Which is smaller: -6 or v?
v
Suppose -3*z + 45 = -0*z. Let q = 21 - z. Suppose -6*w + q = -36. Which is bigger: -3 or w?
w
Let d be (-2)/(6 - 44/8) - -6. Suppose -d*t - 258 = -2*r, -11*r + 492 = -7*r + 2*t. Which is smaller: r or 126?
r
Let s be 15 + 86772/(-12397) + -8. Is -1 greater than s?
False
Let j be (-17)/(68/(-24)) + 436. Suppose -5*d + j = 2*z + 2293, -2*d + 5*z = 723. Is d at most as big as -1/3?
True
Let g = -15729 + 12180. Is g at most -3548?
True
Suppose 4*r = -r + 4*x + 22, r - 4*x + 2 = 0. Let k be 4 - (10/r)/(6/18). Let n = 10020/437969 - 2/4921. Which is greater: n or k?
n
Suppose -4*c = -5*u - 134 - 143, 4*c - 307 = -5*u. Let h = c - 37. Which is greater: h or 35?
h
Let t = -3240 + 187927/58. Let j = t - -67/406. Let l = 43 + -62. Which is greater: l or j?
j
Let y = -96205/2 + 46625. Is -1479 greater than y?
False
Let c = -813792 - -5655977/7. Let v = 5805 + c. Are 11 and v equal?
False
Let g(p) = -p**3 + 34*p**2 + 18*p + 520. Let m be g(35). Is -38 <= m?
False
Suppose -7*u + u = 348. Let j be (-17)/(-4) + (u/8 - -7). Let t be (-1)/j + (-450)/(-72). Is t at least as big as 8?
False
Let h = 0.01551 + -471.21551. Let w = 471 + h. Let b = 0 - -4. Is w > b?
False
Suppose -1771 = -13*x + 2*x. Let g be (-1)/7 - (-184)/x. Suppose -4*k - k = -10. Which is bigger: k or g?
k
Let d(x) = 265*x + 259. Let m be d(-14). Let j = m + 1142280/331. Which is smaller: -1 or j?
-1
Let v = 36.28158 + 0.21842. Are v and 33 equal?
False
Suppose 2*n = 3*f + 25, 5*f - 4*n = -14 - 29. Which is bigger: f or -10/17?
-10/17
Let l(g) = -28*g**3 + g**2 + 2*g + 2. Let j be l(-2). Let i be 1 + -2 - (61/(305/(-1210)) - -16). Is j at least i?
True
Let k = -41.5 - -41.324. Let q = 0.109 + k. Are -1/3 and q unequal?
True
Let b = -3904 + 3038. Is b smaller than -865?
True
Let o be ((-1144)/280)/((-8 + 10)*-1). Do o and 3 have different values?
True
Suppose 14*g - 4878 + 2568 = 0. Is g less than 106?
False
Let u = -33 - -35. Suppose -7*i = u*i + 72. Let q be 3/(-9)*(2 + (4 - 3)). Is q at least i?
True
Let o = 418.1 + -418. Let y = o + -0.05. Which is smaller: -2/13 or y?
-2/13
Suppose 7936 = -17*b - 377. Which is greater: b or -486?
-486
Let l(b) = b**2 + 110*b + 425. Let v be l(-4). Which is bigger: v or 2/18179?
v
Let w = 10051 + -6824632/679. Which is bigger: w or 1?
1
Suppose 3*u - u = r + 28, -28 = -3*u - 2*r. Suppose -67 = -5*s - u. Let a = s + -51. Is a greater than or equal to -0.1?
False
Let a be ((-80)/65)/(-8) - (-7)/(-637). Which is smaller: a or 2/1643?
2/1643
Let y(p) = 5*p**2 - 17*p - 2. Let v be y(-5). Which is bigger: 206 or v?
v
Let r(y) = 17*y - 1223. Let w be r(72). Is -1/30893 at least as big as w?
False
Let l = -25604 - -25515. Let k be 6/4*4/(-6). Which is smaller: l or k?
l
Let r be (488/3332)/(24/14). Let c = r + 1/102. Which is smaller: c or 2/15?
c
Let h = -14888.1 + 14893. Which is greater: -25/6 or h?
h
Let n = 24530979/16 + -1532468. Let u = 718 - n. Which is greater: u or 0.05?
0.05
Suppose 76*d - 25*d - 22*d + 3770 = 0. Which is bigger: d or -0.09?
-0.09
Let c = -94274/15 - -6282. Let u = 5658 - 5661. Which is smaller: u or c?
u
Let s = -36 - -39. Let t be (6/15)/((-3 + 0)/s). Let g be (-4)/(-68)*(-8)/(-4). Which is bigger: t or g?
g
Let x = 16218 - 16417. Is x <= 12?
True
Let h(a) = 3*a**2 - 17*a - 29. Let b be h(18). Suppose b = 5*i - 488. Let z be i/65 - 0 - 3. Which is greater: z or 0?
z
Let r be 17 + -13 + 1/(4/(-6280)). Are -1566 and r equal?
True
Suppose 0 = 47*m + 65 - 18. Let f be -5 + m*(20 - -7). Is -35 at least as big as f?
False
Suppose -30*m = -10*m - 140. Let b be (-20)/m*(-49)/(-742). Is b < 1?
True
Let p = -6323 + 18968/3. Which is smaller: -23.68 or p?
-23.68
Let j = 665 + -666. Is j <= 8/2197?
True
Let b = -28396887/2761 + 10285. Let v = 6112/814495 + b. Let i be 0 + 2 + 0 - 3. Is i < v?
True
Let p = 0.9 - 0.7. Let y = 3/13 + -142/221. Let x = y - 37/34. Are x and p nonequal?
True
Let u = -1 + 1. Let d = 1365 - 72348/53. Are d and u equal?
False
Let t = -10043 - -10055. Let q(d) = -d**3 + 8*d**2 - 6*d + 3. Let i be q(6). Let u be (-1 + i/t)*(-2)/111. Which is bigger: u or -1?
u
Let f = -66 + 66. Let a be (-128)/72 + (-2)/9. Let w be -3 - (a + 19/(-18)). Are w and f equal?
False
Let f = 47781 + -47780.79. Let s = 4 + -4.7. Let v = -0.3 + s. Is v less than f?
True
Suppose -4*t - 27 = x - 402, 4*x - 184 = -2*t. Let q be 1/(-4 - -1)*(t + -1). Is q less than or equal to -218/7?
False
Suppose 5187 = -5*x - 8*x. Let c = x + 365. Is 4/3 at most c?
False
Let t = -0.4025 + -0.2975. Is -2/9 at most as big as t?
False
Let h be ((-655184)/348)/((-24)/(-4)). Let k = -2816/9 - h. Is 0 > k?
False
Suppose -2172 + 114 = 275*h - 177*h. Let b be 2/(-19 - 1)*-2. Is h not equal to b?
True
Let k = -5029/52 - -1254/13. Is -2.22 at most as big as k?
True
Let x = 2/172601 - 13808214/11564267. Is -2 greater than or equal to x?
False
Let n be 11 - (-7 + 1 + 3) - -1. Let y = n - 12. Let p be (-145)/(-5) - (1 - y). Is p at least as big as 31?
True
Suppose d = 5*y - 21, -y + 3*d - 2 = y. Suppose 6*j = -3*q + 3*j - 12, -y*q - 28 = j. Let a be (-3)/q*-5 - -3. Is -0.01 less than a?
True
Suppose 0 = 2*w + 8, -8*w + 3*w - 5 = -5*n. Let k = 2.08 - -0.02. Which is smaller: n or k?
n
Let x(p) = -15*p + 291. Let r = -688 + 708. Let l be x(r). Let g be (-4)/14 - 124/14. Which is smaller: g or l?
g
Let i = -98 + -58. Let c = i + 72. Let s = c + 83.8. Are 1.2 and s equal?
False
Let z = -3.3 + -159.7. Let j = 22175.9 - 22176. Is j < z?
False
Let c be 2*-5*(-8)/80. Let x be c + 1*(4 - -15). Which is smaller: x or 12?
12
Let i = -1007 - -1007.1. Let w be (0 - 0) + (-12)/(-354). Is i smaller than w?
False
Let y = -7/160 - -1677/1760. Suppose -11*q + 51 = 183. Let f = -11 - q. Which is bigger: f or y?
f
Let d = 55 + -52. Suppose 3*i - d*f - 60 = -0*f, -i = 5*f - 20. Suppose 14 = k + 4*q - i, q - 33 = -2*k. Are k and 15 equal?
False
Let q = -1.43234 + 0.16834. Is -3 at most as big as q?
True
Suppose t = -5*p - 29, -3*t = 3*p + 84 - 9. Let x(o) = o**2 - 9*o + 19. Let f = 43 + -38. Let u be x(f). Which is smaller: t or u?
t
Let u = -48 + 48. Which is bigger: -5/1206 or u?
u
Let u 