 - 16 = -l, x*l = 3*c + 36. Is -14 smaller than c?
False
Let l = -4894.9 + 4895. Which is greater: -1548 or l?
l
Let t(j) = -j + 6. Let g be t(5). Suppose -5*c + 17*f - 12 = 18*f, 2*c = f - 2. Let x be 30/(-6) + 5 - 1/c. Which is smaller: g or x?
x
Let c be 2 + 0 + 3/((-9)/246). Let t = -82 - c. Let b be 25/5*7*t. Is b greater than or equal to -70?
True
Let t be 4/(12/(-17 - -20)). Let z = 37 + -261/7. Which is greater: t or z?
t
Let b = 13.1 + -10. Let l = b + -3. Let g = -18800 + 18789. Which is smaller: g or l?
g
Let q be 26/12 - 6/36. Let a = -44/5 - -1084/105. Is q smaller than a?
False
Let y be -1*(-4 - -3)/(-1). Is y greater than or equal to 1/7284?
False
Let f be 5083/(-299) - 238/(-16). Let d(k) = 2*k + 2. Let b be d(-2). Is f bigger than b?
False
Suppose -7*y + y = 0. Let u be (-5)/(-15)*y + 5 + 0. Is u > 10?
False
Let b(z) be the third derivative of -z**4/24 + z**3/3 + z**2. Let s be b(2). Let k be -6 + (-356)/(-60) - (-178)/(-30). Is k bigger than s?
False
Let m = 1130 + -2076. Is -948 bigger than m?
False
Let n be ((-90639)/(-21))/(-9) + 3/(-7). Is n at least -477?
False
Suppose -12*v - 191 + 311 = 0. Suppose -v*c - 189 = 17*c. Which is smaller: -46 or c?
-46
Let w be ((378/(-4))/7)/(5 + 385/(-66)). Does w = -3.3?
False
Let d = -5585 + 5589. Let k = 262/57 - -14/19. Is k less than d?
False
Let q = -1522 - -1493. Which is greater: 63 or q?
63
Suppose -14*t + 39*t + 481 = -12*t. Let b(q) = -q**3 - 9*q**2 - 3*q - 4. Let o be b(-7). Let r be 3*9/(o/30). Are t and r unequal?
True
Let h(k) = 18*k**2 - k + 3. Let n be (-6)/(-16) + (-539)/392. Let d be h(n). Is d equal to -9?
False
Let n be (14 - (255 - 11))*8. Do n and -1 have different values?
True
Let f = -554 + 557. Suppose f*k - 30 = 18*k. Do 132 and k have different values?
True
Suppose -82 = -4*t - 2*z, -5*z + 68 = 4*t + 19. Let d(h) = -h**3 + 10*h**2 - 8*h + 11. Let f be d(9). Which is bigger: f or t?
t
Let r be -5 + -1 - (396/(-462))/(2/112). Is 455/11 less than r?
True
Let y(c) = 251*c - 3276. Let d be y(6). Are d and -1770 nonequal?
False
Let o be (-1)/13 + (-248531)/(-3283969). Is 0 greater than o?
True
Let r(q) = -34*q - 2. Let a be r(-4). Let n = -21861 + 21996. Do a and n have different values?
True
Let z = -11 + 8. Let p = -504 - -501. Let r = z - p. Which is smaller: -1/68 or r?
-1/68
Suppose 3*c - 5*c + 2*j + 14 = 0, -c - 2*j = -4. Suppose -c*z = 10*z + 2400. Is z greater than or equal to -150?
True
Suppose 0 = -5*v + 2*v + 5*l - 12, -5*l = 5*v + 20. Let n(o) = -57*o - 228. Let h be n(v). Is -2/755 bigger than h?
False
Let x(b) = 6*b**3 + 128*b**2 + 37*b - 51. Let n be x(-21). Which is smaller: -42 or n?
-42
Let n(r) = 5*r**2 + 30*r - 29. Let i be n(-8). Suppose x - i + 7 = z, 2*x = 2. Suppose -4*g + 43 = -5*g. Are g and z non-equal?
False
Let c = -2460 + 1151. Let l be 2/(-14) - (-2893)/c. Is l not equal to -1?
True
Let g(c) = c**2 - 8*c - 20. Suppose -35 = -3*p - 5. Let b be g(p). Let h = -193 - -192.4. Which is smaller: h or b?
h
Let w be -1 + 2 - 623/625. Suppose -109*b - 28*b = 50*b - 11*b. Is w at most b?
False
Let i = 24102 - 24101. Is i < -39/98?
False
Let v = -0.4 - 0.6. Let h = v + 3. Let p = 280 - 264. Is p less than or equal to h?
False
Suppose 13275 = x - 6*x + 3*k, -2*k = 3*x + 7965. Let f be 5123740/x + 2/(-9). Let c = -1930 - f. Which is smaller: 0 or c?
0
Let c = -43.6 + 13.4. Let v = 20 + 10. Let b = c + v. Which is bigger: 0.2 or b?
0.2
Let o = -0.502 + 80.602. Let f = 72 - o. Let j = -8.2 - f. Is 3 > j?
True
Let x be ((-16)/12 - -2)*-3. Let l(h) = -h**2. Let o be l(x). Let k be (-3)/o*(-24)/102. Is k at least as big as 1?
False
Let y = 12748 - 12621. Is 142 less than y?
False
Let p be (2 + -2 - -2)/2. Let g = -437 - -431. Let o be (-3)/4 - 1/g. Which is smaller: p or o?
o
Let c = 1.19 + -7.19. Let x = c + -12. Which is bigger: -1 or x?
-1
Let q be (-84)/140*(-10)/(-8). Let m = 16 + -31. Does m = q?
False
Suppose -o = -2*o - 1956. Let p = 1325646/5 - 263167. Let q = p + o. Is q greater than 5?
True
Let r = 59889/6844 + -1/1711. Let p(w) = 3*w - 33. Let f be p(11). Suppose f = -6*g - 9*g + 120. Which is bigger: r or g?
r
Let s = -7100 + 7104.5. Which is smaller: -0.3 or s?
-0.3
Suppose -107*b + 32895 + 4840 = -6349. Is b at least as big as 412?
True
Let p be (-2)/(-4) + 295/110. Suppose -229*v - 215*v + 414*v = -60. Is p smaller than v?
False
Let l = -831 + 793. Let p = -167.74 - -205.7. Let s = l + p. Is 0.3 greater than s?
True
Let l be 0 - ((-312)/(-159) + -2). Let u(b) = -18*b - 45. Let a be u(-6). Suppose -64*q + a*q + 1 = 0. Is l != q?
True
Suppose 6*f = -0*f + 42. Suppose 0*q + 66 = -6*q. Let g be (-20)/(-3) - q/(66/8). Is g > f?
True
Suppose -3*l = l - s + 180, 0 = -2*l + 4*s - 76. Let u = l - -51. Suppose 13*i = u*i + 256. Do i and 32 have the same value?
True
Let y = -13/28 + -1/28. Let f = 0.48 + -0.68. Is y less than or equal to f?
True
Let a = -12088 - -12087. Is -2908 at least a?
False
Suppose -9*x + 11 = 2. Suppose 7*z + x - 22 = 0. Let s be z*1/(-12)*(-6)/8. Do s and -1 have the same value?
False
Let q be (14/1)/((46/4)/1). Let k = -1026/805 + q. Is -8 smaller than k?
True
Let w = 14/281 + -491/4215. Is 0.27 greater than w?
True
Let n be (0 + -1)*(-5847)/(-1951) + -13 + 16. Which is greater: 1 or n?
1
Suppose v + 6 = s, -5*v - 10 = 6*s - s. Let h be ((-24)/(-2) - 72/18) + -5. Suppose j + 5*q + h = 9, -s*q = 5*j - 7. Is j greater than 7/8?
True
Suppose 0 = 4*p - 8, -4*p = 4*g + p + 5698. Is -1427 >= g?
True
Let v(m) = m**2 - m - 67. Let w be v(-8). Let n be -2 + 21 + (w - (1 + 4)). Does n = -0.5?
False
Let o be ((-920)/(-200) + (10/(-2) - -1))*-5. Is 95 equal to o?
False
Let m(k) = 6*k**3 - 41*k**2 - 38*k + 172. Let w be m(4). Is 4 >= w?
True
Let l(v) = 4*v**2 - 3*v + 5. Let d be l(7). Suppose d = 20*z - 24*z. Let p = 16 - 60. Which is smaller: z or p?
z
Let h = 2850 - 2672. Is h at most as big as 203?
True
Let s = 32 - 30. Let d(y) = -43 + s*y - 4*y + 17. Let v be d(-13). Which is bigger: v or -1?
v
Suppose 0 = 18*t - 9 - 63. Let q be 28/t + 159/(-27). Which is greater: 1 or q?
q
Let l = 1279 + -3724. Is -2445 greater than l?
False
Let g(p) = 2*p**2 + 7*p - 1. Let k be g(2). Suppose -h + 3*h = c + k, -57 = -4*h - c. Let z = h + -22. Is -31/3 at most z?
True
Let l = -23 - -18. Let s = 33 - l. Let t = -42 + s. Do -13 and t have the same value?
False
Let l = -0.1354 - 15.2646. Is -0.27 equal to l?
False
Suppose 104*s - 309*s = 143*s - 7308. Which is bigger: 238/11 or s?
238/11
Let w = 4559 + -4558.95. Which is greater: w or -0.002?
w
Let o = -1671 - -1672. Suppose 3*y + 135 = 5*a, -a = 3*y - 0*a + 153. Let u be 2/((y/3)/(-1)). Are u and o non-equal?
True
Let p = -4159 - -4159. Which is smaller: 1/1857 or p?
p
Let d = -231.356 - -231. Let m = d - -7.356. Is m != -3/4?
True
Suppose -997*f - 72864 = -973*f. Is f >= -3036?
True
Let g = -88 - -67. Let y = g + 20.82. Let z = 0.04 + y. Is z less than or equal to 2?
True
Suppose -4*q = m - 77 + 66, -4*m = 2*q - 30. Which is smaller: 10/57 or q?
10/57
Let n be (1045/(-33))/(1/3)*3. Is -286 less than n?
True
Let s = 0.0671 - 416.0671. Let r = 497 + s. Are 1 and r nonequal?
True
Suppose 2*r = -9*z + 4*z + 29, 3*r - 16 = -2*z. Suppose -p + 64 = -r*p. Which is smaller: -62 or p?
p
Let b be -1 - 0/(5 - 4 - 0). Let i(q) = -53*q**3 + q**2 + 3*q + 1. Let c be i(b). Let n = 178 - 127. Is c >= n?
True
Let h = -2473 - -4542. Is 2069 less than h?
False
Let d = 9711 + -9918. Are d and 2/29 non-equal?
True
Let s(d) = -d + 1. Let w(t) = 3*t - 5. Let u(l) = 18*s(l) + 4*w(l). Let a be u(-1). Suppose -3*f - r - 3 = -a, -3*f = 5*r - 5. Is 3/14 at most as big as f?
False
Suppose 3*x + 168 = -3*l, l + 4*l + x = -276. Let p = l + 73. Let z = -89/5 + p. Are z and 1/4 unequal?
True
Suppose 108*f + 151346 + 23263 - 15201 = 0. Is -1482 less than or equal to f?
True
Suppose 39*k - 37*k + 22 = -4*u, 2*k - 6 = 3*u. Let j be ((-8)/3)/((-2)/6). Let r be -45 + u + j + -3. Is -43 less than r?
False
Suppose -16 = 2*b - 6*b. Let n be (2640/1496)/(35/84). Which is bigger: n or b?
n
Let o be (-45)/(-15) + (-4)/10 + 12704/60. Which is greater: o or 215?
215
Let u = 842 + 1608. Let r = u - 2444.935. Let j = r + -0.065. Which is bigger: j or 3?
j
Let x = -46.0216 + -0.0784. Let y = x + 49. Let h = y + -2.97. Is 0 > h?
True
Suppose d 