p be ((-1)/10)/(7*(-6)/252). Which is smaller: t or p?
t
Suppose 1736 = 3*z - 5*h, -9*z = -12*z + 3*h + 1746. Let n = z + -625. Which is greater: -1/4 or n?
-1/4
Let m be 3*1/1*1. Let a(z) = -257*z**3 + 5*z + 33*z**2 - 152 + 256*z**3 - 22*z**2 + 0*z. Let k be a(10). Which is bigger: k or m?
m
Suppose 160 = -4*g + 6*g. Suppose 2*a - 81 = -7*w + 107, a - 5*w = 60. Is a greater than g?
False
Suppose 3*s + 0*r = -5*r + 49, -2*s = 5*r - 41. Suppose 26*n = -s*n - 1802. Let m = 77 + -130. Is n at least m?
True
Let n(p) = -p**3 + 2*p**2 + 60*p + 27. Let l be n(9). Which is greater: l or 61.4?
61.4
Suppose 35 = -11*s + 6*s, 2*c = 2*s - 61464. Which is smaller: -30740 or c?
-30740
Let g(f) = 4*f**2 + 4*f - 4. Let l be g(-2). Suppose 0 = 4*d + l*d - 64. Suppose 2*k = -d, 2*k + 8 = -5*c - 5. Which is smaller: -0.3 or c?
c
Let a = -3 + 2. Suppose 5*w - 16 = w - 4*z, 0 = w - 3*z. Suppose 14*j - 10*j + 4*l = 20, -w*j = -l + 5. Which is greater: a or j?
j
Let i(a) = -18*a**3 - 7*a**2 + 422*a + 3630. Let x be i(-9). Are 12386 and x unequal?
True
Let a = 2/25 + 138/775. Which is bigger: -0.2 or a?
a
Let z(k) = k**2 - 11*k + 10. Let j be (-3)/(3 - (-99)/(-30)). Let u be z(j). Let l = -266 + 802/3. Which is smaller: l or u?
u
Let j be 127*(-4)/81*257/1542. Which is greater: j or -1?
-1
Suppose 60 - 12 = 8*s. Let t be ((-70)/(-25))/(s/(-330)). Which is bigger: -155 or t?
t
Let h = -4778159059/13429 + 355809. Which is smaller: h or 1?
h
Suppose 2*h + 12 = 0, 18*l - 17*l - 3*h - 1563 = 0. Is l < 1545?
False
Let s = 292 - -5. Suppose 4*o - s = 191. Which is greater: o or 121?
o
Let x be ((-2)/(-7) - 0) + 1/((-133)/38). Which is smaller: -0.12472 or x?
-0.12472
Let c be (3/12)/((-215)/40). Let r = -1 + 11. Let p be (-4)/r + 4/5. Which is bigger: p or c?
p
Let k = 31.2 + -31. Let a be 21*((-56)/(-12))/7. Let t be 0/(-2) + a/49. Which is smaller: k or t?
k
Let y be (-1 - 0)*(1576/(-232) - -7). Which is smaller: y or 0?
y
Let k = -320 - -315. Let z = -139/51 - -8/3. Is k != z?
True
Let p(l) = 342*l**2 + 183*l + 4. Let o be p(2). Which is smaller: o or 1737?
1737
Let d = -1089.1 - -1242. Let f = d - 153. Which is greater: -8/15 or f?
f
Let b = -544.3 + 544.271. Is -6 at most as big as b?
True
Suppose 62*n = 2013 + 20369. Which is smaller: n or 362?
n
Let f = -222 - -207. Let b be (-2736)/f + 46/(-115). Is b bigger than 183?
False
Let h = -26.3952 + 0.3492. Let n = h - -0.046. Let o = n + 25.91. Are o and -0.1 non-equal?
True
Let j be -3*225/18*-2. Is j at most as big as 65?
False
Let i = -517 + 341. Which is bigger: -170 or i?
-170
Let n be (-14)/(-1) + -5 + 6. Let u be ((-25)/n)/((-14)/(-3)). Let f be (12/33)/(-4) + (-15 - (-465)/33). Is u < f?
False
Suppose -q + 4 = -2*z, 11154*z = 2*q + 11149*z - 11. Let j = 1000 - 11014/11. Which is bigger: j or q?
j
Suppose 15 + 113 = 5*p - b, -2*p + 62 = -4*b. Suppose -114 = -8*a + 86. Is p greater than a?
False
Suppose -21 = 7*v, p - 31*v + 34*v = 83. Is p > 188?
False
Let y = 2 + -2. Let g = -1/130859 + -260811/118689113. Which is greater: g or y?
y
Let o(n) = 230*n**2 + 87*n - 2. Let p be o(6). Suppose 9*k + 16*k + p = 0. Is k < -352?
False
Suppose v + 39*t = 38*t + 24, -5*v - 3*t = -120. Which is smaller: -14/11 or v?
-14/11
Suppose -18*u = -1284 - 354. Let v = -92 + u. Which is bigger: v or -4?
v
Let p = -123 - -113. Let m be (-5*2/2)/(11 + p). Which is smaller: m or -23/4?
-23/4
Let r = 5 + -4. Let n be (-1 - -1) + (7 - 4) + -8. Let c be (-41)/(-40) + n + 4. Is c not equal to r?
True
Let r(p) = -12*p**3 - 5*p**2 + 4*p - 2896. Let z be r(0). Is -2894 != z?
True
Let p be 4 - (-40)/(-16) - ((-9750)/1764 - -7). Which is greater: p or 0.05?
0.05
Let f(k) = 9*k + 728. Let y be f(-81). Which is bigger: y or -27/817?
-27/817
Let d be 7 - 46/6 - 27/(-44). Let x = -1/33 + d. Let y = 1.153 + -0.153. Which is greater: x or y?
y
Let r(k) = 5*k**2 - 80*k + 37. Let g be r(20). Let m(w) = 71*w + 11. Let z be m(6). Is g at least as big as z?
True
Let v = 31949 - 31942. Suppose 4*o + 3 - 2 = -3*t, -2*t = 2*o. Let q be (2/(-6))/(o/(-3)). Is q less than v?
True
Suppose -5*y - z - 19 = 0, 15 = 2*y - 3*y - 3*z. Let a be -14 + 15 - (1 - 2) - y. Let d be 80/(-41) + 1 + -4 + a. Is 1 less than d?
False
Let u(a) = -24*a - 23. Let n be u(-6). Let p = n + -161. Let k = 40 + p. Is -5/18 bigger than k?
False
Let g be 12/8*-2 - -10. Let p be (-1)/27*-51*-3 - -5. Which is smaller: g or p?
p
Let g be (-11)/(((-90)/(-27))/(-10)). Let b be 3003/(-375) - (25 - g). Which is bigger: 0 or b?
0
Let c be (122 + -1)*(60/(-9) - -7). Is c >= 41?
False
Suppose 5*m - 4*g = 11937, -2613 = -2*m - 3*g + 2148. Is m not equal to 2386?
True
Suppose 2*g = -0 + 2. Let s be -19 - -14 - -13*g. Is s <= 9?
True
Let m = -112703/3 + 37921. Which is bigger: 354 or m?
354
Let o = -6 + 10. Suppose -3*a = -o*a. Let p = 42392/15 - 2826. Is a less than or equal to p?
True
Let w = 5828/6435 - -2/585. Let j = w + -114/77. Is 0.1 != j?
True
Suppose -5*t + 3*t - 24 = 0. Let x(r) = -5*r + 19. Let y be x(3). Suppose -9*p + y = 103. Do t and p have different values?
True
Let s = 365/3 + -122. Let q = 97 - 82. Is q greater than s?
True
Let v be 10/(-14) + (-136)/(-14) - 9. Which is smaller: v or 15/1031?
v
Let x be (9/392)/(891/(-1188)). Let m = -2 + 3. Is x greater than m?
False
Suppose 0 = -3*q + 6*q - 15. Suppose 0 = -0*k - q*k + 200. Let z = -42 + k. Which is smaller: z or -1?
z
Suppose 4*t - 44 - 12 = 0. Let z = 123 - 119. Suppose -5*a + 73 = p, z*p - 68 = -4*a - 0*p. Is t at least a?
True
Suppose -5*b - 2*r + 10560 = 0, 4*r + 41 + 4207 = 2*b. Is b at least 2?
True
Let i = -210.9 + 201. Let r = i + 16.9. Is r at least 6?
True
Let u(p) = 137*p - 978. Let k be u(7). Is k smaller than -474/25?
True
Let v be (-6)/2020*666/(-999). Which is smaller: 0 or v?
0
Let l = -11.956 - -13.9738. Let z = -0.0178 + l. Is z equal to 1.9?
False
Let i(a) = -444*a - 4398. Let w be i(5). Which is smaller: -6616 or w?
w
Suppose 5*a - 24 = 2*k, -5*a + 4*k + 27 = 9. Suppose a*h - 3*h = 108. Suppose 0 = -v - v + 5*l - h, -3*l + 4 = v. Which is smaller: -4 or v?
v
Let x = 0.0243 + 1.8677. Let p = -0.108 - x. Which is smaller: -93 or p?
-93
Let h be 0 + -3 + -9 + (-31)/((-36022)/14112). Is 28 smaller than h?
False
Let h be 62/(-465)*(22/16 - (0 - -1)). Does h = 0.058?
False
Let a = -6697 + 5670. Is -5142/5 at least as big as a?
False
Let l = 92 + -1192/13. Suppose -5*n + 3*g - 29 = 0, 829*n = 831*n + 4*g - 30. Which is greater: l or n?
l
Let f = -309 + 326. Suppose -f*g + 8*g = -9. Which is bigger: -4/9 or g?
g
Suppose -g - 2*u = 2*u + 16, -u + 5 = 0. Let v be -9 + 14 - (-30 + 1 + -2). Let b = g + v. Which is bigger: -30 or b?
b
Let l(w) = -w**3 - 39*w**2 - 10*w + 20. Let q be l(-39). Suppose q = -22*u - 558. Is -0.01 less than or equal to u?
False
Let n(j) = -j**3 - 20*j**2 - 21*j - 8. Let i be n(-19). Let a be (76/(-95))/(4/i). Let x be 0/(-1 + 3)*(-2)/a. Is 5 equal to x?
False
Let t = 207 - 203. Suppose -t*k + 109 = 517. Which is smaller: 1 or k?
k
Let a = 3009.6 - 2694. Let k = a + -341. Which is smaller: k or 0?
k
Let g = 98.949 + -99. Let j = g + -11.949. Let p = 13 + j. Is -2/13 smaller than p?
True
Let b = -4 - -6. Let k = -73 - -88. Let z = k + -20. Is z < b?
True
Let x = -7737/77 - 364/11. Which is smaller: x or -134?
-134
Suppose -9 = 4*i + 5*c - 62, 0 = -5*i + 3*c + 20. Let s = 233/33 - i. Suppose l = -l + 2. Which is smaller: s or l?
s
Let n be (-56)/(-21)*-3 - -8. Let d(o) = -9*o. Let y be d(-1). Suppose 0 = 2*i - 6, -3*s - 3*i + i + y = n. Is 4 > s?
True
Let g be (-6)/(-10)*-3 + (-1)/5. Let h be (-8 - -7 - g)/(-1). Which is smaller: h or 3/89?
h
Let v = 475.12 - 467. Let m = -1000 + 1000.48. Let w = m + v. Which is bigger: -1 or w?
w
Let t = -51527/3 - -17032. Let a = 143 + t. Which is greater: -9.6 or a?
a
Suppose 3*n - 2 = h, -2*h + 2*n = h - 1. Let o = -1460 + 1440. Is h greater than o?
True
Let c(t) be the second derivative of -3*t**4/4 - 2*t**3/3 - t**2/2 + t + 26. Let u be c(3). Which is smaller: u or -95?
-95
Let o(s) = 5*s + 48. Let z be o(8). Suppose 0 = -13*b + 3 + z. Is 8 greater than or equal to b?
True
Let n(u) = 74*u**3 - 4*u**2 - 19*u - 92. Let p be n(-4). Is -4815 <= p?
False
Let p(w) = 527*w - 5263. Let c be p(10). Which is bigger: c or -1068?
c
Suppose 0 = -3*p - 11*h + 10*h + 42, 56 =