 j less than 1?
True
Let c be (-2)/13 - ((-906)/(-312))/(-1). Let j = -17/4 + c. Is -1 > j?
True
Let y = 0.25 + 80.75. Let j = y - 78. Is j < -0.19?
False
Suppose f - 5*p = -28, -6*f + p - 168 = -3*f. Which is smaller: -347/6 or f?
f
Suppose 4*k - 5*z = 55, k + z - 27 = -2. Suppose -3*f - k = -j, 0 = -2*j + f + 18 + 27. Let x = 27 + -4. Is x less than or equal to j?
True
Suppose 5*p - 17 = -2*u, -13 = u - 2*u + 2*p. Suppose -3*q + 3*l + 18 = 0, -7 = -2*q - 3*l - 0. Which is smaller: q or u?
q
Suppose 68*v - 63*v = -r + 776, 2*r + v = 1489. Is r != 740?
True
Let r be 8/12*(2 - (-4137)/6). Let w = r + -111561/242. Which is smaller: -1 or w?
-1
Let w be ((-418)/99)/19 + 172/(-36). Let i = 0 - 1. Let f = i + w. Is -7 >= f?
False
Let b = -4.25 + 4.377. Let p = b - 0.247. Is p equal to 4?
False
Let o be (-59 + 2)*(2 - 20/(-12)). Let g = o + 210. Which is bigger: g or 2/77?
g
Let a = -104 + 314/3. Let z = 498 - 43328/87. Is a at least as big as z?
True
Suppose -4*u + 6*u + 12 = 0. Let p be (-1)/(19/33 - u/(-9)). Suppose -3 = 2*z - 11, 2*z = -4*n + 44. Which is smaller: p or n?
n
Let o be (-7 - 212/(-28))/((-6)/(-9849)). Which is bigger: o or 2?
o
Let l be 111/(-74) - (-2703)/1808. Which is smaller: 1 or l?
l
Let v(c) = c**3 - 3*c**2 - 3*c + 1. Let p be v(4). Suppose 3*s + 23 = -p*u, 3*u - 16 + 33 = -5*s. Is u != -17/4?
True
Let u(p) = -p**3 - 12*p**2 - 6*p + 3. Let n be u(-6). Let q = 312 + n. Suppose 170 + q = 5*m. Which is bigger: m or 60?
m
Suppose -3*g + 4*k = -1 - 17, -4*g + 23 = -5*k. Let y(p) = -9*p**2 - 8*p**g - p**3 - 1 + 1. Let z be y(-17). Which is bigger: -10/7 or z?
z
Suppose -76*p - 36 = -79*p. Let y(v) = -v**3 + 14*v**2 - 29*v + 51. Let h be y(p). Let d = -12 - -3. Is d < h?
False
Let p(y) = -y**3 + 36*y**2 + 3*y - 113. Let w be p(36). Let r be 1/(-2)*((w - -8) + -4). Which is bigger: -136 or r?
r
Let g be (12/3 + -4)/1. Let o = 55 + -55. Suppose o = -g*y + 7*y - 14. Is 8/9 greater than y?
False
Suppose 2377*w = 2391*w. Let n = 116 - 1288/11. Let u = -103/44 - n. Is u at least as big as w?
False
Let i be 30711/2871 - (-12)/88. Let n = -23 + 35. Is i at least as big as n?
False
Let m = 154 - 167.5. Let l = -13.4 - m. Is 1/12 smaller than l?
True
Suppose 2*i = 4*f, -3*f = -5 - 1. Suppose 10 - 2 = -i*b. Let v be (-3)/b + (-147)/(-54) - 3. Which is smaller: v or 2?
v
Let u = 7.397 + -7.89. Let r = u - 1.507. Are r and 0.033 unequal?
True
Let u = 2.7 + -6.76. Let c = 7.94 - u. Is -7 bigger than c?
False
Let g(k) = 8*k + 16. Let q be g(0). Let y be (-66)/(-4)*3/(36/q). Is 24 less than y?
False
Let x be 2/3 + 0 + 38072/(-120). Which is smaller: x or -316?
x
Let u(c) = -13*c + 2705. Let l be u(94). Which is bigger: l or 1485?
1485
Let m = 7945 + -9248. Which is smaller: m or -1302?
m
Let h be 0 + (-546)/30 - 2/(-10). Let b be (147/h)/(9/(81/(-60))). Let s = -8/5 + b. Is 0 greater than or equal to s?
True
Let c = 1432.7414 + -1433. Let o = 0.267 + c. Which is smaller: o or -0.1?
-0.1
Let u = -156.5 - -483. Let j = u + -326. Which is smaller: -9/8 or j?
-9/8
Let b(q) = -q**2 + 52*q - 51. Let o be b(1). Let a be 282/680 + 4/(-10). Is o < a?
True
Let k = 384 + -410. Let c be (1/4*2)/(k/(-884)). Is c at most as big as 31/2?
False
Let m(k) = 16*k**2 - 17 - 14*k - 26*k**2 - 7*k + 15*k**2. Let i be m(5). Is -29 <= i?
True
Let n = -729 + 92582/127. Let a = 510 + -510. Which is bigger: n or a?
a
Let h(y) = 2*y + 19. Let i be h(-7). Suppose 2*l = i*l - 18. Let a be (63/24)/(l/(-56)). Which is smaller: a or -0.1?
a
Let z = -5545.941 + 5546. Which is greater: -2/13 or z?
z
Let u(w) = -w**3 + 9*w**2 + w - 8. Let m be u(9). Suppose b - g = -5, -2*b + m = -4*g + 11. Let h be (-12)/(-30) - (-2)/b. Are 8/17 and h non-equal?
True
Let v = -6663 - -6664. Is v < -137?
False
Let f = 11911 + -15868. Does f = 0.2?
False
Let n be 19/38 + (-54)/117. Is n less than or equal to -6/7?
False
Suppose -k + 3*o = 2, -2*k + 2*o = -3*k + 18. Suppose 0 = 3*z + 2*v + k + 28, 3*z + v = -34. Let h be 201/15 - (-2)/z. Is 14 bigger than h?
True
Let n be (-43)/(-204) - 1/4. Let a = 8835 + -8834. Is n at most as big as a?
True
Suppose 123*s - 125*s + 3*j = 44621, j - 44639 = 2*s. Is -22325 less than s?
True
Suppose 2*n - 10 = -4. Suppose 0 = -2*a + 6, h + 4 = 2*a + 8. Is n != h?
True
Let a be 86476/10810 - (-8 - (-11 - 5)). Is a at most -1/4?
False
Let u = 5511 + -5081. Is 429 greater than u?
False
Let h = -98 - -94. Let s be 0/2*h/(-8). Suppose 5 = -3*c - z + 1, s = 3*z - 15. Which is smaller: c or -5?
-5
Let x = -225 - 40. Let f = -265 - x. Which is bigger: 0.37 or f?
0.37
Let m = -190 + 198. Suppose 3*f = -5 + m. Which is smaller: -3/226 or f?
-3/226
Let l = -4315 - -4316. Is l at least 2/193?
True
Suppose 13 = -2*d + 349*m - 352*m, -2*d + 5*m = -27. Which is greater: -36/181 or d?
d
Let a = -45 - -69.85. Let t = 0.15 + a. Let j = -0.2 + 1.2. Is j at least t?
False
Let l = -3371 - -3314. Suppose -2*g + 114 = -2*a + 4*a, 0 = 4*g. Let x = a + l. Which is smaller: x or 8/9?
x
Suppose 2*h + 9108 + 9182 = -4*s, 4*h + s = -36538. Is -9134 not equal to h?
True
Let n = -855871226 + 1491783616039/1743. Let a = n - -6/581. Is 41 at least as big as a?
True
Suppose -14 = -77*u + 75*u - 2*r, -3*u + 3*r = -27. Let y be (-3 + 3)*(-2)/u. Which is smaller: y or -8/83?
-8/83
Let m be 137 + -6*(-136)/(-48). Do m and 104 have the same value?
False
Let h = -98507/8303 - -273/23. Let b = h - 728/1083. Which is greater: -155 or b?
b
Let s(v) = v**3 + 6*v**2 + 2*v + 1. Let q = -13 - -7. Let j be s(q). Let y(r) = -11*r - 7. Let o be y(0). Which is smaller: j or o?
j
Let n = -0.3465 + 0.3465. Which is greater: n or 0.5?
0.5
Let u = -58089 - -25617230/441. Is 1 smaller than u?
False
Let f = 24710 + -24719.484. Are -1 and f equal?
False
Suppose -5*s + 3*s - 1360 = 0. Let g = s + 385. Let f be g/(-175) + 2/(-7). Which is greater: f or 2?
2
Let y = 5119602/989 - 119712/23. Is y greater than or equal to -29?
True
Let l(u) = -95*u**2 - 4. Let s be l(2). Suppose -4*d - 1540 = 2*k, -2*k + 1293 = -5*d - 632. Which is bigger: d or s?
s
Let l be -14 - (315/(-28) - 3). Is l bigger than -1.182?
True
Let s = 1253 + -1257. Let v = -6 - -3. Let n = s - v. Which is greater: -2.9 or n?
n
Let y be 3/(-6)*(0 + 48). Let q = 28 + y. Suppose 0 = -q*w + 23 - 179. Is w less than -40?
False
Let a be 82/4 + 3/6 + -2. Suppose 14*h - 15 = a*h. Let g(x) = -3*x + 2. Let v be g(2). Which is smaller: h or v?
v
Suppose -2*s = 2*w - 52, -5*s = -w - 2*s + 6. Suppose 39 = 24*x - w*x. Suppose 5*a = -3*l + 4*l - 17, -l - a = x. Are l and -8 unequal?
False
Let k = -85 - -85. Suppose -3*u - 1 + 7 = 0. Let h be u/(-8) + (-88)/(-864). Which is greater: k or h?
k
Let r(p) = -p - 1. Suppose 2 = 3*y - 4*f, -2*y + f + 3*f = 0. Let l(v) = -v + 22. Let c(k) = y*r(k) - l(k). Let w be c(-5). Is -58/3 >= w?
False
Let s be ((-18)/(-14) + -1)/((65 - -14)/(-1659)). Let v = -8674/1371 - 3/457. Which is bigger: s or v?
s
Let k(s) = 24*s - 677. Let c be k(33). Are 117 and c nonequal?
True
Suppose -71281 = -4*c - 3*c. Let a be (c/34)/(1/2). Is 599 greater than or equal to a?
True
Let z = -6587 - -6587.198. Is z greater than or equal to 5?
False
Let s = 160 + 69. Let k = -488 + 718. Which is smaller: s or k?
s
Let b = -4 + 15. Suppose b*j - 600 = -j. Suppose -8*k = -50 + j. Which is smaller: -8/15 or k?
-8/15
Suppose -5*x + 2*d = 0, 2*x + 3*d = -x + 21. Suppose 3*a - 3 = 3*h, 2 = x*a - h + 4. Which is greater: -4 or a?
a
Let b be 5/3 + 2867744/(-4620). Suppose -3*w + 1866 = -3*l, 0*l = -w - 5*l + 604. Let r = w + b. Is r less than 0?
True
Let p(o) = o**2 - 12*o + 8. Let m be p(6). Let l be 7/m - (-135)/524. Let c(t) = 15*t + 120. Let d be c(-8). Is d less than l?
True
Suppose f + q = -2*f - 183, 2*f + 126 = -2*q. Let k be 8/28 + ((-32500)/35)/(-5). Suppose -2*j + k = -5*j + n, -n = -3. Is j at least as big as f?
False
Let c = 204.6 - 205.6. Which is smaller: 2.32 or c?
c
Let g = -0.16 - -2.36. Let c = -1.2 + g. Which is smaller: 1/11 or c?
1/11
Let q(i) = -4*i + 26. Let c be q(6). Suppose -39 = -c*z - j, 0 = 7*z - 3*z + j - 75. Suppose -z + 8 = -2*t. Which is smaller: 17/3 or t?
t
Suppose 10*n - z = 44881, 2*n + 37*z = 35*z + 8996. Which is smaller: n or 4491?
n
Let y = -1.4 + 1.39. Let x = y - 0.41. Let q = x + -2.08. Is q at least 2?
False
Suppose -2*n + 1630 =