2 - -1. Is t smaller than d?
False
Suppose -12*t = -15*t. Suppose 2*p + 9*p + 8*p = t. Is p not equal to 2/1467?
True
Suppose 3335 = 4*j + c, -14*j - 11*c = -16*c - 11715. Which is smaller: -0.4 or j?
-0.4
Let s be 168/6216 + 926/(-37). Is -38 less than s?
True
Let x = 1 - 5. Let h(l) = 2*l**2 + 7*l + 1. Let t be h(-9). Suppose 0 = -2*o + t - 88. Is x < o?
True
Let c be (14/(-4))/((-2)/4). Let l(g) = 10*g + 98. Suppose 9 = -n + i, 16*i + 36 = -4*n + 11*i. Let z be l(n). Which is bigger: z or c?
z
Let o = -1 - -1. Suppose -3*g + 4*u = 108, 27*u = -3*g + 24*u - 87. Is o <= g?
False
Let f = 11827 + -11826. Which is greater: f or -10/1757?
f
Let r = -2280 + 2293. Which is smaller: r or -13?
-13
Let v(q) = -13*q**3 + q + 1. Let i be v(-1). Let p = 304 - 288. Suppose 2*x = 12 + p. Which is smaller: i or x?
i
Suppose 73 + 67 = 10*x. Suppose 12*a - x = 5*a. Let q(h) = h**2 - 7*h + 8. Let j be q(6). Is a less than j?
False
Let s = -0.454 + 240.454. Let k = -241 + s. Is 0.65 < k?
False
Let o be -5 - 57/21*-2. Let k = -15168 - -75521/5. Let t = -64 - k. Which is smaller: o or t?
t
Let j = -9 - -2. Let m = -6.9 - j. Let n = -12.8921 + -0.1079. Is m at most as big as n?
False
Suppose -6*w + 75 = -w. Let n be (6 - 6)/(4 + -3). Suppose -5*b + 3*t = -58, 4*b - 2*t - 50 + 2 = n. Is w bigger than b?
True
Let q = -341.081 - 8.019. Let j = -349 - q. Is j at least -19/10?
True
Suppose -947*b = -848*b - 17820. Suppose 5*r + 547 = 3*j, -3*j - 2*r = -0*r - 533. Which is smaller: b or j?
j
Suppose 0 = 23*q - 5237 - 9437. Is q greater than 637?
True
Let a = -35934 - -35937.1. Is a <= 64?
True
Suppose 0 = 3*r - 0 - 162. Suppose 0 = -l - 2*l + r. Suppose -l = 4*h - 10. Is -3 smaller than h?
True
Let q = -11/290 - -3957/89030. Let k = q + -1541/921. Is -17 >= k?
False
Let b be (-3)/(-9)*-3*(-2)/2. Let w(x) = 2*x**3 + x**2 - 1. Let d be w(b). Let y be (12 - d - 1)*-1. Is y at most as big as 0.04?
True
Let x = 1464 + -11888. Which is smaller: -10423 or x?
x
Let u = -200.1 + 197. Let b = u + 6.1. Is 12 greater than b?
True
Let d = -221 - -188. Let v = d + 42. Is -5 smaller than v?
True
Let g(b) = 6*b - 2. Let z be g(2). Suppose 2*u = z + 4. Let k be 2 + u/(35/(-9)). Which is smaller: k or 1?
k
Let u(f) = -2*f - 35. Let s be (-2 - 2 - -3)*10*2. Let b be u(s). Suppose 3*v - 148 - 69 = -4*w, 0 = -5*w + b. Is v bigger than 72?
False
Let n be (8/(-12))/(-5 + (-2111)/(-423)). Let r = n + -68. Is r greater than or equal to 0.17?
True
Let m be (3 + (12 - 60))*2/(-3). Suppose 0 = m*z + 1590 + 5370. Are z and -232 nonequal?
False
Suppose -756 = -924*x + 930*x + 1188. Which is smaller: -328 or x?
-328
Let w be 6*(-7)/476*8 - (-6)/9. Suppose 3*u + 5*k + 3 = 0, -2*k = 2*u - 6*u - 4. Let h = -2 - u. Which is smaller: w or h?
h
Suppose 134 = -6*g + 7*g. Let o = 166 - g. Is o <= 31?
False
Suppose 0 = 7*z + 5*z + 756. Let p be (-6)/(-2)*11/((-66)/128). Is z at most as big as p?
False
Let o(l) = -19*l + 86. Let g be o(0). Let z be 1/7*(-1202)/2. Let f = z + g. Is -0.1 bigger than f?
False
Let r be 88111/(-184) - (-110)/880. Let d = r - -479. Is d less than or equal to -1?
False
Let y = -1485 - 464. Which is smaller: y or 2?
y
Suppose 5*z - 128 = -2*l, 43*l - 158 = 40*l + z. Let j = -39 - -89. Is j < l?
True
Let y(f) = f**3 + 24*f**2 - 2*f - 40. Let a be y(-24). Let x be a + 3068/(-396) + (-2)/9. Suppose 6 = -5*g + 1. Which is greater: g or x?
x
Suppose -7*c = -23 - 278. Suppose -4*x + 4*w = -173 - c, 4*x = 2*w + 214. Which is smaller: x or 54?
x
Let c be (-2)/(-1) - (-5 - -4)*2. Suppose 17 = 3*h - c*p, 3*h - 4*p - p - 19 = 0. Suppose -h*z - 39 = 3*a + 2*a, -5*z - 3*a = 65. Does -13 = z?
True
Suppose -226*o - 1065 - 291 = 0. Is o greater than -524/93?
False
Let k = -2/4995 - 4621/934065. Let g(d) = -d**2 - 16*d + 1026. Let x be g(-41). Is x < k?
False
Let o be (98/(-4))/(18/(-8)). Suppose -6 = -2*a, f + 2*a + 158 = 174. Is f >= o?
False
Let q be (-30)/165 - (-24)/11. Suppose -h = 14 + q. Let k be (1 - h) + 10 + -15. Is k at least 11?
True
Let u(a) = 3*a - 39. Suppose -3*y + 8*y = 2*q - 27, 2*q = 4*y + 30. Let t be u(q). Let z = t - 66. Is -43 < z?
True
Let a be (18/39)/((-6)/(-52)). Suppose 10*s - 5*t = 13*s + 25, s + a*t + 20 = 0. Which is smaller: 2/143 or s?
s
Let i = 344 - 205. Suppose -2*c = c - 2*v - i, -3*v - 51 = -c. Let g = c + -44. Which is smaller: g or 2/5?
2/5
Suppose 5*n - k = 3*k - 12988, 0 = 5*n - 5*k + 12985. Let d be 2/3 - n/(-3540). Which is smaller: 1 or d?
d
Let j be (3102*104/117)/(-6). Which is smaller: j or -459?
j
Let z(r) = 6*r - 12. Let i be z(5). Let m be 6/(-21) - i/(-161). Suppose 0 = 3*c + 3*t - 9, 7*c - 2 = 5*c - t. Are c and m non-equal?
True
Let u = 0.112 - 0.13. Let f = -0.115 + u. Which is smaller: 0.1 or f?
f
Let o(f) be the second derivative of 13*f**3/3 + 157*f**2/2 - 168*f. Let a be o(-6). Is a > -2/689?
True
Suppose 0 = 8*r + 2*r + 6850. Let l = -8895/13 - r. Let k = -1 - -1. Is l != k?
True
Suppose 5*o - 18315 = 5*c, 120*o - 5*c = 119*o + 3643. Is 11008/3 greater than o?
True
Let d be -13 + 49 + 1 + -2. Let v = d + -29. Let y be (6/(-10) + 0)/(v/(-4)). Which is greater: y or 3?
3
Let l = 1.8 + 110.2. Let j = l - 218. Let d = 112 + j. Are d and -0.3 unequal?
True
Let y = 0.14 - -0.191. Let d = -0.431 + y. Is 80 > d?
True
Let c be 645/(-10)*122/(-1572) - (-8 - -13). Which is smaller: 1 or c?
c
Let m be (-6)/24*-3 - 10501/(-36). Let a = 292 - m. Let k = a + -2/9. Is 0.9 < k?
False
Let q(o) = -o + 11. Let f be q(7). Let r be 7/(-8) - f/32. Which is greater: r or 12?
12
Let h = 80 + -118. Let a = h - -98. Let d = -4/15 + 3/5. Which is smaller: a or d?
d
Let o be 4/26 - (-1 + (-1290)/65). Let q = o + -11. Suppose -21 + 311 = q*s. Are s and 28 nonequal?
True
Let p = 3565/8 + -35671/80. Is 0.4 equal to p?
False
Let x = -869.55 - -851. Let o = x + -2.75. Let z = -21 - o. Is 1/12 <= z?
True
Suppose -41 = -28*m + 239. Which is bigger: 42 or m?
42
Suppose 0 = 9*d - 0*d + 405. Let m be (d/(-10))/((-116)/32 + 2). Which is greater: -1/4 or m?
-1/4
Suppose -2*t - 1226 = 3*c + 6724, 3*t + 11930 = -2*c. Let s be (-17)/t*6/(-4). Which is greater: s or 1?
1
Suppose -a + 5*l - 3 = 0, -5*l - 5 = -6*a + a. Suppose -2*m - a*p + 104 = 0, 3*p - 4 = 2*m - 118. Let h = 162 + -109. Which is smaller: m or h?
h
Let f(v) = 5*v**3 - 3*v**2 - 5*v + 7. Let x be f(4). Let p = x + -257. Is -38 bigger than p?
False
Let d(m) = -m**3 + m**2 - m. Let x(v) = 139*v**3 + 5*v**2 - 5*v + 1. Let l(z) = 6*d(z) - x(z). Let r be l(1). Which is smaller: r or -144?
r
Let c be -8 + 4 + 2 + 54. Suppose -74 - c = 6*x. Let s be ((x/28)/1)/(5/(-8)). Which is greater: 0.3 or s?
s
Let d = 69.7 - 88. Let o = d - -15.2. Are o and -1 nonequal?
True
Let g = -624.9 - -629.9. Which is smaller: 14/51 or g?
14/51
Let m = 10745/148444 + 5/4366. Which is smaller: 2/41 or m?
2/41
Let w(l) = 3*l**2 - 26*l + 10. Let x be w(1). Which is smaller: x or 201?
x
Suppose 48*m + 1358 = -281 - 5369. Let a(y) = 36*y - 3. Let i be a(-4). Is m at most as big as i?
False
Let u(o) = -46*o + 2. Let s be u(8). Suppose 61*z - 50*z - 2202 = 17*z. Do z and s have the same value?
False
Suppose 2*z - 5 = 23. Let h be (-10605)/z*1/((-6)/(-4)). Which is bigger: -506 or h?
h
Let p(l) be the second derivative of -1/20*l**5 + 0 - 13/2*l**3 - 5*l**2 - 13*l + 11/6*l**4. Let n be p(20). Does 54/5 = n?
False
Suppose 14*r = 11*r - j - 7, -r = -3*j - 11. Which is smaller: 4/701 or r?
r
Suppose -b + 1 + 0 = -5*n, 2*b + 3*n = 41. Suppose -b*d + 35 = -11*d. Suppose -z = -2*z - d. Is z <= -7?
True
Suppose 3*k + 2*y - 2999 = 3691, -2*y = -4*k + 8906. Is 2233 less than k?
False
Let l = 0.1576 + 9.8424. Is l <= 162?
True
Let c be 1*-2*35/(-40). Suppose 5*n = 2*m + 3*m - 5, 4*n = 3*m. Suppose a + a = -m*p + 16, -2*a = p - 7. Which is smaller: a or c?
c
Suppose 542*g - 544*g + 2362 = -3*y, -2370 = 3*y - 3*g. Is -4685/6 bigger than y?
True
Suppose 0 = d - o, 4*d - 60*o = -58*o + 8. Suppose -4*f + 8 = d*j, 0 = -4*f + 5*j - 3*j + 2. Suppose 0*n = -2*n. Which is greater: f or n?
f
Suppose -4*u - 349 = k + 147, 5*k - u = -2396. Is -480 greater than k?
False
Let c(q) = -89*q + 8. Let h be c(-3). Let x = h - 276. Is -6/25 at least as big as x?
True
Let q = 34931 + -35004. Is -789/11 smaller than q?
False
Let b = 243.42 - -2.58. Let u = 369.6 - b. Let k = u - 124. I