0.041. Let h = j + -65. Let x = h + 1. Which is smaller: x or -0.3?
-0.3
Let z be ((-152)/342 - 17456/(-39357))*(-3)/4. Is z less than or equal to 1?
True
Let g = 856 + -856.0483. Let u be 1*(819/168 - 5)*(-12)/3. Is u at least g?
True
Suppose 0 = -h + 5*r - 22, -4*r + 12 = -60*h + 62*h. Is h less than -109/147?
True
Let g = 57.26 + -137.19. Let h = 0.93 + g. Let j = 81 + h. Are -3.1 and j equal?
False
Let g = -4 - -1. Let k be 42 - ((-5)/1 - 0). Suppose 11*a - 25 + k = 0. Are a and g equal?
False
Let c be 35289/(-57) - (-112)/1064. Is -1858/3 greater than c?
False
Suppose 72*g - 106*g = 3 + 31. Which is smaller: g or 3/2884?
g
Suppose -3*c = -6*c + 5*c. Let z be (-426)/28*4/3 - c. Let r = -20 - z. Is -1 greater than or equal to r?
False
Let r = -0.099 - -0.104. Are 6 and r nonequal?
True
Let w be 4/12*2/(-22). Let x = 36565/17 + -2151. Which is smaller: x or w?
x
Suppose 0 = p - 3*f + 4, 0 = 4*p - 95*f + 90*f + 9. Is p equal to 8/2693?
False
Let s = -8 - 63. Let q = -61 - s. Is 9 at least as big as q?
False
Let y = 134.789 + -8.789. Is 13 != y?
True
Let v = 14759/24 - 2041/3. Which is bigger: -64 or v?
-64
Let s be (-2978)/570 + (0 - 17/(-255)). Is -5 at least as big as s?
True
Let z = -2464799818/702737 + -2/100391. Which is smaller: -3508 or z?
-3508
Let u = -347.0133 + 0.0133. Let r = 298 + u. Is r less than 0?
True
Let p be 670/(-110) - 36/(-396). Which is greater: 0.1083 or p?
0.1083
Let q = -487.4 + 490.4. Let k = 19 + -17.4. Which is bigger: q or k?
q
Suppose 3*b = -q + 120, 5*q - 846 = -b - 288. Let z be (q/30 + -4)*4/3. Which is greater: z or -10?
z
Let a(w) = -w**2 + 40*w + 35. Let v be a(37). Let j = 162 - v. Is 2 at most as big as j?
True
Let p(u) = 124*u - 869. Let r be p(7). Which is smaller: r or 9/736?
r
Let v(y) = -5*y + 10. Let w be v(2). Suppose 28 = n - 0*s + 4*s, 2*n - 5*s - 4 = w. Let d be 9/(-9) + 26/2. Is d less than or equal to n?
True
Let g(z) = z**3 - 3*z**2 - 6*z - 10. Let a be g(0). Which is smaller: -295/34 or a?
a
Let r = 1.88 + 18.32. Let g = r + -19.7. Which is smaller: 2/47 or g?
2/47
Let z = 161.7 + 28.6. Let r = z + -196. Which is smaller: r or 0?
r
Let n = -52 + 231. Let z = -80 + n. Is 101 >= z?
True
Let h be (240/(-42))/((-7)/(-49)). Let o be (-4)/673*5*(-2)/h. Is 1 <= o?
False
Let y(t) = t**2 - 17*t - 823. Let g be y(-17). Do g and -4164/17 have the same value?
False
Let a(u) be the second derivative of -u**4/6 - 8*u**3/3 - 49*u**2/2 + 26*u. Let r be a(-7). Let w = -28 - r. Which is bigger: w or -4?
w
Suppose 20*b = 124*b + 17472. Is -165 bigger than b?
True
Let d be ((-14)/(-8))/7 + 2687503/(-10885108). Let o = 1/706 - d. Which is bigger: 1 or o?
1
Let w be (514/9 - 2) + 122/(-1098). Is w >= 94?
False
Let p = -1144 - -1148. Which is smaller: 19/4 or p?
p
Let l = 243 + -229. Suppose -9 + l = c. Are 3 and c unequal?
True
Let j be 622 + -605 - 1*26. Suppose -3*v + 12 = -4*v - 2*u, -2*v + 4*u = 0. Which is smaller: j or v?
j
Suppose -69166*u + 69167*u = 85. Are u and 600/7 non-equal?
True
Let l be (-84)/448*-4*-48. Suppose 2*c + 72 = -0*c + 3*a, -2*c - 62 = 2*a. Which is smaller: l or c?
l
Let k(h) = -76*h. Let g be k(1). Suppose 324*m - 275*m = -2377 - 1445. Which is smaller: g or m?
m
Let g = -1.89 - 0.11. Let c = -1 - g. Let l = 14015.63 + -14015. Are c and l equal?
False
Suppose -3*s - 71 - 202 = 0. Let u = s + 47. Let k be u/(-36) + 4/(-18). Are k and -2/41 equal?
False
Suppose -8*d = 15*d - 690. Let y(g) = -g**3 + 29*g**2 + 28*g + 49. Let l be y(d). Is l less than 0?
True
Let r(l) = -9*l + 30. Suppose 4*k = z + 20 - 4, 5*z + 4*k - 40 = 0. Let m be r(z). Let p = -963/4 - -6565/28. Which is greater: p or m?
m
Let z be (-39 - (-7 - -5))*2/(4/(-634)). Which is bigger: 11730 or z?
11730
Let s = -481 - -592. Suppose s*t + 5 = 106*t. Which is smaller: -21/13 or t?
-21/13
Let r(f) = 7*f**2 + 4*f + 5. Let g be r(-6). Let z = g + -330. Let k = -52 - z. Is 44 at least as big as k?
False
Let o = 168 - 186. Let w be (o/8)/(238/560). Is w > -5?
False
Let i = -162262.9879 - -162263. Let m = 2 + -2. Which is bigger: m or i?
i
Let s = 171 + -143. Suppose 2*b = 3*o - 13, -2*b - 5*o + s = b. Which is greater: -1/65 or b?
b
Let v(q) = q - 5. Let u be v(7). Suppose 4*b - o + 266 = 0, 0 = -u*b + 7*b + 2*o + 339. Which is smaller: -69 or b?
-69
Let h(g) = -45*g + 42. Let d be h(1). Let i(q) = -q**3 + 11*q + 7. Let z be i(d). Let j be (0 - -1)/(29/5). Which is smaller: j or z?
j
Suppose 1699 + 333 = 25*l + 7. Is l less than 92?
True
Let v be (-4)/(-16) - 150/(-8). Let j = 13 - v. Let a(m) = m**3 + 6*m**2 + 2*m + 10. Let w be a(j). Is w > -2?
False
Let q be (-3 - 0)/(126/(-8778)). Let n = q - 213. Are n and 2/5 unequal?
True
Let s = 5 + -5. Let l be (4287/126)/((-2)/((-820)/25)). Let n = 558 - l. Which is smaller: n or s?
s
Let n = 34 + 44. Let l = -43 + n. Let q be (-15)/(-12)*14/l. Which is smaller: 2 or q?
q
Let b(o) = 213*o - 1492. Let q be b(7). Which is smaller: 1/5556 or q?
q
Let h be 20/55*457 - (-4)/(-22). Let l = 165 - h. Is -1/34 less than or equal to l?
False
Suppose -680 + 716 = o. Let l = -29 + o. Is 7 greater than l?
False
Let m = 26 + -36. Let o = -0.554 - 360.446. Let a = o + 361.1. Which is greater: a or m?
a
Let u = 82 + -79. Suppose -3*q = -0*q - u. Let h = 3101/975 + -41/13. Which is smaller: h or q?
h
Let k(b) = 8*b - 215. Let q be k(34). Is 398/7 less than q?
True
Let b be 120/333*-3*13. Let k(d) = 12*d**2 - 31*d - 1. Let u be k(3). Let r = b + u. Which is bigger: -1 or r?
r
Let z = 30 + -30. Suppose z = 12*l - 113 + 41. Let y be (6/9)/(l/3*-1). Is -7 smaller than y?
True
Let n(p) = 2*p - 3. Let w be n(7). Let v = 5085/22 - 4853/22. Is v smaller than w?
True
Suppose 3540 = 27*n + 192. Which is smaller: n or 621/5?
n
Suppose 22082 = 65*p - 7558. Is p equal to 455?
False
Let p(t) = t**2 + 8*t - 167. Let d be p(-11). Is -7 < d?
False
Let j = 4560 - 4461. Suppose -188 = -5*b + 2*m + 297, -5*m + 25 = 0. Is j bigger than b?
False
Let o = 221 - 2879/13. Suppose 5*y + 60 = -250. Let h = -61 - y. Is o < h?
True
Let h = -5309 - -5153. Do h and -158 have different values?
True
Let v(j) be the second derivative of -j**3/6 + j**2/2 + 8*j. Let n be v(-1). Suppose 0 = d - u - n, -d + 2*u = -3*d - 8. Which is smaller: d or 1/52?
d
Let y = 3844.799 + -3845. Let b = 0.589 + -0.6. Let p = b - y. Is p at most as big as 1/4?
True
Let c be (-3)/9*0 + 15 + 18768/120. Which is smaller: 172 or c?
c
Let w = -2523/5 - -505. Let o = 1990/9 - 34208/153. Which is bigger: w or o?
w
Let m be 5 + -5 + 3 + 191. Suppose 0 = -4*o - 0*o - 3*x + 749, -o + m = 3*x. Suppose 3*f + o = 26. Is -52 equal to f?
False
Let t(r) = r**3 - 9*r + 14*r**3 - 15*r**2 + 8 - 13*r**3. Let u be t(8). Which is bigger: -1/2 or u?
u
Let f(u) = -u**3 - 12*u**2 - 26*u - 31. Let x be f(-7). Let c be (-28)/(-49) + x/238. Which is smaller: c or 0?
0
Suppose -14 = o - 3*z, o + 334 = -3*z + 326. Is 4 < o?
False
Let o be -7 + 7 + (-3)/(0 + -3). Let g be o/(1/(-63) - (3 - 3)). Suppose 0*j - 2*j - 4*v - 108 = 0, 3*j - 4*v + 202 = 0. Which is bigger: j or g?
j
Let d(o) = o**3 - o**2 - 15*o + 31. Let j be d(3). Suppose 7*a + 5*k - 70 = 2*a, j*a = 4*k + 56. Which is greater: -4 or a?
a
Let t = 7.755 + 0.245. Let v = -0.06 - -3.06. Let x = v - 2. Is t at least x?
True
Suppose 21440 = 113*m - 49*m. Is m less than 340?
True
Suppose 0 = -4*r + f + 32, -2*r + 3*r - f - 5 = 0. Let p be -159 - 3/(r/(-12)). Is -156 greater than p?
False
Let x be ((-6)/(-9) - (-35990)/(-2478)) + 13. Let w = 0.95 + -1. Is w at most x?
False
Let q be (-4*(-4)/6)/(56/84). Let y be 11 - (20/q - 9). Is 110/7 > y?
True
Let i be (1/28770)/(192/1382240) + (-13)/52. Is 0.1 at most i?
False
Suppose 4*i - 17 + 3 = 2*v, -5*v = 3*i - 17. Let l(p) = 2*p - 3. Let u be l(v). Let f be (1/8)/(15 + -16). Which is smaller: u or f?
u
Let l be (-60)/24 + ((-35)/(-10) - 3) - 13. Are -74/5 and l equal?
False
Let p be (-3260)/2119*(-2)/172. Which is smaller: -1 or p?
-1
Let a be (-2)/6 + (-22)/(-102). Let q = -0.714 + 2.274. Let c = -8.44 - q. Is c <= a?
True
Let j(u) = 3*u**2 - 20*u + 141. Let m be j(5). Let d = 0 - 0. Which is smaller: d or m?
d
Let d(b) = 141*b + 12375. Let q be d(-56). Is 4476 at most q?
True
Let p be 3/(-2)*50/3. Let h = p - -21. Let w be (h - -3)*4/1. Which is greater: w or -5?
w
Let f = 256411 - 