t i = -3.3 + 4. Let s = i + -0.56. Is s < -1?
False
Let r(t) = t**2 + 7*t + 6. Let w be r(-6). Let k be (3/5 + -3)*(-6 - -1). Let p be 3*((-2)/k - 198/(-756)). Is p greater than w?
True
Let k = -49 - -15. Is -20 at least k?
True
Let x = -6.71 - -8.61. Let l = 103 - 99. Is l less than x?
False
Let s be 5480/(-1644) + (-1444)/6. Is -207 != s?
True
Suppose -7 = -5*b - 112. Let a(n) = n**3 + 22*n**2 + 15*n - 83. Let w be a(b). Is 43 less than or equal to w?
True
Suppose 2*k - 3762 = -4*q, -3*k - 3 = -6. Let r be 15/6*(-12)/q. Is r greater than or equal to -1?
True
Let s be (-4)/(-3)*(-6)/(-16). Suppose -a + 3*y = 18, 5*a + 8*y + 39 = 6*y. Let r be a + 10 + (-70)/74. Which is smaller: r or s?
r
Let o = 512121/29 - 17655. Which is smaller: 5 or o?
o
Let b be (8 + 387 - 0/3)/(-4). Let g = 99 + b. Which is smaller: g or -1?
-1
Let b = -344058 - -16858269/49. Let s = 174/49 + b. Is -8 <= s?
False
Let d(j) = j**2 + 13*j + 25. Let l be d(-11). Suppose 3*b = -b - l*i + 22, -2*i = 3*b - 17. Let y be -5*(2/b + 375/35). Which is greater: y or -56?
y
Let q = 284 + -283. Let g be (1 + (-10)/15)*(2 + q). Which is greater: 4/145 or g?
g
Suppose 0*b = -2*b + 3*b. Suppose -5*g + 3*o + 86 + 49 = 0, b = 2*g + 5*o - 85. Let k = -57 - -88. Is k smaller than g?
False
Let f be (-39)/(-37) - 150/2775. Which is greater: f or 1/3200?
f
Let s = -13.21 - 0.19. Let p = s - -13.3. Which is greater: p or -83?
p
Let p = -0.3436 + -36.6564. Let c = 9 - 12. Is c less than or equal to p?
False
Let j be (-1)/2 + 717/1650. Let g = -433344701116/3575 - -121215302. Let w = g + j. Does 1 = w?
False
Suppose 0*q = 2*q + 5*h + 1, 2*h = -q. Suppose 3*s - q*s + 7 = 0. Is s smaller than -4?
True
Let l = -1599 + 4852/3. Let o = -113/6 + l. Which is smaller: o or 13/14?
o
Let z(i) = 2*i**3 + i**2 + i. Let a be z(-1). Let u be (72/54)/(2/12). Let d be u + -10 + a/(-1). Which is greater: 1 or d?
1
Suppose -63*t - 1382 = -61*t + 3*a, -2*t - 1382 = -5*a. Is -691 bigger than t?
False
Let g(m) = m**2 + 12*m + 13. Let i(h) = h**2 + 13*h + 14. Let q(a) = -7*g(a) + 6*i(a). Let w(j) = -j - 8. Let p be w(-4). Let r be q(p). Is r equal to 1?
True
Suppose -i = 0, 2901*u - 2899*u + 22304 = 3*i. Is u at most -11152?
True
Let v be (10 - 10)/(-1 - (-2)/(-2)). Suppose 2*l + 3*l = 4*k - 41, 0 = -k + 3*l + 19. Suppose v*j = -k*j - 40. Which is smaller: j or 0.2?
j
Let m be 1/(-47)*(-3 + -4)*1. Let h = m + -313/1786. Is h less than or equal to 1?
True
Let b = -8 + 14. Suppose 3*u = -3, -42 = -i - b*u + 2*u. Let x(y) = 4*y**2 + 87*y - 69. Let a be x(-23). Is a at least i?
True
Suppose -w + 2*c = -2*w + 9, -5*c = 5*w - 25. Let b be w/(-2)*2*-1 + -7. Let m(o) = -12*o - 63. Let l be m(-5). Which is smaller: b or l?
b
Let d(c) = 3*c**2 + c - 1. Let g be d(-3). Let f(b) = 23*b + 152. Let r be f(-7). Let n be (1/r)/(14/(-63))*48. Which is smaller: g or n?
g
Suppose -3*w + 565 = f, -215 = -w + 5*f - 0. Suppose 7*m + w = -426. Which is smaller: m or -1?
m
Suppose 0 = -12*k + 10*k + 12. Let g(i) = i**2 - 7*i + 4. Let u be g(4). Let o be u/12*(5/k + 0). Which is smaller: o or -2?
-2
Suppose -6*d + 6 = -3*d. Let y = 6485 + -6504. Which is smaller: y or d?
y
Let q = -5034 - -5043. Let x(s) = -6*s + 3 + 3*s - 7*s + s**2. Let d be x(q). Which is bigger: d or -21/4?
-21/4
Let r(c) = -c**3 + 7*c**2 + 13*c - 13. Let t be r(8). Let h be (-36)/t + 212/6. Which is smaller: 65/2 or h?
65/2
Let y = 969 - 472. Let r = 497.05 - y. Is 4 <= r?
False
Suppose -444*y - 5*y - 7043 - 2386 = 0. Let h = 49/32 - 3733/160. Which is bigger: y or h?
y
Let o = -1902423/5 - -378892. Are o and -1594 unequal?
True
Let n = -3 - -4. Let b = -90.186 + 61.2046. Let v = b - 0.0186. Are n and v equal?
False
Let m = 165 - 171. Let v(a) = -28*a - 168. Let r be v(m). Which is greater: -7/73 or r?
r
Suppose -38*i - 545 = -2673. Suppose c + 1 = 5*f + i, -13 = -f + 5*c. Which is greater: f or -152/13?
-152/13
Let q = -13 + 27/2. Let g = 14.16 - 92.16. Is q at least g?
True
Suppose 0 = -4*i - 5*p + 42, 13*p = 2*i + 8*p - 6. Suppose 11*k = i*k - 36. Which is smaller: -93/7 or k?
-93/7
Suppose 0 = 4*l - 14*l + 70. Suppose -6*r + l*r + 2 = 0. Let b be 1/r*(-15 - 7). Is b at least as big as 9?
True
Let d be 4/18 + (-8)/(6480/(-68022)). Is 85 greater than d?
True
Let l be (-6)/(-10)*(-45)/(-3). Suppose -11 = 2*s + l. Let x be 22/s - (-3)/15. Which is greater: x or -26?
x
Suppose 7*w - 19 - 177 = 0. Let p = 571 + -548. Is w less than p?
False
Suppose 3*r = -2*p, 3*p - 4*r + 2*r - 26 = 0. Let x be 2619/p*30/315. Is 42 at most as big as x?
False
Let i = 46/1783 + 14989543/5349. Which is smaller: 2803 or i?
i
Let o = -341633/213125780 + 1/56308. Which is smaller: o or -1?
-1
Let q = -4147 + 3929. Which is smaller: -209 or q?
q
Suppose -12 = 2*a - 6*a. Let j be a/((558/(-16))/((-9)/(-12))). Let c(f) = f**3 - 2*f**2 - 2*f - 3. Let y be c(3). Which is bigger: y or j?
y
Suppose -2300 = 9*g + 796. Does g = -349?
False
Let p = -0.15649 - 0.44351. Which is bigger: p or -349?
p
Let x = 29 + -30. Let z = -269361960815/6557 + 41080061. Let h = z + 12/79. Which is bigger: x or h?
h
Let o = 9328 - 9331. Is o equal to 105/8?
False
Let n be 14/(-78) - 254/1651. Which is smaller: n or -0.23?
n
Let d be (-1)/2 + 10030/236. Let w be (63/d)/((-6)/1). Are 80 and w equal?
False
Let a be 4/(-12)*-44*123/82. Which is smaller: -2/15 or a?
-2/15
Suppose -32 = -2*v - 122. Let y be (-22)/55 + -2 + 37/v. Which is greater: y or -2?
-2
Let g = -5682 - -5682.2. Is -0.144 != g?
True
Let j = -7970 - -7693. Is -1378/5 equal to j?
False
Suppose 4*j = 5*z + 80, -15*j + 80 = -11*j + 3*z. Suppose -a = 3*a - 84. Is a less than j?
False
Suppose -5*w + 131 = k, 0 = 5*k - 5 + 25. Suppose 9 = -w*a + 18*a. Is -1 less than or equal to a?
True
Let z(r) = r**2 - 114*r + 2241. Let n be z(89). Which is smaller: n or 111/4?
n
Let v = 0.00784 + -127.09784. Let j = v - -126. Let z = -1.1 - j. Which is smaller: z or -0.1?
-0.1
Suppose 196*k = 193*k + 9. Suppose 0*q - 5 = -q, -k*q = -l - 26. Let a be 2/4 + (-47)/4. Is l >= a?
True
Suppose 4*s - a + 8815 = -0*a, 4*s + a = -8825. Is s > -2206?
True
Let r(g) = g**3 + 5*g**2 + 5*g + 5. Let k be r(-7). Is k at least -511/4?
False
Let z be 5/4*(6 + -10) + (-65380)/(-13356). Which is smaller: z or 1?
z
Suppose -103 = -3*a + g, -4*a - 3*g = 17 - 150. Which is smaller: 81 or a?
a
Suppose 8*c = 16 + 56. Suppose 8 = -c*i + 35. Let o be 12/18 - ((-5)/i)/5. Is 1 equal to o?
True
Let m(k) = -k**3 + 12*k**2 - 14*k + 3. Let t be m(11). Let c be 5/t + (-326)/(-48). Is 7 >= c?
True
Let d = -63.133 + 63.02. Let o = 0.01 - 0.01. Do d and o have the same value?
False
Let n(l) = 5*l + 50. Let c be n(3). Suppose -c*z + 68*z = -3. Is -41 at most z?
True
Let y = 2653 - 2694. Is y equal to -99?
False
Let k = 43/25 - 104/75. Which is bigger: k or -25/4?
k
Let u(h) = 2*h**2 + 16*h - 657. Let t be u(-23). Is t smaller than -2.6?
False
Suppose -16 - 36 = -14*a + 10*a. Is -27 > a?
False
Suppose -69 = 77*q - 54*q. Let m be q/8 - (-650)/624. Which is smaller: -114 or m?
-114
Let u be (46/(-6) - -1)*(-135)/(-6). Let j = 151 + u. Is 3/19 >= j?
False
Suppose 12 = 17*m - 14*m. Suppose -40*x + 39*x + m = 0. Suppose -5*j + 14 = 4*i, 3*j - 12 = -2*i - x. Which is bigger: i or 1/5?
i
Let x = -179 - -391/2. Let g(k) = 16*k**2 + 174*k - 6. Let v be g(-11). Is x < v?
False
Suppose 67 = -4*y + 11. Let m(a) = 2*a**2 - 55*a - 91. Let h be m(30). Suppose 0 = -v + 4*q + 45 - h, -5*v - 4*q = 70. Are v and y equal?
True
Suppose 39*l - 35*l + 2*k + 5654 = 0, 3*k = -5*l - 7070. Is l != -1409?
True
Let v = 0.0789 + -60.8789. Which is bigger: -1 or v?
-1
Let r = 399012655354/13893 + -28720410. Let p = r + -2/421. Let f = -91/132 + p. Which is bigger: f or -0.3?
-0.3
Let r = -0.6302 + 0.1302. Which is bigger: r or 595?
595
Let d = 5642 + -6654. Is d at least as big as -0.3?
False
Let b = -0.0935 - -399.0935. Do b and 1 have the same value?
False
Let q be (23/2)/(12 + (-26469)/2210). Which is greater: 499 or q?
499
Let h be -3 + 2 + -5 + 3*32452/16170. Which is bigger: -2 or h?
h
Let z be (-3 - -11)/(1*2). Let l be ((-3)/88)/(z/((-8)/(-3))). Let g = -79/396 + l. Which is greater: 1 or g?
1
Let d = -12651 + 12648. Let v = 1.9 - 14.9. Which is bigger: v or d?
d
Suppose 3*c + 128 = -2*d - 174, -2*c - 176 = -5*d. Is -66 > c?
True
Supp