or n?
0
Let y(v) = v**2 - 18*v - 615. Let t be y(-16). Are t and -101 unequal?
True
Let g(p) = -p**3 - 26*p**2 + 62*p - 13. Let t be g(2). Is t >= 13/61?
False
Let j be (-1361)/28 - 2/8. Let f be (45/(-30))/(3/21*39/182). Which is greater: f or j?
j
Let f = 101 - 107. Are -28 and f equal?
False
Let t = 12341 + -12366. Is t < -33?
False
Let a(l) = -4*l**3 + 100*l**2 + 28*l - 700. Let g be a(25). Which is bigger: -2/1883 or g?
g
Suppose 34*d - 7524 = 16*d. Let t = d + -471. Let y(n) = n**3 + n**2 + n - 1. Let l be y(-4). Is t greater than or equal to l?
True
Let d(v) = -94*v + 1370. Let a be d(10). Is 431 greater than a?
True
Suppose 5*o = 5*u + 240, 3*o - 46 - 90 = -5*u. Suppose -o = -2*a + 93. Suppose 10*w - 258 = 432. Which is greater: a or w?
a
Let a be (-2)/7 + 125/315. Let c = -72 + -533. Let j = 598 + c. Which is smaller: a or j?
j
Let a be (-5 - (-16)/3)*3. Let l be a/(-3) - (50/(-15) - -3). Let f be 4/16 - l - (-2)/(-8). Which is bigger: f or -1/143?
f
Let y be -3 + 2 - (0 - 4444/(-10)). Let d = 216069/485 + y. Which is greater: d or -1?
d
Let n be (-4760)/136 - 3684/(-105). Let k = 6 - 3. Which is bigger: n or k?
k
Let c = -3 + 2. Let s = -2.749 - -102.749. Which is smaller: s or c?
c
Let j = -2742 - -2613. Is -130 smaller than j?
True
Suppose -62*k = -417 + 1347. Suppose z + 5 = -2*c - 6, 0 = -4*c. Is z less than k?
False
Let o be 30/(10/6 + 15/(-90)). Let z be 1/5 + (-3)/o. Is z at most as big as 3?
True
Suppose -1305*p + 1210*p - 27444 = 9131. Is p bigger than -383?
False
Let p be (36/(-156) + 750/(-130))/((-3)/58). Which is smaller: p or 114?
114
Let q = -119190114957/905 + 131701808. Let n = 15/181 + q. Which is bigger: 25 or n?
25
Let d = -6189 + 6188. Is d at least as big as -5/7191?
False
Let i = 0.5 + -1. Let j be 17/(26 - (-1431)/(-53)). Which is bigger: j or i?
i
Suppose -2*i = 2*p + 36, 5*i + 17 + 3 = 0. Suppose 0 = 2*d + 2*g - 10, 0 = 12*g - 7*g + 5. Let z be d/21 + (-1)/(p/(-8)). Which is smaller: z or -0.1?
z
Suppose -2146 = -4*p + 3*g + 1951, 3*g = 3. Which is smaller: 1024 or p?
1024
Let g = 0.049 + 0.511. Let i = g + -0.26. Do i and 0.02 have the same value?
False
Suppose 2657 = x + 3*i, -7*x = -9*x - i + 5334. Is x >= 2668?
True
Let k be (-1 + 7)*8/12. Suppose -4*s - 8 = -3*t, k*s = -3*t + 4 - 12. Suppose -5*x + 2*n = -166 - 10, x + n - 38 = 0. Is x < t?
False
Let p be (-5838)/(-14) - 13 - 8/2. Let z be (-152)/10 + 80/p. Is z less than -15?
False
Let a(w) = -9*w + 22. Let j be a(11). Let c = j + 36. Let l = 42 + c. Which is greater: l or 6?
6
Suppose 9 = x - 4*t, 0*x + 3*x + 7 = -5*t. Let b = 172 + -178.9. Which is greater: b or x?
x
Let f(x) = x. Let m be f(1). Suppose 4*n = 3*d + 128, 55 = -3*d - n - 48. Let j be (d/30)/((-207)/(-30)). Which is bigger: j or m?
m
Let a = 0.293 + -0.303. Is -270 greater than or equal to a?
False
Let q = 40786 + -45354029/1112. Which is smaller: q or -1?
-1
Let f = 57 - 157. Let v = f + 98. Let t be 13 + 15 + (v/(-2) - 1). Is 29 >= t?
True
Let o = 18288 + -18319. Is -23 bigger than o?
True
Let p = 54 + -56. Let h(w) = 7*w + 7. Let o be h(p). Let g be 2 + o + 80/140. Is g greater than -4?
False
Let c(p) = 61*p. Let u be c(1). Let t = -43 + u. Let x be (6 - (31 - 6)) + (-72 - -108). Which is greater: t or x?
t
Let t be 1*((2/7)/(60/(-168)) - -1). Is t at least as big as 0.489?
False
Let s be -25 - -15 - (0 - (5 - -9)). Which is bigger: s or 2699/3?
2699/3
Let h = -690248.99 - -687194. Let f = -3070 - h. Let w = 15 + f. Which is greater: 5 or w?
5
Suppose -23*q = -25*q - 30. Let a be (q/12)/(3/1104). Let l be (-12)/(-8) + a/296. Which is greater: -2/5 or l?
l
Suppose -3*t + 86 = -2*r, 21 - 6 = 3*r. Suppose 36*q - t*q = -476. Let l be 2 + (-3)/(-7) + 170/q. Which is bigger: 2/89 or l?
l
Let o = -19.8436 + -0.0764. Let s = 1.92 + o. Which is smaller: s or -4?
s
Let y be 12/(-44)*-3 + -1. Let s = 304 - 602. Let v = -297.9 - s. Is v less than y?
False
Let t = -2763/1748 - -5/92. Let a = t - -77/38. Is 24/7 bigger than a?
True
Let n = 1172 + -1171. Let o be (244/48 - 4) + 0. Which is smaller: o or n?
n
Let h = -8390 - -7952. Which is bigger: h or 14?
14
Let r(f) = -2*f**2 - 308*f - 1477. Let k be r(-5). Is 336/29 > k?
False
Suppose 25*i - 4216 = -13491. Let s = 359 + i. Is -13 bigger than s?
False
Let x(y) = -2 + 145*y**2 + y + 5*y + 3*y - 144*y**2. Let n be x(-9). Let q be n/16*(-2)/(-4). Which is smaller: -1 or q?
-1
Let w be ((-9)/4)/(3/(-8)). Let p(j) = j**3 - 6*j**2. Let d be p(w). Let i = -17/160499 + 1284451/4333473. Is d >= i?
False
Suppose -6*x - 1229 = 2*w - x, 3055 = -5*w + 5*x. Is -1840/3 > w?
False
Let s = -657 + 448. Let b = -208.8 - s. Which is bigger: b or -113?
b
Let q = -2.18 - -88.18. Let z = -86.01 + q. Does z = -10?
False
Let s be 1 - (7 - -2)/(30904/3432). Which is smaller: 0 or s?
0
Let m = 44 - 44. Suppose 8*x - 7*x + 75 = m. Let j be (-25)/x*(-6)/(-4). Is -31 < j?
True
Let g be (11/(66/12))/(4/6). Let j be g + -2 - 0 - 23. Is j less than or equal to -148/7?
True
Let j = -273117/790 + -329/158. Which is smaller: j or -349?
-349
Let t be 4/(-2) - (-1 - 0). Let r = -3 + t. Suppose 51*i + 451 - 167 = 131. Is r not equal to i?
True
Suppose -4*s - 48 = 104. Let f(o) = 19*o**2 - 2161*o - 607. Let z be f(114). Which is bigger: s or z?
z
Suppose 0 = 4*n - 3*t + 305, -288 = 5*n + 5*t + 67. Do n and -93 have the same value?
False
Suppose -3*r = -9*t + 4*t - 66, 3*t = -r + 8. Suppose r = 4*g - 3. Let c be ((-26)/4)/((-6)/4). Is g <= c?
False
Let v = -1859.2 + 1859.2. Which is bigger: -2028 or v?
v
Let h = 33.4 - 34.67. Let a = -5.27 - h. Does a = 30?
False
Let z = -4699 - -141029/30. Which is greater: z or 2?
2
Let q = -1862 + 1761.7. Let f = 100.3 + q. Is -227 less than f?
True
Let k = -0.17 + 0.068. Let l = -298 + 298.2. Are k and l nonequal?
True
Let d = 318 - -103. Let g = 421 - d. Which is smaller: g or -16/37?
-16/37
Let r = -3122 + 3200. Which is greater: r or 74?
r
Let a = 0.4 - 0.3. Let f = 0.033641 - 67.933641. Is a not equal to f?
True
Let y be 21/(-11) - -2 - (455616/545248)/9. Is y != 0?
True
Let j be (5/40*-6)/(3/60). Let t be -1 + -3 + 140 + -148. Which is bigger: t or j?
t
Suppose 0 = 4*u - 3*s - 6453, -4212 + 989 = -2*u + s. Is u at most as big as 1611?
True
Let i be 792455/799293 - (-1 - 0)/(-1). Let t = -8/1749 + i. Let d = t - 18725/914. Which is greater: d or -21?
d
Let o be (21/(-14))/((-3)/152). Suppose 4*l + 2*b = -0*b + o, 0 = b + 4. Let g = l - 83/4. Which is greater: -1.3 or g?
g
Let g = -10 - -23. Let s = 1240226/93955 + -4/18791. Which is smaller: s or g?
g
Suppose -4*i + 28 + 1472 = 0. Suppose 10*q = 125 - i. Which is smaller: -24 or q?
q
Let i = 1407544798/907623675 - -1430/228333. Let r = i + -2/1325. Is r less than 2/15?
False
Suppose 0 = -2799*t + 2771*t + 11424. Which is smaller: t or 410?
t
Let z = -422 - -2103/5. Suppose 3*h - 4*i - 33 = 0, -5*i = -2*h + 23 + 6. Suppose 4*t - 6 = h*t. Which is bigger: t or z?
z
Let g(r) = -4*r - 24. Let o = -95 + 88. Let u be g(o). Let i be (0/u)/((1 - 2)/(-1)). Is i bigger than -1/5?
True
Let c = -2268175 + 24990376/11. Let a = 3680 - c. Which is bigger: a or 4?
4
Suppose -85*t + 10844 + 8196 = -80*t. Is 3807 greater than or equal to t?
False
Let m be -1 - 2/(6/(-3) + (2 - 1)). Let r = -0.3 - -0.55. Which is bigger: m or r?
m
Let j = 0.6 - 4.6. Let r = 20.8 - 30.4. Let s = 7.6 + r. Is j greater than s?
False
Suppose -i = -4*i + 1032. Is i less than or equal to 1?
False
Let a(q) = 5*q - 35. Let h be a(5). Let m(s) = -4*s - 22. Let t be m(h). Which is greater: t or 16?
t
Let t(m) = -6*m**2 + 15*m + 191. Let w(r) = 5*r**2 - 17*r - 190. Let g(a) = -4*t(a) - 5*w(a). Let h be g(31). Is 19/51 > h?
True
Suppose 14 = -2*g - 5*x, 5*g + 8 = 4*x - 3*x. Let f(b) be the second derivative of b**5/20 + b**4/6 - b**2/2 + 2*b + 4. Let j be f(g). Does j = -1/61?
False
Let i = -2/5 + 9/35. Let j be (304/1216)/(-30*12/(-64)). Which is bigger: i or j?
j
Let z be (16/(-6))/(37/((-40293)/(-143))). Is z at least 6?
False
Let q = 200952/11 - 18304. Does q = -1?
False
Let i(a) = 319*a - 11504. Let h be i(-42). Is -24903 smaller than h?
True
Let x(s) = -2*s**3 + 22*s**2 - 254*s - 60. Let t be x(10). Is t <= -2404?
False
Let k(a) = -a**2 + 10*a + 39. Let g be k(13). Suppose -4*d - 9*d + 455 = g. Suppose 3*r + 16 = 118. Is d <= r?
Fa