e
Let o = -1014/11 + 534279/5797. Is 0 less than or equal to o?
False
Let c = -0.191 - -8.391. Let q = c + -8.4. Which is smaller: 0.134 or q?
q
Let z(r) = 9*r**3 - 71*r**2 - 9*r + 8. Let j be z(8). Suppose j = -7*l + 147 - 154. Is 3/116 greater than l?
True
Let q be (-27)/(-168) - ((-212)/140 + 18/10). Which is smaller: -581/2 or q?
-581/2
Let n = -13.72 - -13.7773. Let a = 0.0427 + n. Is a smaller than 3.03?
True
Let i = 206834562 - 10806071692961/52245. Let c = i + 7/215. Which is smaller: c or 0?
0
Suppose -9*h = -6*h - 2*n - 293, h - 95 = 2*n. Suppose -6*k = -h + 87. Is 6 not equal to k?
True
Let d = -6 + 6.5. Let w = d + -0.37. Are w and 3/2 nonequal?
True
Let p = 25550 - 843262/33. Let u = -249 - -733/3. Let a = u - p. Do a and -2 have different values?
True
Let s(d) = 18*d**3 - d - 1. Let n be s(-1). Let h be (2 - (-48)/n)*(-9)/(-2). Is h equal to -19/11?
False
Let i = -36 + 391. Suppose -282 = -8*d + 4*d + 2*h, -i = -5*d + 3*h. Which is bigger: -0.2 or d?
d
Let x be 1 - (-483)/(-5) - (-8)/(-20). Let a be (-1086)/(-28)*(-128)/x. Which is greater: a or 53?
53
Suppose 78 - 355 = -o + 4*i, 0 = 5*o - 5*i - 1325. Is 268 > o?
True
Let c = 52984 + -53376. Let u(g) = 391*g - 1. Let q be u(-1). Are q and c equal?
True
Let f = -191461/8 - -23991. Is f less than 58?
False
Let l = 2901 - 310405/107. Let s = -4/131 + -115/524. Which is smaller: s or l?
s
Let w = -29 - -59. Let t(b) = -b**2 - 2*b + 1. Let y be t(-5). Let q(n) = 2*n**3 + 30*n**2 + 25*n - 11. Let j be q(y). Which is smaller: w or j?
w
Let j be (-78)/507 + (-484975)/(-65) + (-20)/(-4). Which is smaller: j or 7467?
j
Suppose 33*d + 12 = 30*d. Suppose 2*r - 3*r = -a + 748, 0 = 2*a. Let l = r + 3724/5. Which is smaller: l or d?
d
Let g(a) = 5*a**2 - 32*a + 113. Let t be g(4). Let c(n) = n**2 + 4*n - 3. Let w be c(16). Suppose 0 = -5*v - 2*z + w, 46 = 4*v + z - 210. Does t = v?
True
Suppose 0 = -4*f - 0*c - c - 972, 0 = 4*c - 16. Let v = -50751 - -50507. Is v less than or equal to f?
True
Let x = 2990.7582 - -3.0418. Is x greater than 0.1?
True
Let z = 644/3 - 217. Let j = 69 + -61. Suppose -6*s - j = 2*s. Which is smaller: z or s?
z
Let l = -0.4 - 0.6. Let m = 1.48 + -0.18. Let f = m - 1. Is f <= l?
False
Let c be (-1022)/(-48837)*(-18)/2. Is -1 < c?
True
Suppose -11*w + w = 25*w + 1120. Let x be (1 - 3) + -1*31. Is w > x?
True
Let d be ((-16)/(-6))/((-12)/(-54)). Suppose -d*c - 6 = 6. Which is smaller: c or 2/43?
c
Suppose -55 = -5*z + 5*l, -z + 46 = 3*z - 2*l. Suppose z*w = 7*w - 20. Let a be (1 - 4) + w + 56. Are 49 and a equal?
True
Let p = -5/3388 - 38231/3388. Which is smaller: 1/6 or p?
p
Let x be (-7 + 5966/285)/((-12)/20). Which is smaller: x or -24?
-24
Suppose -4*m + 5*j + 195 = 0, -2*m - m - j + 170 = 0. Let y(w) = -w**3 - 26*w**2 + 27*w + 54. Let n be y(-27). Which is greater: m or n?
m
Let z = -5946597/382 - -15567. Let r be 18/(-81) - (-2)/9. Is z at least as big as r?
False
Let g be (558/(-248))/(177/4). Which is greater: -6 or g?
g
Let w be (4 - 84/(-9))/(((-35)/75)/7). Which is smaller: -210 or w?
-210
Let w be (-2)/4 + -674*7/(-28). Do 179 and w have different values?
True
Suppose -u + 2*m - 689 = 744, 1448 = -u + 5*m. Is u >= -1435?
True
Let v be 4/10 + 13/5. Let q = -4/26117 - -914187/600691. Which is smaller: q or v?
q
Let m be (8415/544)/((-3)/20). Is -103 equal to m?
False
Let m be 12/(-20) + (-28)/20. Let f be (-100)/125 - (4 + 1148/(-285))*-54. Which is greater: m or f?
m
Let h = 5.7 + -5.53. Let y be 2*((-10 - -3) + 9). Which is smaller: y or h?
h
Let a(p) = p**2 + 14*p + 5. Let j be a(-13). Let c be (-18)/(-72) - 94/j. Let r(i) = i**2 - 14*i + 29. Let v be r(c). Which is bigger: v or 7?
7
Let u = 14242 - 9920. Let z = -73495/17 + u. Is z >= -1?
False
Let u(w) = 4*w**2 - 6*w - 13. Let h be u(3). Suppose h*b = 10, -20 = 12*g - 14*g - 4*b. Which is smaller: g or 4?
4
Suppose 116*t + 307*t = 108*t - 458640. Is -1456 greater than t?
False
Let h = 64 + -66. Let m = h - -14. Suppose -117 = 9*l - m*l. Is l bigger than 38?
True
Let v be 3 - (76/4 + 2). Let r be 2/9*-1 - 922/v. Let l = r + -43. Is l equal to 9?
False
Let p be (5 - 3)/((-11)/((-1364)/(-12))). Is p at most -21?
False
Let z = -6185 + 13907. Let r be 4 - (-9)/(z/(-3434)). Is 0 at most as big as r?
False
Let b = -2320 - -2490. Which is bigger: b or -1.3?
b
Let u = 1.2 + -1.404. Let x = 1161 - 1161.096. Let m = x + u. Which is bigger: m or -0.6?
m
Let j = 187 - 193.6. Which is greater: j or -2?
-2
Let j = 1375 - 1420. Let f be 2/(532/180 + -3). Are j and f equal?
True
Let d = -30/373 - 372790/2611. Let n(g) = -2*g**2 + 40*g - 340. Let b be n(8). Let f = b - d. Which is bigger: f or -6?
f
Suppose -2*o + 695 = -5*v, 0 = -3*v - 132 + 117. Is 1003/3 < o?
True
Suppose 3*w = 3*t - 2*t - 64, 4*w + 276 = 5*t. Suppose t = -5*p - k, 0 = -2*k - 4. Is p less than -10?
False
Let q = 22.8931 - 1.8511. Let p = 21 - q. Let j = 0.05 - -0.95. Which is smaller: j or p?
p
Let t(s) = -7*s**2 + 1. Let j be t(1). Suppose 14 = a + 5*v, 2*a - 2*v = -v - 16. Let r be (-2)/(a/(-19)) + (-14)/21. Which is smaller: j or r?
r
Suppose 280*n = 268*n + 10116. Which is greater: 848 or n?
848
Let k be (3 - (4*-3 - -3))*7. Let x be (k/20)/1 + 3*-1. Which is greater: x or 2/7?
x
Let d(g) = g**2 - g + 51. Let h be d(0). Suppose -4*o = 2*r - 192, 216 = 4*o - 8*r + 7*r. Is h < o?
True
Let h = 21851 - 25295. Which is smaller: h or 1?
h
Suppose -2*l + 0*l = -22. Suppose -l = -3*r + 4*a, 0 = 2*r + 5*a - 3*a + 16. Let h = -0.54 - -0.14. Do r and h have different values?
True
Suppose 39*g = 41*g. Suppose -591*u + 595*u - 92 = g. Let y = 46 - 22. Is y smaller than u?
False
Suppose -4*q + 58 = 2*d, 4*q - 90 = -106. Which is smaller: 39 or d?
d
Let o be 1898/117 + 4/(-18). Suppose -o*y - 152 = 3*y. Is -11 != y?
True
Let i be 471 - (12 - (8 - 4)) - 3. Which is smaller: 457 or i?
457
Let m be (88/(-132))/(2/366). Which is smaller: -121 or m?
m
Suppose -3*f + 2*f = -4, 30 = 5*i + 5*f. Let p(l) = -l**3 - 5*l**2 + 12*l + 20. Let n be p(-6). Which is smaller: n or i?
n
Suppose f + d + 11 = -d, -2 = d. Let q be 0 + f/((-21)/(-66)). Let z(o) = -o**3 - 22*o**2 + 2*o + 25. Let c be z(q). Which is bigger: c or 1?
1
Let u be ((-855)/242 + 21/6)*(0 - -1). Suppose 2 = -o + 1. Is u > o?
True
Let i = -61 - -67. Let p(w) = 15*w + 27 - 7*w - i*w. Let n be p(-14). Which is smaller: n or 4?
n
Let a = 443 - 442. Let h = 310/7 + -44. Which is greater: a or h?
a
Let j(y) = -10*y + 122. Let p(k) = 308*k - 3784. Let o(h) = -187*j(h) - 6*p(h). Let b be o(5). Is 2/757 greater than b?
True
Let i = -21 - -35. Let z(u) = -u - 344*u**2 + u**3 + 2*u + 12 + 345*u**2. Let v be z(0). Is i greater than v?
True
Let h(a) = -2*a**3 + 46*a**2 + a + 46. Let d(o) = -3*o**3 + 91*o**2 + 2*o + 91. Let w(k) = -3*d(k) + 5*h(k). Let m be w(-43). Is -1/633 at least as big as m?
False
Suppose q + 5 = -4*n + 45, -5*q = -4*n - 224. Let u be -4 - q/16*-2. Let j be -1*3*(6 + (-620)/105). Is j greater than u?
False
Let h(v) = -5*v + 23. Let x be h(3). Let g(o) = -4 + 9*o + 9*o - o**2 - x*o. Let u be g(12). Is -1 less than u?
False
Let g be (-142)/25134*(-2)/(-2)*-5. Is -1 not equal to g?
True
Suppose 0 = t - 4*x - 14, 29*t = 25*t - 2*x + 146. Suppose 99 = -5*b + t. Which is greater: b or -33?
b
Let n = -22 + 40. Let w = -135 - -95. Let v = n + w. Is -23 less than or equal to v?
True
Let v = -0.22742 + 0.36742. Let x(b) = -b**2 + 2*b - 1. Let n be x(1). Which is smaller: n or v?
n
Let u = -154 + 321. Let c(q) = -67 + u + 2*q - 67. Let h be c(-26). Which is smaller: -17 or h?
h
Let o = -1888 + 1888. Which is smaller: o or -6.23?
-6.23
Let r(x) = -59516*x. Let q be r(2). Let f = 1784744/15 + q. Let o = f + 140/3. Does o = -2?
False
Let q = 9 + 22. Let a = 18.75 - q. Let y = -0.25 - a. Which is smaller: y or -2/5?
-2/5
Let c be ((-17)/((-17)/(-6)))/(3/(-262)). Let z = 492 - c. Suppose 0*x - 160 = 5*x. Is z at most x?
True
Let h be ((-2700)/(-285))/3 - 10. Which is smaller: h or -8?
-8
Suppose -2*k - 8 = -4*n, -14*k = -9*k - 3*n + 20. Let v be (3 - -164) + (k - 12/(-4)). Is 167 bigger than v?
True
Let g be (-6)/4 - (-3 + 2). Let x(m) = -69*m - 7848. Let o be x(-111). Is g greater than o?
True
Let q = -46 - -47. Let x(i) = 16*i**2 - 3*i + 2. Let s be x(q). Which is greater: s or 21?
21
Suppose 0 = 2*x - 13 + 7. S